Rational points on modular curves: parameterization and geometric explanations

Conditionnellement à la conjecture d'uniformité de Serre effective de Zywina, cet article établit une paramétrisation naturelle des points rationnels non-CM sur toutes les courbes modulaires à partir d'un nombre fini de telles courbes, confirmant ainsi une philosophie de Mazur et Ogg selon laquelle ces points émergent de la géométrie des courbes modulaires.

L'essentiel

Voici une explication de ce papier de recherche complexe, traduite en langage simple et illustrée par des métaphores, comme si nous discutions autour d'un café.

Le Titre : Une Carte au Trésor pour les Courbes Modulaires

Imaginez que les mathématiciens sont des explorateurs à la recherche de points d'or (des solutions numériques) cachés sur des paysages géométriques très étranges appelés courbes modulaires.

Ces courbes sont comme des cartes au trésor géantes. Le problème, c'est qu'il y en a une infinité, et elles sont si complexes qu'il est impossible de les étudier une par une. Le but de ce papier est de dire : "Attendez, nous avons trouvé une astuce ! Au lieu de chercher chaque point au hasard, nous pouvons les regrouper en familles et prédire où ils se trouvent."

---

1. Le Problème : Le "Programme B" de Mazur

Dans les années 70, un grand mathématicien nommé Barry Mazur a lancé un défi (le "Programme B"). Il a demandé : "Peut-on classer tous les points rationnels (les points avec des nombres simples comme 1, 2, 3...) sur toutes ces courbes ?"

C'est comme demander : "Peut-on lister tous les endroits où l'on peut poser le pied sur l'ensemble des îles d'un océan infini ?"
Pendant 50 ans, les mathématiciens ont trouvé des réponses pour certaines îles, mais personne ne savait comment gérer l'océan entier.

2. La Solution : Le "Téléphone Arabe" Géométrique

Les auteurs de ce papier (Derickx, Hashimoto, Najman, Shnidman) ont découvert une structure cachée. Imaginez que toutes ces courbes modulaires sont connectées par un système de téléphone arabe.

• L'idée clé : Au lieu de chercher des points sur chaque courbe individuellement, ils ont montré que la plupart de ces points proviennent de quelques courbes "mères" très simples.
• L'analogie : Imaginez que vous avez 160 familles de jumeaux (les courbes). Au lieu de chercher chaque jumeau séparément, vous découvrez qu'ils sont tous liés à 160 "parents" (d'autres courbes). Si vous trouvez un point sur le parent, vous savez exactement où chercher ses enfants (les points sur les courbes dérivées).

Ils ont prouvé que, si l'on accepte une hypothèse majeure (la conjecture de Serre, qui est comme une règle du jeu que tout le monde pense vraie mais qui n'est pas encore 100% prouvée), alors tous les points intéressants sur ces courbes infinies peuvent être décrits à partir de 160 courbes spécifiques.

C'est comme si on disait : "Pour connaître tous les mots d'une langue infinie, il suffit de maîtriser 160 racines de mots."

3. Les 41 Cas "Lourds" (Les Points Isolés)

Il y a une petite exception. Parmi toutes ces courbes, il existe 41 cas particuliers (41 nombres spéciaux appelés invariants j) qui ne suivent pas la règle des familles.

• L'analogie : Imaginez que vous avez une forêt immense où tous les arbres sont liés par des racines communes. Mais il y a 41 arbres solitaires qui poussent seuls, sans racines apparentes.
• Les auteurs ont identifié ces 41 arbres solitaires. Ils ont prouvé qu'il n'y en a pas d'autres. C'est une liste fermée et finie. C'est comme avoir trouvé les 41 îles perdues qui ne sont pas reliées au continent.

4. L'Explication par la "Géométrie" (Le "Pourquoi")

Le deuxième grand résultat du papier répond à une question philosophique : "Pourquoi ces points existent-ils ?"

Souvent, en mathématiques, on trouve des points qui semblent apparaître par hasard. Mais Mazur et un autre mathématicien, Ogg, pensaient que chaque point rationnel doit avoir une "bonne raison" géométrique d'exister.

Les auteurs ont défini ce qu'est une "bonne raison" (une explication géométrique) :

1. Le point est spécial : Il est sur la frontière de la carte (un "cusp").
2. Le point est un reflet : Il vient d'un point sur une courbe plus simple (comme un reflet dans un miroir).
3. Le point est aligné : Il est sur la même ligne droite que d'autres points connus (comme des perles sur un fil).
4. Le point est une intersection : Il est là où deux chemins se croisent parfaitement.

Le résultat magique : Ils ont prouvé que tous les points rationnels sur toutes ces courbes ont une de ces "bonnes raisons". Aucun point n'apparaît par magie ou par hasard. Chaque point est le résultat d'une opération géométrique logique.

C'est comme si vous disiez : "Dans cette ville, chaque maison a été construite pour une raison précise (un besoin, un héritage, un plan). Il n'y a pas de maisons apparues par magie."

5. Pourquoi c'est important ?

• Pour les ordinateurs : Cela donne un algorithme. Au lieu de chercher des aiguilles dans une botte de foin infinie, on sait exactement où regarder.
• Pour la théorie : Cela confirme une intuition vieille de 50 ans : la géométrie dicte la règle. Si un point existe, c'est qu'il y a une structure géométrique derrière lui.
• Pour les nombres : Cela nous aide à mieux comprendre les courbes elliptiques, qui sont au cœur de la cryptographie moderne (la sécurité de vos emails et de votre banque).

En Résumé

Ce papier est une carte routière pour un territoire infini.

1. Il dit : "Ne vous perdez pas, il n'y a que 160 routes principales à connaître."
2. Il identifie : "Il y a 41 chemins de traverse isolés, voici leur liste exacte."
3. Il assure : "Chaque point que vous trouvez sur ces routes a une explication logique et géométrique. Rien n'est laissé au hasard."

C'est une victoire de l'ordre sur le chaos, prouvant que même dans l'infini des nombres, la géométrie garde le contrôle.

Résumé technique

Voici un résumé technique détaillé du papier de recherche « Rational Points on Modular Curves: Parameterization and Geometric Explanations » par Maarten Derickx, Sachi Hashimoto, Filip Najman et Ari Shnidman.

1. Problématique et Contexte

Ce travail s'inscrit dans le cadre du « Programme B » de Barry Mazur (1977), qui vise à classifier les points rationnels sur toutes les courbes modulaires $X_G$ définies sur un corps de nombres $K$ (ici $K=\mathbb{Q}$). Plus précisément, il s'agit de classifier les images des représentations galoisiennes adéliques $\rho_E$ des courbes elliptiques $E/\mathbb{Q}$, ou de manière équivalente, de décrire l'ensemble des points rationnels non-cuspidaux et non-CM (Multiplication Complexe) sur l'ensemble des courbes modulaires $X_G$.

Le problème se décompose en trois interprétations :

1. Algorithmique : Donner un algorithme pour déterminer $X_G(\mathbb{Q})$ pour tout $G$.
2. Paramétrisation : Classifier ou paramétrer tous les points rationnels sur toutes les courbes modulaires.
3. Caractérisation géométrique : Expliquer l'existence de ces points par des opérations géométriques (comme l'involution hyperelliptique ou les relations de colinéarité), suivant la philosophie de Mazur et Ogg selon laquelle les points rationnels n'existent que s'il y a une « bonne raison géométrique ».

Le défi majeur réside dans le fait qu'il existe une infinité de courbes modulaires de genre $g > 1$ avec des points rationnels non triviaux, rendant une classification directe impossible sans structure sous-jacente.

2. Méthodologie

Les auteurs s'appuient sur les travaux récents de David Zywina concernant les images adéliques possibles des courbes elliptiques sur $\mathbb{Q}$, en particulier sa version effective de la conjecture d'uniformité de Serre.

La méthodologie repose sur les concepts clés suivants :

• Clôture « Agreeable » (Agreeable Closure) : Pour tout sous-groupe ouvert $G \subset GL_2(\hat{\mathbb{Z}})$, on définit sa clôture agreeable $G^{ag}$. Les courbes modulaires associées aux groupes agreeables jouent un rôle central car elles possèdent une structure de revêtement abélien par rapport à leurs twists.
• Opérateurs Toriques et Twists : Les auteurs exploitent l'action d'un groupe abélien fini $T_G$ (généralisant les opérateurs diamant) sur les courbes modulaires. Ils montrent que les twists d'une courbe modulaire par un caractère $\chi$ correspondent à d'autres courbes modulaires.
• Famille de Twists : Une courbe $X_G$ est dite « twist-paramétrée » si elle est un revêtement abélien d'une courbe $X_H$ (où $H$ est agreeable) qui possède une infinité de points rationnels. Sinon, elle est dite « twist-isolée ».
• Hypothèses Conditionnelles : Les résultats principaux sont conditionnels à la Conjecture 4.7 (une combinaison de la conjecture d'uniformité de Serre explicite et de la conjecture de Zywina sur les points exceptionnels).

3. Contributions Clés et Résultats Principaux

A. Paramétrisation des Images Galoisiennes (Théorème 2)

Sous l'hypothèse de la Conjecture 4.7, les auteurs démontrent que les groupes d'image galoisienne $G_E$ de toutes les courbes elliptiques non-CM sur $\mathbb{Q}$ peuvent être paramétrés par les points rationnels sur un nombre fini de courbes modulaires.

• Résultat : Il existe 160 paires explicites de groupes $(K_i, M_i)$ (où $M_i$ est agreeable et $K_i \subset M_i$) telles que tout $G_E$ est conjugué à un twist $K_i^\chi$ d'un groupe $K_i$.
• Structure : Les points rationnels sur les 138 courbes $X_{M_i}$ de genre 0 ou 1 (à rang positif) paramètrent une infinité de groupes $G_E$. Les 22 courbes restantes ($i \in \{139, \dots, 160\}$) ont un nombre fini de points rationnels et correspondent aux cas « isolés ».
• Optimalité : Il est prouvé qu'on ne peut pas réduire ce nombre de 160 courbes ; c'est la paramétrisation la plus fine possible.

B. Classification des Invariants $j$ Isolés (Théorème 3)

En utilisant l'algorithme de vérification de l'isolation par twist, les auteurs identifient les invariants $j$ qui ne proviennent pas d'une famille infinie de twists.

• Résultat : Il existe exactement 41 invariants $j$ rationnels (à twist quadratique près) qui sont « twist-isolés ». Ces 41 valeurs correspondent aux points rationnels sur les 22 courbes modulaires de la liste ci-dessus qui ont un nombre fini de points rationnels.
• Signification : Ces 41 courbes elliptiques (à twist près) ont des images galoisiennes qui ne varient pas algébriquement dans une famille infinie.

C. Caractérisation Géométrique (Théorème 4)

C'est le résultat le plus profond conceptuellement. Les auteurs définissent rigoureusement ce qu'est un point « expliqué par la géométrie » via un ensemble d'axiomes :

1. Points spéciaux : Cusps et points CM.
2. Push-forward : Image d'un point expliqué par un morphisme modulaire.
3. Relèvement abélien : Tout relèvement d'un point expliqué le long d'un revêtement abélien.
4. Colinéarité : Si un point $y$ complète un diviseur canonique (ou anticanonique) avec des points déjà expliqués, alors $y$ est expliqué.
5. Épissage de fibres (Fiber splicing) : Intersection unique de fibres de deux applications vers des courbes elliptiques.

• Théorème 4 : Sous l'hypothèse de la Conjecture 4.7, tous les points rationnels sur toutes les courbes modulaires sont expliqués par la géométrie.
• Preuve : La preuve réduit le problème aux 41 invariants $j$ isolés. Pour chaque cas, les auteurs vérifient manuellement (souvent avec l'aide de code informatique) que les points rationnels s'obtiennent par les opérations ci-dessus (ex: utilisation de l'involution hyperelliptique, colinéarité avec des points CM, épissage de fibres sur des revêtements de genre supérieur).

4. Implications et Signification

• Réalisation du Programme B : Ce papier fournit une réponse quasi-complète et conditionnelle au Programme B de Mazur pour $K=\mathbb{Q}$. Il transforme une question ouverte sur une infinité de courbes en un problème fini et vérifiable.
• Philosophie de Mazur et Ogg : Le résultat confirme la conjecture philosophique selon laquelle il n'y a pas de « points rationnels accidentels » sur les courbes modulaires ; leur existence est toujours justifiée par la géométrie intrinsèque de la courbe (genus, automorphismes, revêtements).
• Points Super-Sporadiques : Les auteurs montrent que les familles de twists produisent des familles infinies de points « super-sporadiques » (des points qui restent sporadiques sur tous les revêtements modulaires), répondant positivement à une question ouverte de [BEL+19].
• Limites Algorithmiques : Bien que la paramétrisation soit complète, elle ne résout pas totalement la question algorithmique (1) pour chaque twist individuel. Elle paramètre l'ensemble des twists possibles, mais ne dit pas nécessairement si un twist spécifique $X_d$ possède un point rationnel sans calculer explicitement le point sur la courbe de base.

5. Conclusion

Ce travail représente une avancée majeure en théorie des nombres et en géométrie arithmétique. En combinant la théorie des groupes, la géométrie des courbes modulaires et des calculs explicites massifs, les auteurs établissent que la structure des points rationnels sur les courbes modulaires est finie, paramétrable et entièrement gouvernée par des principes géométriques. Les résultats conditionnels reposent sur des conjectures bien établies (Serre, Zywina), et la méthode proposée ouvre la voie à des généralisations potentielles, bien que les obstacles techniques (comme l'absence de théorème de Kronecker-Weber pour les corps de nombres généraux) soient significatifs.