Surface cubique

Surface de Fermat, qui contient trois droites réelles

Si on note ${\displaystyle P(X,Y,Z,T)=X^{3}+Y^{3}+Z^{3}+T^{3}}$ qui est bien un polynôme homogène de degré 3 (c'est même l'un des plus simples auquel on peut penser, qui soit non trivial), alors la surface cubique associée (appelé surface de Fermat) sera définie par ${\displaystyle \{[X:Y:Z:T]\in \mathbb {P} ^{3}(\mathbb {C} )\ |\ X^{3}+Y^{3}+Z^{3}+T^{3}=0\}}$. Cette surface est non singulière comme on peut le vérifier facilement, et contient donc exactement 27 droites, ici le polynôme est suffisamment simple pour pouvoir les expliciter :

Elles sont de la forme ${\displaystyle [X:\rho X:Z:\rho 'Z]}$, où ${\displaystyle \rho ,\rho '}$ sont des racines cubiques de ${\displaystyle -1}$. Seulement dans ${\displaystyle \mathbb {C} }$ il existe trois racines cubiques de -1, de plus au lieu de lier X et Y entre eux on peut relier X et Z ou X et T. Ainsi par un argument combinatoire on a bien les 27 droites de ${\displaystyle \mathbb {P} ^{3}(\mathbb {C} )}$ incluses dans la surface.

Il faut bien sûr bien se souvenir qu'une droite dans ${\displaystyle \mathbb {P} ^{3}(\mathbb {C} )}$ est l'image d'un plan de ${\displaystyle \mathbb {C} ^{4}}$ par l'application ${\displaystyle \mathbb {P} :x\in \mathbb {C} ^{4}\setminus \{0\}\mapsto vect(x)}$. Ainsi par exemple ${\displaystyle [X:-X:Y:-Y]=\{[x:-x:y:-y],x\in \mathbb {C} ,y\in \mathbb {C} ,(x,y)\neq (0,0)\}}$ est bien une droite de ${\displaystyle \mathbb {P} ^{3}(\mathbb {C} )}$ (et non un plan comme on pourrait le penser). En effet c'est l'image du plan engendré par les deux vecteurs libres ${\displaystyle (1,-1,0,0)}$ et ${\displaystyle (0,0,1,-1)}$.

Dans le cas réel, pour passer d'un espace projectif à un espace affine il suffit de prendre ${\displaystyle T=1}$ dans l'équation, on a donc une surface d'équation ${\displaystyle x^{3}+y^{3}+z^{3}+1=0}$, que l'on a représentée ici. Quant aux droites on ne peut prendre que ${\displaystyle \rho =\rho '=-1}$, par permutation des coordonnées cela ne fait que trois droites.

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

La surface de Clebsch est une surface cubique dont l'équation est ${\displaystyle X^{3}+Y^{3}+Z^{3}+T^{3}-(X+Y+Z+T)^{3}=0}$, elle a la particularité d'avoir ses 27 droites toutes réelles contrairement à la surface de Fermat par exemple, qui n'en avait que trois :

• ${\displaystyle [X:-X:Z:-Z]}$, et par permutation des coordonnées cela fait trois droites.
• ${\displaystyle [0:Y:-Y:T]}$, et par permutation des coordonnées cela fait douze droites.
• ${\displaystyle [X:Y:-X-\phi Y:-\phi X-Y]}$, où ${\displaystyle \phi ={\frac {1+{\sqrt {5}}}{2}}}$ est le nombre d'or, et par permutation des coordonnées on obtient douze droites.

On voit donc bien que toutes les droites existent dans l'espace projectif réel, et même que les 27 droites sont présentes dans ${\displaystyle \mathbb {P} ^{3}\left(\mathbb {Q} [{\sqrt {5}}]\right)}$.

Représentation réelle de la surface de Cayley

La surface de Cayley est définie par :

${\displaystyle XYZ+XYT+XZT+YZT=0}$

Cette surface est singulière, en effet les 4 dérivées partielles s’annulent aux points de la cubique :

${\displaystyle [1:0:0:0],[0:1:0:0],[0:0:1:0],[0:0:0:1]}$

C'est donc un exemple où le théorème de Cayley-Salmon ne s'applique pas, sur la représentation réelle ci-contre, on voit les quatre points singuliers qui forment un tétraèdre, tandis qu'il y a une sorte de cône à chacun de ces sommets. Cependant cette surface contient quand même des droites, celles qui lient les points singuliers notamment.

(en) Miles Reid, Undergratuate Algebraic Geometry, CUP, 1989

Hypersurface cubique (en)

• Quelques représentations du cas réel, Mathcurve
• Des surfaces cubiques en DVD, Étienne Ghys et Jos Leys, « Des surfaces cubiques en DVD » — Images des mathématiques, CNRS, 2008