Tableau de Young

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l'algèbre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Les tableaux de Young sont des objets combinatoires qui jouent un rôle important en théorie des représentations des groupes et dans la théorie des fonctions symétriques. Ils permettent en particulier de construire les représentations irréductibles du groupe symétrique, ainsi que celles du groupe général linéaire sur le corps des complexes.

Sommaire

[modifier] Définition

[modifier] Diagramme de Young

Diagramme de Young associé à la partition 7=3+3+1
Diagramme de Young associé à la partition 7=3+3+1

Un diagramme de Young, ou diagramme de Ferrer, est en quelque sorte une représentation graphique d'une partition d'un entier. Il est constitué d'un ensemble de cases justifiées à gauche et en bas, et le nombre de cases de chaque ligne correspond aux éléments de la partition associée. L'image à droite montre le diagramme associé à la partition (3,3,1).

[modifier] Tableau de Young

Un tableau de Young de forme (3,3,1) à valeurs dans [4]
Un tableau de Young de forme (3,3,1) à valeurs dans [4]

Un tableau de Young à valeurs dans [m] est un diagramme de Young dont les cases sont remplies par des entiers compris entre 1 et m, avec la contrainte que les lignes doivent être croissantes au sens large, et les colonnes croissantes au sens stricte. La partition associée au diagramme sous-jacent s'appelle la forme du tableau.

[modifier] Monoïde plaxique

[modifier] Algorithme de Schensted

L'algorithme de Schensted permet d'insérer une suite d'entiers dans un tableau, de manière à obtenir un nouveau tableau. Cet algorithme permet :

  • de munir l'ensemble des tableaux d'une loi de composition interne, en insérant successivment les éléments d'un tableau dans un autre.
  • d'induire une relation d'équivalence sur l'ensemble des suites finies d'entiers (cad des mots sur l'alphabet [m]). En effet, étant donnée une telle suite, il est possible de l'insérer dans le tableau vide : on obtient un tableau qui s'appelle le P-symbole de la suite. Deux suites seront équivalentes si elles sont le même P-symbole.

[modifier] Relations de Knuth

À partir de l'étude de cette relation d'équivalence sur les mots de longueur 3, Donald Knuth a défini des règles de réécriture sur l'ensemble des mots sur [m]. Ces règles de réécriture induisent également une relation d'équivalence, et Knuth a démontré qu'elle coïncide avec la relation de Schensted. Une conséquence importante de ce théorème est que la loi de composition qui découle de l'algorithme de Schensted possède toutes les propriétés requises pour donner à l'ensemble des tableaux une structure de monoïde : le monoïde plaxique.

[modifier] Applications

[modifier] Représentations du groupe symétrique

Les tableaux de Young permettent de calculer simplement les symétriseurs de Young.

[modifier] Représentation de GL(E)

Si E est un \mathbb{C}-espace vectoriel de dimension m, et λ une partition, on définit le module de Schur Eλ comme étant le \mathbb{C}-espace vectoriel dont une base est formée par l'ensemble des tableaux de Young de forme λ et à valeur dans [m]. Sachant qu'il est possible d'identifier un tableau de Young à valeurs dans [m] à un polynôme de \mathbb{C}[X_{i,j}|1\leq i,j \leq m], il existe une action naturelle de GL(E) sur les tableaux de Young par simple multiplication matricielle. Les modules de Schur sont donc des représentations de GL(E). On peut montrer que toute représentation polynomiale irréductible de GL(E) est isomorphe à un unique module de Schur.

[modifier] Fonctions symétriques

Les caractères des modules de Schur (en tant que représentations de GL(E)) sont des polynômes symétriques appelés polynômes de Schur. Les tableaux de Young fournissent un moyen élégant pour exprimer ces polynômes. Par ailleurs, il existe une règle purement combinatoire qui fait appel aux tableaux de Young, et qui permet de décomposer le produit de deux polynômes de Schur. Ceci implique en particulier que les tableaux permettent de décomposer le produit tensoriel de deux représentations irréductibles de GL(E) en somme directe de représentation irréductibles.