Une $p$-réciproque de rang zéro à un théorème de Gross--Zagier, Kolyvagin et Rubin

Informations fondamentales

• ID de l'article : 2506.03465
• Titre : Une $p$-réciproque de rang zéro à un théorème de Gross--Zagier, Kolyvagin et Rubin
• Auteurs : Ashay A. Burungale, Ye Tian
• Classification : math.NT (Théorie des nombres)
• Date de publication : Prépublication arXiv, 11 octobre 2025
• Lien de l'article : https://arxiv.org/abs/2506.03465

Résumé

Cet article étudie la $p$-réciproque pour les courbes elliptiques à multiplication complexe. Soit $E$ une courbe elliptique à multiplication complexe (CM) définie sur $\mathbb{Q}$, et $p$ un nombre premier. Les auteurs démontrent que : ${\mathrm{corank}}_{\mathbb{Z}_{p}} {\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})=0 \implies {\mathrm{ord}}_{s=1}L(s,E/\mathbb{Q})=0$ où ${\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})$ est le groupe de Selmer $p^{\infty}$-adique et $L(s,E/\mathbb{Q})$ est la fonction $L$ complexe. Combiné aux travaux de Smith sur la distribution du groupe de Selmer $2^\infty$, ceci conduit à la première instance de la conjecture de Goldfeld parité-imparité : pour 50% des entiers positifs sans facteur carré $n$, on a ${\mathrm{ord}}_{s=1}L(s,E^{(n)}/\mathbb{Q})=0$, où $E^{(n)}: ny^{2}=x^{3}-x$ est la torsion quadratique de la courbe elliptique des nombres congruents $E: y^{2}=x^{3}-x$.

Contexte et motivation de la recherche

Problème central

L'article aborde le problème central de la $p$-réciproque pour les courbes elliptiques, c'est-à-dire la déduction des propriétés analytiques de la fonction $L$ à partir des propriétés du groupe de Selmer. Il s'agit d'une direction importante dans l'étude de la conjecture BSD.

Importance de la recherche

1. Contenu central de la conjecture BSD : La conjecture BSD relie les propriétés arithmétiques des courbes elliptiques (comme le rang des points rationnels) et les propriétés analytiques (comme l'ordre de la fonction $L$)
2. Valeur de la pensée réciproque : Tandis que les théorèmes classiques de Gross-Zagier, Kolyvagin et Rubin établissent une implication de l'analytique vers l'arithmétique, la $p$-réciproque étudie l'implication inverse
3. Conjecture de Goldfeld : Il s'agit d'une conjecture importante en théorie des courbes elliptiques, prédisant la distribution du rang analytique des torsions quadratiques

Limitations des méthodes existantes

1. Restrictions des travaux antérieurs de Rubin : Les travaux de Rubin dans les années 90 nécessitaient la condition $p \nmid \#O_K^×$ et un traitement différent pour les nombres premiers ordinaires et non-ordinaires
2. Restrictions sur les nombres premiers : Les résultats antérieurs concernaient principalement les nombres premiers à réduction bonne ordinaire
3. Complexité technique : Absence de fonction $L$ $p$-adique appropriée dans le cas non-ordinaire

Motivation de la recherche

Les auteurs souhaitent établir un cadre unifié permettant de traiter la $p$-réciproque de rang zéro pour les courbes elliptiques CM pour tout nombre premier $p$, avec application à l'étude de la conjecture de Goldfeld.

Contributions principales

1. $p$-réciproque uniforme : Démonstration de la $p$-réciproque de rang zéro pour tout nombre premier $p$ et toute courbe elliptique CM
2. Preuve de la conjecture principale de Kato : Démonstration de la conjecture principale de Kato dans le cas CM (après tensorisation par $\mathbb{Q}_p$)
3. Première instance de la conjecture de Goldfeld : Démonstration de la conjecture de Goldfeld parité-imparité pour la courbe elliptique des nombres congruents
4. Innovation technique : Basée sur la théorie d'Iwasawa et les éléments zêta, évitant la distinction ordinaire/non-ordinaire
5. Extension d'application : Résultats analogues pour les courbes elliptiques sur les corps quadratiques imaginaires

Détails de la méthode

Cadre théorique

La méthode de cet article repose sur la théorie d'Iwasawa et la conjecture principale de Kato, l'idée centrale étant de réduire la $p$-réciproque à la preuve de la conjecture principale.

Conjecture principale de Kato

Soit $f \in S_k(\Gamma_1(N))$ une forme modulaire elliptique nouvelle, et $p$ un nombre premier. Soit $F$ le corps de Hecke et $\lambda$ une place au-dessus de $p$. Les objets clés incluent :

1. Cohomologie d'Iwasawa : $H^q(V_{F_\lambda}(f)) = H^q(T) \otimes \mathbb{Q}$
2. Élément de Beilinson-Kato : $Z(f) \subset H^1(V_{F_\lambda}(f))$
3. Énoncé de la conjecture principale : $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

Conjecture principale équivariante

Pour un corps quadratique imaginaire $K$, on considère :

• $h^1 = \lim_{\leftarrow} (O_{K'}[1/p]^× \otimes_{\mathbb{Z}} \mathbb{Z}_p)$ (unités elliptiques)
• $h^2 = \lim_{\leftarrow} \text{Cl}_{K'}(p)$ (partie $p$ du groupe des classes d'idéaux)
• Conjecture principale équivariante : $\xi(h^2_{\mathbb{Q}}) = \xi((h^1/z)_{\mathbb{Q}})$

Chemin technique

Étape 1 : Conjecture principale équivariante vers conjecture principale de Kato Utilisation de la connexion établie par Kato dans 12, §15 entre l'élément de Beilinson-Kato et les unités elliptiques, réduisant la conjecture principale de Kato dans le cas CM à la conjecture principale équivariante pour les corps quadratiques imaginaires.

Étape 2 : Preuve de la conjecture principale équivariante Utilisation des résultats de Johnson-Leung et Kings (Théorème 2.1), basés sur les travaux fondateurs de Rubin.

Étape 3 : Déduction de la $p$-réciproque Déduction de la $p$-réciproque à partir de la conjecture principale de Kato :

• Utilisation de l'annulation du groupe de Selmer de Bloch-Kato
• Application de la loi de réciprocité explicite
• Obtention de la non-annulation de la fonction $L$ au point critique

Points d'innovation clés

1. Traitement unifié : Pas de distinction entre nombres premiers ordinaires et non-ordinaires
2. Application des éléments de Beilinson-Kato : Ces éléments n'apparaissaient pas dans la méthode de Rubin
3. Suppression des restrictions de conditions : Pas besoin de la condition $p \nmid \#O_K^×$
4. Approche modulaire : Traitement des courbes elliptiques via le langage des formes modulaires

Configuration expérimentale

Cet article est un travail mathématique théorique pur qui n'implique pas d'expériences informatiques, mais plutôt une vérification des résultats théoriques par des preuves mathématiques rigoureuses.

Vérification d'application

Courbe elliptique des nombres congruents : $E: y^2 = x^3 - x$

• Il s'agit d'une courbe elliptique avec multiplication complexe
• Ses torsions quadratiques $E^{(n)}: ny^2 = x^3 - x$
• Considération des entiers positifs sans facteur carré $n \equiv 1, 2, 3 \pmod{8}$

Résultat de distribution de Smith : Le Théorème 3.3 montre que pour une densité égale à 1 d'entiers positifs sans facteur carré $n \equiv 1, 2, 3 \pmod{8}$, on a $\text{corank}_{\mathbb{Z}_2} \text{Sel}_{2^{\infty}}(E^{(n)}/\mathbb{Q}) = 0$

Application combinée : Par la 2-réciproque du Théorème 1.1 et le résultat de Smith, on obtient la première instance de la conjecture de Goldfeld.

Résultats principaux

Théorèmes centraux

Théorème 1.1 ($p$-réciproque) : Soit $E$ une courbe elliptique définie sur un corps quadratique imaginaire $K$, avec multiplication complexe par un ordre de $K$. Soit $p$ un nombre premier. Alors $\text{corank}_{\mathbb{Z}_p} \text{Sel}_{p^{\infty}}(E/K) = 0 \implies \text{ord}_{s=1} L(s, E/K) = 0$ En particulier, si $E$ descend à $\mathbb{Q}$, la conclusion est valide.

Théorème 1.2 (Conjecture de Goldfeld) : La conjecture de Goldfeld parité-imparité est valide pour la courbe elliptique des nombres congruents $E: y^2 = x^3 - x$, c'est-à-dire que pour une densité égale à 1 d'entiers positifs sans facteur carré $n \equiv 1, 2, 3 \pmod{8}$, on a $\text{ord}_{s=1} L(s, E^{(n)}/\mathbb{Q}) = 0$

Théorème 2.6 (Conjecture principale de Kato) : Soit $f \in S_k(\Gamma_1(N))$ une forme nouvelle CM, et $p$ un nombre premier. Alors $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

Résultats techniques

Proposition 1.3 : Soit $E$ une courbe elliptique définie sur un corps quadratique imaginaire $K$, avec multiplication complexe par un ordre de $K$. Supposons que 3 ne soit pas inerte dans $K$. Alors pour au moins 50% des $t \in K^×/(K^×)^2$, on a $\text{ord}_{s=1} L(s, E^{(t)}/K) = 0$

Travaux connexes

Développement historique

1. Résultats classiques : Coates-Wiles, Gross-Zagier, Kolyvagin, Rubin ont établi l'implication de l'analytique vers l'arithmétique
2. Travaux fondateurs de Rubin : Preuve dans les années 90 de la $p$-réciproque de rang zéro (avec restrictions de conditions)
3. Progrès récents : Skinner, Zhang ont relancé l'étude de la $p$-réciproque

Fondements techniques

1. Théorie d'Iwasawa : Fournit le cadre pour l'étude des fonctions $L$ $p$-adiques et des groupes de Selmer
2. Travaux de Kato : Établit la théorie des éléments de Beilinson-Kato et la conjecture principale
3. Johnson-Leung et Kings : Démontrent les cas clés de la conjecture principale équivariante
4. Résultats statistiques de Smith : Fournissent des informations précises sur la distribution des groupes de Selmer

Innovation de cet article

Comparée à la méthode de Rubin, la méthode de cet article :

• S'applique à tout nombre premier $p$
• Ne nécessite pas de distinction entre cas ordinaire et non-ordinaire
• Utilise les éléments de Beilinson-Kato
• Évite la condition $p \nmid \#O_K^×$

Conclusion et discussion

Conclusions principales

1. Percée théorique : Première démonstration pour tout nombre premier de la $p$-réciproque de rang zéro pour les courbes elliptiques CM
2. Succès d'application : Résolution de la première instance de la conjecture de Goldfeld
3. Cadre unifié : Fourniture d'un cadre unifié pour traiter la $p$-réciproque
4. Progrès technique : Avancement de l'étude de la conjecture principale de Kato dans le cas CM

Limitations

1. Restriction CM : Les résultats s'appliquent uniquement aux courbes elliptiques à multiplication complexe
2. Restriction de tensorisation : La preuve de la conjecture principale de Kato nécessite une tensorisation par $\mathbb{Q}_p$
3. Cas particulier : La conjecture de Goldfeld est démontrée uniquement pour la courbe des nombres congruents
4. Hypothèses techniques : Certains résultats nécessitent des conditions techniques supplémentaires (comme la non-inertie de 3)

Directions futures

1. Cas non-CM : Généralisation des résultats aux courbes elliptiques sans multiplication complexe
2. Version intégrale : Étude de la forme intégrale de la conjecture principale
3. Autres courbes : Recherche d'autres instances de la conjecture de Goldfeld
4. Courbes 2-ordinaires : Considération des courbes non-CM 2-ordinaires

Évaluation approfondie

Avantages

1. Profondeur théorique : Combinaison de plusieurs théories mathématiques profondes (théorie d'Iwasawa, théorie des formes modulaires, géométrie arithmétique)
2. Innovation méthodologique : Fourniture d'une nouvelle méthode uniforme pour traiter la $p$-réciproque
3. Valeur d'application : Résolution de cas particuliers de conjectures importantes
4. Complétude technique : Preuves rigoureuses et logique claire

Contributions techniques

1. Preuve de la conjecture principale : Preuve complète de la conjecture principale de Kato dans le cas CM
2. Établissement de connexions : Clarification de la relation entre la conjecture principale équivariante et la conjecture principale de Kato
3. Démonstration d'application : Illustration de la puissance de la théorie abstraite dans les problèmes concrets

Insuffisances

1. Portée d'application : Limitation aux courbes elliptiques CM
2. Complexité technique : Nécessité de connaissances préalables approfondies
3. Difficulté computationnelle : Difficulté de convertir les résultats théoriques en algorithmes effectifs

Évaluation de l'impact

1. Impact académique : Avancement de la recherche sur la conjecture BSD et la conjecture de Goldfeld
2. Impact méthodologique : Fourniture de nouvelles perspectives de recherche pour les problèmes connexes
3. Recherche ultérieure : Établissement de fondations pour la recherche dans le cas non-CM

Scénarios d'application

Les méthodes et résultats de cet article s'appliquent à :

1. Recherche arithmétique sur les courbes elliptiques à multiplication complexe
2. Étude de la distribution des zéros des fonctions $L$
3. Analyse de la structure des groupes de Selmer
4. Vérification de cas particuliers de la conjecture BSD

Références

L'article cite les travaux importants du domaine, incluant :

• Théorie de Hodge $p$-adique de Kato et valeurs de fonctions zêta de formes modulaires
• Travaux de Rubin sur la conjecture principale de la théorie d'Iwasawa pour les corps quadratiques imaginaires
• Résultats récents de Smith sur la distribution des groupes de Selmer
• Recherche de Johnson-Leung et Kings sur la conjecture principale équivariante

Évaluation générale : Ceci est un article de haute qualité en théorie des nombres qui réalise des progrès importants dans la théorie arithmétique des courbes elliptiques. Bien que les résultats se limitent au cas CM, la méthode possède une universalité et établit une base solide pour la recherche ultérieure. En particulier, la preuve de la première instance de la conjecture de Goldfeld revêt une importance significative en tant que jalon.