On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

Cet article établit une relation explicite entre les nombres premiers divisant le conducteur d'une courbe elliptique définie sur les rationnels et le conducteur de l'extension quadratique vers laquelle le groupe de torsion de cette courbe croît, en abordant ainsi la question inverse de l'identification du corps de base à partir de la croissance de la torsion.

L'essentiel

🌟 Le Mystère des Courbes Elliptiques et de leurs "Enfants"

Imaginez que vous avez une courbe elliptique. En mathématiques, ce n'est pas une courbe de dessin, mais une forme géométrique très spéciale définie par une équation. Cette courbe vit dans le monde des nombres rationnels (les fractions, comme 1/2, 3/4, etc.).

Sur cette courbe, il y a des points spéciaux appelés points de torsion. Pour faire simple, ce sont des points qui, si on les "additionne" à eux-mêmes un certain nombre de fois, finissent par disparaître (comme un compte à rebours qui revient à zéro).

Le problème de départ :
Les mathématiciens savaient déjà ce qui se passait si on changeait le "terrain de jeu". Si on prend cette courbe et qu'on lui permet d'utiliser des nombres un peu plus compliqués (comme les racines carrées de nombres négatifs, par exemple $\sqrt{-5}$), elle peut "donner naissance" à de nouveaux points de torsion. C'est ce qu'on appelle la croissance de la torsion.

La question inverse (celle de ce papier) :
Les auteurs se sont demandé : "Si on observe l'apparition de ces nouveaux points, qu'est-ce que cela nous apprend sur le terrain de jeu (le champ de nombres) où ils sont apparus ?"

En d'autres termes : Si la courbe a des "enfants" nouveaux dans un monde étendu, pouvons-nous deviner les secrets de ce monde étendu en regardant la courbe elle-même ?

---

🔍 L'Enquête : Qui est le coupable ?

Les auteurs ont mené une enquête pour trouver une règle simple. Ils voulaient savoir : "Si un nouveau point apparaît dans un champ quadratique (un monde défini par $\sqrt{d}$), est-ce que le nombre $d$ doit obligatoirement partager des secrets (des facteurs premiers) avec la courbe elle-même ?"

Pour comprendre, imaginez que la courbe elliptique est une maison et que le champ de nombres est un quartier.

• La maison a une adresse (appelée le conduiteur ou $N_E$). Cette adresse contient des chiffres clés (des nombres premiers comme 2, 3, 5, 7...).
• Le quartier a aussi une identité (le nombre $d$).

La grande découverte :
Les auteurs ont prouvé que si la maison (la courbe) a des enfants nouveaux dans un nouveau quartier, alors l'identité du quartier ($d$) ne peut pas être n'importe quoi. Elle doit être liée à l'adresse de la maison.

Plus précisément, si un nombre premier $p$ divise l'identité du quartier ($d$), alors :

1. Soit ce nombre $p$ fait aussi partie de l'adresse de la maison (il divise la conduiteur $N_E$).
2. Soit ce nombre est 3.

C'est comme si vous disiez : "Si un nouveau visiteur arrive dans votre maison, il doit soit être un membre de la famille (lié à l'adresse), soit être un visiteur très spécial nommé 'Trois'."

---

🎭 Les Personnages de l'Histoire (Les Nombres 2, 3, 5, 7)

Pour arriver à cette conclusion, les auteurs ont étudié les "personnages" principaux : les nombres premiers 2, 3, 5 et 7. Voici comment ils se comportent :

1. Le Cas du Nombre 2 (Le Cas "Strict" et "Mixte")

Le nombre 2 est un peu compliqué. Il y a deux façons dont les nouveaux points peuvent apparaître :

• Le cas strict : Un tout nouveau point apparaît, sans lien direct avec les anciens.
• Le cas mixte : Un nouveau point apparaît, mais il est le "parent" d'un point qui existait déjà (par exemple, un point d'ordre 4 dont le "double" est un point d'ordre 2 déjà connu).

La leçon : Si le nombre 2 divise l'identité du quartier ($d$), alors la maison doit avoir des problèmes de fondation à l'adresse 2 (elle a une "mauvaise réduction" en 2). C'est une règle absolue : pas de croissance de torsion liée au 2 sans que la maison ne soit "abîmée" en 2.

2. Le Cas du Nombre 3 (Le Cas "Spécial")

Le nombre 3 est le rebelle de l'histoire.

• Parfois, il peut apparaître dans le quartier ($d$) même si la maison est parfaite en 3 (bonne réduction).
• Cependant, les auteurs ont prouvé que si cela arrive, la croissance est très spécifique : le nouveau point s'ajoute simplement aux anciens sans créer de chaos.
• L'analogie : Le nombre 3 est comme un invité surprise qui peut entrer même si la porte est fermée, mais il ne casse rien. Il ne peut pas créer de "monstre" (comme un point d'ordre 9) si la maison est intacte.

3. Les Cas des Nombres 5 et 7 (Les Gardiens Rigides)

Pour les nombres 5 et 7, la règle est très stricte.

• Si un point d'ordre 5 ou 7 apparaît dans un nouveau quartier, alors ce quartier doit partager un secret avec la maison.
• L'analogie : Imaginez que 5 et 7 sont des gardes du corps très sévères. Ils ne laisseront jamais un nouveau point entrer dans un quartier "étranger" (où $d$ n'a rien à voir avec la maison) à moins que la maison elle-même ne soit déjà en contact avec ce quartier (mauvaise réduction).

---

🏆 Le Résultat Final (La Conclusion)

En résumé, ce papier est une carte au trésor pour les mathématiciens.

Avant, on savait : "Si je change le terrain, je peux avoir plus de points."
Maintenant, grâce à ce papier, on sait : "Si j'ai plus de points, je peux déduire des informations précises sur le terrain."

La règle d'or :
Si vous voyez une courbe elliptique grandir dans un monde quadratique, vous pouvez être sûr que le nombre qui définit ce monde ($d$) est soit un nombre qui divise l'adresse de la courbe, soit le nombre 3.

C'est comme si l'univers mathématique disait : "Rien n'arrive par hasard. Si une courbe grandit, c'est qu'il y a un lien caché entre elle et son nouvel environnement."

Les auteurs ont utilisé des outils très puissants (comme les représentations de Galois, qu'on peut imaginer comme des cartes de circulation complexes qui montrent comment les points se déplacent) pour prouver que ces liens sont inévitables.

En bref : Ce papier nous aide à trier les millions de possibilités mathématiques pour ne garder que celles qui sont vraiment possibles, rendant le monde des courbes elliptiques un peu moins mystérieux et un peu plus prévisible.

Résumé technique

Voici un résumé technique détaillé de l'article de recherche « On the torsion growth in quadratic number fields for elliptic curves defined over the rationals » par Sara Arias-de-Reyna, Miguel Pineda-Martín et José M. Tornero.

1. Problématique et Contexte

L'article s'inscrit dans l'étude des sous-groupes de torsion des courbes elliptiques définies sur le corps des nombres rationnels $\mathbb{Q}$. Soit $E/\mathbb{Q}$ une courbe elliptique et $K = \mathbb{Q}(\sqrt{d})$ un corps quadratique. Il est bien établi (notamment par les travaux de Najman, Kamienny, et al.) comment le sous-groupe de torsion $E_{\text{tors}}(\mathbb{Q})$ peut croître lorsqu'on effectue un changement de base vers $K$, c'est-à-dire quelles sont les structures possibles de $E_{\text{tors}}(K)$ pour une structure donnée de $E_{\text{tors}}(\mathbb{Q})$.

La question inverse abordée dans ce papier est la suivante : Si l'on connaît la courbe $E$ et l'on observe une croissance de la torsion (c'est-à-dire $E_{\text{tors}}(\mathbb{Q}) \neq E_{\text{tors}}(K)$), que peut-on déduire sur le corps quadratique $K$ ? Plus précisément, les auteurs cherchent à établir une relation explicite entre les nombres premiers divisant le discriminant $d$ de $K$ (ou les premiers ramifiés dans $K$) et les invariants de la courbe, notamment son conducteur $N_E$.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des nombres algébriques et la théorie des représentations galoisiennes modulaires.

• Représentations galoisiennes mod $\ell$ : Pour un nombre premier $\ell$, l'action du groupe de Galois absolu $G_{\mathbb{Q}}$ sur le groupe des points de $\ell$-torsion $E[\ell]$ définit une représentation $\rho_{E,\ell} : G_{\mathbb{Q}} \to \text{Aut}(E[\ell]) \simeq \text{GL}_2(\mathbb{F}_\ell)$.
• Analyse des sous-groupes : L'existence d'un point de torsion $P \in E(K) \setminus E(\mathbb{Q})$ implique que le corps $K$ est contenu dans l'extension de torsion $\mathbb{Q}(E[\ell])$. Cela se traduit par l'existence d'un sous-groupe d'indice 2 dans l'image de la représentation galoisienne qui fixe un point non nul.
• Étude cas par cas des premiers $\ell$ : Les auteurs analysent séparément les premiers possibles pour la croissance de la torsion : $\ell \in \{2, 3, 5, 7\}$.
  • Pour $\ell=2$, ils distinguent deux situations : le cas « strict » (un nouveau point d'ordre 2 apparaît) et le cas « mixte » (un point d'ordre $2^k$ apparaît dont un multiple est déjà rationnel).
  • Pour $\ell=3$, ils exploitent la structure spécifique des sous-groupes de $\text{GL}_2(\mathbb{F}_3)$ et les propriétés de réduction.
  • Pour $\ell=5$ et $7$, ils utilisent une analyse fine des groupes d'inertie et des sous-groupes de$\text{GL}2(\mathbb{F}\ell)$ (en s'appuyant sur les classifications de Sutherland et Zywina).
• Outils techniques : Utilisation de formes normales de Tate, de polynômes de division, de valuations $p$-adiques, et du critère de Neron-Ogg-Shafarevich pour relier la ramification aux types de réduction (bonne, multiplicative, additive).

3. Résultats Principaux

Les résultats sont synthétisés dans plusieurs théorèmes et propositions clés :

A. Le cas $\ell = 2$

Les auteurs prouvent que si la torsion croît en 2 et que 2 ramifie dans $K$ (c'est-à-dire $2|d$), alors la courbe$E$ doit avoir une mauvaise réduction en 2.

• Théorème 2 : Si $E/\mathbb{Q}$ est une courbe elliptique et $K$ un corps quadratique tel que $E_{\text{tors}}(\mathbb{Q}) \neq E_{\text{tors}}(K)$, alors si $2|d$, on a$2|N_E$.
• La preuve distingue le cas strict (nouveau point d'ordre 2) et le cas mixte (points d'ordre 4, 8, 16). Dans les deux cas, l'hypothèse d'une bonne réduction en 2 conduit à une contradiction via l'analyse des valuations 2-adiques des discriminants et des coordonnées des points de torsion.

B. Le cas $\ell = 3$

Le comportement du premier 3 est plus subtil. Contrairement aux autres premiers, il est possible d'avoir une croissance de torsion en 3 avec une bonne réduction en 3 (ex: la courbe 19.a2).

• Cependant, les auteurs établissent des conditions sous lesquelles la ramification en 3 implique la mauvaise réduction.
• Proposition 7 : Si $E_{\text{tors}}(\mathbb{Q})$ est trivial et $E_{\text{tors}}(K) \simeq C_9$, alors $E$ a une mauvaise réduction en 3.
• Proposition 8 : Si $E$ a une bonne réduction en 3 et que $3|d$, alors la croissance de torsion est « pure » :$E_{\text{tors}}(K) = E_{\text{tors}}(\mathbb{Q}) \times C_3$. Cela signifie qu'on ne peut pas obtenir de structures plus complexes (comme$C_9$ou$C_{12}$) sans mauvaise réduction.

C. Le cas $\ell = 5$ et $7$

Pour ces premiers, les auteurs confirment et renforcent des résultats connus.

• Théorème 3 : Si $p=5$ ou $7$ramifie dans$K$et qu'il y a croissance de torsion, alors$p$divise le conducteur$N_E$ (mauvaise réduction).
• Théorème 4 (Résultat plus fort) : Sous l'hypothèse d'une croissance de torsion d'ordre $\ell \ge 3$ :
  1. Pour tout premier $p \neq \ell$ ramifiant dans $K$, $E$ a une réduction additive en $p$ (c'est-à-dire $p^2 | N_E$).
  2. Si $p = \ell > 3$ ramifie dans $K$, $E$ a une réduction additive en $p$.
     Cette preuve utilise l'analyse des groupes d'inertie et montre que l'existence d'un point de torsion sur un corps quadratique ramifié est incompatible avec les types de réduction bonne ou multiplicative pour ces premiers.

D. Résultat Global

• Théorème 5 : Soit $E/\mathbb{Q}$ de conducteur $N_E$ et $K=\mathbb{Q}(\sqrt{d})$ un corps quadratique avec croissance de torsion. Si $p$ est un nombre premier divisant $d$, alors soit $p | N_E$, soit $p = 3$.
  • Ce théorème résume que la ramification dans le corps de base $K$ ne peut provenir que des premiers de mauvaise réduction de la courbe, à l'exception possible du premier 3 (qui nécessite une analyse plus fine comme dans la Proposition 8).

4. Contributions et Significativité

• Approche Inverse : Le papier répond à une question ouverte posée dans la littérature antérieure (Problème 2 de [3]) en fournissant des conditions nécessaires sur le corps quadratique $K$ basées sur les invariants de la courbe $E$.
• Preuves Alternatives et Renforcement : Pour les premiers 5 et 7, bien que des résultats similaires existaient (via des twists ou des méthodes de réduction), les auteurs fournissent une preuve alternative basée sur les représentations galoisiennes qui mène à un résultat plus fort (Théorème 4) : la ramification impose non seulement une mauvaise réduction, mais spécifiquement une réduction additive.
• Nuance sur le premier 3 : L'article clarifie le rôle particulier du premier 3, montrant qu'il est le seul cas où une croissance de torsion peut se produire avec une bonne réduction, mais en limitant strictement le type de croissance possible (seulement $C_3$).
• Outils pour l'avenir : Les auteurs soulignent que leur travail est une première étape pour « cribler » (sieve) l'ensemble des extensions quadratiques possibles. Ils ouvrent la voie à une classification plus complète des corps quadratiques où la torsion peut croître en fonction des invariants de la courbe.

En résumé, cet article établit un lien rigoureux entre la ramification du corps quadratique et la nature de la réduction de la courbe elliptique aux premiers concernés, démontrant que la croissance de torsion impose des contraintes fortes sur la géométrie de la courbe aux premiers de ramification.