🔢 mathematics

Torsion groups of elliptic curves that appear infinitely often over septic fields

Cet article détermine l'ensemble complet des groupes abéliens qui apparaissent comme sous-groupes de torsion pour une infinité de courbes elliptiques sur des corps de nombres de degré 7.

Auteurs originaux : Filip Najman

Publié 2026-04-30

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Filip Najman

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

Imaginez que vous possédez un jardin magique appelé le Monde des Courbes Elliptiques. Dans ce jardin, chaque plante est un type spécifique de courbe, et sur chaque plante poussent de minuscules fruits spéciaux appelés points.

Les mathématiciens sont obsédés par le comptage de ces fruits. Plus précisément, ils veulent savoir combien de fruits de « torsion » existent. Ce sont des fruits spéciaux qui, si vous continuez à les ajouter à eux-mêmes, finissent par disparaître dans le sol (le point « zéro »). L'ensemble de ces fruits spéciaux forme un Groupe de Torsion.

Maintenant, imaginez que vous pouvez changer le sol dans lequel ces plantes poussent.

Si vous les plantez dans le Sol Standard (les nombres rationnels, $\mathbb{Q}$ ), il n'existe que quelques formes spécifiques de paniers à fruits que vous pouvez obtenir.
Si vous les plantez dans le Sol Quadratique (degré 2), vous obtenez quelques formes supplémentaires.
Si vous les plantez dans le Sol Septique (degré 7), le sol est beaucoup plus riche et plus complexe.

La Grande Question

L'article demande : « Dans ce riche Sol Septique, quelles formes de paniers à fruits peuvent apparaître en nombre infini ? »

Il ne suffit pas de trouver une seule plante avec un panier à fruits étrange. Le mathématicien veut savoir quels paniers sont si courants que l'on peut trouver une infinité de plantes différentes les portant dans ce sol spécifique.

Les Travaux d'Enquête Précédents

Avant cet article, les mathématiciens avaient déjà résolu ce mystère pour :

Sol Standard (Degré 1) : Résolu par Mazur dans les années 1970.
Sol Quadratique (Degré 2) : Résolu par Kamienny.
Sols Cubique (Degré 3) et Quartique (Degré 4) : Résolus par diverses équipes récemment.
Degrés 5 et 6 : Résolus par Derickx et Sutherland.

Mais le Degré 7 (Septique) était la pièce manquante du puzzle. Personne ne connaissait la liste complète des paniers à fruits « infiniment communs » pour ce sol spécifique.

La Découverte Principale

L'auteur, Filip Najman, a enfin percé le code du Sol Septique. Il a déterminé la liste exacte des paniers à fruits (Groupes de Torsion) qui apparaissent infiniment souvent.

Voici la répartition simple de ses découvertes :

Paniers à une seule rangée (Groupes Cycliques) : Vous pouvez trouver une infinité de plantes avec des paniers contenant $n$ $n$ fruits, où $n$ $n$ est n'importe quel nombre de 1 à 30, sauf 25 et 29.
- Analogie : C'est comme dire que vous pouvez trouver une infinité de plantes avec 1 fruit, 2 fruits, jusqu'à 30 fruits, mais si vous essayez de faire pousser un panier avec exactement 25 ou 29 fruits, vous ne trouverez jamais un deuxième exemplaire, sans parler d'un nombre infini.
Paniers à double rangée (Groupes Produits) : Vous pouvez trouver une infinité de plantes avec des paniers qui ressemblent à deux rangées de fruits, spécifiquement $(2, 2n)$ $(2, 2 n)$ , où $n$ $n$ va de 1 à 10.
- Analogie : Ce sont des paniers avec 2 fruits dans la première rangée et un nombre pair dans la deuxième. Ce motif fonctionne jusqu'à une certaine taille, mais s'arrête après $n=10$ .

Comment l'a-t-il résolu ?

Pour prouver cela, Najman a dû agir comme un détective vérifiant la « profondeur » du sol.

Le Test de « Profondeur » : Il a utilisé un concept mathématique appelé gonalité. Imaginez cela comme mesurer à quel point le sol est « profond » ou complexe. Si le sol est trop peu profond (faible profondeur), vous ne pouvez pas faire pousser certains paniers à fruits complexes. Si le sol est assez profond, vous le pouvez.
L'Exclusion : Il a prouvé que pour les paniers plus grands que ceux listés ci-dessus (comme $n=11$ à $15$ dans la catégorie à double rangée), le Sol Septique n'est tout simplement pas assez profond pour les soutenir infiniment. Il a utilisé de puissants calculs informatiques pour mesurer la « profondeur » des courbes associées à ces paniers et a constaté qu'elles étaient trop peu profondes.
L'Inclusion : Pour les paniers qui fonctionnent, il s'est appuyé sur un code écrit par un collègue (Maarten Derickx) qui a explicitement construit des exemples, prouvant qu'ils existent à l'infini.

Les Outils « Magiques »

L'article mentionne l'utilisation d'outils mathématiques lourds :

Courbes Modulaires : Imaginez-les comme les « plans » ou les « cartes » qui vous indiquent où ces paniers à fruits peuvent pousser.
Le Serveur Euler : Il s'agit d'un superordinateur à l'Université de Zagreb. Najman l'a utilisé pour exécuter des calculs complexes pendant environ 48 minutes afin de prouver que certains paniers (spécifiquement pour $n=11$ à $14$) ne peuvent tout simplement pas pousser infiniment dans le Sol Septique.
Inégalité de Castelnuovo-Severi : Il s'agit d'une règle empirique mathématique qui dit : « Si vous essayez de mapper une forme très complexe sur une forme simple, vous ne pouvez pas le faire à moins que la forme ne soit énorme. » Il l'a utilisée pour écarter rapidement le cas $n=15$ sans avoir besoin d'une longue exécution informatique.

La Conclusion

Cet article est l'achèvement d'un immense puzzle. Il nous dit exactement quelles « formes » de groupes de torsion sont possibles infiniment souvent lorsque les courbes elliptiques sont cultivées dans des corps de nombres de degré 7. Il confirme que, bien que le Sol Septique soit très fertile, il impose encore des limites strictes à ce qui peut y pousser infiniment, excluant spécifiquement les paniers de taille 25, 29 et tout panier à double rangée plus grand que $(2, 20)$ .

1. Énoncé du problème

L'article aborde un problème fondamental en arithmétique des courbes elliptiques : déterminer l'ensemble des sous-groupes de torsion possibles pour les courbes elliptiques définies sur des corps de nombres d'un degré spécifique.

Contexte : Selon le théorème de Mordell-Weil, le groupe des points rationnels $E(K)$ sur une courbe elliptique définie sur un corps de nombres $K$ est de type fini. Le sous-groupe de torsion $E(K)_{\text{tors}}$ est fini et isomorphe à $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ (noté $(m, n)$ ).
Définitions :
- $\Phi(d)$ : L'ensemble de tous les groupes de torsion possibles pour les courbes elliptiques sur n'importe quel corps de nombres de degré $d$ .
- $\Phi_\infty(d)$ : Le sous-ensemble de $\Phi(d)$ constitué des groupes qui apparaissent comme sous-groupes de torsion pour une infinité de courbes elliptiques non isomorphes (sur $\mathbb{Q}$ ) définies sur des corps de degré $d$ .
Le Vide : Alors que $\Phi_\infty(d)$ était connu pour les degrés $d \le 6$ (déterminé par Derickx, Sutherland, Jeon, Kim et d'autres), l'ensemble $\Phi_\infty(7)$ (corps septiques) était indéterminé au moment de la rédaction. L'ensemble complet $\Phi(d)$ pour $d > 4$ reste inconnu, mais déterminer le sous-ensemble « infini » $\Phi_\infty(d)$ est une étape critique pour comprendre le paysage arithmétique de ces courbes.

2. Méthodologie

L'auteur utilise une combinaison de bornes théoriques, de géométrie des courbes modulaires et de géométrie algébrique computationnelle pour déterminer $\Phi_\infty(7)$ .

A. Cadre théorique

Groupes cycliques vs produits :
- Pour un corps septique (degré 7), la structure du groupe $(m, n)$ est contrainte. Puisque $E(K)$ ne peut contenir $(n, n)$ que si $\mathbb{Q}(\zeta_n) \subset K$ , et que $[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n)$ , il s'ensuit que pour le degré 7, $m$ doit être 1 ou 2. Ainsi, la recherche est limitée aux groupes cycliques $(1, n)$ et aux groupes de la forme $(2, 2n)$ .
Gonalité et degré de densité :
- L'article utilise le concept de gonalité ( $\text{gon}_K X$ ), le plus petit degré d'un morphisme d'une courbe $X$ vers $\mathbb{P}^1$ défini sur $K$ .
- La Proposition 2.1 (de Derickx-Sutherland) établit un lien entre le degré de densité minimum $\delta(X/K)$ (le plus petit degré $n$ tel que $X$ possède une infinité de points de degré $n$ ) et la gonalité : $\delta(X/K) \le \text{gon}_K X \le 2\delta(X/K)$ .
- Crucialement, si le rang du Jacobien $J(X)(\mathbb{Q})$ est 0, alors $\delta(X/\mathbb{Q}) = \text{gon}_{\mathbb{Q}} X$ .
- Conclusion : Pour prouver qu'un groupe $G \in \Phi_\infty(7)$ , il faut montrer que la courbe modulaire correspondante $X$ possède une infinité de points de degré 7. Cela est garanti si $\text{gon}_{\mathbb{Q}} X \le 7$ (et que les conditions de rang sont remplies). Inversement, si $\text{gon}_{\mathbb{Q}} X > 7$ , le groupe n'apparaît pas une infinité de fois.

B. Stratégie computationnelle

La preuve repose fortement sur le calcul de la gonalité des courbes modulaires $X_1(2, 2n)$ sur des corps finis pour borner la gonalité sur $\mathbb{Q}$ .

Bornes inférieures : L'auteur utilise l'inégalité $\text{gon}_{\mathbb{Q}} X \ge \text{gon}_{\mathbb{F}_p} X$ pour les nombres premiers $p$ de bonne réduction.
Techniques :
- Bornes d'Abramovich : Utilisées pour établir une gonalité élevée pour les grands $n$ ( $n \ge 16$ ) via des calculs d'indice de sous-groupes de congruence.
- Algorithmes Derickx-Terao [DT26] : De nouvelles techniques pour calculer les groupes de classes et les gonalités de courbes sur des corps finis ont été utilisées pour calculer des gonalités exactes ou des bornes inférieures pour des cas spécifiques ( $11 \le n \le 15$ ).
- Inégalité de Castelnuovo-Severi : Appliquée spécifiquement pour le cas $n=15$ afin d'éviter des calculs lourds en analysant la géométrie des applications entre $X_1(2, 30)$ et $X_1(30)$ .

3. Contributions et résultats clés

Le résultat principal est le Théorème 1.1, qui caractérise complètement $\Phi_\infty(7)$ :
$\Phi_\infty(7) = \{(1, n) : 1 \le n \le 30, n \notin \{25, 29\}\} \cup \{(2, 2n) : 1 \le n \le 10\}$

La preuve est décomposée en trois lemmes traitant différents intervalles de $n$ :

Groupes cycliques $(1, n)$ :
- S'appuyant sur le Théorème 2.2 (de Derickx-Van Hoeij), l'auteur cite que les groupes cycliques $(1, n)$ sont dans $\Phi_\infty(7)$ si et seulement si $1 \le n \le 30$ et $n \neq 25, 29$ . Cette partie du résultat avait été établie précédemment.
Groupes produits $(2, 2n)$ pour $n \ge 16$ :
- Le Lemme 3.1 prouve que pour $n \ge 16$ , la gonalité de la courbe modulaire $X_1(2, 2n)$ sur $\mathbb{Q}$ est strictement supérieure à 7.
- Cela est obtenu en combinant la borne inférieure de gonalité d'Abramovich avec l'indice du sous-groupe de congruence $\Gamma_1(2, 2n)$ . Puisque $\text{gon}_{\mathbb{Q}} X > 7$ , ces groupes ne peuvent pas apparaître une infinité de fois sur des corps de degré 7.
Groupes produits $(2, 2n)$ pour $n \le 10$ :
- Le Lemme 3.2 confirme que ces groupes apparaissent une infinité de fois.
- Pour $n \le 6$ , cela découle de considérations de genre ( $g \le 1$ ) et du théorème de l'irréductibilité de Hilbert.
- Pour $7 \le n \le 10$ , le résultat repose sur un code non publié de Maarten Derickx qui construit explicitement des unités modulaires de degré 7, prouvant l'existence d'une infinité de points de degré 7.
Le Vide Critique : $11 \le n \le 15$ :
- Le Lemme 3.3 est la contribution novatrice de cet article. Il prouve que $(2, 2n) \notin \Phi_\infty(7)$ pour $n \in \{11, 12, 13, 14, 15\}$ .
- L'auteur calcule la gonalité de $X_1(2, 2n)$ sur de petits corps finis ( $\mathbb{F}_3, \mathbb{F}_7$ ).
- Résultats :
  - $n=11, 12$ : $\text{gon}_{\mathbb{F}_p} \ge 8$ .
  - $n=13, 14$ : $\text{gon}_{\mathbb{F}_p} = 12$ .
  - $n=15$ : $\text{gon}_{\mathbb{F}_7} \ge 8$ (vérifié via l'inégalité de Castelnuovo-Severi).
- Puisque le rang du Jacobien $J_1(2, 2n)(\mathbb{Q})$ est 0 pour ces $n$ (Théorème 2.3), la condition $\text{gon}_{\mathbb{Q}} X > 7$ est remplie, excluant ces groupes de $\Phi_\infty(7)$ .

4. Importance

Exhaustivité : Cet article comble une lacune majeure dans la classification des groupes de torsion pour les courbes elliptiques sur les corps de nombres. Il fournit la première description complète de $\Phi_\infty(7)$ .
Avancement méthodologique : L'article démontre la puissance de la combinaison de la géométrie algébrique classique (bornes de gonalité, Castelnuovo-Severi) avec la théorie des nombres computationnelle moderne (algorithmes Derickx-Terao pour les gonalités sur corps finis).
Fondement pour les travaux futurs : Bien que $\Phi(7)$ (l'ensemble de tous les groupes de torsion possibles, y compris ceux apparaissant un nombre fini de fois) reste inconnu, la détermination de $\Phi_\infty(7)$ est une condition préalable à l'attaque de l'ensemble complet. Les méthodes utilisées ici, en particulier la vérification computationnelle des gonalités pour des courbes modulaires spécifiques, établissent un précédent pour l'analyse des corps de degrés supérieurs.
Vérification de conjectures : Les résultats confirment que le comportement « infini » des groupes de torsion se stabilise selon un motif prévisible jusqu'au degré 7, avec des exclusions spécifiques (comme $n=25, 29$ pour les groupes cycliques et $n \ge 11$ pour les groupes produits) dictées par la complexité géométrique (gonalité) des courbes modulaires sous-jacentes.

En résumé, Najman détermine avec succès que sur les corps septiques, les seuls groupes de torsion apparaissant une infinité de fois sont les groupes cycliques jusqu'à l'ordre 30 (excluant 25 et 29) et les groupes produits de la forme $(2, 2n)$ où $n \le 10$ .