Les droites de l’espace et la grassmannienne

Le calcul de Schubert désigne un ensemble de techniques destinées à calculer les propriétés énumératives, ou numériques, d’objets communs de l’algèbre linéaire (voir notamment les excellents ouvrages de William Fulton à ce propos). L’exemple traditionnellement choisi, et probablement le plus simple, concerne l’ensemble des droites de l’espace (à 3 dimensions).

Une droite de l’espace est habituellement repérée par sa direction (qui est une droite vectorielle, et dépend donc de deux paramètres, et sa position, qui dépend de deux paramètres supplémentaires (à direction fixée). L’ensemble des droites peut donc être paramétré par quatre paramètres, on peut montrer qu’il est de dimension quatre. Plus intéressant encore, si on place dans l’espace deux plans parallèles, presque toutes les droites peuvent être décrites (de manière unique) par leurs points d’intersection avec ces plans : on obtient ainsi une description par 4 fractions rationnelles (à supposer qu’on sache ce qu’on est en train de paramétrer, ce qui sera plus clair dans une seconde). Ce paramétrage est à peu de chose près bijectif (il manque les droites un peu particulières) : on dit que l’ensemble des droites forme une variété rationnelle.

Le plongement de Plücker

Pour éviter de fastidieuses études de cas, on s’intéresse également aux droites de l’espace projectif : on peut les repérer par les coordonnées de Plücker. Étant donnée une droite de l’espace, considérons deux points sur cette droite de coordonnées projectives et . Les coordonnées de Plücker de la droite sont, par définition, les 6 nombres . Si on avait choisi d’autres points (qui seraient donc des barycentres de M et N), on aurait obtenu des nombres de la forme

qui sont en fait proportionnels à ceux calculés avec M et N. Les droites sont donc naturellement paramétrées par des coordonnées projectives et forment la variété grassmannienne des droites de l’espace.

Rappelons-nous aussi que cette variété est rationnelle : le paramétrage décrit plus haut utilise les points et pour paramétrer la droite coupant les deux plans choisis en M et N. Cela permet de calculer une droite de coordonnées de Plücker

, , , ,
,

Il n’est alors pas difficile de voir que la grassmannienne est de degré 2, et qu’elle est définie par l’équation

qui est une forme quadratique : on dit que la grassmannienne est une quadrique. Dans le paramétrage ci-dessus, elle a la forme du graphe d’un polynôme du second degré.

Droites dans un hyperboloïde

Étant données trois droites de l’espace suffisamment quelconques, il existe un et un seul hyperboloïde à une nappe (bref, une quadrique) les contenant : en effet, choisissons les coordonnées projectives de l’espace de sorte l’une des droites soit l’ensemble des points tandis qu’une seconde sera l’ensemble des points . Pour cela, on choisit deux points sur chaque droite et on choisit les 4 points obtenus comme base d’un système de coordonnées barycentriques. Une quadrique contenant ces deux droites doit avoir une équation de la forme
(on a noté x, y, z, t les 4 coordonnées projectives choisies).

On voit alors que la quadrique contiendra la troisième droite si et seulement si elle passe par trois points de cette droite (un polynôme de degré deux sur une droite s’annule totalement s’il a trois racines). Ceci impose trois conditions aux coefficients a, b, c, d, et il ne reste donc qu’une équation possible (à homothétie près). Remarquons que l’équation s’écrit aussi (après réduction de Gauss) :

La forme quadratique obtenue a donc pour signature (2,2): elle définit une hyperboloïde à une nappe. Il est bien connu qu’un hyperboloïde est balayé par deux familles de droites (on parle de réglages). Il suffit pour le constater de tracer une courbe autour de lui, et de voir qu’en chaque point de cette courbe partent deux droites tangentes à l’hyperboloïde et même contenues dedans.

Exemples de conditions de Schubert

Une condition de Schubert pour les droites est une condition de la forme :

• : passer par un point donné,
• : couper une droite donnée,
• : être dans un plan fixé,
• : être dans un plan fixé et passer par un point fixé,

Les conditions faisant intervenir des points ou des plans sont très simples à étudier. La condition «couper une droite fixée», quant à elle, est beaucoup moins évidente à analyser. Le calcul de Schubert fournit des outils pour mieux comprendre l’interaction entre plusieurs conditions de Schubert.

Par exemple, étant données deux droites et en position générale dans l’espace, on voit qu’en se plaçant en un point de l’espace qui n’est pas sur ces droites, celles-ci apparaissent comme deux droites sur le plan de vision, et se coupent donc en un point : ce point correspond à une direction qui coupe ces deux droites. L’ensemble des droites correspondantes forme donc une partition de l’espace (sauf au niveau de et ). On peut même le paramétrer rationnellement, en choisissant comme points de vue les points d’un plan choisi de manière suffisamment quelconque. Le calcul de Schubert ne donne qu’une information partielle sous la forme . Dans le cas où les droites et sont sécantes, il est facile de vérifier que les droites qui les coupent toutes les deux passent soit dans le plan correspondant, soit par le point d’intersection (et correspondent à des conditions de type et ).

Étant données trois droites génériques dans l’espace, on a vu qu’il existait un unique hyperboloïde les contenant toutes les trois. Les droites satisfaisant simultanément aux trois conditions de Schubert associés (et qui coupent donc simultanément les trois droites) sont les droites de l’hyperboloïde situées dans le réglage transverse aux droites de départ. Il est facile de paramétrer ces droites par une conique (on coupe l’hyperboloïde par un plan, et chaque point de la conique obtenu correspond à une droite). L’information donnée par le calcul de Schubert est . Cette information est exacte lorsque et coupent en deux points différents. On voit alors qu’une droite qui les coupe toutes doit soit passer par et être dans le plan de , soit passer par et être dans le plan de (on reconnaît des conditions de Schubert de type ). Pour comprendre en quoi cette information reste pertinente dans le cas général, il faut remarquer que la réunion de deux plans est de degré deux tout comme l’hyperboloïde, et que le calcul de Schubert ne fait pas la distinction entre eux.

Étant données quatre droites génériques dans l’espace, on peut montrer qu’il existe exactement deux droites les coupant toutes les quatre. Comme ci-dessus, puisque trois droites données (droites rouges dans la figure) sont incluses dans un hyperboloïde comme ci-dessus, les droites satisfaisant aux conditions de Schubert sont forcément dans la quadrique (droites noires dans la figure) : la quatrième condition de Schubert impose à la droite noire de passer par l’un des deux points d’intersection entre la droite fixée et la quadrique. Il y a donc deux possibilités. Ceci est exprimé par la formule . Cependant, si la quatrième droite ne coupe pas la quadrique, il n’y aura pas de solution, mais les équations auront tout de même des solutions imaginaires : le résultat du calcul de Schubert doit être interprété comme l’existence de deux droites imaginaires vérifiant les équations.