Moments and joint nonvanishing of symplectic $L$-functions

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio analitico delle L-funzioni di Siegel associate a forme cuspidali di Siegel olomorfe di grado 2 ($F \in S_k^{(2)}$) e peso $k$ grande, per il gruppo simplettico $Sp(4, \mathbb{Z})$.

Per ogni tale forma $F$, che è un autostato dell'algebra di Hecke, sono associate due L-funzioni fondamentali:

1. L-funzione Spinor $L(s, F)$: di grado 4 e conduttore $k^2$.
2. L-funzione Standard $D(s, F)$: di grado 5 e conduttore $k^4$.

L'obiettivo principale è calcolare un momento misto che coinvolge la L-funzione standard valutata al centro del critical strip, $D(1/2, F)$, pesata con coefficienti armonici $\omega_F$ derivanti dalla formula di Petersson per forme di Siegel. A differenza della L-funzione spinor, per la quale esistono risultati sui momenti, la L-funzione standard è considerata più complessa a causa della sua espansione in serie di Dirichlet e della sua struttura (analoga alle L-funzioni simmetriche quadratiche nel caso di genere 1).

Il problema specifico affrontato è la valutazione asintotica della somma:
$$M_k := \sum_{F \in B_k^{(2)}} \omega_F D(1/2, F)$$
dove $B_k^{(2)}$ è una base ortonormale di autostati. Le applicazioni dirette includono la dimostrazione della non-vanishing simultanea di $L(1/2, F)$, $L(1/2, F \times \chi_{-4})$ e $D(1/2, F)$, nonché la derivazione di limiti inferiori per i secondi momenti.

2. Metodologia

La strategia di prova si basa su una combinazione sofisticata di strumenti della teoria dei numeri analitica e della teoria delle forme modulari:

• Formula di Somma Spettrale di Kitaoka: Gli autori utilizzano la versione della formula di Petersson per forme di Siegel sviluppata da Kitaoka. Questa formula permette di esprimere la somma media dei coefficienti di Fourier come una somma di tre termini: un termine diagonale, un termine di rango uno e un termine di rango due, che coinvolgono somme di Kloosterman matriciali e funzioni di Bessel matriciali.
• Equazione Funzionale Approssimata: Viene inserita un'equazione funzionale approssimata per $D(s, F)$ nella somma spettrale. Questo trasforma il problema nel calcolo di somme su coefficienti di Fourier pesati da una funzione di taglio $W(x)$.
• Analisi dei Termini di Rango:
  • Termine Diagonale: Fornisce il termine principale asintotico.
  • Termine di Rango Uno: Coinvolge somme di Kloosterman di tipo matriciale $H^\pm(P, S; c)$. La sfida principale è ottenere un risparmio di potenza rispetto ai limiti banali. Gli autori applicano una somma di Poisson aggiuntiva e dimostrano una cancellazione di tipo radice quadrata per queste somme esponenziali (Lemma 1).
  • Termine di Rango Due: È la parte più tecnica e difficile. Coinvolge somme su matrici $C$ e funzioni di Bessel matriciali $J_\ell$. La difficoltà risiede nel fatto che la funzione di Bessel ha meno oscillazione quando le matrici coinvolte sono vicine alla matrice identità o ortogonali.
• Analisi Asintotica Uniforme e Cambiamento di Coordinate: Per gestire il termine di rango due, gli autori introducono un sistema di coordinate specifico per misurare quanto la matrice $NJ^{-1}$ si discosti dall'essere ortogonale. Scompongono lo spazio vettoriale in sottospazi $W_+$ e $W_-$ dove la fase dell'integrale si annulla o diventa stazionaria.
• Metodo della Fase Stazionaria e Integrazione per Parti: Vengono utilizzati risultati classici (Lemma 2, Lemma 3, Lemma 4) per stimare integrali oscillanti. L'analisi distingue tra "range generico" (dove l'oscillazione è forte) e "range critico" (dove la matrice è quasi ortogonale), applicando la somma di Poisson solo sulle variabili "lunghe" e trattando le variabili "corte" in modo diverso.

3. Risultati Chiave

Teorema Principale (Teorema 1)

Gli autori dimostrano la seguente formula asintotica per il momento primo:
$$M_k = 2L(3/2, \chi_{-4}) \log k + c_0 + O(k^{-\eta})$$
per ogni $\eta < 1/4$, dove $c_0$ è una costante esplicita che dipende da valori speciali di funzioni L e dalla derivata di $L(3/2, \chi_{-4})$.
Il contributo delle forme che sono "lift" di Saito-Kurokawa è trascurabile ($O(k^{-1/2})$).

Non-Vanishing Simultanea (Corollario 2)

Come conseguenza immediata del Teorema 1, si dimostra che per $k$ sufficientemente grande, esiste almeno una forma $F$ nella base di autostati non-lift tale che:
$$L(1/2, F) \neq 0, \quad L(1/2, F \times \chi_{-4}) \neq 0, \quad D(1/2, F) \neq 0$$
Inoltre, si dimostra che $D(1/2, F) > 0$. Questo risultato è significativo perché stabilisce la non-nullità simultanea di L-funzioni di gradi diversi (4 e 5) associate alla stessa forma modulare.

Limiti Inferiori per i Secondi Momenti (Corollario 3)

Utilizzando la disuguaglianza di Cauchy-Schwarz e il risultato sul primo momento, si ottiene un limite inferiore per il secondo momento della L-funzione standard:
$$\sum_{F \in \tilde{B}_k^{(2)}} \frac{|D(1/2, F)|^2}{L(1, \pi_F, Ad)} \gg k^3$$
Questo conferma l'ordine di grandezza atteso per famiglie di tipo simplettico (che dovrebbe essere $k^3 (\log k)^3$), sebbene il risultato attuale non includa ancora il fattore logaritmico, che potrebbe essere recuperato con tecniche di mollificazione.

4. Contributi Tecnici e Significato

• Avanzamento nella Teoria delle L-funzioni di Grado 5: Questo è uno dei primi risultati che calcola un momento per la L-funzione standard di grado 5 per forme di Siegel di genere 2. La complessità della serie di Dirichlet di $D(s, F)$, costruita da coefficienti di Fourier su matrici non diagonali, rendeva questo problema estremamente difficile.
• Nuove Stime per Somme di Kloosterman Matriciali: Il Lemma 1 fornisce un limite di cancellazione radice quadrata per le somme $H^\pm(P, S; c)$, che è un risultato di per sé interessante e potenzialmente applicabile ad altri contesti di forme modulari di rango superiore.
• Gestione della Geometria delle Matrici: L'approccio innovativo per il termine di rango due, che coinvolge la decomposizione dello spazio delle matrici in base alla vicinanza all'ortogonalità e l'uso di coordinate adattate, rappresenta un progresso metodologico significativo nell'analisi delle funzioni di Bessel matriciali.
• Implicazioni per la Congettura di Böcherer: Il lavoro collega i momenti delle L-funzioni ai valori centrali delle L-funzioni spinor e standard attraverso la congettura di Böcherer (provata da Furusawa e Morimoto), offrendo una via per studiare statistiche congiunte di queste funzioni L.

In sintesi, il paper risolve un problema aperto nella teoria dei momenti delle L-funzioni simplettiche di alto grado, fornendo strumenti analitici potenti per trattare la complessità delle somme di Kloosterman matriciali e aprendo la strada a ulteriori studi sulle proprietà di non-vanishing e sulla distribuzione dei valori delle L-funzioni per forme di Siegel.