🔢 mathematics

Morphisms on the modular curve $X_0(p)$ and degree $6$ points

Cette étude examine les morphismes non constants de la courbe modulaire $X_0(p)$ vers des courbes de genre supérieur ou égal à 2, permettant ainsi de classifier les points de degré $\leq 25$ et de déterminer presque toutes les courbes $X_0(p)$ possédant une infinité de points de degré 6 sur $\mathbb{Q}$ .

Auteurs originaux : Maarten Derickx, Petar Orlić

Publié 2026-02-12

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Maarten Derickx, Petar Orlić

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le Mystère des Chemins de la Courbe Modulaire : Une explication simple

Imaginez que vous êtes un explorateur dans un monde composé de routes infinies et de paysages mathématiques complexes. Dans ce monde, il existe des structures appelées "courbes modulaires" (notées $X_0(p)$ dans le texte).

Considérez ces courbes comme des réseaux de routes très sophistiqués. Ces routes ne sont pas tracées au hasard : elles suivent des règles géométriques strictes et cachent des secrets sur la manière dont les nombres fonctionnent.

1. Le concept : Les "Points de Degré 6" (Les Passagers de Groupe)

Dans notre exploration, nous ne nous intéressons pas seulement à un voyageur solitaire sur une route. Nous nous intéressons à des "groupes de passagers".

Un "point de degré 6", c'est comme un groupe de 6 passagers qui voyagent ensemble de manière indissociable. La question que se posent les chercheurs est la suivante :

"Sur quelle route (quelle courbe $X_0(p)$ ) peut-on trouver une infinité de ces groupes de 6 passagers ?"

Si la route est "trop complexe", les groupes de 6 ne peuvent passer que très rarement. Mais sur certaines routes spéciales, ils peuvent circuler en continu, à l'infini.

2. La grande découverte : Le "Filtre de l'Atkin-Lehner"

Le papier commence par une observation fascinante. Les auteurs ont remarqué que pour presque toutes les routes (pour les nombres premiers $p$ inférieurs à 3000), il n'existe qu'un seul moyen "facile" de créer des groupes de passagers : c'est en passant par une sorte de "gare de triage" appelée $X_0^+(p)$ .

Imaginez que la route principale soit une autoroute immense. La gare de triage est une route secondaire plus simple. Les mathématiciens ont prouvé que, dans la grande majorité des cas, si vous voyez des groupes de passagers circuler, c'est parce qu'ils ont tous emprunté ce même raccourci vers la gare de triage. C'est ce qu'ils appellent l'isomorphisme avec la carte de quotient.

3. Le tri sélectif (La classification)

Le cœur du travail consiste à faire un inventaire. Les auteurs ont passé au crible des milliers de routes pour classer celles qui permettent ce voyage infini de groupes de 6.

Les routes "Ouvertes" : Ils ont listé précisément les routes (les nombres $p$ ) où les groupes de 6 peuvent circuler à l'infini (comme $p=163, 167$ , etc.). Ce sont des routes qui possèdent une structure particulière, comme une rampe de lancement vers une route encore plus simple (une droite ou une courbe elliptique).
Les routes "Fermées" : Pour toutes les autres routes, ils ont prouvé que les groupes de 6 sont des passagers rares. On peut en croiser quelques-uns, mais jamais une infinité. C'est comme essayer de trouver des flocons de neige spécifiques dans un désert : c'est possible, mais ça n'arrive pas de façon continue.

4. L'énigme finale : Le cas $p = 193$

Comme dans tout bon roman de détectives, il reste un mystère. Le nombre 193 est le "suspect" qui refuse de coopérer. Pour cette route spécifique, les outils actuels des mathématiciens ne permettent pas encore de dire si les groupes de 6 y circulent à l'infini ou non. C'est une zone d'ombre, un brouillard mathématique que les futurs chercheurs devront dissiper.

En résumé (La métaphore du jardin)

Si on compare les courbes modulaires à des jardins :

Certains jardins sont si denses et emmêlés qu'il est impossible d'y faire circuler des groupes de 6 fleurs de manière régulière.
D'autres jardins ont des "allées principales" (les morphismes) qui permettent à ces groupes de fleurs de pousser à l'infini.
Maarten Derickx et Petar Orlić ont agi comme des botanistes qui ont cartographié presque tous les jardins du monde pour dire : "Voici ceux qui sont fertiles pour les groupes de 6, et voici ceux qui ne le sont pas."

Résumé Technique : Morphismes sur la courbe modulaire $X_0(p)$ et points de degré 6

1. Problématique

L'article s'inscrit dans le cadre de la géométrie arithmétique des courbes modulaires, et plus précisément dans l'étude des points de faible degré sur la courbe $X_0(p)$ (où $p$ est un nombre premier). La question centrale est de déterminer pour quels nombres premiers $p$ la courbe $X_0(p)$ possède une infinité de points de degré $d$ sur $\mathbb{Q}$ .

Le problème est intimement lié à l'étude des morphismes non constants $f : X_0(p) \to Y$ , où $Y$ est une courbe de genre $g(Y) \geq 2$ . Si de tels morphismes existent, ils peuvent engendrer une infinité de points de degré $d$ sur $X_0(p)$ par le "pullback" de points de faible degré sur $Y$ . L'objectif principal de cet article est de classifier les courbes $X_0(p)$ ayant une infinité de points de degré 6.

2. Méthodologie

Les auteurs emploient une approche combinant théorie des variétés abéliennes, géométrie des courbes et calcul computationnel intensif (via Magma et SageMath). Leur méthodologie repose sur plusieurs piliers :

Décomposition du Jacobien : L'étude des morphismes est réduite à l'étude des sous-variétés abéliennes du Jacobien $J_0(p)$ . Pour les niveaux premiers, les facteurs simples apparaissent avec multiplicité 1, ce qui simplifie l'énumération des sous-variétés.
Théorème de De Franchis-Severi : Ce théorème garantit que le nombre de morphismes vers une courbe de genre $\geq 2$ est fini, permettant une approche par classification.
Utilisation de la gonality ( $\mathbb{Q}$ -gonality) : Les auteurs utilisent les bornes sur la gonality pour exclure l'existence de morphismes de bas degré vers $\mathbb{P}^1$ .
Théorie de la densité de degré (Density Degree) : Pour les cas où le genre de $X_0(p)$ est élevé, ils utilisent les travaux de Kadets et Vogt sur le "minimum density degree" $\min(\delta(C/\mathbb{Q}))$ pour prouver la finitude des points de degré $d$ .
Approche computationnelle : Une vérification exhaustive est effectuée pour $p < 3000$ en énumérant les sous-variétés abéliennes et en testant les conditions de Riemann-Hurwitz.

3. Contributions Clés et Résultats

A. Classification des morphismes (Théorèmes 1.3 et 1.4) :
L'une des contributions majeures est la preuve que, pour $p < 3000$ , tout morphisme non constant $f : X_0(p) \to Y$ de degré $d > 1$ vers une courbe de genre $\geq 2$ est nécessairement isomorphe au morphisme de quotient par l'involution d'Atkin-Lehner $w_p$ (le passage à la courbe $X_0^+(p)$ ). Ils conjecturent que cela est vrai pour tout $p$ .

B. Classification des points de degré 6 (Théorème 1.9) :
L'article résout le cas du degré 6. La courbe modulaire $X_0(p)$ possède une infinité de points de degré 6 sur $\mathbb{Q}$ si et seulement si :

$p \leq 151$
$p \in \{163, 167, 179, 181, 191, 227, 239, 269\}$ .

C. Analyse des cas limites :
Les auteurs traitent les cas où la courbe possède des points de degré 6 via des morphismes vers $\mathbb{P}^1$ (gonality $\leq 6$ ), vers des courbes elliptiques de rang positif, ou via le quotient $X_0^+(p)$ possédant des points de degré 3.

4. Signification et Portée

Ce travail est significatif pour plusieurs raisons :

Extension des connaissances : Il complète les classifications existantes pour les degrés $d \leq 5$ , en apportant une réponse précise pour $d=6$ .
Outil de classification : En prouvant que les morphismes vers des courbes de genre $\geq 2$ sont presque toujours des quotients par $w_p$ , ils simplifient radicalement la recherche de points de faible degré sur les courbes modulaires.
Lien entre géométrie et arithmétique : L'article illustre parfaitement comment la structure algébrique du Jacobien (ses sous-variétés et leur rang) dicte la distribution arithmétique des points sur la courbe.

Note : Le cas $p = 193$ reste ouvert, car la structure de son Jacobien et la présence de sous-variétés de dimension $\leq 3$ de rang positif empêchent l'application directe des méthodes de finitude utilisées pour les autres niveaux.