$p$-adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

1. Il Problema e il Contesto

Il lavoro si inserisce nel cuore della teoria dei numeri moderna, affrontando la profonda connessione tra i valori speciali delle funzioni $L$ e gli oggetti aritmetici (come i gruppi di Selmer). In particolare, gli autori mirano a dimostrare il teorema inverso di Gross–Zagier e Kolyvagin per caratteri di Hecke autoduali su campi quadratici immaginari $K$.

Il problema specifico è il seguente:

• Ipotesi: Sia $\psi$ un carattere di Hecke su $K$ con tipo archimedeo $(-1, 0)$ (che corrisponde a curve ellittiche con moltiplicazione complessa o caratteri CM). Si assume che il rango del gruppo di Selmer $p$-adico di $\psi$ sia 1.
• Obiettivo: Dimostrare che l'ordine di annullamento della funzione $L(\psi, s)$ in $s=1$ è esattamente 1.
• Sfida principale: I risultati precedenti (di Skinner, Zhang, Castella-Wan, Burungale-Tian) coprivano casi specifici, spesso richiedendo che il primo $p$ fosse spaccato (split) in $K$ o che la rappresentazione automorfa fosse non ramificata. Questo lavoro generalizza la teoria al caso in cui $p$ è non spaccato (inerte o ramificato) in $K$, includendo anche il primo $p=2$, e rimuove l'assunzione di finitezza del gruppo di Shafarevich-Tate.

2. Metodologia e Nuove Idee

Gli autori sviluppano una strategia che combina la teoria di Iwasawa anticyclotomica, le formule di Waldspurger $p$-adiche e la teoria delle forme modulari quasi-sopraconvergenti.

A. Generalizzazione della Formula di Waldspurger $p$-adica

Il primo passo consiste nel costruire una funzione $L$ $p$-adica anticyclotomica e stabilire una formula di Waldspurger $p$-adica per coppie di Rankin $(f, \chi/K)$ in condizioni di massima generalità:

• Sfida geometrica: In precedenza (es. Andreatta-Iovita), la costruzione era limitata a casi in cui $p$ era spaccato o la curva di Shimura era modulare, a causa di difficoltà nel stimare i raggi di convergenza delle iterazioni delle connessioni di Gauss-Manin.
• Soluzione: Gli autori utilizzano la teoria dei fibrati vettoriali con sezioni marcate e scissioni marcate (VBMSS) per definire forme modulari quaternioniche quasi-sopraconvergenti.
• Trucco geometrico chiave: Introducono un elemento di "twisting" (traslazione) $g_{\ell, n} \in GL_2(\mathbb{Q}_p)$. Questo permette di mappare i punti CM (che normalmente hanno invarianti di Hasse grandi e non cadono nella zona di convergenza ordinaria) in una regione detta "locus semi-canonico" (half-canonical locus). In questa regione, l'invariante di Hasse è sufficientemente piccolo da garantire la convergenza delle iterazioni, anche quando $p$ è inerte o ramificato.
• Test Vector: Utilizzano la teoria dei vettori di prova locali per garantire che gli integrali torici locali siano non nulli, richiedendo che la rappresentazione automorfa $\sigma_p$ sia di serie principale.

B. Nuova Teoria $\pm$-di Iwasawa Locale

Sviluppano una nuova teoria locale $\pm$-di Iwasawa valida per tutti i tipi di ramificazione di $p$ in $K$ (spaccato, inerte, ramificato).

• Approccio: A differenza della teoria classica di Rubin (che si basa sulla ramificazione a $p$), gli autori dividono i punti aritmetici nello spazio dei pesi in due insiemi ($X_1$ e $X_2$) basandosi sui tipi archimedei.
• Definizione dei sottospazi: Definiscono i sottospazi $H^1_+$ e $H^1_-$ come i sottospazi delle coomologie locali i cui specializzazioni cadono nel sottospazio finito $H^1_f$ (nucleo della mappa esponenziale duale) rispettivamente per punti in $X_1$ e $X_2$.
• Risultato: Dimostrano che, restringendo lo spazio dei pesi a un piccolo disco attorno all'origine, vale la decomposizione diretta:
  $$H^1(K_p, \psi) = H^1_+(K_p, \psi) \oplus H^1_-(K_p, \psi)$$
  Questo risolve una congettura analoga a quella di Rubin in un contesto molto più ampio.

C. Famiglie di Heegner e Congettura di Perrin-Riou

Per collegare la teoria di Iwasawa ai punti di Heegner, gli autori costruiscono una "famiglia virtuale di Heegner" $\kappa_{virt}$.

• Strategia: Poiché non esiste una mappa regolatore esplicita nel caso non spaccato, usano un principio di "quoziente": confrontano le famiglie di unità ellittiche (o punti di Heegner) per il carattere $\psi$ con quelle per caratteri ausiliari i cui valori $L$ centrali sono noti (non nulli o di ordine 1).
• Uso della Formula di Waldspurger: La formula di Waldspurger $p$-adica permette di identificare i fattori di difetto locali e di mostrare che una combinazione lineare appropriata delle famiglie di Heegner genera un elemento non nullo nel modulo di coomologia, agendo come generatore del gruppo di Selmer.

3. Risultati Principali

Teorema 1.1 (Teorema Inverso per Caratteri CM)

Sia $\psi$ un carattere di Hecke su un campo quadratico immaginario $K$ con tipo archimedeo $(-1, 0)$. Se il rango del gruppo di Selmer di $\psi$ è 1, allora l'ordine di annullamento di $L(\psi, s)$ in $s=1$ è esattamente 1.

• Questo risultato è incondizionato (non richiede la finitezza del gruppo di Shafarevich-Tate) e vale per ogni primo $p$ (incluso $p=2$) e per ogni tipo di ramificazione.

Teorema 1.2 (Congettura di Sylvester)

Ogni primo $p \equiv 4, 7, 8 \pmod 9$ può essere scritto come somma di due cubi razionali ($p = x^3 + y^3$ con $x, y \in \mathbb{Q}$).

• Dimostrazione: Si considera la curva ellittica $E_p: x^3 + y^3 = p$. Essa ha moltiplicazione complessa. Si dimostra che il rango di Selmer 3-adico è 1 (usando la parità e limiti superiori). Per il Teorema 1.1, il rango analitico è 1. Per il teorema di Gross-Zagier e Kolyvagin, il rango di Mordell-Weil è 1, implicando l'esistenza di infinite soluzioni razionali.

Teorema 1.4 (Congettura di Goldfeld per Curve CM)

La congettura di Goldfeld è vera per le curve ellittiche su $\mathbb{Q}$ con moltiplicazione complessa (CM).

• Condizione: Dipende dal lavoro di A. Smith sulla distribuzione dei ranghi di Selmer 2-adici nelle famiglie di twist quadratici. Combinando i risultati di Smith (50% rango 0, 50% rango 1) con il Teorema 1.1 (per il caso rango 1) e i risultati precedenti di Burungale-Tian (per il caso rango 0), si conclude che il 50% delle curve ha rango analitico 0 e il 50% ha rango analitico 1.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria dei numeri per diversi motivi:

1. Rimozione delle restrizioni su $p$: È il primo lavoro che tratta sistematicamente il caso in cui $p$ è non spaccato (inerte o ramificato) e include $p=2$, estendendo la validità dei teoremi inversi di Gross-Zagier/Kolyvagin a scenari precedentemente inaccessibili.
2. Sviluppo Tecnico: L'introduzione della tecnica di "traslazione" $g_{\ell, n}$ per portare i punti CM nel locus semi-canonico risolve un ostacolo geometrico fondamentale nella teoria delle forme modulari sopraconvergenti, permettendo di evitare stime esplicite e complesse dei raggi di convergenza.
3. Unificazione della Teoria $\pm$: La nuova teoria $\pm$-di Iwasawa locale fornisce un quadro unificato che funziona indipendentemente dal comportamento di $p$ in $K$, superando le limitazioni delle teorie precedenti basate sulla teoria di Coleman o sulle curve di Shimura ordinarie.
4. Applicazioni Arithmetiche: La dimostrazione della congettura di Sylvester (un problema aperto dal 1879) e il progresso verso la congettura di Goldfeld per curve CM dimostrano la potenza di questi strumenti teorici nel risolvere problemi classici sulla somma di cubi e sulla distribuzione dei ranghi delle curve ellittiche.

In sintesi, Fan e Wan hanno generalizzato la costruzione delle funzioni $L$ $p$-adiche e le formule di Waldspurger, creando un ponte robusto tra la teoria di Iwasawa e la geometria aritmetica delle curve di Shimura, con conseguenze dirette e profonde sulla comprensione dei ranghi delle curve ellittiche.