Treillis de Young

Le diagramme de Hasse du treillis de Young.

En mathématiques, et notamment en combinatoire, le treillis de Young est l'ensemble partiellement ordonné composé de toutes les partitions d'entiers. Cet ensemble est un treillis. Il est nommé ainsi d'après Alfred Young qui, dans une série d'articles intitulés On quantitative substitutional analysis a développé la théorie des représentations du groupe symétrique. Dans la théorie de Young, les objets appelés maintenant diagrammes de Young ou diagrammes de Ferrers et l'ordre partiels définis sur eux jouent un rôle central. Le treillis de Young occupe une place éminente en combinatoire algébrique, et est l'exemple le plus simple d'ensemble ordonné différentiel (en) au sens de Stanley 1988. Il est aussi étroitement lié à la base canonique[1] des algèbres de Lie affines.

Définition

Le treillis de Young est l'ensemble partiellement ordonné formé de toutes les partitions d'entiers, ordonnées par l'inclusion de leur diagramme de Young (ou diagramme de Ferrers).

Signification

L'application traditionnelle du treillis de Young est la description des représentations irréductibles du groupe symétrique ${\displaystyle S_{n}}$ pour tout ${\displaystyle n}$ et de leurs propriétés de branchement en caractéristique zéro. Les classes d'équivalences de représentations irréductibles peuvent être paramétrées par des partitions ou diagrammes de Young. La restriction de ${\displaystyle S_{n+1}}$ à ${\displaystyle S_{n}}$ est sans multiplicité, et la représentation de ${\displaystyle S_{n}}$ avec partition ${\displaystyle p}$ est contenue dans la représentation de ${\displaystyle S_{n}}$ avec partition ${\displaystyle q}$ si et seulement si ${\displaystyle q}$ couvre ${\displaystyle p}$ dans le treillis de Young. En itérant cette procédure, on arrive à la base semi-canonique de Young dans la représentation de ${\displaystyle S_{n}}$ avec partition ${\displaystyle p}$ qui est indexée par les tableaux de Young standard de forme ${\displaystyle p}$.

Propriétés

Soit ${\displaystyle Y}$ l'ensemble ordonné de toutes les partitions.

• L'ensemble ordonné ${\displaystyle Y}$ est un ensemble gradué : le plus petit élément est l'ensemble vide qui est l'unique partition du nombre zéro. Chaque partition a un rang. Les partitions de l'entier ${\displaystyle n}$ ont toutes rang ${\displaystyle n}$. Ceci signifie que les rangs de deux partitions comparables sont ordonnés comme les partitions, et il existe au moins une partition intermédiaire pour tout rang intermédiaire.
• L'ensemble ordonné ${\displaystyle Y}$ est un treillis. Les bornes inférieure et supérieure sont données par l’intersection et la réunion de leurs diagrammes de Young respectifs. Comme l'ensemble est un treillis dans lequel les bornes inférieures et supérieures sont représentées par des intersections et réunions, le treillis est distributif.
• Si une partition ${\displaystyle p}$ couvre[2] ${\displaystyle k}$ éléments du treillis de Young pour un certain ${\displaystyle k}$, alors il est lui-même couvert par ${\displaystyle k+1}$ éléments. Les partitions couvertes par ${\displaystyle p}$ sont obtenues en supprimant une « coin » du diagramme, c'est-à-dire une cellule qui termine une ligne et une colonne. Toutes les partitions qui couvrent ${\displaystyle p}$ sont obtenues en ajoutant une cellule qui est un « coin dual » : c'est une cellule nouvelle qui est la première cellule nouvelle dans sa ligne ou et sa colonne. En fait, une telle cellule existe pour la première ligne, et pour tout autre coin dual, il existe un coin dans coin dans la ligne précédente, d'où la différence de 1 entre les partitions qui couvrent et les partitions couvertes. Par exemple, la partition (2,1,1) de l'entier 4 possède deux coins, l'un dans la première ligne et l'un dans la troisième, ce qui donne les deux partitions (1,1,1) et (2,1). La partition (2,1,1) elle-même possède trois coins duaux, dans la première, la deuxième et la quatrième ligne.
• Si deux partitions distinctes ${\displaystyle p}$ et ${\displaystyle q}$ couvrent chacune ${\displaystyle k}$ éléments de ${\displaystyle Y}$, alors ${\displaystyle k=0}$ ou ${\displaystyle k=1}$, et ${\displaystyle p}$ et ${\displaystyle q}$ sont couvertes par ${\displaystyle k}$ éléments. Autrement dit : deux partitions ne peuvent couvrir qu'une seule même partition, car leurs diagrammes respectifs contiennent chacun exactement une cellule qui ne figure pas dans l’autre. Dans ce cas, il existe une quatrième partition qui couvre ces deux partitions et qui est la réunion de leur diagrammes.
• Les chaînes saturées (c'est-à-dire les suites de partitions dont chacune couvre la précédente) entre la partition vide et une partition ${\displaystyle p}$ sont en bijection naturelle avec les tableaux de Young standard de forme ${\displaystyle p}$ : les cellules du diagramme sont numérotées dans l'ordre dans lequel elles sont ajoutées. Plus généralement, les chaînes saturées entre ${\displaystyle q}$ et ${\displaystyle p}$ sont en bijection naturelle avec les tableaux de Young gauches de forme ${\displaystyle p/q}$.
• La fonction de Möbius du treillis de Young prend les valeurs 0, +1, ou -1. Elle est donnée par la formule

${\displaystyle \mu (q,p)={\begin{cases}(-1)^{|p|-|q|}&{\text{si le diagramme gauche }}p/q{\text{ est l'union de cellules sans côté en commun}},\\[10pt]0&{\text{sinon}}.\end{cases}}}$

Symétrie diédrale

Ce dessin inhabituel d'une partie du treillis de Young montre une symétrie axiale et une symétrie de rotation d'ordre 5, donc une symétrie diédrale.

La représentation picturale usuelle du treillis de Young est un diagramme de Hasse où les éléments de même rank sont tracés à la même hauteur. Suter, en 2002[3], a montré qu'un dessin différent pouvait faire apparaître des symétries inattendues.

La partition

${\displaystyle n+\cdots +3+2+1}$

du ${\displaystyle n}$^e nombre triangulaire a un diagramme de Ferrers en escalier. Les plus grandes partitions contenues dans cette partition et dont le diagramme de Ferrers est un rectangle sont les suivantes :

${\displaystyle \underbrace {1+\cdots +1} _{n{\text{ termes}}}\quad \underbrace {2+\cdots +2} _{n-1{\text{ termes}}}\quad \underbrace {3+\cdots +3} _{n-2{\text{ termes}}}\qquad \cdots \quad \underbrace {{}\ n\ {}} _{1{\text{ terme}}}}$

Par exemple, pour ${\displaystyle n=4}$, les éléments rectangulaires maximaux sont :

1 + 1 + 1 + 1

2 + 2 + 2

3 + 3

4

Les partitions rectangulaires ne couvrent qu'un seul élément, puisqu'elles possèdent un seul coin. Suter montre que l'ensemble des éléments en-dessous de ces partitions a non seulement une symétrie latérale à laquelle on s'attend dans le treillis de Young, mais aussi une symétrie de rotation : le groupe des rotations d'ordre ${\displaystyle n+1}$ agit sur cet ensemble. Comme il possède à la fois une symétrie axiale et une symétrie de rotation, il a une symétrie diédrale : le groupe diédral d'ordre ${\displaystyle n+1}$ opère fidèlement sur cet ensemble. La taille de cet ensemble est ${\displaystyle 2^{n}}$.

Dans le cas ${\displaystyle n=4}$ représenté dans la figure, c'est le groupe diédral ${\displaystyle D_{5}}$ qui opère fidèlement sur ce sous-ensemble du treillis de Young.

Formule de la somme des carrés

La considération du treillis de Young permet une démonstration simple d'une des formules étonnantes concernant les tableaux de Young, appelée parfois la « formule de la somme des carrés » (par exemple sum-of-squares formula chez Bruce Sagan[4]). Pour le diagramme de Ferrers ${\displaystyle \lambda }$ d'une partition de ${\displaystyle n}$ donnée, notons ${\displaystyle f^{\lambda }}$ le nombre de tableaux de Young de forme ${\displaystyle \lambda }$. D'après les propriétés du treillis de Young énoncées plus haut, ${\displaystyle f^{\lambda }}$ est le nombre de chaînes de longueur ${\displaystyle n}$ de l'ensemble vide à ${\displaystyle \lambda }$. La formule annoncée est :

${\displaystyle \sum _{|\lambda |=n}(f^{\lambda })^{2}=n\,!}$

Pour établir cette formule[5], on considère l'espace vectoriel ${\displaystyle \mathbb {C} Y}$ des combinaisons linéaires formelles d'éléments de ${\displaystyle Y}$, et on définit sur cet espace deux opérateurs ${\displaystyle D}$ et ${\displaystyle U}$ (pour down et up) qui correspondent à la descente et la montée dans le treillis de Young, par :

${\displaystyle D(\lambda )=\sum \lambda ^{-},\qquad U(\lambda )=\sum \lambda ^{+}}$,

où ${\displaystyle \lambda ^{-}}$ resp. ${\displaystyle \lambda ^{+}}$ parcourt l'ensemble des éléments couverts par ${\displaystyle \lambda }$ respectivement qui couvrent ${\displaystyle \lambda }$. Par exemple

${\displaystyle D\left({\begin{matrix}\bullet &\bullet &\bullet \\\bullet &\bullet &\end{matrix}}\right)={\begin{matrix}\bullet &\bullet \\\bullet &\bullet \end{matrix}}+{\begin{matrix}\bullet &\bullet &\bullet \\\bullet &&\end{matrix}}}$

et

${\displaystyle U\left({\begin{matrix}\bullet &\bullet &\bullet \\\bullet &\bullet &\end{matrix}}\right)={\begin{matrix}\bullet &\bullet &\bullet &\bullet \\\bullet &\bullet &\end{matrix}}+{\begin{matrix}\bullet &\bullet &\bullet \\\bullet &\bullet &\bullet \end{matrix}}+{\begin{matrix}\bullet &\bullet &\bullet \\\bullet &\bullet &\\\bullet \end{matrix}}}$

Nous avons constaté qu'il y a un élément de plus qui couvre un diagramme donné que d'éléments couverts. Il en résulte la formule

${\displaystyle DU-UD=I}$

où ${\displaystyle I}$ est l'opérateur identité. En effet, on a

${\displaystyle DU(\lambda )=\sum \mu +(k+1)\lambda }$,

où la somme est sur les éléments ${\displaystyle \mu \neq \lambda }$ qui sont couverts par un élément qui couvre aussi ${\displaystyle \lambda }$, et ${\displaystyle k+1}$ est le nombre d'éléments couvrant ${\displaystyle \lambda }$. De même, ${\displaystyle UD(\lambda )=\sum \mu +k\lambda }$, et en prenant la différence, on obtient la formule. Comme conséquence, on obtient pour ${\displaystyle n>0}$ :

${\displaystyle DU^{n}=nU^{n-1}+U^{n}D}$.

C'est la formule précédente pour n=1, et par récurrence on a

${\displaystyle DU^{n+1}=(DU^{n})U=(nU^{n-1}+U^{n}D)U=nU^{n}+U^{n}(I+UD)=(n+1)U^{n}+U^{n+1}D}$.

Le nombre de chaînes de longueur ${\displaystyle n}$ reliant un élément ${\displaystyle \lambda }$ donné à l'élément vide ${\displaystyle \emptyset }$ est ${\displaystyle f^{\lambda }}$. Il s'exprime par la formule

${\displaystyle D^{n}(\lambda )=f^{\lambda }\emptyset }$.

Les éléments qu'on peut atteindre par des chaînes de longueur ${\displaystyle n}$ depuis l'élément vide ${\displaystyle \emptyset }$ est

${\displaystyle U^{n}(\emptyset )=\sum _{|\lambda |=n}f^{\lambda }\lambda }$.

Il en résulte que

${\displaystyle D^{n}U^{n}(\emptyset )=\left(\sum _{|\lambda |=n}{\left(f^{\lambda }\right)}^{2}\right)\emptyset }$.

Maintenant, on prouve que ${\displaystyle D^{n}U^{n}(\emptyset )=n!\emptyset }$ par récurrence sur ${\displaystyle n}$. On a

${\displaystyle D^{n}U^{n}(\emptyset )=D^{n-1}(DU^{n})(\emptyset )=D^{n-1}(nU^{n-1}+U^{n}D)(\emptyset )=nD^{n-1}U^{n-1}(\emptyset )+D^{n-1}U^{n}D(\emptyset )=n(n-1)!\emptyset +0}$.

Ceci termine la démonstration.

Voir aussi

• treillis de Young-Fibonacci

Notes et références

Notes

1. Une base de cristal ou base canonique est une base d'une représentation telle que les générateurs d'un groupe quantique ou d'une algèbre de Lie semi-simple ont une action particulièrement simple sur elle.
2. Un élément ${\displaystyle p}$ couvre un élément ${\displaystyle q}$ s'il est strictement plus grand que ${\displaystyle q}$ et qu'il n'y a pas d'élément intermédiaire entre eux.
3. Suter 2002
4. Sagan 2001, Chapitre 5.
5. La démonstration suit Sagan 2001, p. 193-194.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Young's lattice » (voir la liste des auteurs).

Références

• Kailash C. Misra et Tetsuji Miwa, « Crystal base for the basic representation of ${\displaystyle U_{q}({\widehat {\mathfrak {sl}}}(n))}$ », Communications in Mathematical Physics, vol. 134, n^o 1,‎ novembre 1990, p. 79-88 (DOI 10.1007/BF02102090)

• Bruce Sagan, The Symmetric Group : Representations, Combinatorial Algorithms, and Symmetric Functions, New York/Berlin/Heidelberg etc., Springer, coll. « Graduate Texts in Mathematics » (n^o 203), 2001, 2^e éd., 238 p. (ISBN 0-387-95067-2, lire en ligne), « Section 5.1. Young's Lattice and Differential Posets »
• Richard P. Stanley, « Differential Posets », Journal of the American Mathematical Society, vol. 1, n^o 4,‎ octobre 1988, p. 919 (DOI 10.2307/1990995)
• Ruedi Suter, « Young’s Lattice and Dihedral Symmetries », European Journal of Combinatorics, vol. 23, n^o 2,‎ février 2002, p. 233-238 (DOI 10.1006/eujc.2001.0541)