A $p$-Converse theorem for Real Quadratic Fields

Sintesi Tecnica: Un Teorema di $p$-Conversa per Campi Quadratici Reali

Enunciato del Problema
Il saggio affronta il problema della "$p$-conversa" per curve ellittiche definite su campi quadratici reali ($F$). Nello specifico, esso mira a stabilire la conversa del teorema di Gross-Zagier e Kolyvagin nel contesto del rango 1. Mentre il teorema classico afferma che se il rango analitico è 1, allora il rango algebrico è 1 e il gruppo di Tate-Shafarevich è finito, la conversa chiede: se il rango algebrico è 1 e la parte $p$ del gruppo di Tate-Shafarevich è finita, ne consegue che il rango analitico sia 1?

Precedente a questo lavoro, tali risultati di converso sono stati stabiliti ampiamente per curve ellittiche su $\mathbb{Q}$ (ad esempio, da Skinner, Zhang e Venerucci) o per specifici tipi di riduzione. Questo saggio estende tali risultati al contesto dei campi quadratici reali, dove $p > 5$ è un primo razionale inerte in $F$, e la curva ellittica $E/F$ ha una riduzione moltiplicativa scissa al primo $\mathfrak{p}$ che giace sopra $p$.

Metodologia
Gli autori impiegano una sofisticata sintesi della teoria di Hida, della teoria di Iwasawa e della teoria dei complessi di Selmer per colmare il divario tra ranghi algebrici e analitici. La strategia di prova si basa sui seguenti ingredienti chiave:

1. Famiglie di Hida e Grandi Rappresentazioni di Galois: La curva ellittica $E$ è associata a una forma modulare di Hilbert di peso parallelo 2. Gli autori utilizzano la famiglia di Hida $\mathbf{f}$ che passa attraverso $f$ e la grande rappresentazione di Galois $T_f$. Lavorano all'interno di una famiglia di Hida localizzata su un anello di valutazione discreta $I_P$.
2. Congettura Principale di Iwasawa (Teorema di Wan): La prova si basa fortemente sulla Congettura Principale di Iwasawa per forme modulari di Hilbert su un'estensione quadratica totalmente immaginaria $K/F$ (dove $p$ si scinde in $K$), come stabilito da Wan [Wan15]. Ciò fornisce un'inclusione dell'ideale caratteristico del gruppo di Selmer nell'ideale generato da una funzione $L$ $p$-adica.
3. Funzioni $L$ $p$-adiche a tre e quattro variabili: Gli autori costruiscono e utilizzano funzioni $L$ $p$-adiche centrali critiche. Relazionano l'ordine di annullamento di una funzione $L$ $p$-adica centrale critica $L^{cc}_p(\mathbf{f}_\infty/K, k)$ in $k=2$ con la lunghezza del duale di Pontryagin di un particolare gruppo di Selmer.
4. Complessi di Selmer di Nekovář: Per analizzare la struttura dei gruppi di Selmer, gli autori utilizzano la teoria dei complessi di Selmer di Nekovář. Ciò permette di definire una coppia di peso $p$-adica sulla coomologia di questi complessi.
5. Teoremi di Controllo e Calcoli di Coppia: Un passaggio cruciale consiste nel dimostrare un teorema di controllo che relaziona il gruppo di Selmer sull'estensione infinita con il gruppo di Selmer stretto sull'campo base. Calcolando la coppia di peso $p$-adica (specificamente relazionandola ai logaritmi $p$-adici di punti sulla curva ellittica), gli autori determinano l'esatta lunghezza del modulo di Selmer.

Contributi Chiave e Risultati
Il saggio stabilisce il seguente teorema principale (Teorema 1.3 / Teorema 9.2):

• Teorema Principale: Sia $F$ un campo quadratico reale e $p > 5$ un primo inerte in $F$. Sia $E/F$ una curva ellittica con riduzione moltiplicativa scissa al primo $\mathfrak{p} | p$. Assumendo che la rappresentazione residua sia assolutamente irriducibile (irred) e che esista un lifting modulare minimo (MML), se:

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$, e
  2. La parte $p$ del gruppo di Tate-Shafarevich $\text{Ш}(E/F)_{p^\infty}$ è finita,
     Allora il rango analitico è 1: $\text{ord}_{s=1} L(E/F, s) = 1$.

• Equivalenza: Combinando questo con la generalizzazione di Zhang del teorema di Gross-Zagier, gli autori stabiliscono un'equivalenza per il caso di rango 1:
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ e } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• Applicazione a $\mathbb{Q}$: Come conseguenza, gli autori dimostrano un teorema di $p$-conversa rafforzato per curve ellittiche su $\mathbb{Q}$ (Teorema 1.5). Essi rimuovono un'ipotesi tecnica (l'esistenza di un particolare primo $q$ con certe proprietà) richiesta nel precedente lavoro di Venerucci [Ven16], a condizione che $p > 5$ ed $E$ abbia riduzione moltiplicativa scissa in $p$.

Significato e Rivendicazioni
Il saggio sostiene di essere il primo a stabilire un teorema di $p$-conversa di rango 1 per curve ellittiche su un campo quadratico reale. La significatività risiede nel:

• Estensione dell'Ambito: Andare oltre il campo razionale $\mathbb{Q}$ verso i campi quadratici reali, il che presenta complicazioni aggiuntive dovute alla natura delle forme modulari di Hilbert e al comportamento dei primi nelle estensioni quadratiche.
• Raffinatezza dei Risultati Esistenti: L'applicazione a $\mathbb{Q}$ dimostra che la strategia sviluppata per i campi quadratici reali può semplificare e rafforzare i risultati esistenti su $\mathbb{Q}$ rimuovendo ipotesi restrittive.
• Sintesi Metodologica: Il lavoro integra con successo la Congettura Principale di Iwasawa di Wan con i complessi di Selmer di Nekovář e le coppie di peso $p$-adiche per gestire il caso della riduzione moltiplicativa scissa in un contesto non-CM su un campo totalmente reale.

Gli autori notano che i loro risultati valgono per $p=5$ se viene escluso un caso eccezionale specifico riguardante l'immagine proiettiva della rappresentazione di Galois, una limitazione imposta dal ricorso ai risultati di Fujiwara utilizzati nel teorema di Wan. Il saggio conclude suggerendo che queste tecniche potrebbero potenzialmente essere estese a generalizzati campi numerici totalmente reali dove vale la congettura di Leopoldt, pur riconoscendo che il caso CM richiederebbe probabilmente metodi differenti.