Treillis de Young

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).

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}$.

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}}}$

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.

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.

• treillis de Young-Fibonacci