Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

1. Il Problema e il Contesto

Il lavoro si concentra sui valori centrali delle funzioni L di Hecke associate a caratteri di Hecke autoduali $\lambda$ su un campo CM $K$ (un'estensione quadratica immaginaria di un campo totalmente reale $F$).

• Obiettivo Principale: Stabilire il non-vanishing modulo $\ell$ (dove $\ell \neq p$) delle parti algebriche dei valori centrali $L(1, \lambda\nu)$, al variare di $\nu$ in una famiglia $p$-adica di caratteri di ordine finito (specificamente, la famiglia anticyclotomica $\Gamma_p$).
• Contesto Storico:
  • Studi precedenti (Washington, Gillard, Hida) avevano dimostrato il non-vanishing per un sottoinsieme Zariski-denso di caratteri o per "infiniti" caratteri.
  • Un risultato fondamentale di Hsieh (2014) sulla divisibilità delle congruenze di Eisenstein verso la congettura principale di Iwasawa per campi CM si basava sulla strategia di Hida. Tuttavia, nel 2018 è stato scoperto un "gap" nella prova di Hida riguardante la densità Zariski dei punti CM su un prodotto auto di varietà modulari di Hilbert.
  • A causa di questo gap, la prova di Hsieh era incompleta: il non-vanishing era noto solo per infiniti caratteri, non per "tutti tranne un numero finito", rendendo impossibile garantire l'intersezione non vuota necessaria per le applicazioni simultanee.

2. Metodologia e Strategia

Gli autori sviluppano un approccio nuovo e uniforme che evita i difetti della strategia precedente di Hida. La metodologia si basa su tre pilastri principali:

1. Corrispondenza di Theta e Forme Modulari su Shimura:

   • Invece di lavorare direttamente su varietà modulari di Hilbert, gli autori utilizzano l'algebra dei quaternioni definita totalmente $B$ su $F$.
   • Trasformano il problema dei valori L di Hecke in un problema sui valori L di Rankin-Selberg associati a una rappresentazione cuspidale automorfa $\pi_\lambda$ su $B^\times$.
   • Utilizzano la formula esplicita di Waldspurger per collegare i valori L centrali $L(1/2, \pi_\lambda \otimes \chi)$ ai periodi torici di forme modulari definite su un insieme di Shimura $X_U$.

2. Ergodicità di Ratner e Distribuzione Equidistante:

   • Per dimostrare il non-vanishing modulo $\ell$, analizzano la distribuzione dei punti speciali (punti CM) su un prodotto auto dell'insieme di Shimura.
   • Sfruttano l'ergodicità dei flussi unipotenti (teorema di Ratner) per dimostrare che i periodi torici non sono divisibili per $\ell$ per quasi tutti i caratteri $\nu$.
   • Questo approccio supera le difficoltà legate al caso CM (che era considerato "eccezionale" nelle strategie precedenti di Vatsal e Cornut-Vatsal) attraverso un'analisi fine delle componenti dell'insieme di Shimura ($X^+_U$ e $X^-_U$) determinate dal fattore $\varepsilon$.

3. Confronto di Periodi e Caratteri Ausiliari:

   • Un elemento chiave è il confronto tra i periodi automorfici (quaternionici) e i periodi motivici (CM).
   • Gli autori introducono un carattere di Hecke ausiliario $\chi_0$ per semplificare la tecnica e bypassare la necessità di vettori di prova espliciti per rappresentazioni supercuspidali in certi casi.
   • Dimostrano una relazione di congruenza modulo $\ell$ tra il periodo normalizzato di Rankin-Selberg e il periodo CM, permettendo di trasferire i risultati di non-vanishing dal caso Rankin-Selberg al caso Hecke puro.

3. Risultati Chiave

Teorema 1.1 (Non-vanishing complesso)

Sia $K$ un campo CM e $p$ un primo di grado uno in $F$ non ramificato in $K$. Per un carattere di Hecke autoduale $\lambda$, si ha:
$$L(1, \lambda\nu) \neq 0$$
per tutti tranne un numero finito di caratteri di ordine finito $\nu$ di $\Gamma_p$ tali che $\varepsilon(\lambda\nu) = +1$.
Questo risolve il problema (Q1) in modo uniforme, migliorando i risultati precedenti che garantivano il non-vanishing solo per un insieme Zariski-denso.

Teorema 1.4 (Non-vanishing modulo $\ell$)

Sotto ipotesi di ordinarietà per $\ell$ rispetto all'estensione $K/F$, si determina la valutazione $\ell$-adica esatta:
$$v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$$
per tutti tranne un numero finito di $\nu \in \Xi^+_{\lambda,p}$.
Qui $\mu_\ell(\lambda)$ è un invariante legato alla parte $\ell$ del numero di Tamagawa associato a $\lambda$. Questo risolve il problema (Q2).

Teorema 1.6 (Completamento della Congettura di Iwasawa)

Il risultato principale applicativo è il completamento della prova di Hsieh sulla divisibilità delle congruenze di Eisenstein verso la congettura principale di Iwasawa per campi CM.

• Il teorema stabilisce che il valore L $p$-adico di Katz $L_\Sigma(\psi)$ divide l'ideale caratteristico del modulo di Selmer $F_\Sigma(\psi)$, sotto condizioni tecniche appropriate.
• Questo risultato colma il gap lasciato dalla strategia di Hida, fornendo una prova completa della divisibilità nel contesto della congettura principale.

4. Contributi Tecnici Specifici

• Nuova Strategia di Non-Vanishing: Sostituzione della densità Zariski (che falliva nel caso CM per certi vettori di prova) con l'ergodicità dei flussi unipotenti e l'analisi delle componenti $X^\pm_U$.
• Formula di Waldspurger Esplicita: Una versione dettagliata e $\ell$-integrale della formula di Waldspurger per famiglie anticyclotomiche, che collega i valori L ai periodi torici su insiemi di Shimura.
• Confronto di Periodi (Teorema 1.10): Una relazione precisa tra il periodo quaternionico $\Omega_\lambda$ e il periodo CM $\Omega_\infty$, che permette di calcolare esattamente la valutazione $\ell$-adica dei valori L normalizzati.
• Non-Vanishing Simultaneo (Teorema 6.2): Dimostrazione che esistono infiniti caratteri per cui due valori L distinti (uno autoduale, uno non residuamente autoduale) hanno simultaneamente la valutazione $\ell$-adica minima prevista. Questo è cruciale per le applicazioni alle congruenze di Eisenstein.

5. Significato e Impatto

• Risoluzione di un Problema Aperto: Il lavoro risolve definitivamente il problema del non-vanishing "quasi ovunque" (tutti tranne finiti) per valori L di Hecke su campi CM, un problema che era rimasto parzialmente aperto a causa delle lacune nella letteratura precedente.
• Completamento della Teoria di Iwasawa: Fornisce la prova mancante per la congettura principale di Iwasawa per campi CM, un risultato fondamentale nella teoria dei numeri moderna che collega proprietà analitiche (valori L) a proprietà algebriche (gruppi di Selmer e classi).
• Nuovi Strumenti: Introduce l'uso sistematico dell'ergodicità di Ratner e della teoria delle forme modulari su insiemi di Shimura quaternionici nello studio dei valori L di Hecke, offrendo un modello per futuri lavori su casi non ordinari o campi di grado superiore.
• Applicazioni alla Congettura di BSD: I risultati hanno implicazioni dirette sulla congettura di Birch e Swinnerton-Dyer, in particolare riguardo alla struttura dei gruppi di Selmer e alla parte $\ell$ dei gruppi di Tate-Shafarevich nelle famiglie anticyclotomiche.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria dei numeri, combinando teoria delle forme automorfe, geometria aritmetica e teoria ergodica per risolvere problemi profondi sulla distribuzione dei valori L e sulla struttura dei gruppi di Galois nelle estensioni $p$-adiche.