André–Oort : une limite que l’on peut enfin écrire dans une famille d’équations

Savoir qu’une recherche finit

Supposons que l’on vous annonce : « Il n’y a qu’un nombre fini de solutions. » Cela ne vous dit pas jusqu’où chercher. Si les solutions sont des entiers, peut-être la dernière se trouve-t-elle au-delà de tous les nombres que vous avez déjà testés.

Une borne effective apporte davantage : une méthode ou une formule permet de déterminer une limite. Si elle vaut $10^{100}$, elle reste sans grand secours pour une exploration exhaustive, mais on a changé la nature de l’information disponible.

Le travail présenté ici concerne des points associés à des courbes elliptiques particulièrement structurées. Leur invariant $j$ identifie leur classe d’isomorphisme sur les complexes. Certaines de ces courbes ont des endomorphismes supplémentaires : on parle de multiplication complexe, ou CM. Les valeurs de $j$ correspondantes s’appellent des modules singuliers ; ce nom ne signifie pas que la courbe elliptique est singulière.

Le résultat mathématique

Considérons dans $Y(1)^n\simeq\mathbb A^n_{\mathbb C}$ une hypersurface

à coefficients algébriques contenus dans un corps de degré au plus $D$ sur $\mathbb Q$. On retire le lieu $V^{\mathrm{sp}}$, réunion des sous-variétés spéciales de dimension positive qu’elle contient.

C’est le théorème 1.2 de Guy Fowler, daté du 16 septembre 2026. La nouveauté est une borne à la fois effective et indépendante de la hauteur des coefficients, dans cette famille. Le théorème général d’André–Oort était déjà connu.

Pourquoi retirer des familles entières ?

La diagonale $x_1=x_2$ contient le point $(j,j)$ pour chaque invariant $j$ d’une courbe CM. Il existe une infinité de tels invariants. On ne peut donc pas espérer borner tous les points spéciaux de cette diagonale par une liste finie.

Cette infinité est organisée : elle vient d’une relation géométrique spéciale. Une fois les sous-variétés responsables de ces familles retirées, la question porte sur les points restants. Dire « il n’existe qu’un nombre fini de points spéciaux » sans cette précision donnerait une affirmation fausse.

Le discriminant mesure ici la complexité d’un ordre quadratique imaginaire lié aux endomorphismes. Ce n’est ni la coordonnée du point, ni le discriminant d’une équation de courbe au sens élémentaire. Le signe négatif explique la valeur absolue dans la formule.

L’idée et le raisonnement

L’un des outils est un contrôle des coefficients nécessaires pour écrire une dépendance linéaire minimale entre nombres algébriques. La proposition 2.1 utilise les plongements du corps et la règle de Cramer. Elle participe à l’élimination de la dépendance aux hauteurs initiales ; elle ne suffit pas seule au théorème.

Un système de deux équations montre le principe algébrique sous-jacent. Pour

si $ad-bc\neq0$, alors

Les coefficients inconnus sont exprimés par des déterminants. Pour en contrôler la complexité arithmétique, il faut ensuite contrôler ces déterminants dans les différents plongements du corps. Le petit calcul rend visible l’outil, sans remplacer les estimations sur les nombres CM.

Une borne énorme peut compter

Même avec $m=1$, $n=2$ et $D=1$, le membre de droite vaut $\exp(10^{59})$. Il borne la racine carrée du discriminant, et non le discriminant lui-même. On est très loin d’un seuil raisonnable pour une recherche exhaustive.

L’intérêt est ailleurs : une quantité auparavant seulement garantie devient explicitement contrôlée, et ce contrôle s’applique à toute la famille lorsque les paramètres $m,n,D$ sont fixés. Des coefficients rationnels gigantesques gardent par exemple un corps de définition de degré un.

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.