🔢 mathematics

Torsion of $\mathbb Q$ -curves over number fields of small odd prime degree

Cet article complète la classification des sous-groupes de torsion des courbes $\mathbb{Q}$ sur les corps de nombres de degré premier impair en déterminant tous les groupes possibles pour les degrés 3, 5 et 7, et en démontrant que ces groupes coïncident avec ceux des courbes elliptiques à $j$ -invariant rationnel.

Auteurs originaux : Ivan Novak

Publié 2026-02-26

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ivan Novak

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 Grand Voyage des Courbes Élliptiques

Imaginez que les courbes elliptiques sont comme des véhicules de course très spéciaux. Chaque véhicule a un "moteur" (sa forme mathématique) et un "réservoir de passagers" (ses points de torsion).

Dans le monde des mathématiques, on s'intéresse à savoir combien de passagers peuvent s'asseoir dans ces véhicules sans que le moteur ne s'arrête. Ce nombre de passagers est appelé le groupe de torsion.

1. Le Problème de Base : Où peut-on aller ?

Jusqu'à présent, les mathématiciens savaient exactement quels véhicules pouvaient transporter quel nombre de passagers sur la "route principale" (les nombres rationnels, notés Q). C'est comme si on savait que sur l'autoroute de Paris, seuls certains bus pouvaient avoir 10, 12 ou 16 passagers.

Mais que se passe-t-il si on quitte l'autoroute pour des routes de campagne plus étroites et plus complexes, appelées corps de nombres ?

Si la route est un peu plus longue (degré 2, comme les nombres quadratiques), on a déjà trouvé la liste des passagers possibles.
Si la route est très longue (degré supérieur à 7), on a aussi la liste.

Le mystère restait : Que se passe-t-il sur les routes de longueur 3, 5 et 7 ? C'est ce que Ivan Novak a résolu dans cet article.

2. Les "Voitures Torsion" (Q-curves)

L'auteur ne regarde pas n'importe quel véhicule. Il s'intéresse à une catégorie spéciale appelée Q-curves.

L'analogie : Imaginez une voiture qui, peu importe dans quel miroir (ou quelle dimension) vous la regardez, reste liée à une voiture de base qui a un numéro de série rationnel (un nombre simple).
En termes simples : Ces voitures sont "connectées" à des voitures simples (celles avec un nombre rationnel). Si vous prenez une Q-curve sur une route de longueur 3, 5 ou 7, elle est toujours un "cousin" (isogène) d'une voiture simple.

3. La Grande Découverte : "Rien de nouveau sous le soleil"

L'idée centrale de l'article est une surprise agréable. Ivan Novak a prouvé que :

Sur les routes de longueur 3, 5 et 7, les Q-curves ne peuvent jamais transporter de passagers "exotiques" que l'on ne trouve pas déjà sur les voitures simples.

Autrement dit, si vous voyez un bus avec 11 passagers sur une route de longueur 3, c'est que ce bus est en fait une version déguisée d'un bus simple que l'on connaissait déjà. Il n'y a pas de "nouveaux types de passagers" cachés dans ces Q-curves spécifiques.

L'analogie du miroir :
Imaginez que vous avez un jeu de miroirs magiques (les extensions de nombres).

Si vous regardez une voiture simple dans un miroir de taille 3, 5 ou 7, elle peut sembler avoir plus de passagers.
Ivan Novak a dit : "Attendez, si vous regardez une voiture spéciale (Q-curve) dans ces miroirs, elle ne vous montrera jamais un nombre de passagers que vous n'auriez pas pu voir en regardant simplement une voiture de base dans le même miroir."

4. Comment a-t-il fait ? (La chasse aux intrus)

Pour prouver cela, Ivan a dû éliminer les suspects. Il y avait une liste de nombres de passagers possibles sur ces routes (comme 11, 15, 16, 20, etc.). Il a dû vérifier un par un : "Est-ce qu'une Q-curve peut vraiment avoir 11 passagers ?"

Il a utilisé des outils mathématiques puissants (comme des représentations de Galois, qu'on peut imaginer comme des caméras de surveillance qui filment comment les passagers bougent quand on change de perspective).

Le scénario : Il suppose qu'une Q-curve a 11 passagers.
L'enquête : Il regarde la voiture simple à laquelle elle est liée. Il utilise les caméras pour voir si les passagers bougent de manière cohérente.
Le verdict : Dans chaque cas (pour 11, 15, 16, etc.), il a trouvé une contradiction. Les passagers ne pouvaient pas bouger comme prévu. Donc, ces configurations sont impossibles.

C'est un peu comme essayer de faire entrer un éléphant dans une tente de camping : vous pouvez essayer de le pousser, mais les lois de la physique (les mathématiques) vous diront que c'est impossible.

5. Pourquoi est-ce important ?

Avant cet article, la carte du monde des courbes elliptiques sur les routes de longueur première (3, 5, 7, et plus) était incomplète.

On savait pour la longueur 2 (quadratique).
On savait pour les longueurs > 7.
Il manquait les morceaux 3, 5 et 7.

En complétant ce puzzle, Ivan Novak a dit : "Voilà, la carte est complète !"
Il a aussi prouvé un théorème plus large : peu importe la longueur de la route (si elle est impaire), si une voiture est liée à une voiture simple, ses passagers seront toujours ceux que l'on peut trouver sur une voiture simple sur cette même route.

En résumé

Cet article est comme un détective mathématique qui a vérifié tous les hôtels (les routes de longueur 3, 5 et 7) pour s'assurer qu'aucun invité spécial (Q-curve) ne cachait un secret (un groupe de torsion inconnu). La conclusion est rassurante : tout est déjà connu. Les Q-curves sur ces routes ne nous apportent aucune surprise de plus que les voitures classiques.

C'est une victoire pour la classification : nous savons maintenant exactement quelles formes de torsion sont possibles partout, du début à la fin de la liste des nombres premiers.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la classification des sous-groupes de torsion des courbes elliptiques définies sur des corps de nombres. Le théorème de Mazur (1977) a établi que sur $\mathbb{Q}$ , le sous-groupe de torsion d'une courbe elliptique est isomorphe à l'un des 15 groupes possibles. Pour les extensions de degré $d > 1$ , la classification est plus complexe.

Le problème central de cet article est de déterminer tous les groupes possibles qui apparaissent comme sous-groupes de torsion des courbes Q (Q-curves) définies sur des corps de nombres de degré premier impair $p \in \{3, 5, 7\}$ .

Une courbe Q sur un corps $K$ est une courbe elliptique $E/K$ qui est $K$ -isogène à tous ses conjugués de Galois sous l'action de $\text{Gal}(\overline{\mathbb{Q}}/K)$ .

Le cas quadratique ( $p=2$ ) a été résolu par Le Fourn et Najman.
Le cas des degrés premiers $p > 7$ a été résolu par Cremona et Najman.
L'objectif de Novak est de combler le vide pour les degrés 3, 5 et 7, complétant ainsi la classification pour tous les degrés premiers.

2. Méthodologie

La stratégie de l'auteur repose sur une réduction fondamentale établie par Cremona et Najman : sur un corps de nombres de degré impair, toute courbe Q non-CM (sans multiplication complexe) est isogène sur ce corps à une courbe elliptique ayant un $j$ -invariant rationnel.

La méthodologie se décompose en plusieurs étapes techniques :

Réduction aux courbes à $j$ -invariant rationnel :
Grâce à la proposition 1.3, l'étude des torsions des courbes Q sur $K$ (de degré impair) se ramène à l'étude des torsions des courbes elliptiques $E'/K$ isogènes à une courbe $E''$ définie sur $\mathbb{Q}$ (ou ayant un $j$ -invariant rationnel).
Analyse des représentations de Galois et isogénies :
L'auteur utilise l'analyse fine des images des représentations de Galois modulaires $\rho_{E,N}$ .
- Il établit des lemmes (Lemmes 2.2 à 2.6) décrivant comment l'image de la représentation de Galois change lorsqu'on applique une isogénie.
- Un point clé est que si $E$ possède un point d'ordre $p$ sur $K$ , alors la courbe isogène $E'$ (à $j$ -invariant rationnel) possède une isogénie d'ordre $p$ définie sur $K$ , et l'image de Galois de $E'$ sur $K$ doit satisfaire des contraintes spécifiques (par exemple, posséder des valeurs propres 1 ou -1).
Élimination par contradiction (Cas par cas) :
Pour chaque degré $p \in \{3, 5, 7\}$ , l'auteur compare la liste des torsions possibles pour les courbes elliptiques sur $K$ (connue par des travaux antérieurs) avec la liste des torsions pour les courbes à $j$ -invariant rationnel sur $K$ .
- Il identifie les groupes "suspects" qui apparaissent pour les courbes générales sur $K$ mais pas pour les courbes à $j$ -invariant rationnel.
- Il démontre que ces groupes suspects ne peuvent pas être réalisés par une courbe Q en montrant que cela impliquerait l'existence d'isogénies ou de propriétés de Galois impossibles pour les courbes rationnelles (souvent en utilisant des calculs informatiques via Magma pour vérifier les sous-groupes d'images de Galois).
Utilisation des graphes d'isogénie :
L'article exploite la structure des graphes d'isogénie (notamment les composantes $p$ -primaires qui sont des arbres ou des lignes) pour limiter les degrés possibles des isogénies et contraindre les $j$ -invariants.

3. Résultats Principaux

Les résultats principaux sont énoncés dans les théorèmes 1.9, 1.10 et 1.11, qui établissent que pour les degrés 3, 5 et 7, la torsion d'une courbe Q est exactement la même que celle d'une courbe elliptique à $j$ -invariant rationnel sur le même corps.

Degré 3 (Corps cubiques) :
Le sous-groupe de torsion est isomorphe à l'un des 20 groupes listés dans le Théorème 1.5 (incluant $\mathbb{Z}/N\mathbb{Z}$ pour $N \in \{1..10, 12, 13, 14, 18, 21\}$ et $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2N\mathbb{Z}$ pour $N \in \{1..4, 7\}$ ).
- Élimination : L'auteur prouve que les groupes $\mathbb{Z}/11\mathbb{Z}$ , $\mathbb{Z}/15\mathbb{Z}$ , $\mathbb{Z}/16\mathbb{Z}$ , $\mathbb{Z}/20\mathbb{Z}$ et $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/10\mathbb{Z}$ (qui existent pour certaines courbes sur les corps cubiques) n'apparaissent jamais pour les courbes Q.
Degré 5 (Corps quintiques) :
Le sous-groupe de torsion est isomorphe à l'un des 17 groupes du Théorème 1.6.
- Élimination : Les groupes contenant des points d'ordre 125, 50, 25, 14, 18, 24, 20, 35, 15, 21 sont exclus pour les courbes Q.
Degré 7 (Corps septiques) :
Le sous-groupe de torsion est isomorphe à l'un des 15 groupes du Théorème 1.1 (les mêmes que sur $\mathbb{Q}$ ).
- Élimination : Aucun nouveau groupe par rapport à $\mathbb{Q}$ n'apparaît pour les courbes Q sur les corps septiques.

Corollaire 1.13 (Résultat unificateur) :
Pour tout nombre premier impair $p$ , si un groupe $T$ apparaît comme sous-groupe de torsion d'une courbe Q sur un corps de degré $p$ , alors $T$ apparaît déjà comme torsion d'une courbe elliptique à $j$ -invariant rationnel sur un corps de degré $p$ .

Théorème 1.14 (Extension aux courbes isogènes) :
Le résultat s'étend aux courbes elliptiques isogènes (sur $\mathbb{Q}$ ) à une courbe à $j$ -invariant rationnel, même pour $p=2$ (avec une nuance sur les groupes $\mathbb{Z}/14\mathbb{Z}$ et $\mathbb{Z}/18\mathbb{Z}$ qui sont exclus pour les courbes isogènes mais présents pour les courbes générales sur les corps quadratiques).

4. Contributions Techniques Clés

Complétude de la classification : L'article finalise la classification des torsions des courbes Q sur tous les corps de nombres de degré premier.
Lien Torsion-Q / Torsion-Rationnelle : La preuve que, pour les degrés impairs, la torsion des courbes Q ne génère aucun "nouveau" groupe par rapport aux courbes à $j$ -invariant rationnel. Cela simplifie considérablement la compréhension de ces objets.
Méthodologie de filtrage par isogénie : L'auteur développe une technique robuste combinant la théorie des graphes d'isogénie et l'analyse des images de Galois pour éliminer des groupes de torsion potentiels sans avoir à classifier toutes les courbes Q explicitement.
Résultats sur les ordres de points : Démonstration rigoureuse de l'inexistence de points d'ordre spécifiques (ex: 16, 27, 125, 49) sur les courbes Q de degrés 5 et 7, en exploitant les propriétés de divisibilité des ordres des groupes linéaires $GL_2(\mathbb{Z}/n\mathbb{Z})$ par le degré du corps.

5. Signification et Impact

Ce travail est fondamental pour la théorie des courbes elliptiques et des courbes Q.

Il confirme l'hypothèse selon laquelle, pour les degrés premiers impairs, la complexité supplémentaire introduite par les courbes Q (par rapport aux courbes rationnelles) ne se manifeste pas au niveau des groupes de torsion.
Il fournit une référence complète pour les chercheurs travaillant sur les points rationnels, les isogénies et les représentations de Galois.
La distinction faite entre le cas pair ( $p=2$ , où de nouveaux groupes apparaissent) et le cas impair (où la torsion est "contrôlée" par les courbes rationnelles) met en lumière des phénomènes profonds liés à la structure des corps cyclotomiques et aux isogénies définies sur les corps de base.

En résumé, Ivan Novak démontre que pour les degrés premiers impairs, la torsion des courbes Q est entièrement déterminée par la torsion des courbes elliptiques à $j$ -invariant rationnel, clôturant ainsi un chapitre majeur de la classification des torsions.