Representation of coxeter group and orthogonal group

Abstract

The paper is primarily divided into two parts. The main focus of the first part is the construction of a representation of Coxeter groups. This begins with the definition of the Coxeter system and connected components, followed by the introduction of the length function and subsequent theorems. The faithfulness of this representation is then proven, allowing for the identification of isomorphisms that enable the final classification of finite Coxeter groups. This classification is achieved by leveraging the established relationship between irreducible representations of Coxeter groups and positive definite quadratic forms. Given the strong connection between Coxeter groups and orthogonal groups, the primary objective of the second part is to create a specific representation of orthogonal groups. This is accomplished through an examination of the decomposition of harmonic polynomials into subspaces of homogeneous harmonic polynomials, using the action of O(2) on these subspaces. The paper concludes by drawing connections to results in Invariant Theory, demonstrating the applicability of the presented concepts in a more general duality context.