Surfaces cubiques : retrouver une solution dans le corps de départ

Une solution avec quels nombres ?

L’équation $x^2=2$ a une solution réelle, mais aucune solution qui soit une fraction d’entiers. Dire qu’une équation « possède une solution » ne suffit donc pas : il faut préciser les nombres autorisés.

Pour une surface cubique, la question prend une forme plus géométrique. On cherche un quadruplet non nul qui annule un polynôme homogène de degré trois, par exemple

Ici, $(1,-1,0,0)$ convient. On identifie les quadruplets proportionnels : $(2,-2,0,0)$ représente le même point. C’est le langage des coordonnées projectives, qui permet aussi de tenir compte des points à l’infini.

Agrandir le corps des nombres autorisés peut faire apparaître des solutions. Le problème est de savoir quand leur existence impose une solution dans le corps initial. Trouver cette solution par une recherche numérique serait une autre question : l’existence n’apporte pas automatiquement un calcul rapide.

Le résultat mathématique

C’est le théorème 1.2 de Valery Alexeev et Stefan Schreieder. Il couvre les surfaces lisses et singulières, sur un corps quelconque. Le pas nouveau central traite, en caractéristique zéro, un point fermé de degré quatre sur une surface lisse ; deux preuves sont données. La version étudiée date du 15 septembre et figure dans la veille du 17 septembre.

Comprendre le nombre 4

Le degré d’une extension compte ses dimensions comme espace vectoriel sur le corps de départ. Ainsi, tout élément de $\mathbb Q(\sqrt2)$ s’écrit $a+b\sqrt2$ avec $a,b\in\mathbb Q$ : cette extension est de degré deux.

En ajoutant aussi $\sqrt3$, on obtient une extension de degré quatre, avec pour base $1,\sqrt2,\sqrt3,\sqrt6$. Cela ne signifie ni que l’on a quatre variables, ni que l’équation possède exactement quatre solutions.

Les nombres $2$, $4$ et $5$ sont premiers à $3$. Le nombre $6$ ne l’est pas. Le théorème ne permet donc pas de conclure à partir d’une extension de degré six seulement. « Premier à 3 » veut dire sans diviseur commun avec 3, et non « être un nombre premier ».

Un point fermé de degré quatre est une notion plus précise : son propre corps de définition a degré quatre. Un point rationnel reste, lui, de degré un même si on le regarde dans une grande extension.

L’idée et le raisonnement

Les deux voies utilisent respectivement une présentation pfaffienne et des quadriques auxiliaires. Dans une branche du second argument, une courbe cubique rencontre la surface en degré neuf ; huit unités de longueur sont déjà imposées. Le résidu de degré un fournit le point recherché. Les autres configurations nécessitent des arguments distincts. Voir l’introduction et les sections 3–4.

Pour comprendre le principe d’un résidu, on peut faire un calcul indépendant à une variable. Si un polynôme cubique rationnel possède les racines $\sqrt2$ et $-\sqrt2$, il est divisible par $t^2-2$. Son dernier facteur est linéaire et rationnel : la troisième racine est rationnelle. Les deux racines irrationnelles sont liées par la symétrie qui échange $\sqrt2$ et $-\sqrt2$.

La géométrie met en œuvre des contraintes du même genre, mais les intersections peuvent contenir des multiplicités ou des composantes entières. Soustraire des nombres de points sans contrôler ces phénomènes ne serait pas une preuve.

Ce que l’on peut en retenir

Le corps de définition fait partie du problème, au même titre que l’équation. Des solutions obtenues dans un cadre plus large peuvent porter assez d’information pour forcer une solution dans un cadre plus restreint. La difficulté consiste à reconnaître les bonnes conditions de descente et à construire l’argument qui les exploite.

Note préparée avec assistance IA à partir des sources citées. Le périmètre de lecture est indiqué ci-dessus ; cette note ne constitue pas une validation indépendante de la démonstration. Notre méthode.