Polynôme de Schubert

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 (Lascoux et Schützenberger 1982) 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

(Lascoux 1995) raconte l'histoire des polynômes de Schubert.

Les polynômes de Schubert ${\mathfrak {S}}_{w}$ sont des polynômes en une infinité de variables $x_{1},x_{2},\ldots$ Ils sont indexés par un élément $w$ du groupe symétrique infini $S_{\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},\ldots ]$ 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},\ldots ,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 ${\mathfrak {S}}_{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 grand^{[réf. 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 ${\mathfrak {S}}_{w_{0}}=x_{1}^{n-1}x_{2}^{n-2}\cdots x_{n-1}^{1}$ ;
• on a $\partial _{i}{\mathfrak {S}}_{w}={\mathfrak {S}}_{ws_{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 ${\mathfrak {S}}_{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 :

• ${\mathfrak {S}}_{\mathrm {id} }=1$ ;
• si $s_{i}$ est la transposition $(i,i+1)$, alors ${\mathfrak {S}}_{s_{i}}=x_{1}+\cdots +x_{i}$ ;
• si $w(i)<w(i+1)$ pour tous $i\neq r$, alors ${\mathfrak {S}}_{w}$ est le polynôme de Schur $s_{\lambda }(x_{1},\ldots ,x_{r})$ où $\lambda$ est la partition $(w(r)-r,\ldots ,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 :

${\mathfrak {S}}_{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

${\mathfrak {S}}_{\beta }{\mathfrak {S}}_{\gamma }=\sum _{\alpha }c_{\beta \gamma }^{\alpha }{\mathfrak {S}}_{\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 ${\mathfrak {S}}_{w}(x_{1},x_{2},\ldots ,y_{1},y_{2},\ldots )$ sont des polynômes en deux familles infinies de variables, paramétrés par un élément w du groupe symétrique infini S_\infty, 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 ${\mathfrak {S}}_{w}(x_{1},x_{2},\ldots ,y_{1},y_{2},\ldots )$ sont caractérisés par les propriétés suivantes :

• ${\mathfrak {S}}_{w}(x_{1},x_{2},\ldots ,y_{1},y_{2},\ldots )=\prod \limits _{i+j\leq n}(x_{i}-y_{j})$ quand $w$ est la permutation sur $1,\ldots ,n$ de longueur maximale ;

• $\partial _{i}{\mathfrak {S}}_{w}={\mathfrak {S}}_{ws_{i}}$ si $w(i)>w(i+1)$.

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

${\mathfrak {S}}_{w}(x,y)=\sum _{w=v^{-1}u{\text{ et }}\ell (w)=\ell (u)+\ell (v)}{\mathfrak {S}}_{u}(x){\mathfrak {S}}_{v}(-y)$ .

Polynômes de Schubert quantiques

(Fomin, Gelfand et Postnikov 1997) ont introduit des polynômes de Schubert quantiques. Ils ont la même relation avec la (petite) cohomologie quantique (en) des variétés de drapeaux que les polynômes de Schubert ordinaires avec la cohomologie ordinaire.

Polynômes de Schubert universels

(Fulton 1999) 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

• Fonction symétrique de Stanley (en)
• Polynôme de Kostant (en)
• Formule de Monk (en), qui donne le produit d'un polynôme de Schubert de degré un et d'un polynôme de Schubert quelconque
• Nil-algèbre de Coxeter (en)

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Schubert polynomial » (voir la liste des auteurs).
• I. N. Bernstein, I. M. Gelfand et S. I. Gelfand, « Schubert cells, and the cohomology of the spaces G/P », Russian Math. Surveys, vol. 28, n^o 3,‎ 1973, p. 1-26 (DOI 10.1070/RM1973v028n03ABEH001557, Bibcode 1973RuMaS..28....1B)
• Sergey Fomin, Sergei Gelfand et Alexander Postnikov, « Quantum Schubert polynomials », Journal of the American Mathematical Society, vol. 10, n^o 3,‎ 1997, p. 565-596 (ISSN 0894-0347, DOI 10.1090/S0894-0347-97-00237-3 , MR 1431829)
• William Fulton, « Flags, Schubert polynomials, degeneracy loci, and determinantal formulas », Duke Mathematical Journal, vol. 65, n^o 3,‎ 1992, p. 381-420 (ISSN 0012-7094, DOI 10.1215/S0012-7094-92-06516-1, MR 1154177)
• William Fulton, Young tableaux, vol. 35, Cambridge University Press, coll. « London Mathematical Society Student Texts », 1997 (ISBN 978-0-521-56144-0, MR 1464693)
• William Fulton, « Universal Schubert polynomials », Duke Mathematical Journal, vol. 96, n^o 3,‎ 1999, p. 575-594 (ISSN 0012-7094, DOI 10.1215/S0012-7094-99-09618-7, MR 1671215, arXiv alg-geom/9702012, S2CID 10546579)
• Alain Lascoux, « Polynômes de Schubert: une approche historique », Discrete Mathematics, vol. 139, n^o 1,‎ 1995, p. 303-317 (ISSN 0012-365X, DOI 10.1016/0012-365X(95)93984-D , MR 1336845)
• Alain Lascoux et Marcel-Paul Schützenberger, « Polynômes de Schubert », Comptes Rendus de l'Académie des Sciences, i, vol. 294, n^o 13,‎ 1982, p. 447-450 (ISSN 0249-6291, MR 660739)
• Alain Lascoux et Marcel-Paul Schützenberger, « Schubert polynomials and the Littlewood-Richardson rule », Letters in Mathematical Physics. A Journal for the Rapid Dissemination of Short Contributions in the Field of Mathematical Physics, vol. 10, n^o 2,‎ 1985, p. 111-124 (ISSN 0377-9017, DOI 10.1007/BF00398147, Bibcode 1985LMaPh..10..111L, MR 815233, S2CID 119654656)
• I. G. Macdonald, « Schubert polynomials », dans A. D. Keedwell, Surveys in combinatorics, 1991 (Guildford, 1991), vol. 166, Cambridge University Press, coll. « London Math. Soc. Lecture Note Ser. », 1991 (ISBN 978-0-521-40766-3, MR 1161461, lire en ligne), p. 73-99
• I.G. Macdonald, Notes on Schubert polynomials, vol. 6, Laboratoire de combinatoire et d'informatique mathématique (LACIM), Université du Québec à Montréal, coll. « Publications du Laboratoire de combinatoire et d'informatique mathématique », 1991b (ISBN 978-2-89276-086-6, lire en ligne)
• Laurent Manivel, Fonctions symétriques, polynômes de Schubert et lieux de dégénérescence, Société mathématique de France, coll. « Cours spécialisés » (n^o 3), 1998, 185 p. (ISBN 2-85629-066-3, présentation en ligne)
• (en) Frank Sottile, « Schubert polynomials », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)