On the Fitting ideals of anticyclotomic Selmer groups of elliptic curves with good ordinary reduction

Résumé technique : Sur les idéaux de Fitting des groupes de Selmer anticyclotomiques de courbes elliptiques à réduction ordinaire bonne

Énoncé du problème
L'article traite de l'analogue anticyclotomique de la conjecture principale « forte » de Kurihara concernant les idéaux de Fitting des groupes de Selmer pour les courbes elliptiques. Plus précisément, il cherche à déterminer l'idéal de Fitting initial des doubles groupes de Selmer d'une courbe elliptique $E$ sur des sous-extensions finies $K_n$ de l'extension $\mathbb{Z}_p$-anticyclotomique $K_\infty$ d'un corps quadratique imaginaire $K$. L'objectif est d'exprimer ces idéaux explicitement en termes d'éléments $\theta$ de Bertolini–Darmon, affinant ainsi la conjecture principale « faible » de Mazur et Tate. L'étude opère sous l'hypothèse que $E$ possède une réduction ordinaire bonne en un premier $p \ge 5$ et satisfait des conditions spécifiques concernant la surjectivité de la représentation galoisienne mod $p$ et le comportement de ramification aux primes divisant le conducteur $N$.

Méthodologie
La stratégie de preuve synthétise la théorie d'Iwasawa raffinée, la théorie des systèmes d'Euler bipartites et les propriétés des fonctions $L$ $p$-adiques. La méthodologie procède à travers les étapes clés suivantes :

1. Construction des éléments $\theta$ : L'auteur utilise les points de Gross de conducteur $p^n$ pour construire les éléments $\theta$ de Bertolini–Darmon $\theta(E/K_n)$. Ces éléments interpolent les racines carrées des valeurs $L$ de Rankin–Selberg tordues. L'article établit une « relation à trois termes » reliant les éléments $\theta$ à travers les différents niveaux de l'extension et définit un élément $\theta$ $p$-stabilisé $\theta(f_\alpha/K_n)$ associé à la forme modulaire $p$-stabilisée $f_\alpha$.
2. Comparaison d'idéaux via la $p$-destabilisation : Un composant technique crucial consiste à comparer l'idéal généré par les éléments $\theta$ de $E$ avec celui de la forme $p$-stabilisée. En utilisant l'hypothèse $a_p(E) \not\equiv 1 \pmod p$ (Condition Na), l'auteur prouve que l'idéal généré par $\theta(E/K_n)$ et son image par passage au niveau inférieur est égal à l'idéal généré par $\theta(f_\alpha/K_n)$. Cette étape repose sur un processus de « $p$-destabilisation » discuté dans le Lemme 2.2.
3. Comparaison des groupes de Selmer : L'article compare rigoureusement diverses définitions des groupes de Selmer : le groupe de Selmer $N^-$-ordinaire, le groupe de Selmer minimal et le groupe de Selmer de Greenberg. Sous les hypothèses de surjectivité de la représentation mod $p$ (Im) et de ramification à toutes les primes divisant $N$ (Ram), l'auteur démontre que ces groupes sont isomorphes (Corollaire 3.3). Cet isomorphisme est vital pour transférer les résultats du contexte des systèmes d'Euler (où les groupes $N^-$-ordinaires sont utilisés) vers le contexte classique des groupes de Selmer.
4. Application de la Conjecture Principale : La preuve exploite la conjecture principale anticyclotomique établie (Théorème 4.1), qui affirme l'égalité entre l'idéal caractéristique du double groupe de Selmer et l'idéal généré par la fonction $L$ $p$-adique anticyclotomique $L_p(E/K_\infty)$. La fonction $L$ $p$-adique est définie comme la limite inverse de produits d'éléments $\theta$ et de leurs involutions.
5. Théorème de Contrôle et Changement de Base : Enfin, l'auteur applique un théorème de contrôle pour relier les groupes de Selmer sur l'extension infinie $K_\infty$ à ceux sur les niveaux finis $K_n$. En utilisant la compatibilité des idéaux de Fitting avec le changement de base et l'équation fonctionnelle des éléments $\theta$, le résultat est descendu de l'infini vers le niveau fini.

Contributions Clés et Résultats
Le résultat principal est le Théorème 1.1, qui établit l'égalité d'idéaux suivante dans l'algèbre d'Iwasawa finie $\Lambda_n = \mathbb{Z}_p[\text{Gal}(K_n/K)]$ :

$$(\theta(E/K_n), \nu_{n-1,n}(\theta(E/K_{n-1})))^2 = \text{Fitt}_{\Lambda_n}(\text{Sel}(K_n, E[p^\infty])^\vee)$$

Les accomplissements techniques clés soutenant ce résultat incluent :

• Détermination Complète des Idéaux de Fitting Initiaux : L'article fournit un générateur explicite pour l'idéal de Fitting initial du double groupe de Selmer sur les extensions finies, exprimé entièrement en termes d'éléments $\theta$.
• Propriété d'Idéal Principal : Il est démontré que l'idéal généré par les éléments $\theta$ (et leurs normes) est principal sous les hypothèses énoncées, un fait non trivial en théorie d'Iwasawa.
• Raffinement de la Conjecture Principale : Le résultat affine la conjecture principale « faible » de Mazur et Tate en passant des idéaux caractéristiques aux idéaux de Fitting et en fournissant une description algébrique concrète du générateur.
• Lemme 2.2 ($p$-destabilisation) : La preuve de l'égalité entre l'idéal de l'élément $\theta$ de $E$ et celui de la forme $p$-stabilisée est présentée comme une contribution technique distincte, clarifiant la relation entre les deux via la condition $a_p \not\equiv 1 \pmod p$.

Signification et Revendications
L'article prétend fournir une « preuve courte » de l'analogue anticyclotomique de la conjecture principale forte de Kurihara. Sa signification réside dans :

• Unification : Il connecte la structure algébrique des groupes de Selmer (via les idéaux de Fitting) directement aux objets analytiques (éléments $\theta$) sans dépendre uniquement de la machinerie plus complexe de la pleine conjecture principale sur l'extension infinie comme étape intermédiaire, bien qu'il utilise la conjecture principale connue pour le cas infini.
• Explicitude : En déterminant l'idéal de Fitting initial de manière explicite, l'article offre une compréhension plus précise de la structure des groupes de Selmer que les résultats précédents qui n'établissaient que des idéaux caractéristiques.
• Clarté Méthodologique : L'auteur souligne l'utilité du processus de « $p$-destabilisation » et de la comparaison de différentes définitions des groupes de Selmer, offrant une approche rationalisée des problèmes en théorie d'Iwasawa anticyclotomique.

L'article stipule explicitement que la stratégie suit le cadre établi dans [KK21] mais ajoute les détails nécessaires concernant la comparaison des groupes de Selmer et les manipulations algébriques spécifiques requises pour le cadre anticyclotomique. Il ne prétend pas résoudre le cas général sans les hypothèses spécifiques (telles que la surjectivité de la représentation galoisienne ou la nature sans facteur premier de $N^-$), ni proposer de nouvelles applications expérimentales.