Variété de Schubert

En géométrie algébrique, une variété de Schubert est une certaine sous-variété d'une grassmannienne des sous-espaces de dimension d'un espace vectoriel fixé. Elle a généralement des points singuliers. Comme la grassmannienne, c'est une sorte d'espace de modules, dont les éléments satisfont à des conditions donnant des bornes inférieures aux dimensions des intersections de ses éléments , avec les éléments d'un drapeau donné. Ici peut être un espace vectoriel sur un corps arbitraire, mais le plus souvent il s'agit de celui des nombres réels ou complexes.

Définition

modifier

Exemple

modifier

Un exemple typique est l'ensemble   des plans   d'un espace   de dimension 4 qui coupent un sous-espace de dimension 2 fixé (de référence)   de manière non triviale :

 

Sur le corps des nombres réels, on peut se représenter les choses dans l'espace xyz habituel comme suit. En remplaçant les sous-espaces par leurs espaces projectifs correspondants et en intersectant avec un ouvert de coordonnées affines de  , on obtient un sous-ensemble ouvert X° ⊂ X. Celui-ci est isomorphe à l'ensemble de toutes les droites affines L qui coupent l'axe des x. Chacune de ces droites L correspond à un point de X°, et un mouvement continu de L dans l'espace (tout en gardant le contact avec l'axe des x) correspond à une courbe dans X°. Puisqu'il existe trois degrés de liberté pour déplacer L (déplacement du point sur l'axe des x, rotation et inclinaison), X est une variété algébrique réelle de dimension 3. Cependant, lorsque L est égal à l'axe des x, il peut être tourné ou incliné autour de n'importe quel point de l'axe, et ces degrés de liberté supplémentaires font de L un point singulier de X.

Définition générale

modifier

Plus généralement, une variété Schubert dans   est définie en spécifiant la dimension minimale de l'intersection d'un sous-espace   de dimension   avec chacun des espaces d'un drapeau complet de référence  , où  . (Dans l'exemple ci-dessus, cela reviendrait à imposer certaines intersections de la droite L avec l'axe des x et le plan Oxy.)

Plus généralement encore, étant donné un groupe algébrique semi-simple   muni d'un sous-groupe Borel   et d'un sous-groupe parabolique standard  , on sait que l'espace homogène  , qui est un exemple de variété de drapeaux, se décompose en un nombre fini de  -orbites, qui peuvent être paramétrées par certains éléments   du groupe de Weyl  . La fermeture de la  -orbite associée à un élément   est noté   et est appelée une variété Schubert dans  . Le cas classique correspond à  , avec  , le  -ième sous-groupe parabolique maximal de  , de sorte que   est la grassmannienne des  -plans dans  .

Importance

modifier

Les variétés de Schubert forment l'une des classes les plus importantes et les mieux étudiées de variétés algébriques singulières (en). Une certaine mesure de singularité des variétés de Schubert est fournie par les polynômes de Kazhdan-Lusztig, qui encodent leur cohomologie d'intersection (en) locale définie par Mark Goresky et Robert MacPherson.

Les algèbres de fonctions régulières sur les variétés de Schubert ont une signification profonde en combinatoire algébrique. D'une part, ce sont des exemples d'algèbres avec une règle de redressement (en). D'autre part, la (co)homologie de la grassmannienne, et plus généralement des variétés drapeaux généralisées, repose sur les classes de (co)homologie des variétés Schubert, ou cycles de Schubert. L'étude de la théorie de l'intersection sur la grassmannienne a été initiée par Hermann Schubert et poursuivie par Hieronymus Zeuthen au XIXe siècle dans le cadre de la géométrie énumérative. Ce domaine a été jugé par David Hilbert suffisamment important pour être inclus comme le quinzième de ses vingt-trois célèbres problèmes. L'étude s'est poursuivie au XXe siècle dans le cadre du développement général de la topologie algébrique et de la théorie des représentations mais elle s'est accélérée dans les années 1990 à partir des travaux de William Fulton sur les lieux de dégénérescence (en) et les polynômes de Schubert, à la suite des travaux de Bernstein-Gelfand-Gelfand et Demazure en théorie des représentations dans les années 1970, Lascoux et Schützenberger en combinatoire dans les années 1980, et Fulton et MacPherson en théorie de l'intersection des variétés algébriques singulières, également dans les années 1980.

Articles connexes

modifier

Notes et références

modifier