Calcul de Schubert

En mathématiques, et plus précisément en géométrie algébrique, le calcul de Schubert est une technique introduite à la fin du Modèle:S- par Hermann Schubert pour résoudre des problèmes de dénombrement en géométrie projective. C'est un précurseur de plusieurs théories plus modernes, comme celle des classes caractéristiques, et ses aspects algorithmiques font toujours l'objet de recherches ; la systématisation et la justification de ce calcul est l'objet du quinzième problème de Hilbert.

Construction

Une construction moderne du calcul de Schubert associe à la grassmannienne

$G(k,V)$

(la variété algébrique des sous-espaces vectoriels de dimension k d'un espace vectoriel V de dimension n, appelés k-plans dans la suite de cet article) son Modèle:Lien, et décrit ce dernier par un ensemble de générateurs ayant une signification géométrique. Pour un drapeau complet

$𝒱=(V_1,V_2,\dots ,V_n)$

avec

$0\subset V_1\subset \cdots \subset V_{n-1}\subset V_n=V$

et un

$k$

-uple d'entiers

$𝐚=(a_1,\dots ,a_k)$

avec

$n-k\ge a_1\ge a_2\ge \cdots \ge a_k\ge 0$

, on définit l'ensemble des cycles de Schubert (appelés également cellules de Schubert lorsqu'on s'intéresse à l'homologie cellulaire plutôt qu'à l'anneau de Chow)

${\mathrm{\Sigma }}_{𝐚}(𝒱)\subset G(k,V)$

par :

${\mathrm{\Sigma }}_{𝐚}(𝒱)=\{\mathrm{\Lambda }\in G(k,V):\dim (V_{n-k+i-a_i}\cap \mathrm{\Lambda })\ge i\text{ pour tout }i\ge 1\}$

Les classes

$[{\mathrm{\Sigma }}_{𝕒}(𝒱)]\in A^{*}(G(k,V))$

ne dépendant pas du drapeau, on peut les écrire

${\sigma }_{𝕒}:=[{\mathrm{\Sigma }}_{𝕒}]\in A^{*}(G(k,V))$

 ; on les appelle les classes de Schubert. On démontre que ces classes engendrent l'anneau de Chow, et, dans cette présentation, c'est la théorie de l'intersection associée qu'on appelle le calcul de Schubert. Pour une suite donnée

$𝕒=(a_1,\dots ,a_j,0,\dots ,0)$

, la classe de Schubert

${\sigma }_{(a_1,\dots ,a_j,0,\dots ,0)}$

est simplement notée

${\sigma }_{(a_1,\dots ,a_j)}$

(ou même

${\sigma }_{a_1,\dots ,a_j}$

). Les classes correspondant à un seul entier,

${\sigma }_{a_1}$

, sont appelées des classes spéciales. La formule de Giambeli ci-dessous montre que toutes les classes de Schubert sont engendrées par les classes spéciales.

Motivation de la définition

L'explication des contraintes numériques de la définition vient de ce qu'un $k$-plan $\mathrm{\Lambda }\subset V$ générique sera d'intersection nulle avec les $V_i$ pour $i\le n-k$ et que $\dim (V_{n-k+i}\cap \mathrm{\Lambda })$ vaudra $i$ pour $i>n-k$, d'après la formule de Grassmann.

Propriétés

Inclusion

L'ordre partiel défini sur les $k$-uples par $𝕒\ge 𝕓⟺$ $a_i\ge b_i$ pour tout $i$ définit l'inclusion des cycles de Schubert  : ${\mathrm{\Sigma }}_{𝕒}\subset {\mathrm{\Sigma }}_{𝕓}⟺𝕒\ge 𝕓$.

Formule de la codimension

On définit la codimension d'un cycle de Schubert ${\mathrm{\Sigma }}_{𝕒}$ (ou de la classe de Schubert associée ${\sigma }_{𝕒}$) par la formule $\mathrm{c}\mathrm{o}\mathrm{d}\mathrm{i}\mathrm{m}({\mathrm{\Sigma }}_{𝕒})=\sum a_i$, laquelle est stable pour l'inclusion des grassmanniennes, c'est-à-dire que l'application $i:G(k,n)\hookrightarrow G(k+1,n+1)$ définie en ajoutant à chaque $k$-plan le vecteur supplémentaire $e_{n+1}$ (obtenant un $(k+1)$-plan) vérifie $\mathrm{c}\mathrm{o}\mathrm{d}\mathrm{i}\mathrm{m}(i({\mathrm{\Sigma }}_{𝕒}))=\mathrm{c}\mathrm{o}\mathrm{d}\mathrm{i}\mathrm{m}({\mathrm{\Sigma }}_{𝕒})$ (en appliquant $i$ à chaque élément de ${\mathrm{\Sigma }}_{𝕒}$). L'inclusion ordinaire $j:G(k,n)\hookrightarrow G(k,n+1)$ vérifie la même propriété.

Produit d'intersection

La loi multiplicative de l'anneau de Chow, appelée Modèle:Lien, est une loi de composition sur les classes de Schubert. Ce produit fut d'abord construit à l'aide des formules de Pieri et de Modèle:Lien (lesquelles sont des cas particuliers de formules analogues pour les classes de Chern, telle que la Modèle:Lien).

Formule de Pieri

Le produit de la classe spéciale ${\sigma }_b$ avec une classe de Schubert arbitraire ${\sigma }_{a_1,\dots ,a_k}$ est donné par la formule ${\sigma }_b\cdot {\sigma }_{a_1,\dots ,a_k}=\sum _{\begin{array}{c}|𝕔|=|𝕒|+b\\ a_i\le c_i\le a_{i-1}\end{array}}{\sigma }_{𝕔}$ (où $|𝕒|=a_1+\cdots +a_k$), appelée formule de Pieri. Par exemple, ${\sigma }_2\cdot {\sigma }_2={\sigma }_2^2={\sigma }_{2,2}+{\sigma }_{3,1}+{\sigma }_{4,0}$, ${\sigma }_1\cdot {\sigma }_{4,2,1}={\sigma }_{5,2,1}+{\sigma }_{4,3,1}+{\sigma }_{4,2,1,1}$ et ${\sigma }_2\cdot {\sigma }_{4,3}={\sigma }_{4,3,2}+{\sigma }_{4,4,1}+{\sigma }_{5,3,1}+{\sigma }_{5,4}+{\sigma }_{6,3}$.

Formule de Giambelli

Le calcul du produit pour des classes quelconques se fait en remplaçant la classe

${\sigma }_{a_1,\dots ,a_k}$

par un déterminant (formel) d'une matrice

$k\times k$

de classes spéciales :

$\left|\begin{array}{ccccc}{\sigma }_{a_1}& {\sigma }_{a_1+1}& {\sigma }_{a_1+2}& \cdots & {\sigma }_{a_1+k-1}\\ {\sigma }_{a_2-1}& {\sigma }_{a_2}& {\sigma }_{a_2+1}& \cdots & {\sigma }_{a_2+k-2}\\ {\sigma }_{a_3-2}& {\sigma }_{a_3-1}& {\sigma }_{a_3}& \cdots & {\sigma }_{a_3+k-3}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ {\sigma }_{a_k-k+1}& {\sigma }_{a_k-k+2}& {\sigma }_{a_k-k+3}& \cdots & {\sigma }_{a_k}\end{array}\right|$

(formule de Giambelli). Par exemple,

${\sigma }_{2,2}$

devient

$\left|\begin{array}{cc}{\sigma }_2& {\sigma }_3\\ {\sigma }_1& {\sigma }_2\end{array}\right|={\sigma }_2^2-{\sigma }_1\cdot {\sigma }_3$

et

${\sigma }_{2,1,1}$

devient

$\left|\begin{array}{ccc}{\sigma }_2& {\sigma }_3& {\sigma }_4\\ {\sigma }_0& {\sigma }_1& {\sigma }_2\\ 0& {\sigma }_0& {\sigma }_1\end{array}\right|$

.

Relation avec les classes de Chern

Une description simple de l'anneau de Chow (ou anneau de cohomologie) de la grassmannienne

$G(k,n)$

est possible à l'aide des classes de Chern de deux fibrés vectoriels naturels

$T$

et

$Q$

au-dessus d'elle. On a la suite

$0\to T\to \underset{\_}{V}\to Q\to 0$

, où

$\underset{\_}{V}$

est le fibré trivial de rang

$n$

, la fibre de

$T$

sur

$\mathrm{\Lambda }\in G(k,n)$

est le sous-espace

$\mathrm{\Lambda }\subset V$

, et

$Q$

est le fibré quotient (qui existe puisque le rang est constant au-dessus de chaque fibre). Les classes de Chern correspondante sont

$c_i(T)=(-1{)}^i{\sigma }_{(1,\dots ,1)}$

(où

$(1,\dots ,1)$

est un

$i$

-uple) et

$c_i(Q)={\sigma }_i$

. On déduit de la séquence la présentation de l'anneau de Chow comme :

$A^{*}(G(k,n))=\frac{\mathbb{Z}[c_1(T),\dots ,c_k(T),c_1(Q),\dots ,c_{n-k}(Q)]}{(c(T)c(Q)-1)}$

Modèle:Référence souhaitée.

G(2,4)

Un exemple classique d'utilisation du calcul de Schubert est l'analyse de la grassmannienne $G(2,4)$ (qui fournit un paramétrage des droites de ${\mathbb{P}}^3$), permettant d'obtenir le nombre de droites d'une surface cubique.

Anneau de Chow

On a vu que l'anneau de Chow a la présentation

$A^{*}(G(2,4))=\frac{\mathbb{Z}[{\sigma }_1,{\sigma }_{1,1},{\sigma }_2]}{(1-{\sigma }_1+{\sigma }_{1,1})(1+{\sigma }_1+{\sigma }_2)}$

 ;

en tant que groupe abélien gradué, il est donné par

$\begin{array}{cc}{A}^0(G(2,4))& =\mathbb{Z}\cdot 1\\ A^2(G(2,4))& =\mathbb{Z}\cdot {\sigma }_1\\ A^4(G(2,4))& =\mathbb{Z}\cdot {\sigma }_2\oplus \mathbb{Z}\cdot {\sigma }_{1,1}\\ A^6(G(2,4))& =\mathbb{Z}\cdot {\sigma }_{2,1}\\ A^8(G(2,4))& =\mathbb{Z}\cdot {\sigma }_{2,2}\\ \end{array}$

Droites sur une surface cubique

Un modèle de la surface de Clebsch montrant ses 27 droites réelles.

L'anneau de Chow précédent peut être utilisé pour calculer le nombre de droites sur une surface cubique. Une droite de ${\mathbb{P}}^3$ correspond à un 2-plan de ${𝔸}^4$, et donc $𝔾(1,3)\cong G(2,4)$. L'équation d'une droite peut être vue comme une section de $\mathrm{\Gamma }(𝔾(1,3),T^{*})$. Comme une surface cubique $X$ est représentée par un polynôme homogène de degré 3 (générique), cela correspond à une section générique de $s\in \mathrm{\Gamma }(𝔾(1,3),{\text{Sym}}^3(T^{*}))$. Ainsi, une droite $L\subset {\mathbb{P}}^3$ est une sous-variété de $X$ si et seulement si la section s'annule sur $[L]\in 𝔾(1,3)$. On peut donc intégrer la classe d'Euler de ${\text{Sym}}^3(T^{*})$ sur $𝔾(1,3)$ pour obtenir le nombre de points où la section générique s'annule sur $𝔾(1,3)$. Pour déterminer la classe d'Euler, on doit calculer la classe de Chern totale de $T^{*}$ ; elle est donnée par $c(T^{*})=1+{\sigma }_1+{\sigma }_{1,1}$. La Modèle:Lien $c(T^{*})=(1+\alpha )(1+\beta )=1+\alpha +\beta +\alpha \cdot \beta$, où $c(ℒ)=1+\alpha$ et $c(ℳ)=1+\beta$ sont les classes des fibrés en droites $ℒ$ et $ℳ$, donne les relations ${\sigma }_1=\alpha +\beta$ et ${\sigma }_{1,1}=\alpha \cdot \beta$.

Comme

${\text{Sym}}^3(T^{*})$

peut être vu comme somme directe de fibrés formels

${\text{Sym}}^3(T^{*})={ℒ}^{\otimes 3}\oplus ({ℒ}^{\otimes 2}\otimes ℳ)\oplus (ℒ\otimes {ℳ}^{\otimes 2})\oplus {ℳ}^{\otimes 3}$

, ayant pour classe de Chern totale

$c({\text{Sym}}^3(T^{*}))=(1+3\alpha )(1+2\alpha +\beta )(1+\alpha +2\beta )(1+3\beta )$

, on a

$\begin{array}{cc}{c}_4({\text{Sym}}^3(T^{*}))& =3\alpha (2\alpha +\beta )(\alpha +2\beta )3\beta \\ & =9\alpha \beta (2(\alpha +\beta {)}^2+\alpha \beta )\\ & =9{\sigma }_{1,1}(2{\sigma }_1^2+{\sigma }_{1,1})\\ & =27{\sigma }_{2,2}\end{array}$

(en utilisant

${\sigma }_{1,1}\cdot {\sigma }_1^2={\sigma }_{2,1}{\sigma }_1={\sigma }_{2,2}$

et

${\sigma }_{1,1}\cdot {\sigma }_{1,1}={\sigma }_{2,2}$

).

L'intégrale est donc$\underset{𝔾(1,3)}{\int }27{\sigma }_{2,2}=27$, puisque ${\sigma }_{2,2}$ est la classe la plus haute. Ceci démontre qu'il y a $27$ droites (dans l'espace projectif complexe) sur une surface cubique générale (sans singularités).

Voir aussi

• Géométrie énumérative
• Classe de Chern

Bibliographie

• Felice Ronga, Le calcul de Schubert selon Schubert
• Modèle:En Notes de cours (école d’été)
• Modèle:En Phillip Griffiths et Joseph Harris, Principles of Algebraic Geometry, 1978 ; chapitre 1.5
• Modèle:Ouvrage
• Modèle:Article
• Modèle:EncycloMath
• Modèle:En David Eisenbud et Joseph Harris, 3264 and All That: Intersection Theory in Algebraic Geometry, 2016 Modèle:Lire en ligne