Formule de Molien

En mathématiques, la formule de Molien donne une expression de la série génératrice des dimensions des polynômes homogènes invariants de degré donné sur une représentation linéaire d'un groupe fini G sur un espace vectoriel complexe de dimension finie. Son nom vient de Theodor Molien.

Plus précisément, la formule s'énonce de la façon suivante. Soit V une représentation complexe de dimension finie d'un groupe fini G et, pour un entier n donné, soit $R_n=ℂ[V{]}_n={\mathrm{Sym}}^n(V^{*})$, l'espace des fonctions polynomiales homogènes sur V de degré n (les polynômes homogènes de degré un sont exactement les formes linéaires). La série génératrice des dimensions des espaces invariants, appelée série de Molien, peut être calculée comme

$\sum _{n=0}^{\mathrm{\infty }}\dim (R_n^G)t^n=\frac{1}{\mathrm{\#}G}\sum _{g\in G}\frac{1}{\det (1-tg{|}_{V^{*}})}.$

Ici, $R_n^G$ est le sous-espace de $R_n$ formé des vecteurs invariants par tout élément de G. Ainsi, sa dimension est le nombre d'invariants de degré n. Si G est un groupe compact, on peut établir une formule analogue en remplaçant la somme divisée par l'ordre du groupe par une intégrale relative à la mesure de Haar.

Démonstration

Soient G un groupe fini, on note ${\chi }_1,\dots ,{\chi }_r$ ses caractères irréductibles. On fixe la représentation V et l'anneau R comme ci-dessus. Le caractère ${\chi }_{R_n}$ de $R_n$, qui est de dimension finie, peut alors s'écrire comme :

${\chi }_{R_n}=\sum _{i=1}^r{a}_{i,n}{\chi }_i$,

expression dans laquelle chaque $a_{i,n}$ est donné par le produit scalaire :

$a_{i,n}=⟨{\chi }_{R_n},{\chi }_i⟩=\frac{1}{\mathrm{\#}G}\sum _{g\in G}\overline{{\chi }_i}(g){\chi }_{R_n}(g)=\frac{1}{\mathrm{\#}G}\sum _{g\in G}\overline{{\chi }_i}(g)\sum _{|\alpha |=n}\lambda (g{)}^{\alpha }$

où ${\lambda }_1(g),\dots ,{\lambda }_m(g)$ sont les valeurs propres éventuellement répétées de $g:V^{*}\to V^{*}$ et $\lambda (g{)}^{\alpha }={\prod }_{i=1}^m{\lambda }_i(g{)}^{{\alpha }_i}$. On peut maintenant calculer la série :

$\begin{array}{cc}\sum _{n=0}^{\mathrm{\infty }}{a}_{i,n}{t}^n& =\frac{1}{\mathrm{\#}G}\sum _{g\in G}\overline{{\chi }_i}(g)\sum _{\alpha }({\lambda }_1(g)t{)}^{{\alpha }_1}\cdots ({\lambda }_m(g)t{)}^{{\alpha }_m}\\ & =\frac{1}{\mathrm{\#}G}\sum _{g\in G}\overline{{\chi }_i}(g)\frac{1}{(1-{\lambda }_1(g)t)}\cdots \frac{1}{(1-{\lambda }_m(g)t)}\\ & =\frac{1}{\mathrm{\#}G}\sum _{g\in G}\overline{{\chi }_i}(g)\frac{1}{\det (1-tg|V^{*})}.\end{array}$

En prenant pour ${\chi }_i$ le caractère trivial, on obtient la formule de Molien.

Exemple

On considère le groupe symétrique $S_3$ agissant sur R³ en permutant les coordonnées. On additionne la somme sur les éléments de groupe de la façon suivante. En commençant par l’identité, on a

$\det \left(\begin{array}{ccc}1-t& 0& 0\\ 0& 1-t& 0\\ 0& 0& 1-t\end{array}\right)=(1-t{)}^3$.

Les transpositions, qui permutent deux coordonnées en fixant la troisième, forment une classe de conjugaison de cardinal trois. Cela donne trois termes de la forme

$\det \left(\begin{array}{ccc}1& -t& 0\\ -t& 1& 0\\ 0& 0& 1-t\end{array}\right)=(1-t)(1-t^2).$

Enfin, les permutations cycliques forment une dernière classe de conjugaison, d'où deux termes de la forme

$\det \left(\begin{array}{ccc}1& -t& 0\\ 0& 1& -t\\ -t& 0& 1\end{array}\right)=(1-t^3).$

Bien sûr, différents éléments de la même classe de conjugaison ont le même déterminant. Ainsi, la série de Molien est

$M(t)=\frac{1}{6}(\frac{1}{(1-t{)}^3}+\frac{3}{(1-t)(1-t^2)}+\frac{2}{1-t^3})=\frac{1}{(1-t)(1-t^2)(1-t^3)}.$

Par ailleurs, on peut développer les séries géométriques et les multiplier pour obtenir

$M(t)=(1+t+t^2+t^3+\cdots )(1+t^2+t^4+\cdots )(1+t^3+t^6+\cdots )=1+t+2t^2+3t^3+4t^4+5t^5+7t^6+8t^7+10t^8+12t^9+\cdots$

Les coefficients de la série donnent le nombre de polynômes homogènes à trois variables linéairement indépendants qui sont invariants par permutation des trois variables, c'est-à-dire le nombre de polynômes symétriques indépendants à trois variables. En fait, si l’on considère les polynômes symétriques élémentaires

${\sigma }_1=x+y+z$,

${\sigma }_2=xy+xz+yz$,

${\sigma }_3=xyz$,

on voit par exemple qu'en degré 5 il y a une base constituée de ${\sigma }_3{\sigma }_2$, ${\sigma }_3{\sigma }_1^2$, ${\sigma }_2^2{\sigma }_1$, ${\sigma }_1^3{\sigma }_2$, et ${\sigma }_1^5$.

(En fait, si l'on multiplie les séries à la main, on peut constater que le terme de degré $k$ vient des combinaisons de $t$, $t^2$, et $t^3$ correspondant exactement aux combinaisons de ${\sigma }_1$, ${\sigma }_2$, et ${\sigma }_3$, ou encore aux partitions de $k$ ayant pour seules parts $1$, $2$ et $3$. (Voir aussi les articles Partition d'un entier et Théorie des représentations du groupe symétrique.)

Notes et références

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article

Liens externes

• Modèle:Lien web

Modèle:Portail