Polynôme de Schubert

Modèle:Sources à lier En mathématiques, les polynômes de Schubert sont des généralisations des polynômes de Schur qui représentent des classes de cohomologie des variétés de Schubert dans les variétés de drapeaux. Ils ont été introduits par Modèle:Harvard et portent le nom de Hermann Schubert. Ils sont à l'intersection de la géométrie algébrique, de la théorie des représentations et de la combinatoire.

Contexte

Modèle:Harvard raconte l'histoire des polynômes de Schubert.

Les polynômes de Schubert ${𝔖}_w$ sont des polynômes en une infinité de variables $x_1,x_2,\dots$ Ils sont indexés par un élément $w$ du groupe symétrique infini $S_{\mathrm{\infty }}$ formé des permutations de $\mathbb{N}$ qui fixent tous les entiers sauf un nombre fini. Ils forment une base de l'anneau $\mathbb{Z}[x_1,x_2,\dots ]$ des polynômes en une infinité de variables.

L'anneau de cohomologie de la variété des drapeaux $\text{Fl}(m)$ est un quotient $\mathbb{Z}[x_1,x_2,\dots ,x_m]/I,$ où $I$ est l'idéal engendré par certains polynômes symétriques homogènes de degré strictement positif. Le polynôme de Schubert ${𝔖}_w$ est l'unique polynôme homogène de degré $\ell (w)$ qui représente le cycle de Schubert associé à $w$ dans l'anneau $\text{Fl}(m)$ pour $m$ assez grandModèle:Référence nécessaire.

Propriétés

Les polynômes de Schubert ont deux propriétés caractéristiques :

• si $w_0$ est la permutation de longueur maximale dans le groupe symétrique $S_n$ alors ${𝔖}_{w_0}=x_1^{n-1}{x}_2^{n-2}\cdots x_{n-1}^1$ ;
• on a ${\partial }_i{𝔖}_w={𝔖}_{w{s}_i}$ si $w(i)>w(i+1)$, où $s_i$ est la transposition $(i,i+1)$ et où ${\partial }_i$ est l'opérateur de différence divisée qui envoie $P$ sur $(P-s_{i}P)/(x_i-x_{i+1})$.

Ces deux propriétés permettent de calculer les polynômes de Schubert de façon récursive. Cela implique notamment que ${𝔖}_w={\partial }_{w^{-1}{w}_0}{x}_1^{n-1}{x}_2^{n-2}\cdots x_{n-1}^1$.

Voici d'autres propriétés de ces polynômes :

• ${𝔖}_{\mathrm{i}\mathrm{d}}=1$ ;
• si $s_i$ est la transposition $(i,i+1)$, alors ${𝔖}_{s_i}=x_1+\cdots +x_i$ ;
• si $w(i)<w(i+1)$ pour tous $i\ne r$, alors ${𝔖}_w$ est le polynôme de Schur $s_{\lambda }(x_1,\dots ,x_r)$ où $\lambda$ est la partition $(w(r)-r,\dots ,w(2)-2,w(1)-1)$ ; en particulier, tous les polynômes de Schur (d'un nombre fini de variables) sont des polynômes de Schubert ;
• les coefficients des polynômes de Schubert sont positifs ; une conjecture pour calculer leurs coefficients a été proposée par Richard P. Stanley et prouvée indépendamment dans deux articles, l'un par Sergey Fomin et Stanley, l'autre par Sara Billey, William Jockusch et Stanley ;
• les polynômes de Schubert peuvent être considérés comme la fonction génératrice de certains objets combinatoires appelés chimères ou graphes-rc ; ces objets sont en bijection avec les faces de Kogan réduites (introduites dans la thèse de Mikhail Kogan), qui sont des faces particulières des polytopes de Gelfand-Tsetlin ;
• les polynômes de Schubert peuvent également être écrits comme une somme pondérée d'objets appelés chimères sans bosses.

On a par exemple :

${𝔖}_{24531}(x)=x_1{x}_3^2{x}_4{x}_2^2+x_1^2{x}_3{x}_4{x}_2^2+x_1^2{x}_3^2{x}_4{x}_2.$

Constantes de structure multiplicatives

Comme les polynômes de Schubert forment une base entière de l'anneau des polynômes, il existe des coefficients $c_{\beta \gamma }^{\alpha }$ uniques tels que

${𝔖}_{\beta }{𝔖}_{\gamma }=\sum _{\alpha }{c}_{\beta \gamma }^{\alpha }{𝔖}_{\alpha }.$

Ces coefficients peuvent être considérés comme une généralisation des coefficients de Littlewood-Richardson décrits par la règle de Littlewood-Richardson. Pour des raisons algébro-géométriques (théorème de transversalité de Kleiman de 1974), ces coefficients sont des entiers naturels et c'est un problème majeur en théorie des représentations et en combinatoire de donner une règle combinatoire pour ces nombres.

Polynômes de Schubert doubles

Les polynômes de Schubert doubles ${𝔖}_w(x_1,x_2,\dots ,y_1,y_2,\dots )$ sont des polynômes en deux familles infinies de variables, paramétrés par un élément w du groupe symétrique infini Modèle:Math, qui se spécialisent en les polynômes de Schubert habituels lorsque toutes les variables $y_i$ sont envoyées sur $0$.

Les polynômes de Schubert doubles ${𝔖}_w(x_1,x_2,\dots ,y_1,y_2,\dots )$ sont caractérisés par les propriétés suivantes :

• ${𝔖}_w(x_1,x_2,\dots ,y_1,y_2,\dots )=\prod _{i+j\le n}(x_i-y_j)$ quand $w$ est la permutation sur $1,\dots ,n$ de longueur maximale ;

• ${\partial }_i{𝔖}_w={𝔖}_{w{s}_i}$ si $w(i)>w(i+1)$.

Les polynômes de Schubert doubles peuvent également être définis par la relation

${𝔖}_w(x,y)=\sum _{w=v^{-1}u\text{ et }\ell (w)=\ell (u)+\ell (v)}{𝔖}_u(x){𝔖}_v(-y)$ .

Polynômes de Schubert quantiques

Modèle:Harvard ont introduit des polynômes de Schubert quantiques. Ils ont la même relation avec la Modèle:Lien des variétés de drapeaux que les polynômes de Schubert ordinaires avec la cohomologie ordinaire.

Polynômes de Schubert universels

Modèle:Harvard a défini des polynômes de Schubert universels, qui generalisent les polynômes de Schubert classiques et quantiques. Il a également défini une version universelle des polynômes de Schubert doubles qui généralise les polynômes de Schubert doubles évoqués ci-dessus.

Articles connexes

• Modèle:Lien
• Modèle:Lien
• Modèle:Lien, qui donne le produit d'un polynôme de Schubert de degré un et d'un polynôme de Schubert quelconque
• Modèle:Lien

Références

• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Chapitre
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:EncycloMath