On refined nonvanishing conjectures by Kurihara and Kolyvagin

Sintesi Tecnica: Sulle Congetture di Non-Annullamento Raffinate di Kurihara e Kolyvagin

Enunciato del Problema
Questo articolo affronta il raffinamento delle congetture di non-annullamento per curve ellittiche $E/\mathbb{Q}$ in un primo dispari $p$. Nello specifico, estende i risultati di [BCGS26] riguardanti due importanti congetture:

1. Le Congetture di Kurihara: Relazionano la struttura del gruppo di Selmer $p$-primario a quantità analitiche $\delta_n$ derivate dai simboli modulari. Il raffinamento (Congettura B) prevede una formula esatta per la valutazione $p$-adica dell'ordine del gruppo di Tate–Shafarevich (o della sua variante di Bloch–Kato) in termini di numeri di Tamagawa e dell' "ordine di annullamento" della collezione $\{\delta_n\}$.
2. Le Congetture di Kolyvagin: Relazionano il non-annullamento dei sistemi di Kolyvagin derivati dai punti di Heegner alla struttura del gruppo di Selmer. La versione raffinata (Congettura C, di W. Zhang) prevede una formula esatta per la valutazione $p$-adica dell'ordine del gruppo di Tate–Shafarevich in termini di numeri di Tamagawa e dell' "ordine di annullamento" del sistema di Kolyvagin.

Il limite primario del lavoro precedente (specificamente [BCGS26]) era la restrizione sul tipo di riduzione di $E$ in $p$ (che richiedeva buona ordinaria o specifiche condizioni supersingolari) e sul comportamento di scissione di $p$ nel sottostante campo quadratico immaginario $K$ (richiedendo che $p$ si scindesse). Questo articolo mira a rimuovere tali restrizioni, permettendo a $E$ di avere qualsiasi tipo di riduzione in $p$ per le congetture di Kurihara, e permettendo a $p$ di essere inerte in $K$ per le congetture di Kolyvagin.

Metodologia
Le prove dei teoremi principali (Teorema A e Teorema C) seguono una strategia di discesa simile a [BCGS26], utilizzando la relazione tra sistemi di Euler e gruppi di Selmer. Tuttavia, l'articolo introduce un'innovazione metodologica significativa nella computazione dell'indice di divisibilità $p$ di classi di coomologia specializzate.

• Riformulazione tramite Determinanti: Invece di fare affidamento su funzioni $L$ $p$-adiche e teoremi di controllo nello stile di [Gre99], gli autori utilizzano una riformulazione della Congettura Principale di Iwasawa in termini di determinanti di complessi di Selmer, come introdotto in [KS24].
• Sistemi di Kolyvagin $\Lambda$-adici: Gli autori studiano sistemi di Kolyvagin $\Lambda$-adici derivati dal sistema di Euler di Kato (per Kurihara) e dai punti di Heegner (per Kolyvagin), dove $\Lambda$ è l'algebra di Iwasawa dell'estensione $\mathbb{Z}_p$-ciclotomica (o anticiclotomica).
• Specializzazione e Discesa: Considerano la specializzazione di questi sistemi in caratteri non triviali $\alpha$ vicini al carattere triviale. Combinando:
  1. Una formula esatta per l'indice di divisibilità della classe specializzata derivata dalla Congettura Principale (che coinvolge i fattori di Tamagawa del duale di Cartier).
  2. Una formula esatta per la lunghezza del gruppo di Selmer stretto derivata dal teorema di struttura di Mazur–Rubin.
     Gli autori stabiliscono un legame tra gli invarianti analitici (numeri di Tamagawa) e gli invarianti algebrici (divisibilità del sistema di Kolyvagin).
• Rigidità: Un componente tecnico chiave è un argomento di "rigidità" (Proposizione 2.1.5 e l'analogo) che mostra come l'ordine di annullamento del sistema sia stabile sotto restrizione a sottoinsiemi di primi, permettendo il confronto tra il sistema $\Lambda$-adico e il sistema classico.

Contributi Chiave

1. Generalizzazione dei Tipi di Riduzione: L'articolo dimostra la congettura raffinata di Kurihara per curve ellittiche con qualsiasi tipo di riduzione in $p$ (buona ordinaria, buona supersingolare o riduzione cattiva), a condizione della suriettività della rappresentazione galoisiana mod $p$ e della non divisibilità della costante di Manin per $p$.
2. Primi Inerti nel Contesto di Kolyvagin: L'articolo dimostra la congettura raffinata di Kolyvagin per il caso in cui $p$ è inerte nel campo quadratico immaginario $K$, un caso precedentemente inaccessibile tramite i metodi delle funzioni $L$ $p$-adiche usati in [BCGS26].
3. Nuovo Framework di Discesa: Stabilisce un framework per computare gli indici di divisibilità utilizzando i determinanti dei complessi di Selmer, bypassando la necessità di esplicite funzioni $L$ $p$-adiche nel passo di discesa. Questo approccio permette di trattare casi in cui le funzioni $L$ $p$-adiche non sono ancora pienamente sviluppate o dove i standard teoremi di controllo sono difficili da applicare.

Risultati Principali

• Teorema A (Kurihara): Per una curva ellittica $E/\mathbb{Q}$ e un primo $p > 3$ che soddisfi le condizioni di suriettività e della costante di Manin, i seguenti sono equivalenti:
  (i) La congettura raffinata di Kurihara è valida (ovvero, $M_\infty(\delta) = \text{ord}_p(\text{Tam}_E)$).
  (ii) La Congettura Principale di Iwasawa per l'estensione $\mathbb{Z}_p$-ciclotomica (formulata in termini di determinanti di complessi aritmetici) è valida.
  Corollario: Se $p \nmid \text{Tam}_E$, il non-annullamento di qualche $\bar{\delta}_n$ è equivalente alla Congettura Principale di Iwasawa.
  Teorema B: Di conseguenza, la congettura raffinata di Kurihara è dimostrata per $p$ buona ordinaria, e per $p$ buona supersingolare con conduttore squarefree.

• Teorema C (Kolyvagin): Per una curva ellittica $E/\mathbb{Q}$ e un primo $p > 3$ che soddisfi le condizioni di suriettività e della costante di Manin, assumendo che $E$ abbia riduzione buona ordinaria in $p$ e $p$ sia irrazionale in $K$, i seguenti sono equivalenti:
  (i) La congettura raffinata di Kolyvagin è valida (ovvero, $M_\infty(\kappa^{\text{Heeg}}) = \text{ord}_p(\text{Tam}_E)$).
  (ii) La Congettura Principale di Iwasawa anticiclotomica per i punti di Heegner (formulata in termini di determinanti) è valida.
  Corollario: Se $p$ si scinde in $K$, la Congettura C è valida. Il risultato si estende al caso inerte sotto l'assunzione della Congettura Principale.

Significato e Rivendicazioni
Gli autori affermano che i loro risultati forniscono una prova della congettura di Kurihara e del suo raffinamento in molti nuovi casi, specificamente rimuovendo le ipotesi di "non-anomalia" e "buona riduzione" che precedentemente limitavano l'ambito di questi teoremi. Per la congettura di Kolyvagin, il articolo fornisce la prima prova della congettura raffinata nel caso in cui $p$ sia inerte in $K$, uno scenario in cui i precedenti approcci basati sulle funzioni $L$ $p$-adiche di Bertolini–Darmon–Prasanna non erano applicabili.

L'articolo sottolinea che l'innovazione centrale è il "nuovo approccio ai calcoli di discesa" basato sulla formulazione del determinante della Congettura Principale di Iwasawa. Questo approccio permette agli autori di controllare la divisibilità $p$ di elementi speciali in coomologia galoisiana senza fare affidamento sulle proprietà analitiche specifiche delle funzioni $L$ $p$-adiche, permettendo così di ampliare l'applicabilità del metodo di discesa a primi inerti e vari tipi di riduzione. I risultati sono presentati come condizionati alla validità delle rispettive Congetture Principali di Iwasawa, che sono note per essere valide nei casi ordinari e in certi casi supersingolari grazie al lavoro pregresso di Wan, BCS, CLW e BSTW.