🔢 mathematics

Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$ -extension of $\mathbb{Q}$

En utilisant les propriétés de congruence des points de Heegner et une version équivariante du théorème de Coates-Wiles, cet article construit une courbe elliptique et une famille de ses twists quadratiques ayant un rang analytique et algébrique égal à un sur l'extension cyclotomique $\mathbb{Z}_2$ de $\mathbb{Q}$ , tout en possédant un groupe de Tate-Shafarevich infini sur cette extension.

Auteurs originaux : Li-Tong Deng, Yong-Xiong Li

Publié 2026-03-17

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Li-Tong Deng, Yong-Xiong Li

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

🌌 La Danse des Courbes et des Étoiles : Une Aventure Mathématique

Imaginez que les mathématiques sont une vaste bibliothèque remplie de livres mystérieux. Dans ce livre, les auteurs (Li-Tong Deng et Yong-Xiong Li) racontent une histoire sur des objets géométriques spéciaux appelés courbes elliptiques.

Pour faire simple, imaginez ces courbes comme des lacs magiques où nagent des poissons (les points rationnels). Les mathématiciens s'intéressent à deux questions principales :

Combien de poissons y a-t-il ? (C'est ce qu'on appelle le rang de la courbe).
Y a-t-il des "fantômes" cachés ? (C'est le groupe de Tate-Shafarevich, un concept abstrait qui représente des solutions qui semblent exister localement mais qui disparaissent globalement, comme des fantômes).

🎭 Le Défi : Trouver le "Juste Milieu"

Dans le monde des mathématiques, on sait souvent trouver des lacs vides (rang 0) ou des lacs très remplis (rang élevé). Mais trouver un lac qui contient exactement un poisson (rang 1) et qui, en même temps, est hanté par une infinité de fantômes, est un défi énorme.

Les auteurs de ce papier veulent prouver qu'il existe une famille infinie de ces lacs "parfaits" (un poisson + des fantômes infinis) dans un environnement très spécial : une tour infinie de champs de nombres (appelée l'extension $\mathbb{Z}_2$ ).

🧩 L'Analogie de la Tour de Babel

Imaginez une tour de Babel infinie. Chaque étage de la tour représente un monde mathématique plus grand que le précédent.

Au rez-de-chaussée, nous avons notre monde habituel ( $\mathbb{Q}$ ).
En montant, chaque étage ajoute de nouvelles règles et de nouveaux nombres.

Les auteurs se demandent : "Si je prends une courbe elliptique et que je la fais voyager dans cette tour, est-ce qu'elle gardera toujours exactement un poisson et une infinité de fantômes, peu importe l'étage où elle se trouve ?"

La réponse, selon ce papier, est OUI.

🔍 Comment ont-ils fait ? (Les Outils Magiques)

Pour résoudre ce casse-tête, les auteurs ont utilisé trois outils principaux, que l'on peut comparer à des instruments de musique ou de navigation :

Les "Morceaux de Puzzle" (Éléments de Mazur-Tate) :
Imaginez que chaque courbe elliptique a une "signature" mathématique. Les auteurs ont créé des puzzles complexes basés sur ces signatures. En regardant comment ces pièces s'assemblent (ou ne s'assemblent pas) à chaque étage de la tour, ils ont pu prédire le comportement des poissons et des fantômes. C'est comme écouter une mélodie pour deviner si une pièce de musique est complète ou non.
Les "Points Heegner" (Des Phares dans la Nuit) :
Pour prouver qu'il y a bien un poisson (rang 1), ils ont utilisé des "phares" spéciaux appelés points Heegner. Ces points sont comme des balises lumineuses qui, lorsqu'ils sont allumés, indiquent la présence d'un poisson. Les auteurs ont montré que pour leurs courbes spéciales, ces phares brillent toujours, garantissant l'existence du poisson unique.
La "Concordance des Fréquences" (Congruences) :
C'est la partie la plus technique. Les auteurs ont dû prouver que les "signatures" de leurs courbes résonnent parfaitement avec les règles de la tour infinie. Ils ont utilisé des calculs très précis (comme accorder un instrument de musique) pour s'assurer que tout reste cohérent, même quand les nombres deviennent gigantesques.

🏆 La Grande Découverte

Le résultat final est une victoire élégante :

Ils ont construit une famille infinie de courbes elliptiques (en modifiant légèrement une courbe de base, un peu comme changer la couleur d'une voiture pour créer une nouvelle version).
Pour chacune de ces courbes, peu importe à quel étage de la tour infinie on les regarde :
- Il y a exactement un poisson (le rang est 1).
- Il y a une infinité de fantômes (le groupe de Tate-Shafarevich est infini).

C'est une découverte importante car elle répond à une question posée depuis longtemps : "Peut-on avoir un système stable (un poisson) qui est en même temps chaotique et infini (les fantômes) ?" La réponse est oui, et les auteurs ont montré exactement comment le construire.

💡 En Résumé

Ce papier est comme un guide pour construire des univers mathématiques parfaits. Les auteurs ont prouvé qu'il est possible de créer une série infinie de mondes où la règle est simple (un seul poisson), mais où le mystère reste infini (des fantômes sans fin). Ils ont utilisé des outils sophistiqués pour démontrer que cette harmonie existe bel et bien, sans avoir besoin de faire des hypothèses non prouvées.

C'est une belle démonstration de la puissance de l'imagination mathématique pour explorer les profondeurs de l'infini.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie d'Iwasawa et de la conjecture de Birch et Swinnerton-Dyer (BSD) pour les courbes elliptiques définies sur $\mathbb{Q}$ . Les auteurs abordent deux questions fondamentales :

L'existence de familles infinies de corps de nombres : Existe-t-il une courbe elliptique $E/\mathbb{Q}$ et une suite infinie de corps de nombres $F_n/\mathbb{Q}$ avec $[F_n : \mathbb{Q}] \to \infty$ , tels que le rang de Mordell-Weil $E(F_n)$ soit égal à 1, tout en ayant une partie 2-primaire du groupe de Tate-Shafarevich $\text{X}(E/F_n)(2)$ non triviale (et même infinie) ?
Les twists quadratiques : Existe-t-il une courbe $E/\mathbb{Q}$ et une infinité de twists quadratiques $E(d)$ tels que le rang soit 1 et que le groupe de Tate-Shafarevich ait une partie 2 non triviale ?

La difficulté principale réside dans le fait que, pour $p=2$ (le cas de la 2-partie), les méthodes classiques de la théorie d'Iwasawa (développées pour les primes impaires) échouent souvent en raison de la réduction supersingulière de la courbe en 2. De plus, la plupart des résultats antérieurs supposaient la conjecture BSD ou la finitude du groupe de Tate-Shafarevich, ce que les auteurs cherchent à éviter.

2. Méthodologie

Les auteurs développent une approche combinant plusieurs outils avancés de la théorie des nombres :

Éléments Modulaires de Mazur-Tate : L'étude des propriétés 2-adiques des éléments de Mazur-Tate associés aux twists quadratiques de la courbe $E$ définie par $y^2 + y = x^3 + 2$ . Ces éléments vivent dans l'anneau de groupe $\mathbb{Z}_2[\text{Gal}(Q_n/\mathbb{Q})]$ .
Théorie d'Iwasawa pour les courbes à Multiplication Complexe (CM) : Utilisation des travaux de Coates, Wiles et Rubin pour les primes ordinaires, adaptés ici au contexte supersingulier en 2 via une version équivariante du théorème de Coates-Wiles.
Propriétés de Congruence des Points de Heegner : Utilisation des résultats de Kriz et Li sur les congruences des points de Heegner, dérivées de la formule $p$ -adique de Waldspurger. Cela permet de prouver la non-torsion de certains points rationnels.
Nouvelle Construction d'Élément Modulaire : Pour contourner l'échec de la méthode directe de Kurihara-Pollack pour les twists $E(m)$ , les auteurs définissent un nouvel élément modulaire $\xi_E(\chi)$ associé à la paire $(E, \chi)$ , où $\chi$ est le caractère quadratique du twist. Ils établissent des relations de congruence modulo 2 (et même modulo 4 pour le cas exceptionnel $n=3$ ) entre cet élément et l'élément de Mazur-Tate standard.

3. Résultats Principaux

Le théorème principal (Théorème 1.3) établit l'existence d'une famille infinie de twists quadratiques satisfaisant les critères recherchés.

Hypothèses :
Soient $p$ et $q$ deux nombres premiers distincts tels que :

$p \equiv q \equiv 7 \pmod{12}$ ,
Les coefficients de Fourier $a_p$ et $a_q$ de la forme modulaire associée à $E$ sont impairs,
$\left(\frac{-2p}{q}\right) = 1$ ,
$3 \nmid h(-q)h(-6pq)$ (où $h$ désigne le nombre de classes).

Soit $m = pq$. Alors :

Rang sur $\mathbb{Q}$ : Le rang analytique et algébrique de $E(m)(\mathbb{Q})$ est 0. Le groupe de Tate-Shafarevich $\text{X}(E(m)/\mathbb{Q})(2)$ est trivial.
Rang sur la tour cyclotomique $\mathbb{Q}_\infty$ : Pour chaque $n \ge 1$ , le rang analytique et algébrique de $E(m)$ sur le corps $Q_n$ (le sous-corps unique de degré $2^n$ de l'extension cyclotomique $\mathbb{Z}_2$ ) est exactement 1.
$\text{ord}_{s=1} L(E(m)/Q_n, s) = 1 = \text{rank}(E(m)(Q_n))$
Groupe de Tate-Shafarevich infini : Le groupe de Tate-Shafarevich de $E(m)$ sur la tour complète $\mathbb{Q}_\infty$ , noté $\text{X}(E(m)/\mathbb{Q}_\infty)$ , possède une partie 2-primaire infinie en ordre et en rang 2.
$\text{rank}_{\mathbb{Z}_2} \text{X}(E(m)/\mathbb{Q}_\infty)(2) = \infty$

4. Contributions Clés

Résolution sans hypothèses BSD : Contrairement aux travaux précédents (Kurihara, Tian), ce résultat est démontré sans supposer la conjecture BSD ni la finitude du groupe de Tate-Shafarevich. La preuve repose sur des théorèmes de Gross-Zagier et Kolyvagin combinés à la théorie d'Iwasawa.
Généralisation aux familles infinies : L'article passe d'un résultat sur une courbe fixe ou un corps fixe à une famille infinie de corps de nombres ( $Q_n$ ) et de twists quadratiques ( $E(m)$ ), démontrant que le rang reste stable à 1 tandis que le groupe de Tate-Shafarevich devient infini.
Technique de congruence modulo 4 : La résolution du cas exceptionnel ( $n=3$ ) pour les caractères primitifs de $\text{Gal}(Q_3/\mathbb{Q})$ nécessite une analyse fine des congruences modulo 4 des coefficients des éléments modulaires, utilisant l'action de Hecke sur les symboles modulaires. C'est une avancée technique significative pour le cas $p=2$ .
Construction explicite : Les auteurs fournissent des exemples numériques concrets (paires de nombres premiers $(p, q)$ comme $(31, 7)$ ) satisfaisant les conditions du théorème.

5. Signification et Impact

Ce travail est une avancée majeure dans l'étude du comportement des courbes elliptiques sur les extensions $\mathbb{Z}_p$ -cyclotomiques, en particulier pour la prime $p=2$ .

Il répond positivement à la question ouverte concernant l'existence de courbes de rang 1 avec un groupe de Tate-Shafarevich non trivial (et infini) sur des extensions de degré tendant vers l'infini.
Il démontre la robustesse de la conjecture de Birch et Swinnerton-Dyer (partie rang) dans un contexte où le groupe de Tate-Shafarevich est "gros", ce qui est souvent le cas dans les extensions infinies.
La méthode développée, notamment l'utilisation des éléments de Mazur-Tate modifiés et des congruences de haut ordre, ouvre la voie à l'étude d'autres invariants d'Iwasawa (comme les invariants $\mu$ et $\lambda$ ) pour les groupes $K$ -théoriques ou d'autres courbes elliptiques avec réduction supersingulière.

En résumé, Deng et Li réussissent à construire une famille explicite de courbes elliptiques dont le comportement arithmétique sur la tour cyclotomique $\mathbb{Z}_2$ est parfaitement contrôlé : rang constant égal à 1, mais "obstruction" (groupe de Tate-Shafarevich) qui croît indéfiniment.