Centered Moments of Weighted One-Level Densities of $GL(2)$ $L$-Functions

1. Il Problema e il Contesto

Il lavoro si inserisce nel vasto campo di ricerca che collega la teoria dei numeri alla teoria delle matrici casuali (Random Matrix Theory - RMT). La congettura di Katz e Sarnak postula che il comportamento degli zeri vicino al punto centrale di una famiglia di funzioni $L$ sia modellato dal comportamento degli autovalori vicino a 1 di un gruppo compatto classico (ortogonale, simplettico o unitario).

Un risultato fondamentale di Knightly e Reno (2018) ha dimostrato che la simmetria di una famiglia di funzioni $L$ (in particolare per le forme cuspidali newform di GL(2)) non è fissa, ma dipende dai pesi assegnati agli elementi della famiglia. Nello specifico, hanno osservato che:

• Se il carattere di torsione nel peso è banale, la simmetria è simplettica ($Sp$).
• Se il carattere di torsione è non banale, la simmetria è ortogonale ($O$).

Tuttavia, questi risultati precedenti riguardavano solo la densità a un livello (one-level density). Il problema affrontato in questo articolo è determinare se questa dipendenza dalla simmetria rispetto ai pesi persista quando si studiano statistiche di ordine superiore, in particolare i momenti centrati di ordine $n$ della densità a un livello.

2. Metodologia

Gli autori analizzano i momenti centrati di ordine $n$ della densità a un livello per famiglie di nuove forme cuspidali di Hecke, utilizzando pesi specifici che coinvolgono valori centrali di funzioni $L$ torse e coefficienti di Fourier.

La metodologia segue i seguenti passaggi chiave:

1. Formula Esplicita: Si parte dalla formula esplicita che collega la somma sugli zeri della funzione $L$ a una somma sui primi (e potenze di primi) tramite i coefficienti di Hecke.
2. Generalizzazione della Formula di Traccia: A differenza dei lavori precedenti (come Knightly e Reno) che si limitavano a somme su potenze di primi, il calcolo dei momenti di ordine $n$ ($n > 1$) genera termini incrociati (cross-terms) derivanti da prodotti di $n$ primi. Per trattare questi termini, gli autori generalizzano la formula di traccia pesata di Knightly e Reno, estendendola da somme su potenze di primi a somme su interi positivi arbitrari.
3. Analisi Combinatoria: Una volta ottenuta l'espressione asintotica, è necessario semplificare i termini aritmetici complessi per confrontarli con le previsioni della teoria delle matrici casuali.
   • Per il caso del carattere non banale, l'analisi è relativamente diretta.
   • Per il caso del carattere banale, la struttura dei termini risultanti è complessa. Invece di utilizzare il trucco combinatorio standard basato sulle serie generatrici (il "trucco di Soshnikov" o formula di Hunt-Dyson), gli autori sviluppano un trucco combinatorio elementare che riorganizza i termini utilizzando il teorema binomiale e le proprietà dei momenti di una distribuzione gaussiana.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1, che stabilisce il comportamento asintotico dei momenti centrati pesati.

Sia $\chi$ un carattere di Dirichlet reale e primitivo, e sia $w_{\chi, r}(f)$ il peso definito nell'articolo. Per una funzione di test $\phi$ con supporto della sua trasformata di Fourier contenuto in $(-\frac{1}{2n}, \frac{1}{2n})$, il limite dei momenti centrati pesati di ordine $n$ per le famiglie $F_1$ e $F_2$ converge a:

$$\lim \mathbb{E} \left[ (D(f, \phi) - \mathbb{E}[D(f, \phi)])^n \right] = \begin{cases} (n-1)!! \, \sigma_\phi^n & \text{se } n \text{ è pari} \\ 0 & \text{se } n \text{ è dispari} \end{cases}$$

dove $\sigma_\phi^2 = \int_{-\infty}^{\infty} \hat{\phi}(y)^2 |y| dy$.

Implicazioni dei risultati:

• Convergenza alla Gaussiana: Indipendentemente dal fatto che il carattere di torsione sia banale o non banale (e quindi indipendentemente dal fatto che la simmetria di base sia ortogonale o simplettica), i momenti centrati della densità a un livello convergono ai momenti di una distribuzione gaussiana.
• Limitazione del Supporto: Il risultato è valido per funzioni di test con supporto limitato. Gli autori notano che, entro questo intervallo di supporto, le distribuzioni limite delle matrici ortogonali e simplettiche coincidono (sono indistinguibili). Pertanto, il teorema non riesce a "vedere" la differenza di simmetria (ortogonale vs simplettica) che Knightly e Reno avevano osservato nella media stessa (il primo momento).
• Coerenza con la RMT: Il risultato conferma che, per funzioni di test con supporto sufficientemente piccolo, sia le famiglie ortogonali che quelle simplettiche mostrano lo stesso comportamento gaussiano nei momenti centrati, allineandosi con le previsioni della teoria delle matrici casuali per tali intervalli.

4. Contributi Chiave

1. Estensione ai Momenti di Ordine Superiore: È il primo studio che analizza sistematicamente i momenti centrati di ordine $n$ per le densità a un livello pesate di funzioni $L$ di GL(2), generalizzando i risultati di Knightly e Reno.
2. Generalizzazione della Formula di Traccia: Sviluppo di una formula di traccia pesata che gestisce coefficienti di Hecke per interi arbitrari, necessaria per trattare i termini incrociati che emergono nei calcoli a più livelli ($n > 1$).
3. Nuovo Trucco Combinatorio: Introduzione di un metodo elementare per semplificare i termini aritmetici nel caso di carattere banale, evitando l'uso di strumenti combinatori complessi come la formula di Hunt-Dyson, rendendo la dimostrazione più accessibile e potenzialmente applicabile ad altri contesti.
4. Analisi dei Termini Incrociati: Una trattazione dettagliata di come i termini incrociati (prodotti di più primi) contribuiscono ai termini principali e agli errori, distinguendo chiaramente i casi di carattere banale e non banale.

5. Significato e Prospettive Future

Il lavoro conferma la robustezza della connessione tra teoria dei numeri e teoria delle matrici casuali anche per statistiche di ordine superiore. Tuttavia, evidenzia una limitazione tecnica: l'attuale restrizione sul supporto della funzione di test impedisce di distinguere tra le simmetrie ortogonali e simplettiche nei momenti centrati, poiché le loro distribuzioni coincidono in quel range.

Il significato principale risiede nel fatto che, sebbene la simmetria di base cambi con i pesi (come dimostrato da Knightly e Reno), la struttura dei momenti centrati della densità a un livello rimane gaussiana entro i limiti attuali. Gli autori suggeriscono che estendere il supporto della funzione di test oltre $(-\frac{1}{n}, \frac{1}{n})$ sarebbe necessario per osservare la divergenza tra i comportamenti ortogonali e simplettici nei momenti centrati, fornendo così una prova ancora più forte della congettura di Katz e Sarnak. Questo richiederebbe un'analisi più fine dei termini di errore nelle formule di traccia.

In sintesi, il paper rappresenta un passo significativo verso la comprensione di come i pesi aritmetici influenzino le statistiche di ordine superiore delle funzioni $L$, offrendo nuovi strumenti analitici e combinatori per affrontare problemi complessi nella teoria dei numeri analitica.