The anticyclotomic main conjectures for elliptic curves

Sintesi Tecnica: Le Congetture Principali Anticiclotomiche per Curve Ellittiche

Enunciato del Problema
Questo articolo affronta le Congetture Principali di Iwasawa per una curva ellittica modulare $E/\mathbb{Q}$ sulla estensione anticiclotomica $\mathbb{Z}_p$ di un campo quadratico immaginario $K$. Gli autori mirano a dimostrare l'uguaglianza tra il lato algebrico (l'ideale caratteristico del duale di Pontragin del gruppo di Selmer $p$-primario) e il lato analitico (la funzione $L$ $p$-adica anticiclotomica) in due distinti contesti:

1. Il Caso Definito: Dove l'equazione funzionale della funzione $L$ complessa ha segno $-1$.
2. Il Caso Indefinito: Dove l'equazione funzionale ha segno $+1$.

Il lavoro copre sia il caso ordinario (dove $p$ è un primo ordinario buono per $E$) sia il caso supersingolare (dove $p$ è un primo supersingolare). Nel contesto supersingolare, gli autori distinguono tra casi "non eccezionali" ed "eccezionali" (questi ultimi si verificano quando $p$ è inerte in $K$ e il segno $\varepsilon = +$), osservando che il caso eccezionale comporta uno zero extra di natura locale che complica la piena dimostrazione della congettura.

Metodologia
La dimostrazione si basa su un approccio induttivo unificato basato sulla teoria dei sistemi di Euler bipartiti, estendendo il quadro stabilito da Bertolini–Darmon [BD05] e Howard [How04, How06]. La metodologia procede attraverso i seguenti passaggi tecnici chiave:

1. Level Raising e Primi Ammissibili: Gli autori utilizzano la tecnica di level raising presso "primi ammissibili" (primi $\ell$ che soddisfano specifiche condizioni di congruenza e scomposizione rispetto alla forma modulare $f$ e al campo $K$). Elevando il livello della forma modulare presso questi primi, costruiscono autoforme congruenti che permettono la transizione tra i contesti definito e indefinito.
2. Punti Speciali e Classi di Heegner:
   • Nel caso indefinito, gli autori utilizzano punti di Heegner su curve di Shimura per definire una sequenza di classi compatibili per norma di un sistema di cohomologia.
   • Nel caso definito, utilizzano punti di Gross su curve di Gross (associate ad algebre quaternioniche definite).
   • Questi punti sono utilizzati per costruire classi di cohomologia globale (sistemi di Kolyvagin) nei gruppi di Selmer.
3. Leggi di Reciprocità Esplicite: Il cuore dell'argomento coinvolge due leggi di reciprocità esplicite che mettono in relazione le classi di cohomologia costruite dai punti speciali con le funzioni $L$ $p$-adiche:
   • La Prima Legge di Reciprocità mette in relazione il residuo di una classe di cohomologia presso un primo ammissibile con il valore della funzione $L$ $p$-adica.
   • La Seconda Legge di Reciprocità mette in relazione la parte finita di una classe di cohomologia con la funzione $L$ di una forma a livello elevato (level-raised).
4. Teoremi di Controllo e Analisi Locale: Il documento stabilisce rigorosi teoremi di controllo per i gruppi di Selmer sopra la torre anticiclotomica. Una parte significativa del lavoro (Sezione 5) è dedicata all'analisi della struttura dei gruppi di Selmer $\varepsilon$ nel caso supersingolare, facendo affidamento su risultati recenti riguardanti i punti locali in torri $p$-adiche (specificamente il lavoro di Burungale–Kobayashi–Ota [BKO21] per il caso inerte).
5. Argomento Induttivo: Gli autori impiegano un argomento induttivo sulla lunghezza dei gruppi di Selmer. Confrontando i gruppi di Selmer della forma originale $f$ con quelli delle forme a livello elevato, stabiliscono relazioni di divisibilità tra gli ideali caratteristici e le funzioni $L$ $p$-adiche.

Contributi Chiave e Risultati

1. Dimostrazione delle Congetture Principali (Teorema A):
   Gli autori dimostrano che l'ideale generato dalla funzione $L$ $p$-adica anticiclotomica $L_p^\varepsilon(f)$ è contenuto nell'ideale caratteristico del gruppo di Selmer, con l'uguaglianza che sussiste nei casi non eccezionali.

   • Caso Definito (DAMC): Dimostrato sia per primi ordinari che supersingolari (non eccezionali).
   • Caso Indefinito (IAMC): Dimostrato sia per primi ordinari che supersingolari (non eccezionali).
   • Caso Eccezionale: Nel caso in cui $p$ è inerte in $K$ e $\varepsilon = +$, gli autori stabiliscono una sola divisibilità ma osservano che la presenza di uno zero eccezionale impedisce la dimostrazione della piena uguaglianza con i metodi attuali.

2. Formulae $\varepsilon$-BSD (Teoremi B e C):
   Come conseguenza delle Congetture Principali, il saggio deriva esplicite formule di Birch e Swinnerton-Dyer (BSD) per i gruppi di Selmer sopra strati finiti dell'estensione anticiclotomica.

   • Caso Definito (Teorema B): Relaziona la lunghezza del gruppo di Selmer con l'ordine di annullamento della funzione $L$ complessa $L(E/K, \chi, 1)$.
   • Caso Indefinito (Teorema C): Relaziona la lunghezza del gruppo di Shafarevich–Tate con la derivata $L'(E/K, \chi, 1)$ e un termine di regolo (regulator).
     Queste formule valgono con uguaglianza nei casi non eccezionali.

3. Raffinamento della Procedura Induttiva:
   Il saggio affina l'argomento induttivo di Bertolini–Darmon [BD05] per gestire uniformemente il caso supersingolare. Ciò include un'analisi dettagliata dei punti locali $\varepsilon$ e della struttura dei gruppi di Selmer nell'impostazione supersingolare inerte, incorporando la dimostrazione della congettura di Rubin da parte di Burungale–Kobayashi–Ota [BKO21].

Significatività e Rivendicazioni
Il saggio rivendica di fornire una dimostrazione unificata delle Congetture Principali anticiclotomiche per curve ellittiche, coprendo sia i primi ordinari che quelli supersingolari, e sia i contesti definiti che indefiniti, sotto un insieme standard di ipotesi (ad esempio, $p \geq 5$, suriettività della rappresentazione mod $p$, e condizioni specifiche sul conduttore).

• Unificazione: Gli autori sottolineano che la DAMC e la IAMC sono derivate dallo stesso processo induttivo basato su sistemi di Euler bipartiti, piuttosto che essere trattate come problemi separati.
• Estensione Supersingolare: Il lavoro estende la teoria delle Congetture Principali anticiclotomiche al caso supersingolare, un ambito che era stato precedentemente trattato solo parzialmente (ad esempio, da Darmon–Iovita [DI08] per il caso split $p$) o che richiedeva tecniche differenti.
• Modestia sul Caso Eccezionale: Gli autori dichiarano esplicitamente che nel caso supersingolare "eccezionale" ( $p$ inerte, $\varepsilon=+$), la presenza di uno zero locale limita il risultato a una sola divisibilità. Non rivendicano di aver risolto la piena congettura in questo specifico sottocaso, notando che esso richiede ulteriori indagini e potenzialmente nuove idee.
• Affidamento su Teoremi Profondi: La dimostrazione della non-vacuità dei valori di $L$ modulo $p$ (cruciale per il passo induttivo nel caso definito) si basa sul teorema di conversione $p$ di Skinner–Urban [SU14] e risultati correlati di Fouquet–Wan.

Il saggio non propone nuove applicazioni sperimentali o direzioni future oltre alla risoluzione matematica delle congetture e alla derivazione delle formule BSD. Il suo contributo primario è l'instaurazione rigorosa del legame tra le funzioni $L$ $p$-adiche analitiche e i gruppi di Selmer algebrici nel contesto anticiclotomico.