🔢 mathematics

$p$ -adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

Cet article généralise la formule de Waldspurger $p$ -adique aux cas non décomposés, développe une nouvelle théorie d'Iwasawa locale anticyclotomique valable pour toutes les ramifications de $p$ , et établit la réciproque du théorème de Gross-Zagier-Kolyvagin pour les caractères CM auto-duaux, permettant ainsi de prouver la conjecture de Sylvester sur les sommes de deux cubes rationnels et la conjecture de Goldfeld pour les courbes elliptiques CM.

Auteurs originaux : Yangyu Fan, Xin Wan

Publié 2026-03-31

📖 6 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Yangyu Fan, Xin Wan

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

🕵️‍♂️ L'Enquête : Trouver le lien caché entre les nombres et les formes

Imaginez que les mathématiciens sont des détectives qui tentent de résoudre l'un des plus grands mystères du monde : le lien entre les nombres (l'arithmétique) et les formes géométriques complexes (les fonctions L).

Dans ce papier, les auteurs, Yangyu Fan et Xin Wan, réussissent une prouesse majeure. Ils prouvent une règle fondamentale qui dit : "Si vous trouvez un certain nombre de solutions cachées à une équation (ce qu'on appelle le 'rang'), alors vous devez trouver un signe spécifique dans une formule magique (la 'valeur de la fonction L')."

C'est un peu comme dire : "Si vous avez trouvé une clé dans votre jardin, alors il doit y avoir une serrure correspondante sur la porte de votre maison."

Voici comment ils y sont arrivés, étape par étape, avec des analogies simples.

1. Le Problème : La carte était incomplète 🗺️

Jusqu'à présent, les détectives avaient une carte très précise pour explorer certaines régions (quand la "clé" $p$ se comportait d'une certaine manière, appelée "split"). Mais il y avait des zones dangereuses et inexplorées :

Quand la clé $p$ est inerte (elle ne se divise pas).
Quand elle est ramifiée (elle se comporte de manière bizarre).
Et même quand $p = 2$ (le nombre le plus petit et le plus capricieux).

Dans ces zones, la carte était floue. Les outils habituels ne fonctionnaient plus. Les auteurs ont dû dessiner une nouvelle carte pour ces régions sauvages.

2. L'Outil Magique : Le "Lampadaire p-adique" 💡

Pour éclairer ces zones sombres, ils ont construit un nouvel outil appelé fonction L p-adique.
Imaginez que les nombres sont des points dans l'espace. Habituellement, on ne peut pas voir les points très proches les uns des autres. Cet outil agit comme un lampadaire ultra-puissant qui permet de voir les détails infimes entre les nombres, même dans les zones où la lumière habituelle ne passe pas.

Ils ont aussi inventé une nouvelle façon de mesurer ces points, qu'ils appellent la théorie $\pm$ .

Imaginez que vous avez un tas de billes (des solutions).
La théorie $\pm$ consiste à trier ces billes dans deux boîtes différentes : la boîte Plus et la boîte Moins.
Le génie de l'article, c'est qu'ils ont réussi à faire ce tri pour tous les types de terrain, même les plus accidentés (quand $p=2$ ou quand les nombres sont "inertes"). Auparavant, on ne savait le faire que sur des terrains plats.

3. Le Pont : La Formule de Waldspurger 🌉

Une fois qu'ils ont leur lampe et leurs boîtes de tri, ils doivent relier deux mondes :

Le monde des solutions (les points Heegner, qui sont comme des points d'ancrage géométriques).
Le monde des formules (les valeurs de la fonction L).

Pour cela, ils utilisent une formule de Waldspurger.

L'analogie : Imaginez que vous avez un message écrit en code secret (la fonction L) et que vous voulez savoir s'il y a un trésor caché (une solution). La formule de Waldspurger est le dictionnaire de traduction qui vous dit exactement : "Si le code dit 'X', alors le trésor est là."
Les auteurs ont amélioré ce dictionnaire pour qu'il fonctionne même quand le code est très difficile à déchiffrer (quand $p$ est non-éclaté).

4. La Grande Révélation : Le Théorème Inverse 🔄

Le but ultime de l'article est de prouver l'inverse d'une règle célèbre (Gross-Zagier et Kolyvagin).

La règle originale : Si vous avez un trésor (une solution), alors le code le dit.
La preuve de Fan et Wan (Le théorème inverse) : Si le code dit qu'il y a un trésor (le rang analytique est 1), alors il y a forcément un trésor (le rang arithmétique est 1).

C'est comme si un détective disait : "Je vois la trace de pas dans la neige (la formule). Donc, quelqu'un a dû passer par là (la solution), même si je ne le vois pas encore directement."

Ils prouvent que si le "rang de Selmer" (le nombre de solutions potentielles) est de 1, alors la "fonction L" s'annule exactement une fois. C'est une confirmation parfaite de la théorie.

5. Les Conséquences : Pourquoi c'est important ? 🎉

Cette découverte n'est pas juste une théorie abstraite. Elle résout des problèmes vieux de plus de 200 ans !

La Conjecture de Sylvester (1879) :
- Le problème : Peut-on écrire n'importe quel nombre premier (comme 7, 13, 19...) comme la somme de deux cubes de nombres rationnels ? ( $x^3 + y^3 = p$ )
- La réponse : OUI ! Grâce à leur méthode, ils prouvent que pour certains types de nombres premiers, la réponse est toujours oui. C'est comme si on avait trouvé une clé universelle pour ouvrir ces coffres-forts cubiques.
La Conjecture de Goldfeld :
- Le problème : Si on prend une courbe elliptique (une forme géométrique complexe) et qu'on la "tord" de toutes les façons possibles, combien de fois aura-t-elle 0 solution, et combien de fois 1 solution ?
- La réponse : Pour les courbes avec "multiplication complexe" (une propriété spéciale), la réponse est 50/50. La moitié aura 0 solution, l'autre moitié en aura 1. C'est une loi de probabilité parfaite dans le chaos des nombres.

En Résumé 🎯

Fan et Wan ont construit un pont solide entre deux rives séparées par un ravin (les nombres et les formes).

Ils ont élargi leur outillage pour marcher sur des terrains difficiles (tous les types de nombres premiers, y compris 2).
Ils ont affiné leur boussole (la théorie $\pm$ ) pour ne jamais se perdre.
Ils ont utilisé une traduction précise (Waldspurger) pour lire les messages cachés.
Résultat : Ils ont prouvé que si le message dit "il y a une solution", alors il y en a une.

C'est une victoire majeure pour la théorie des nombres, confirmant que l'univers des nombres obéit à des règles d'harmonie profondes et prévisibles, même dans ses recoins les plus sombres.

1. Problématique et Contexte

L'article s'inscrit dans le programme de recherche visant à établir des relations profondes entre les valeurs spéciales des fonctions $L$ et les objets arithmétiques (conjecture de Bloch-Kato). Plus spécifiquement, les auteurs s'intéressent au théorème réciproque de Gross-Zagier et Kolyvagin.

Le problème central : Pour une représentation galoisienne $\rho$ associée à une courbe elliptique $E$ (ou un caractère de Hecke $\psi$ ), si le rang du groupe de Selmer $p$ -adique est 1, alors l'ordre de vanishing de la fonction $L$ en $s=1$ doit être exactement 1.
L'état de l'art : Ce résultat a été prouvé dans le cas où $p$ est décomposé (split) dans le corps quadratique imaginaire $K$ (cas CM) ou pour les courbes sans multiplication complexe (sous certaines hypothèses de finitude). Cependant, le cas où $p$ est inerte ou ramifié dans $K$ (cas "non-split") restait largement ouvert, notamment en raison de difficultés géométriques liées à la convergence des constructions $p$ -adiques et à l'absence de théorie d'Iwasawa locale adaptée pour tous les types de ramification.
Objectif : Prouver le théorème réciproque pour les caractères de Hecke autoduaux sur un corps quadratique imaginaire $K$ , y compris pour le cas $p=2$ et pour toutes les ramifications de $p$ (décomposé, inerte, ramifié), en généralisant les travaux récents d'Andreatta-Iovita.

2. Méthodologie et Stratégie

La preuve repose sur une combinaison innovante de la théorie des formes modulaires $p$ -adiques, de la théorie d'Iwasawa anticyclotomique et de la géométrie des courbes de Shimura. La stratégie se décompose en trois axes majeurs :

A. Construction de la formule de Waldspurger $p$ -adique (Cas non-split)

Les auteurs généralisent la construction de la fonction $L$ $p$ -adique anticyclotomique et de la formule de Waldspurger $p$ -adique au-delà des restrictions géométriques précédentes.

Nouveauté technique : Utilisation de la théorie des fibrés vectoriels avec sections marquées et scindages marqués (VBMSS) pour définir des formes modulaires quaternioniques "presque surconvergentes".
Gestion de la convergence : Au lieu d'estimer explicitement les rayons de convergence (difficile dans le cas non-split), ils utilisent la théorie des vecteurs tests locaux et des représentations de Kirillov. Ils démontrent qu'en choisissant judicieusement un vecteur test local $\phi_p$ et en appliquant une translation par une matrice spécifique $g_{\ell,n}$ , les points CM peuvent être déplacés dans un "demi-lieu canonique" (half-canonical locus) où la itération $p$ -adique de la connexion de Gauss-Manin converge.
Généralité : Cette construction fonctionne pour tous les poids, toutes les ramifications (y compris $p=2$ ) et suppose uniquement que la représentation automorphe est de série principale en $p$ .

B. Développement d'une théorie d'Iwasawa locale $\pm$

Les auteurs développent une nouvelle théorie d'Iwasawa locale $\pm$ valable pour tous les types de ramification de $p$ dans $K$ .

Approche : Contrairement à la théorie de Rubin (qui dépend de la ramification en $p$ ), ils divisent les points arithmétiques de l'espace des poids en deux ensembles ( $X_1$ et $X_2$ ) basés sur les types archimédiens plutôt que sur les conducteurs locaux.
Décomposition : Ils définissent des sous-modules $H^1_+$ et $H^1_-$ de la cohomologie galoisienne locale, caractérisés par le fait que leurs spécialisations appartiennent au noyau de l'exponentielle de Bloch-Kato ( $H^1_f$ ) pour des points arithmétiques spécifiques.
Résultat clé : Ils prouvent une version de la conjecture de Rubin (décomposition directe $H^1 = H^1_+ \oplus H^1_-$ ) sur un petit disque autour de l'origine de l'espace des poids, en utilisant des lois de réciprocité explicites pour des unités elliptiques auxiliaires.

C. Construction de familles de Heegner et conjecture de Perrin-Riou

Pour appliquer la théorie d'Iwasawa, ils doivent construire une famille de points de Heegner (ou une "famille virtuelle").

Famille Virtuelle : Dans le cas où $p$ est non-split, les points CM ne sont pas assez denses pour construire une famille directe. Les auteurs utilisent une famille de Coleman passant par la forme modulaire $f$ et combinent des points de Heegner associés à des twists anticyclotomiques auxiliaires.
Annulation d'une composante : Une observation cruciale est que pour les formes à multiplication complexe (CM), l'une des deux fonctions $L$ de Rankin-Selberg $p$ -adiques associées s'annule identiquement (en raison des nombres de racines globaux). Cela permet de projeter la famille de Heegner sur un seul sous-module $H^1_+$ .
Lien avec la fonction $L$ : Grâce à la formule de Waldspurger $p$ -adique, ils relient la spécialisation de cette famille virtuelle à la fonction $L$ $p$ -adique anticyclotomique.

3. Résultats Principaux

Théorème 1.1 (Théorème réciproque $p$ -adique)

Soit $\psi$ un caractère de Hecke de $K$ de type archimédien $(-1, 0)$ tel que sa restriction à $\mathbb{A}_\mathbb{Q}^\times$ soit $|\cdot|^{-1}\chi_K$ .

Si le rang du groupe de Selmer de $\psi$ est 1, alors l'ordre de vanishing de la fonction $L(\psi, s)$ en $s=1$ est exactement 1.

Ce résultat est prouvé sans hypothèse de finitude du groupe de Tate-Shafarevich, pour tout $p$ (y compris $p=2$ ) et toutes les ramifications.

Conséquences Arithmétiques

Conjecture de Sylvester (1879) :

Théorème 1.2 : Tout nombre premier $p \equiv 4, 7, 8 \pmod 9$ peut s'écrire sous la forme $x^3 + y^3$ avec $x, y \in \mathbb{Q}$ .
Preuve : Cela découle de l'application du théorème réciproque à la courbe elliptique $E_p: x^3+y^3=p$ qui a une multiplication complexe par $\mathbb{Q}(\sqrt{-3})$ . Le rang de Selmer 3-adique est prouvé être 1, impliquant un rang de Mordell-Weil 1.
Conjecture de Goldfeld pour les courbes CM :

Théorème 1.4 : La conjecture de Goldfeld est vraie pour les courbes elliptiques à multiplication complexe sur $\mathbb{Q}$ (sous réserve des travaux d'Alexander Smith sur les rangs de Selmer 2-adiques).
Signification : 50% des twists quadratiques d'une telle courbe ont un rang analytique 0 et 50% ont un rang analytique 1.

4. Contributions Clés et Innovations

Généralisation de la formule de Waldspurger : Extension de la construction d'Andreatta-Iovita aux cas où $p$ est inerte ou ramifié, et pour $p=2$ , en utilisant des techniques de géométrie rigide et de vecteurs tests locaux pour contourner les problèmes de convergence.
Théorie $\pm$ universelle : Développement d'une théorie d'Iwasawa locale $\pm$ qui ne dépend pas du type de ramification de $p$ dans $K$ , permettant de traiter uniformément les cas split, inerte et ramifié.
Méthode de "quotient" : Utilisation de rapports entre familles de points de Heegner (ou unités elliptiques) pour des caractères auxiliaires afin de définir des régulateurs explicites sans avoir besoin de construire une application régulateur locale explicite (difficile en cas non-split).
Traitement du cas $p=2$ : L'article réussit à inclure le cas $p=2$ , souvent exclu des résultats antérieurs en raison de complications techniques liées à la réduction supersingulière et aux logarithmes $p$ -adiques.

5. Signification et Impact

Ce travail constitue une avancée majeure dans la théorie des nombres, comblant une lacune importante dans la compréhension des relations entre les fonctions $L$ et les points de Heegner pour les courbes elliptiques à multiplication complexe.

Complétude : Il fournit une preuve complète du théorème réciproque de Gross-Zagier-Kolyvagin pour les caractères CM, indépendamment du comportement de $p$ .
Applications concrètes : Il résout des problèmes classiques ouverts depuis le XIXe siècle (Sylvester) et valide des conjectures modernes (Goldfeld) dans le contexte CM.
Outils futurs : Les méthodes développées, notamment la formule de Waldspurger $p$ -adique dans sa généralité et la théorie $\pm$ locale, ouvrent la voie à la preuve de la formule de Birch et Swinnerton-Dyer raffinée (BSD) pour les courbes CM de rang 1, un objectif mentionné par les auteurs pour leurs travaux futurs.

En résumé, Fan et Wan ont réussi à unifier et généraliser des techniques profondes de géométrie arithmétique et de théorie des représentations pour résoudre un problème central de la théorie des nombres, en surmontant les obstacles techniques liés aux primes non-décomposées.