Words and polynomial invariants of finite groups in non-commutative variables

Abstract

Let $V$ be a complex vector space with basis $\{x_1,x_2,\ldots,x_n\}$ and $G$ be a finite subgroup of $GL(V)$. The tensor algebra $T(V)$ over the complex is isomorphic to the polynomials in the non-commutative variables $x_1, x_2, \ldots, x_n$ with complex coefficients. We want to give a combinatorial interpretation for the decomposition of $T(V)$ into simple $G$-modules. In particular, we want to study the graded space of invariants in $T(V)$ with respect to the action of $G$. We give a general method for decomposing the space $T(V)$ into simple $G$-module in terms of words in a particular Cayley graph of $G$. To apply the method to a particular group, we require a surjective homomorphism from a subalgebra of the group algebra into the character algebra. In the case of the symmetric group, we give an example of this homomorphism from the descent algebra. When $G$ is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words. Soit V un espace vectoriel complexe de base $\{x_1,x_2,\ldots,x_n\}$ et $G$ un sous-groupe fini de $GL(V)$. L'algèbre $T(V)$ des tenseurs de $V$ sur les complexes est isomorphe aux polynômes à coefficients complexes en variables non-commutatives $x_1, x_2, \ldots, x_n$. Nous voulons donner une décomposition de $T(V)$ en $G$-modules simples de manière combinatoire. Plus particulièrement, nous étudions l'espace gradué des invariants de $T(V)$ sous l'action de $G$. Nous présentons une méthode générale donnant la décomposition de $T(V)$ en modules simples via certains mots dans un graphe de Cayley donné. Pour appliquer la méthode à un groupe particulier, nous avons besoin d'un homomorphisme surjectif entre une sous-algèbre de l'algèbre de groupe et l'algèbre des caractères. Pour le cas du groupe symétrique, nous donnons un exemple de cet homomorphisme qui provient de la théorie de l'algèbre des descentes. Pour le groupe diédral, nous avons une réalisation de l'algèbre des caractères comme une sous-algèbre de l'algèbre de groupe. Dans ces deux cas, nous avons une interprétation des dimensions graduées de l'espace des invariants en terme de ces mots.