Polynôme de Schur

En mathématiques, les polynômes de Schur, nommés ainsi d'après le mathématicien Issai Schur, sont des polynômes symétriques particuliers, indexés par les partitions d'entiers, et qui généralisent les polynômes symétriques élémentaires et les polynômes symétriques homogènes complets. En théorie des représentations, ce sont les caractères des représentations polynomiales irréductibles du groupe général linéaire. Les polynômes de Schur forment une base de l'espace de tous les polynômes symétriques. Un produit de polynômes de Schur peut être écrit comme combinaison linéaire de polynômes de Schur à coefficients entiers naturels ; les valeurs de ces coefficients sont données par la règle de Littlewood-Richardson.

Il existe aussi des polynômes de Schur gauches qui sont associés à des couples de partitions et qui ont des propriétés similaires aux polynômes de Schur.

Définition

Les polynômes de Schur sont indexés par les partitions d'entiers ou plus exactement, par les suites finies décroissantes d'entiers naturels. Étant donné un tel n-uplet Modèle:Math, où les Modèle:Math sont entiers et Modèle:Math (cette suite finie pouvant être vue comme une « partition » de l'entier Modèle:Math mais en un sens élargi puisque les derniers Modèle:Math sont autorisés à être nuls), le polynôme suivant est Modèle:Lien, c'est-à-dire qu'il est transformé en son opposé par une transposition des variables :

$a_{\lambda }(x_1,x_2,\dots ,x_n)=\det \left(\begin{array}{cccc}{x}_1^{{\lambda }_1}& x_2^{{\lambda }_1}& \dots & x_n^{{\lambda }_1}\\ x_1^{{\lambda }_2}& x_2^{{\lambda }_2}& \dots & x_n^{{\lambda }_2}\\ ⋮& ⋮& \ddots & ⋮\\ x_1^{{\lambda }_n}& x_2^{{\lambda }_n}& \dots & x_n^{{\lambda }_n}\end{array}\right).$

Il est donc divisible par le déterminant de Vandermonde, qui correspond au n-uplet Modèle:Math :

$a_{\delta }(x_1,x_2,\dots ,x_n)=\det \left(\begin{array}{cccc}{x}_1^{n-1}& x_2^{n-1}& \dots & x_n^{n-1}\\ x_1^{n-2}& x_2^{n-2}& \dots & x_n^{n-2}\\ ⋮& ⋮& \ddots & ⋮\\ 1& 1& \dots & 1\end{array}\right)=\prod _{1\le j<k\le n}(x_j-x_k).$

Le polynôme de Schur associé à Modèle:Math est par définition le polynôme quotient :

$s_{\lambda }=\frac{a_{\lambda +\delta }}{a_{\delta }},$

où les n-uplets Modèle:Math et Modèle:Math sont additionnés terme à terme. Il est symétrique, comme quotient de deux polynômes alternants.

Les polynômes de Schur de degré Modèle:Math en Modèle:Math variables forment une base de l'espace des polynômes symétriques homogènes de degré Modèle:Math en Modèle:Math variables.

Définitions équivalentes

Pour une partition $\lambda$ donnée, le polynôme de Schur $s_{\lambda }$ s'écrit aussi comme une somme de monômes, sous la forme :

$s_{\lambda }(x_1,x_2,\dots ,x_n)=\sum _T{x}^T=\sum _T{x}_1^{t_1}\cdots x_n^{t_n}$

où la sommation porte sur les tableaux de Young semi-standard $T$ de forme $\lambda$ ; les exposants $t_1,\dots ,t_n$ donnent le poids de $T$ : en d'autres termes, chaque $t_i$ compte les occurrences du nombre $i$ dans $T$. Par exemple, le monôme associé au tableau Fichier:RSK example result.svg est $x_1{x}_3{x}_4^3{x}_5{x}_6{x}_7$.

L'expression comme somme de poids de tableaux de Young est parfois prise comme définition, par exemple dans Modèle:Harvsp.

Erreur lors de la création de la vignette :

Les trois tableaux de Young semi-standard de forme $\lambda =(3,2)$ et de poids $\mu =(1,1,2,1)$. On a donc $K_{\lambda ,\mu }=3$.

Les relations avec d'autres bases s'expriment souvent explicitement. Une des bases considérées est celle des fonctions symétriques monomiales $m_{\mu }$. Étant donné une partition $\mu =({\mu }_1,{\mu }_2,\dots ,{\mu }_n)$, le polynôme $m_{\mu }$ est par définition :

$m_{\mu }=\sum x_{i_1}^{{\mu }_1}{x}_{i_2}^{{\mu }_2}\cdots x_{i_n}^{{\mu }_n}$

où la sommation est sur toutes les permutations $(i_1,i_2,\dots ,i_n)$ des entiers de 1 à $n$. Par exemple, pour $\mu =(2,1,0)$, on obtient :

$m_{(2,1,0)}=x_1^2{x}_2+x_1^2{x}_3+x_1{x}_2^2+x_1{x}_3^2+x_2^2{x}_3+x_2{x}_3^2$.

Les polynômes de Schur sont des combinaisons linéaires de polynômes symétriques monomiaux à coefficients entiers naturels notés $K_{\lambda \mu }$ et appelés les nombres de Kostka. Le nombre de Kostka $K_{\lambda \mu }$ (qui dépend de deux partitions $\lambda$ et $\mu$) est égal par définition au nombre de tableaux de Young semi-standard de forme $\lambda$ et de poids $\mu$.

L'expression des polynômes de Schur comme combinaison de polynômes symétriques monomiaux est :

$s_{\lambda }=\sum _{\mu }{K}_{\lambda \mu }{m}_{\mu }.$

Les polynômes symétriques homogènes complets

$h_k(x_1,x_2,\dots ,x_n)=\sum _{1\le i_1\le i_2\le \cdots \le i_k\le n}{x}_{i_1}{x}_{i_2}\cdots x_{i_k},$

c'est-à-dire la somme de tous les monômes de degré $k$, en fournissent un autre exemple. Deux formules faisant intervenir des déterminants sont les formules de Jacobi-Trudi. La première exprime les polynômes de Schur comme un déterminant en termes de polynômes symétriques homogènes complets :

$s_{\lambda }=\underset{i,j}{\det }{h}_{{\lambda }_i+j-i}.$

Pour la partition $(d)$ de $d$ en une seule part, on a simplement

$s_{(d)}=h_d$.

La dernière relation se comprend facilement. En effet, si la partition comprend un seul terme, les tableaux de Young associés n'ont qu'une seule ligne à $n$ cellules, remplies par des entiers qui sont croissants au sens large. Chaque tableau correspond à un terme du polynôme symétrique homogène complet $h_d$.

La deuxième formule exprime les polynômes de Schur comme un déterminant en termes de polynômes symétriques élémentaires. On note $e_k(x_1,\dots ,x_n)$ le polynôme symétrique élémentaire qui est la somme des produits distincts de $k$ variables distinctes parmi les $n$. On a :

$s_{\lambda }=\underset{i,j}{\det }{e}_{\lambda {\text{'}}_i+j-i}$,

où ${\lambda }^{\prime }$ est la partition duale de $\lambda$. Pour la partition $(1{)}^d$ dont toutes les parts valent 1, on obtient

$s_{(1{)}^d}=e_d$.

Là également, la dernière formule se comprend bien. Les tableaux de Young sont formés d'une seule colonne de $n$ cellules, et les entiers qui y figurent sont strictement croissants. Chaque tableau fournit donc un monôme du polynôme symétrique élémentaire $e_d$.

Ces formules sont appelées les « identités déterminantales ». Un autre formule de ce type est la formule de Modèle:Lien, qui exprime le polynôme de Schur d'une partition en termes de partitions en équerre contenues dans le diagramme de Young correspondant. Dans la notation de Frobenius, la partition est notée

$(a_1,...a_r|b_1,...b_r)$

où, pour chaque élément diagonal, en position $(i,i)$, l'entier $a_i$ est le nombre de cellules à droite et sur la même ligne, et $b_i$ est le nombre de cellules en dessous et dans la même colonne (respectivement la longueur du « bras » et de la « jambe »).

L'identité de Giambelli exprime la partition comme le déterminant

$s_{(a_1,...a_r|b_1,...b_r)}=\det (s_{(a_i|b_j)})$.

Enfin, l'évaluation du polynôme de Schur $s_{\lambda }$ en (1,1,...,1) donne le nombre de tableaux de Young semi-standard de forme $\lambda$ avec entrées dans $\{1,2,\dots ,n\}$. On peut montrer, en utilisant par exemple la formule des caractères de Weyl, que

$s_{\lambda }(1,1,\dots ,1)=\prod _{1\le i<j\le n}\frac{{\lambda }_i-{\lambda }_j+j-i}{j-i}.$

Exemple

L'exemple qui suit illustre ces définitions. On considère le cas $n=3,d=4$. Les partitions de l'entier $d=4$ en au plus $n=3$ parts sont $(2,1,1),(2,2),(3,1),(4)$. On a

$s_{(2,1,1)}(x_1,x_2,x_3)=\frac{1}{\mathrm{\Delta }}\det \left(\begin{array}{ccc}{x}_1^4& x_2^4& x_3^4\\ x_1^2& x_2^2& x_3^2\\ x_1& x_2& x_3\end{array}\right)=x_1{x}_2{x}_3(x_1+x_2+x_3)$

$s_{(2,2,0)}(x_1,x_2,x_3)=\frac{1}{\mathrm{\Delta }}\det \left(\begin{array}{ccc}{x}_1^4& x_2^4& x_3^4\\ x_1^3& x_2^3& x_3^3\\ 1& 1& 1\end{array}\right)=x_1^2{x}_2^2+x_1^2{x}_3^2+x_2^2{x}_3^2+x_1^2{x}_2{x}_3+x_1{x}_2^2{x}_3+x_1{x}_2{x}_3^2$

et ainsi de suite. La deuxième des formules de Jacobi-Trudi donne les expressions :

1. $s_{(2,1,1)}=e_1{e}_3$
2. $s_{(2,2,0)}=e_2^2-e_1{e}_3$
3. $s_{(3,1,0)}=e_1^2{e}_2-e_2^2-e_1{e}_3+e_4$
4. $s_{(4,0,0)}=e_1^4-3e_1^2{e}_2+2e_1{e}_3+e_2^2-e_4.$

Tout polynôme symétrique homogène de degré 4 en trois variables s'exprime de façon unique comme combinaison linéaire de ces quatre polynômes de Schur. Considérons par exemple le polynôme :

$\varphi (x_1,x_2,x_3)=x_1^4+x_2^4+x_3^4$

C'est bien un polynôme symétrique homogène de degré 4 en trois variables. On trouve :

$\varphi =s_{(2,1,1)}-s_{(3,1,0)}+s_{(4,0,0)}.$

Relation avec la théorie des représentations

Les polynômes de Schur interviennent dans la théorie des représentations des groupes symétriques, du groupe général linéaire, et des groupes unitaires. La formule des caractères de Weyl implique que les polynômes de Schur sont les caractères de représentations irréductibles de degré fini des groupes généraux linéaires, et ceci permet de généraliser les travaux de Schur à d'autres groupes de Lie compacts et semi-simples.

Plusieurs expressions sont des conséquences de cette relation. La plus importante est le développement de la fonction de Schur $s_{\lambda }$ en termes de sommes de Newton $p_k=\sum _i{x}_i^k$. Si l'on note ${\chi }_{\rho }^{\lambda }$ le caractère du groupe symétrique indexé par la partition $\lambda$ évalué en des éléments dont le type de cycle est noté par la partition $\rho$, alors

$s_{\lambda }=\sum _{\rho =(1^{r_1},2^{r_2},3^{r_3},\dots )}{\chi }_{\rho }^{\lambda }\prod _k\frac{p_k^{r_k}}{r_k!k^{r_k}},$

où $\rho =(1^{r_1},2^{r_2},3^{r_3},\dots )$ signifie que la partition $\rho$ a $r_k$ parts de longueur $k$.

Fonctions de Schur gauches

Une fonction de Schur gauche $s_{\lambda /\mu }$ dépend de deux partitions $\lambda$ et $\mu$. Elle peut être définie par la propriété :

$⟨s_{\lambda /\mu },s_{\nu }⟩=⟨s_{\lambda },s_{\mu }{s}_{\nu }⟩.$

Comme pour les polynômes de Schur ordinaires, il y a diverses façons de les calculer. Les identités de Jacobi-Trudi correspondantes sont :

$s_{\lambda /\mu }=(h_{{\lambda }_i-{\mu }_j-i+j}),1\le i,j\le l(\lambda )$,

$s_{{\lambda }^{\prime }/{\mu }^{\prime }}=(e_{{\lambda }_i-{\mu }_j-i+j}),1\le i,j\le l(\lambda )$.

Il y a aussi une interprétation combinatoire des polynômes de Schur gauches, à savoir comme somme sur tous les tableaux de Young semi-standard de forme $\lambda /\mu$ :

$s_{\lambda /\mu }=\sum x^T$

où la sommation porte cette fois-ci sur les tableaux semi-standard de forme $\lambda /\mu$.

Articles connexes

• Règle de Littlewood-Richardson, où sont données des identités sur des polynômes de Schur
• Polynômes de Schubert, une généralisation des polynômes de Schur

Notes et références

Bibliographie

• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:EncycloMath
• Modèle:Enumerative Combinatorics
• Modèle:Ouvrage