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

Technische Samenvatting: Over de Fitting-idealen van anticyclotische Selmer-groepen van elliptische krommen met goede ordinaire reductie

Probleemstelling
Het artikel behandelt het anticyclotische analoog van de "sterke" hoofdvermoeden van Kurihara betreffende de Fitting-idealen van Selmer-groepen voor elliptische krommen. Specifiek streeft het naar het bepalen van het initiële Fitting-ideaal van de duale Selmer-groepen van een elliptische kromme $E$ over eindige subextensies $K_n$ van de anticyclotische $\mathbb{Z}_p$-extensie $K_\infty$ van een imaginaire kwadratische veld $K$. Het doel is om deze idealen expliciet uit te drukken in termen van Bertolini–Darmon's theta-elementen, wat een verfijning is van de "zwakke" hoofdvermoeden van Mazur en Tate. De studie opereert onder de aanname dat $E$ een goede ordinaire reductie heeft bij een priem $p \ge 5$ en voldoet aan specifieke condities met betrekking tot de surjectiviteit van de mod $p$ Galois-representatie en het ramificatiegedrag bij priemmen die de conductor $N$ delen.

Methodologie
De bewijsstrategie synthetiseert verfijnde Iwasawa-theorie, de theorie van bipartiete Euler-systemen en de eigenschappen van $p$-adische $L$-functies. De methodologie verloopt via de volgende sleutelstappen:

1. Constructie van Theta-elementen: De auteur maakt gebruik van Gross-punten van conductor $p^n$ om de Bertolini–Darmon theta-elementen $\theta(E/K_n)$ te construeren. Deze elementen interpoleren de vierkantswortels van getwiste Rankin–Selberg $L$-waarden. Het artikel vestigt een "drie-term relatie" die theta-elementen over verschillende lagen van de extensie verbindt en definieert een $p$-gestabiliseerd theta-element $\theta(f_\alpha/K_n)$ geassocieerd met het $p$-gestabiliseerde modulaire vorm $f_\alpha$.
2. Vergelijking van Idealen via $p$-destabilisatie: Een cruciaal technisch onderdeel betreft het vergelijken van het ideaal gegenereerd door de theta-elementen van $E$ met dat van de $p$-gestabiliseerde vorm. Gebruikmakend van de aanname dat $a_p(E) \not\equiv 1 \pmod p$ (Conditie Na), bewijst de auteur dat het ideaal gegenereerd door $\theta(E/K_n)$ en zijn norm-afwaartse afbeelding gelijk is aan het ideaal gegenereerd door $\theta(f_\alpha/K_n)$. Deze stap berust op een "$p$-destabilisatieproces" besproken in Lemma 2.2.
3. Vergelijking van Selmer-groepen: Het artikel vergelijkt rigoureus verschillende definities van Selmer-groepen: de $N^-$-ordinaire Selmer-groep, de minimale Selmer-groep en de Greenberg Selmer-groep. Onder de hypothesen dat de mod $p$ representatie surjectief is (Im) en ramificeert bij alle priemmen die $N$ delen (Ram), demonstreert de auteur dat deze groepen isomorf zijn (Corollary 3.3). Deze isomorfie is essentieel voor het overdragen van resultaten van de Euler-systeem context (waar $N^-$-ordinaire groepen worden gebruikt) naar de klassieke Selmer-groep context.
4. Toepassing van de Hoofdvermoeden: Het bewijs maakt gebruik van de gevestigde anticyclotische hoofdvermoeden (Theorem 4.1), die de gelijkheid stelt tussen het karakteristieke ideaal van de duale Selmer-groep en het ideaal gegenereerd door de anticyclotische $p$-adische $L$-functie $L_p(E/K_\infty)$. De $p$-adische $L$-functie wordt gedefinieerd als de inverse limiet van producten van theta-elementen en hun inversies.
5. Control Theorem en Base Change: Ten slotte past de auteur een control theorem toe om de Selmer-groepen over de oneindige extensie $K_\infty$ te relateren aan die over de eindige lagen $K_n$. Door gebruik te maken van de compatibiliteit van Fitting-idealen met base change en de functionele vergelijking van de theta-elementen, wordt het resultaat gedescendeerd van het oneindige niveau naar het eindige niveau.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Theorem 1.1, die de volgende gelijkheid van idealen vaststelt in de eindige laag Iwasawa-algebra $\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)$$

Cruciale technische prestaties die dit resultaat ondersteunen zijn:

• Volledige Bepaling van Initiële Fitting-idealen: Het artikel biedt een expliciete generator voor het initiële Fitting-ideaal van de duale Selmer-groep over eindige extensies, uitgedrukt volledig in termen van theta-elementen.
• Principaal Ideaal Eigenschap: Er wordt aangetoond dat het ideaal gegenereerd door de theta-elementen (en hun normen) principaal is onder de gestelde hypothesen, een niet-triviaal feit in de Iwasawa-theorie.
• Verfijning van de Hoofdvermoeden: Het resultaat verfijnt de "zwakke" hoofdvermoeden van Mazur en Tate door over te gaan van karakteristieke idealen naar Fitting-idealen en een concrete algebraïsche beschrijving van de generator te bieden.
• Lemma 2.2 ($p$-destabilisatie): Het bewijs van de gelijkheid tussen het ideaal van het theta-element van $E$ en dat van de $p$-gestabiliseerde vorm wordt gepresenteerd als een afzonderlijke technische bijdrage, waarbij de relatie tussen de twee via de conditie $a_p \not\equiv 1 \pmod p$ wordt verduidelijkt.

Betekenis en Claims
Het artikel beweert een "kort bewijs" te leveren van het anticyclotische analoog van Kurihara's sterke hoofdvermoeden. De betekenis ligt in:

• Unificatie: Het verbindt de algebraïsche structuur van Selmer-groepen (via Fitting-idealen) direct met de analytische objecten (theta-elementen) zonder te vertrouwen op de complexere machinerie van de volledige hoofdvermoeden over de oneindige extensie als de enige tussenliggende stap, hoewel het wel de bekende hoofdvermoeden voor de oneindige casus gebruikt.
• Expliciteit: Door het initiële Fitting-ideaal expliciet te bepalen, biedt het artikel een nauwkeuriger begrip van de structuur van Selmer-groepen dan eerdere resultaten die enkel karakteristieke idealen vaststelden.
• Methodologische Helderheid: De auteur benadrukt het nut van het "$p$-destabilisatieproces" en de vergelijking van verschillende definities van Selmer-groepen, wat een gestroomlijnde aanpak biedt voor problemen in de anticyclotische Iwasawa-theorie.

Het artikel stelt expliciet dat de strategie het kader volgt dat is gevestigd in [KK21], maar voegt noodzakelijke details toe met betrekking tot de vergelijking van Selmer-groepen en de specifieke algebraïsche manipulaties die vereist zijn voor de anticyclotische setting. Het claimt niet het algemene geval op te lossen zonder de specifieke hypothesen (zoals de surjectiviteit van de Galois-representatie of de vierkant-vrije natuur van $N^-$), noch stelt het nieuwe experimentele toepassingen voor.