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

Sintesi Tecnica: Sui l'ideali di Fitting dei gruppi di Selmer anticiclotomici di curve ellittiche con riduzione ordinaria buona

Enunciato del Problema
Il saggio affronta l'analogo anticiclotomico della congettura principale "forte" di Kurihara riguardante gli ideali di Fitting dei gruppi di Selmer per curve ellittiche. Nello specifico, mira a determinare l'ideale di Fitting iniziale dei gruppi di Selmer duali di una curva ellittica $E$ su estensioni finite $K_n$ dell'estensione $\mathbb{Z}_p$-anticiclotomica $K_\infty$ di un campo quadratico immaginario $K$. L'obiettivo è esprimere questi ideali esplicitamente in termini degli elementi $\theta$ di Bertolini–Darmon, raffinando la congettura principale "debole" di Mazur e Tate. Lo studio opera sotto l'assunto che $E$ abbia una riduzione ordinaria buona in un primo $p \ge 5$ e soddisfi specifiche condizioni relative alla suriettività della rappresentazione galoisiana modulo $p$ e al comportamento di ramificazione nei primi che dividono il conduttore $N$.

Metodologia
La strategia di prova sintetizza la teoria di Iwasawa raffinata, la teoria dei sistemi di Euler bipartiti e le proprietà delle funzioni $L$ $p$-adiche. La metodologia procede attraverso le seguenti fasi chiave:

1. Costruzione degli Elementi $\theta$: L'autore utilizza i punti di Gross di conduttore $p^n$ per costruire gli elementi $\theta$ di Bertolini–Darmon $\theta(E/K_n)$. Questi elementi interpolano le radici quadrate dei valori $L$ di Rankin–Selberg torcenti. Il saggio stabilisce una "relazione a tre termini" che connette gli elementi $\theta$ attraverso i diversi livelli dell'estensione e definisce un elemento $\theta$ $p$-stabilizzato $\theta(f_\alpha/K_n)$ associato alla forma modulare $p$-stabilizzata $f_\alpha$.
2. Confronto degli Ideali via $p$-destabilizzazione: Un componente tecnico cruciale consiste nel confrontare l'ideale generato dagli elementi $\theta$ di $E$ con quello della forma $p$-stabilizzata. Utilizzando l'assunto che $a_p(E) \not\equiv 1 \pmod p$ (Condizione Na), l'autore dimostra che l'ideale generato da $\theta(E/K_n)$ e la sua immagine per norma verso il basso è uguale all'ideale generato da $\theta(f_\alpha/K_n)$. Questo passaggio si basa su un processo di "$p$-destabilizzazione" discusso nel Lemma 2.2.
3. Confronto dei Gruppi di Selmer: Il saggio confronta rigorosamente varie definizioni di gruppi di Selmer: il gruppo di Selmer $N^-$-ordinario, il gruppo di Selmer minimale e il gruppo di Selmer di Greenberg. Sotto le ipotesi che la rappresentazione modulo $p$ sia suriettiva (Im) e ramificata in tutti i primi che dividono $N$ (Ram), l'autore dimostra che questi gruppi sono isomorfi (Corollario 3.3). Questa isomorfia è vitale per trasferire i risultati dal contesto dei sistemi di Euler (dove vengono usati i gruppi $N^-$-ordinari) al contesto classico dei gruppi di Selmer.
4. Applicazione della Congettura Principale: La prova sfrutta la congettura principale anticiclotomica stabilita (Teorema 4.1), la quale asserisce l'uguaglianza tra l'ideale caratteristico del gruppo di Selmer duale e l'ideale generato dalla funzione $L$ $p$-adica anticiclotomica $L_p(E/K_\infty)$. La funzione $L$ $p$-adica è definita come il limite inverso di prodotti di elementi $\theta$ e delle loro involuzioni.
5. Teorema di Controllo e Cambio di Base: Infine, l'autore applica un teorema di controllo per relazionare i gruppi di Selmer sull'estensione infinita $K_\infty$ con quelli sui livelli finiti $K_n$. Utilizzando la compatibilità degli ideali di Fitting con il cambio di base e l'equazione funzionale degli elementi $\theta$, il risultato viene disceso dal livello infinito a quello finito.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1, che stabilisce la seguente uguaglianza di ideali nell'algebra di Iwasawa finita $\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)$$

I principali traguardi tecnici che supportano questo risultato includono:

• Determinazione Completa degli Ideali di Fitting Iniziali: Il saggio fornisce un generatore esplicito per l'ideale di Fitting iniziale del gruppo di Selmer duale su estensioni finite, espresso interamente in termini di elementi $\theta$.
• Proprietà di Ideale Principale: Si dimostra che l'ideale generato dagli elementi $\theta$ (e dalle loro norme) è principale sotto le ipotesi dichiarate, un fatto non banale nella teoria di Iwasawa.
• Raffinamento della Congettura Principale: Il risultato raffina la congettura principale "debole" di Mazur e Tate, passando dagli ideali caratteristici agli ideali di Fitting e fornendo una descrizione algebrica concreta del generatore.
• Lemma 2.2 ($p$-destabilizzazione): La prova dell'uguaglianza tra l'ideale dell'elemento $\theta$ di $E$ e quello della forma $p$-stabilizzata è presentata come un contributo tecnico distinto, chiarendo la relazione tra i due tramite la condizione $a_p \not\equiv 1 \pmod p$.

Significato e Rivendicazioni
Il saggio dichiara di fornire una "prova breve" dell'analogo anticiclotomico della congettura principale forte di Kurihara. La sua significatività risiede in:

• Unificazione: Connette la struttura algebrica dei gruppi di Selmer (tramite gli ideali di Fitting) direttamente agli oggetti analitici (elementi $\theta$) senza dipendere esclusivamente dalla più complessa strumentazione della piena congettura principale sull'estensione infinita come unico passaggio intermedio, sebbene utilizzi la congettura principale nota per il caso infinito.
• Esplicitezza: Determinando esplicitamente l'ideale di Fitting iniziale, il saggio offre una comprensione più precisa della struttura dei gruppi di Selmer rispetto ai risultati precedenti che stabilivano solo gli ideali caratteristici.
• Chiarezza Metodologica: L'autore evidenzia l'utilità del processo di "$p$-destabilizzazione" e del confronto tra le diverse definizioni di gruppi di Selmer, offrendo un approccio snello ai problemi nella teoria di Iwasawa anticiclotomica.

Il saggio dichiara esplicitamente che la strategia segue il quadro stabilito in [KK21], ma aggiunge i dettagli necessari riguardanti il confronto dei gruppi di Selmer e le specifiche manipolazioni algebriche richieste nel contesto anticiclotomico. Non pretende di risolvere il caso generale senza le specifiche ipotesi (come la suriettività della rappresentazione galoisiana o la natura square-free di $N^-$), né propone nuove applicazioni sperimentali.