🔢 mathematics

Existence and non-existence of rational elliptic curves with prescribed torsion subgroups over quadratic fields

Cette étude démontre l'existence d'une infinité de corps quadratiques $\mathbb{Q}(\sqrt{-p})$ où les courbes elliptiques rationnelles ne possèdent pas certains sous-groupes de torsion spécifiques, tout en prouvant, sous l'hypothèse de la conjecture de parité, qu'il existe d'autres cas où ces structures de torsion sont infiniment nombreuses.

Auteurs originaux : Omer Avci

Publié 2026-02-10

📖 4 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Omer Avci

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 Inventaire des Formes de l'Infini : Une explication simple

Imaginez que les mathématiques sont un immense terrain de jeu, et que les courbes elliptiques sont des structures géométriques complexes, comme des montagnes russes très sophistiquées, dessinées sur une carte.

1. Le concept : Les "points de repos" (Le groupe de torsion)

Sur ces montagnes russes (les courbes elliptiques), il existe des points très particuliers. Si vous lancez une bille sur ces rails, la plupart du temps, elle va voyager pour toujours sans jamais revenir au même endroit. Mais, pour certaines courbes, il existe des points magiques : si vous lancez la bille depuis ces points, elle finit par revenir exactement à son point de départ après un certain nombre de tours.

En mathématiques, on appelle ces points de retour périodique le "groupe de torsion". C'est un peu comme le rythme cardiaque d'une courbe : est-ce qu'elle bat de 2 coups par cycle ? De 10 ? De 12 ?

Le problème que l'auteur, Ömer Avci, essaie de résoudre est le suivant : "Si je change la carte sur laquelle je dessine mes montagnes russes (en passant d'un terrain plat à un terrain légèrement courbé ou spécial), quels sont les rythmes cardiaques possibles ?"

2. Le terrain de jeu : Les "terrains spéciaux" (Champs quadratiques et cyclotomiques)

D'habitude, on étudie ces courbes sur le terrain le plus simple : les nombres rationnels (les nombres qu'on peut écrire comme des fractions, comme 1/2 ou 3/4). C'est le terrain "plat".

Mais l'auteur explore des terrains plus exotiques :

Les champs quadratiques : Imaginez que le terrain n'est plus plat, mais qu'il a une légère courbure due à une racine carrée (comme $\sqrt{-p}$ ). Cela change la façon dont les billes circulent.
Les extensions cyclotomiques : Imaginez maintenant un terrain qui devient de plus en plus complexe, comme une fractale qui s'étend à l'infini.

3. Ce que l'auteur a découvert : "L'interdiction et la possibilité"

Le travail d'Avci est une sorte de code de la route pour les mathématiciens. Il a découvert des règles de "non-existence" et de "multiplicité".

L'Interdiction (Le "Non") : L'auteur prouve que sur certains terrains très spécifiques, il est physiquement impossible pour une courbe d'avoir certains rythmes. Par exemple, il dit : "Si votre terrain est de type X, alors il est strictement interdit d'avoir un rythme de 10 coups ou de 12 coups." C'est comme dire qu'il est impossible de faire rouler un camion de 12 roues sur un chemin trop étroit.
La Possibilité (Le "Oui") : À l'inverse, il prouve que pour d'autres terrains, il existe une infinité de courbes qui possèdent ces rythmes. C'est comme découvrir qu'il existe une infinité de modèles de voitures capables de rouler sur un circuit spécifique.

4. Pourquoi est-ce important ? (La classification)

L'objectif final est de créer un catalogue complet. Les mathématiciens veulent savoir : "Si je vous donne un terrain de jeu, pouvez-vous me donner la liste exacte de tous les rythmes cardiaques possibles ?"

Avant lui, la liste était incomplète, avec des zones d'ombre et des doutes. Avci a utilisé des outils de calcul très puissants (comme un super-ordinateur nommé SageMath) pour boucher les trous de ce catalogue. Il a classifié les comportements sur des extensions de terrains de plus en plus vastes et complexes.

En résumé (La métaphore finale)

Imaginez que vous essayez de comprendre toutes les mélodies possibles que l'on peut jouer sur un instrument.

Le groupe de torsion, c'est le rythme de la musique.
Les champs de nombres, ce sont les différents types de salles de concert (une petite pièce, une cathédrale, un stade immense).
Le travail d'Avci, c'est avoir écrit le livre qui dit : "Dans une cathédrale de type A, vous ne pourrez jamais jouer un rythme de 10 temps, mais vous pourrez jouer une infinité de mélodies en 12 temps. Par contre, dans un stade de type B, tout est possible."

Il apporte de l'ordre et de la certitude dans un univers de formes infinies.

Résumé Technique : Existence et non-existence de courbes elliptiques rationnelles avec sous-groupes de torsion prescrits sur des corps quadratiques

1. Problématique

L'article s'inscrit dans le cadre de la classification des sous-groupes de torsion des points rationnels des courbes elliptiques. Alors que le théorème de Mazur a résolu ce problème pour le corps $\mathbb{Q}$ , la question de savoir quels sous-groupes de torsion peuvent apparaître sur des extensions de corps (comme les corps quadratiques ou cyclotomiques) pour des courbes elliptiques définies initialement sur $\mathbb{Q}$ reste un sujet de recherche actif.

L'auteur se concentre spécifiquement sur les structures de torsion de type $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2N\mathbb{Z}$ pour $N=5$ et $N=6$ (soit $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ et $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ ) sur des corps quadratiques de la forme $K = \mathbb{Q}(\sqrt{-p})$ .

2. Méthodologie

L'approche de l'auteur est pluridisciplinaire, combinant géométrie arithmétique, théorie des nombres et calcul computationnel :

Courbes Modulaires et Points Quadratiques : L'auteur étudie les points de torsion sur les courbes modulaires $X_1(2, 10)$ et $X_1(2, 12)$ . Puisque ces courbes sont de genre 1 (des courbes elliptiques), l'existence de points de torsion sur un corps quadratique $K$ est liée au rang des torsions quadratiques (twists) de ces courbes modulaires.
Méthode de la 2-descente : Pour déterminer si ces courbes modulaires possèdent des points de rang positif (impliquant une infinité de courbes elliptiques avec la torsion désirée) ou de rang zéro (impliquant l'impossibilité de la torsion), l'auteur utilise la méthode de la 2-descente sur les torsions de 2-isogénies.
Conjecture de Parité : Pour les cas où le rang est incertain, l'auteur utilise la conjecture de parité (liée à la finitude de la partie 2-primaire du groupe de Tate-Shafarevich) pour prouver l'existence de familles infinies de courbes.
Théorie de Galois et Représentations : Pour les extensions plus larges (extensions de Kummer et extensions $\mathbb{Z}_p$ ), l'auteur utilise les propriétés des représentations de Galois et les résultats de Serre sur les images de Galois pour éliminer certaines structures de torsion.

3. Contributions Clés et Résultats

A. Résultats d'impossibilité (Non-existence)

L'auteur établit des conditions précises sur les nombres premiers $p$ pour lesquelles certaines torsions sont impossibles sur $\mathbb{Q}(\sqrt{-p})$ :

Théorème 1.2 : Si $p \equiv 3, 7 \pmod{20}$ , alors aucune courbe $E/\mathbb{Q}$ ne possède la torsion $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ sur $\mathbb{Q}(\sqrt{-p})$ .
Théorème 1.3 : Si $p \equiv 11 \pmod{24}$ , alors aucune courbe $E/\mathbb{Q}$ ne possède la torsion $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ sur $\mathbb{Q}(\sqrt{-p})$ .
Corollaire 1.4 : Pour $p \equiv 83, 107 \pmod{120}$ , les deux structures ( $N=5, 6$ ) sont impossibles.

B. Résultats d'existence (Existence conditionnelle)

Sous réserve de la conjecture de parité, l'auteur prouve que pour certaines familles de nombres premiers, il existe une infinité de courbes elliptiques rationnelles avec la torsion souhaitée :

Conjecture 1.5 (prouvée conditionnellement) : Si $p \equiv 11, 19 \pmod{20}$ , il existe une infinité de courbes avec torsion $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ sur $\mathbb{Q}(\sqrt{-p})$ .
Conjecture 1.6 (prouvée conditionnellement) : Si $p \equiv -1 \pmod{24}$ , il existe une infinité de courbes avec torsion $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$ sur $\mathbb{Q}(\sqrt{-p})$ .

C. Généralisations aux extensions infinies

L'auteur étend ces résultats à des corps beaucoup plus vastes :

Extensions de Kummer : Classification des sous-groupes de torsion sur les extensions de Kummer de corps cyclotomiques.
Extensions $\mathbb{Z}_p$ : Il démontre que sur le composite de toutes les extensions $\mathbb{Z}_p$ d'un corps imaginaire quadratique $K$ , la torsion est déjà définie sur le corps de base $K$ (Théorème 5.5).

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

Affinement de la classification : Il comble des lacunes dans la classification des points de torsion sur les corps cyclotomiques et les extensions abéliennes.
Lien entre rang et torsion : Il démontre une connexion profonde entre le rang arithmétique des courbes modulaires (via la descente) et la possibilité de réaliser des structures de torsion spécifiques.
Outil méthodologique : L'utilisation combinée de la 2-descente et de la conjecture de parité pour résoudre des problèmes de torsion sur des corps quadratiques offre un cadre robuste pour de futures recherches sur les extensions de nombres.
Résolution de cas ouverts : En utilisant les travaux récents (comme ceux de Derickx sur $\mathbb{Z}/16\mathbb{Z}$ ), l'auteur rend les classifications précédentes "optimales" (best possible).