Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

Sintesi Tecnica: Sistemi di Kolyvagin Ultra e Ideali di Fitting Superiori dei Gruppi di Selmer Iwasawa

Enunciato del Problema
Il metodo dei sistemi di Eulero e la successiva assiomatizzazione tramite i sistemi di Kolyvagin sono stati fondamentali per dimostrare la congettura di Birch e Swinnerton-Dyer per curve ellittiche di rango analitico al massimo uno e per stabilire una divisibilità della congettura principale di Iwasawa. Tuttavia, la teoria classica dei sistemi di Kolyvagin incontra limitazioni strutturali quando applicata ad anelli di coefficienti infiniti, in particolare all'algebra di Iwasawa $\Lambda = \mathbb{Z}_p[[X]]$. Gli approcci tradizionali richiedono spesso di passare attraverso la coomologia di quozienti finiti, il che oscura la struttura completa dei gruppi di Selmer sull'estensione infinita. Inoltre, le esistenti generalizzazioni a ranghi centrali superiori e ad anelli di coefficienti non principali (ad esempio, [MR16], [BSS25]) sono state in gran parte limitate alla stabilizzazione di limiti sugli ideali di Fitting piuttosto che al calcolo della struttura completa del gruppo di Selmer fino a pseudo-isomorfismo, oppure hanno richiesto ipotesi forti come l'annullamento dell'invariante $\mu$.

Metodologia
Il documento sviluppa una teoria di sistemi di Kolyvagin ultra equivarianti costruendo gruppi di Selmer all'interno del quadro della coomologia patchata, originariamente introdotta in [Swe22]. Le innovazioni metodologiche fondamentali includono:

1. Ultraprodotti e Ultraprimi: L'autore utilizza un ultrafiltro non principale $\mathcal{U}$ per costruire ultraprodotti di gruppi classici di coomologia di Galois. Ciò permette di definire gli ultraprimi (elementi di $\mathcal{U}(\mathcal{M}_K)$), che generalizzano i numeri primi classici. Questo contesto rilassa i vincoli della distribuzione classica dei primi, permettendo l'esistenza di "ultraprimi di Kolyvagin" con proprietà di Frobenius specifiche che potrebbero non esistere tra i primi classici.
2. Gruppi di Selmer Patchati: I gruppi di Selmer sono definiti come sottogruppi della coomologia patchata globale, costruiti come ultraprodotti di gruppi di Selmer classici. Ciò permette di sviluppare la teoria direttamente sui gruppi di Selmer profiniti sull'algebra di Iwasawa, evitando la necessità di analizzare sequenzialmente i quozienti finiti.
3. Potenze Esterne e Riduzione del Rango: A differenza di lavori precedenti che utilizzavano i biduali esterni per moduli non liberi, l'autore sfrutta il fatto che, sotto specifiche ipotesi di "immagine grande", i gruppi di Selmer profiniti sono moduli liberi su $\Lambda$. Ciò permette la costruzione di sistemi di Kolyvagin come collezioni di classi nelle potenze esterne dei gruppi di Selmer patchati. La teoria impiega mappe di riduzione del rango tra queste potenze esterne per relazionare classi a diversi livelli della torre.
4. Sistemi di Stark: Il documento introduce i sistemi ultra Stark come elementi di un limite inverso di potenze esterne di gruppi di Selmer. Si dimostra che tali sistemi sono controllati da "vertici centrali deboli" (prodotti di ultraprimi che annichilano il gruppo di Selmer duale).
5. Mappa del Regolatore: Viene costruita una mappa del regolatore dal modulo dei sistemi Stark al modulo dei sistemi di Kolyvagin. Il documento dimostra che tale mappa è un isomorfismo sotto l'ipotesi che il rango centrale sia positivo e che il primo $p \geq 5$.

Contributi e Risultati Chiave

• Struttura dei Gruppi di Selmer Iwasawa: Il risultato principale (Teorema 1.1, Teorema 8.25) stabilisce che gli ideali di Fitting superiori del gruppo di Selmer Iwasawa duale $H^1_{\mathcal{F}^*}(K, T^*)^\vee$ coincidono, a meno di un indice finito, con una sequenza di ideali $\Theta_i(\kappa)$ derivata da un sistema di Kolyvagin primitivo $\kappa$. Tale sequenza è definita dalla divisibilità delle classi nel sistema di Kolyvagin.
• Assenza di Sottomoduli Finiti: Sotto un'ipotesi raffinata (Ipotesi (Prop)), il documento dimostra (Teorema 1.2, Teorema 9.15) che l'uguaglianza $\Theta_i(\kappa) = \text{Fitt}^i_\Lambda(H^1_{\mathcal{F}^*}(K, T^*)^\vee)$ vale esattamente, non solo a meno di un indice finito. Una conseguenza significativa (Corollario 1.3, Teorema 9.16) è che, se il gruppo di Selmer duale è un modulo di Iwasawa di torsione, esso non contiene nessun sottomodulo finito. Ciò generalizza risultati precedenti di Greenberg e Kurihara, eliminando il requisito della trivialità dell'invariante $\mu$.
• Teoremi di Controllo: Il modulo dei sistemi di Kolyvagin ultra è dimostrato essere un modulo libero su $\Lambda$ di rango uno, controllato dai vertici centrali (Teorema 8.7). Ciò riflette i teoremi di controllo per i sistemi Stark, ma si applica alla struttura completa del modulo di Iwasawa.
• Confronto con la Teoria Classica: Il documento fornisce un confronto rigoroso (Sezione 9) tra i nuovi sistemi di Kolyvagin ultra costruiti e i sistemi di Kolyvagin classici con coefficienti finiti (come in [BSS25]). Dimostra che i sistemi ultra possono essere visti come il limite inverso dei sistemi classici, validando il nuovo quadro come una generalizzazione naturale.

Applicazioni
Il quadro teorico è applicato a due casi specifici in cui i sistemi di Eulero sono noti:

1. Curve Ellittiche: La teoria è applicata al gruppo di Selmer fine di una curva ellittica $E/\mathbb{Q}$ sull'estensione ciclotomica $\mathbb{Z}_p$, utilizzando il sistema di Eulero di Kato. Il risultato calcola gli ideali di Fitting superiori del gruppo di Selmer fine duale (Teorema 10.1).
2. Convolutioni di Rankin-Selberg: Il metodo è applicato al gruppo di Selmer di Bloch-Kato associato alla convoluzione di Rankin-Selberg di due forme modulari ordinarie, utilizzando il sistema di Eulero di Lei-Loeffler-Zerbes. Ciò produce la struttura del gruppo di Selmer per rappresentazioni con rango centrale 2 (Teorema 10.9).

Significato
Il documento afferma di fornire una descrizione completa della struttura dei gruppi di Selmer Iwasawa fino a pseudo-isomorfismo, andando oltre la determinazione degli ideali caratteristici. Sviluppando la teoria direttamente sull'algebra di Iwasawa mediante coomologia patchata, l'autore supera le limitazioni strutturali della precedente macchina dei sistemi di Eulero su anelli infiniti. La capacità di dimostrare l'assenza di sottomoduli finiti nei gruppi di Selmer Iwasawa senza assumere l'annullamento dell'invariante $\mu$ rappresenta un affinamento significativo delle conseguenze strutturali della congettura principale di Iwasawa. Il lavoro generalizza i risultati di [Kur14] e [Ohs21] a una classe più ampia di rappresentazioni di Galois, incluse quelle che non sono duali per sé a livello residuo, e offre un approccio unificato al calcolo degli ideali di Fitting superiori nel contesto equivariante.