Salmon's theorem

Imaginez une surface courbe obtenue par une équation de degré trois, placée dans l'espace projectif complexe. On y cherche des droites entières, et non de simples segments qui la rencontrent. Le théorème de Salmon donne un comptage étonnamment précis : lorsque la surface ne possède aucun point singulier, il y a exactement 27 droites. La condition de lissité est décisive : elle garantit que la surface est régulière partout où l'on observe le polynôme et ses dérivées.

Le théorème de Salmon est un résultat de géométrie algébrique consacré aux surfaces cubiques lisses dans l'espace projectif complexe. Une surface cubique est définie par un polynôme homogène de degré trois en coordonnées projectives. Elle est non singulière lorsque, en chacun de ses points, les dérivées partielles du polynôme définissant la surface ne s'annulent pas toutes simultanément. Dans ce cadre, le nombre de droites entièrement contenues dans la surface est fini et vaut exactement 27.

Les mots « lisse » et « non singulière » désignent ici la même condition de régularité. Le résultat est aussi appelé théorème de Cayley-Salmon, en référence à Arthur Cayley et George Salmon. Il ne porte pas sur toute surface de degré trois : la lissité, le corps des nombres complexes et le cadre projectif font partie de son domaine d'application.

Si une surface cubique définie dans l'espace projectif sur les nombres complexes est non singulière, alors elle contient exactement 27 droites. Ici, « surface cubique » signifie que le polynôme qui la définit est de degré trois, et « non singulière » signifie que ses dérivées partielles ne s'annulent pas toutes en un même point de la surface. Le nombre 27 est donc une conclusion, pas une hypothèse.

Le théorème s'applique à une surface de degré trois, considérée dans l'espace projectif complexe. Il faut vérifier que la surface est non singulière : en chaque point, les dérivées partielles du polynôme qui la définit ne doivent pas toutes s'annuler. Ces conditions permettent alors d'obtenir le nombre exact de droites contenues dans la surface, à savoir 27.

Une surface cubique qui possède un point singulier ne satisfait pas l'hypothèse de lissité. Le théorème de Salmon ne permet alors pas de conclure qu'elle contient exactement 27 droites ; il faut étudier séparément cette surface particulière.

Prenons la surface de Fermat F(x,y,z,w)=x^3+y^3+z^3+w^3=0 dans l'espace projectif complexe. Les données sont maintenant explicites : F est homogène de degré 3, le corps de définition est celui des nombres complexes et l'objet recherché est une droite entièrement contenue dans la surface.

Le contrôle de la lissité se fait avec les dérivées partielles : F_x=3x^2, F_y=3y^2, F_z=3z^2 et F_w=3w^2. Elles ne peuvent s'annuler toutes que si x=y=z=w=0, qui ne représente aucun point projectif. La surface est donc non singulière ; le degré et le cadre requis étant vérifiés, on applique le théorème de Salmon et l'on obtient exactement 27 droites contenues dans la surface.

Cet exemple montre comment contrôler les hypothèses avant d'utiliser le résultat ; il ne constitue pas une démonstration générale du théorème ni un calcul détaillé des 27 droites.

Pour lire une surface cubique dans un cours de géométrie algébrique, commencez par repérer le degré du polynôme qui la définit. Un degré trois rend le théorème pertinent ; un autre degré demande un résultat différent.

Vérifiez ensuite le cadre géométrique et numérique : la surface doit être projective et définie sur les nombres complexes. Si le problème est formulé dans un autre espace ou sur un autre corps, ne transposez pas automatiquement le nombre 27.

Enfin, recherchez les points singuliers en examinant les dérivées partielles. Lorsque la surface est lisse, le théorème fournit immédiatement le comptage exact des droites qu'elle contient.

Le théorème de Salmon ne doit pas être confondu avec l'énoncé « une surface cubique contient des droites ». Le critère qui tranche est la régularité : le nombre exact 27 est garanti lorsque la surface est lisse, tandis qu'une surface cubique singulière sort du cadre de l'énoncé.

Il ne faut pas non plus confondre le théorème de Salmon avec un résultat portant sur une courbe cubique. Le support n'est pas le même : ici, il s'agit d'une surface cubique dans l'espace projectif complexe, et l'objet compté est une droite contenue dans cette surface.

Le piège principal consiste à retenir seulement « cubique » et « 27 ». Le symptôme est l'application du résultat à une surface de degré trois qui possède un point singulier. Dans ce cas, l'hypothèse de non-singularité échoue et le comptage doit être réétudié.

Un second piège est de remplacer l'espace projectif complexe par un autre cadre sans le signaler. Le théorème ne fournit alors pas automatiquement la même conclusion. Il faut vérifier le corps de définition et le type d'espace avant de compter les droites.

Enfin, « exactement 27 » désigne les droites entièrement contenues dans la surface, et non toutes les droites qui la coupent. Une intersection ponctuelle ou partielle ne compte pas comme une droite de la surface.

Pour replacer ce résultat dans un paysage plus large, l'article Au service des courbes permet de situer la géométrie algébrique et les objets qu'elle étudie. Le lecteur y gagne un contexte pour comprendre pourquoi une équation peut être abordée à la fois comme une forme algébrique et comme une figure géométrique.

La fiche cubique fournit le vocabulaire de la famille d'objets à laquelle appartient la surface étudiée ici. Elle aide à distinguer la notion de degré trois du théorème particulier qui compte les droites d'une surface lisse.