One-level density of zeros of $\Gamma_1(q)$ $L$-functions

Sintesi Tecnica: Densità a Un Livello degli Zeri delle Funzioni L di $\Gamma_1(q)$

Enunciato del Problema
Il lavoro indaga la distribuzione statistica degli zeri delle funzioni $L$ automorfe, focalizzandosi specificamente sulla densità a un livello di una grande famiglia unitaria di funzioni $L$ di $GL_2$ associate al sottogruppo di congruenza $\Gamma_1(q)$. Il problema centrale consiste nel determinare il supporto ammissibile della trasformata di Fourier della funzione di test, $\hat{\phi}$, per cui la densità a un livello corrisponde alla previsione della filosofia di Katz–Sarnak.

Mentre la congettura di Katz–Sarnak prevede che le statistiche locali degli zeri nelle famiglie naturali corrispondano agli autovalori di matrici casuali di un gruppo di simmetria specifico (in questo caso, il gruppo unitario $U$), i risultati precedenti per le famiglie unitarie sono stati limitati a un supporto $\text{supp } \hat{\phi} \subset (-2, 2)$. Estendere questo supporto oltre l'intervallo "diagonale" rappresenta una sfida significativa nella teoria dei numeri analitica, poiché richiede il controllo dei termini fuori diagonale nella formula esplicita con maggiore precisione. Il lavoro si propone di rispondere se le proprietà strutturali della famiglia di funzioni $L$ (in particolare la struttura $GL_2$) consentano un supporto più ampio rispetto a quanto dettato esclusivamente dal gruppo di simmetria.

Metodologia
L'autore impiega la formula esplicita per relazionare la somma della funzione di test sugli zeri delle funzioni $L$ con somme su potenze di primi. Il lavoro tecnico fondamentale consiste nel limitare i contributi fuori diagonale derivanti dall'applicazione della formula di traccia di Petersson alla famiglia di forme cuspidali in $S_k(\Gamma_1(q))$.

I passaggi metodologici chiave includono:

1. Formula Esplicita e Formula di Traccia: La densità a un livello è espressa come un integrale più una somma su potenze di primi che coinvolge i coefficienti di Fourier $\lambda_f(n)$. La somma sulla famiglia è valutata utilizzando una formula di tipo Petersson, che scompone la somma in un termine diagonale (che fornisce il termine principale) e termini fuori diagonale che coinvolgono funzioni di Bessel e somme esponenziali.
2. Decomposizione dei Termini Fuori Diagonale: La somma fuori diagonale è suddivisa in base alla relazione tra il primo $p$ e i moduli $s, t$ che emergono dalla formula di traccia. La somma è ulteriormente scomposta in contributi dal carattere banale e da caratteri di Dirichlet non banali.
3. Decomposizione Dinica e Trasformate di Mellin: Le somme sono analizzate in tre distinte regioni di transizione definite dal comportamento della funzione di Bessel $J_{k-1}$ e dei termini esponenziali:
   • Caso 1: $P/q \ll ST$ (dove $P$ è la grandezza del primo e $S, T$ sono le grandezze di $s, t$).
   • Caso 2: $\sqrt{P}/q \ll ST \ll P/q$.
   • Caso 3: $\sqrt{P}/q \gg ST$.
     In queste regioni, l'autore utilizza la decomposizione dinamica, rappresentazioni mediante trasformata di Mellin delle funzioni esponenziali e di Bessel, e tecniche di spostamento del contorno.
4. Assunzione dell'ipotesi di Riemann Generalizzata (GRH): L'ipotesi di Riemann Generalizzata (GRH) è assunta in tutto il lavoro per limitare le derivate delle funzioni $L$ e per spostare i contorni di integrazione verso destra, garantendo la convergenza e la piccolezza dei termini di errore.
5. Somme di Caratteri: Per i caratteri non banali, l'autore applica le disuguaglianze di Cauchy-Schwarz e le relazioni di ortogonalità dei caratteri di Dirichlet per limitare le somme, sfruttando il Lemma 2.4 (limiti per somme su primi twistate da caratteri) per controllare i termini di errore.

Contributi e Risultati Chiave
Il risultato principale è il Teorema 1.1, che stabilisce la densità a un livello per la famiglia di funzioni $L$ di $\Gamma_1(q)$ (con peso $k \ge 3$ dispari e $q$ primo) sotto l'assunzione della GRH.

• Supporto Esteso: Il lavoro dimostra che la previsione di Katz–Sarnak vale per funzioni di test con supporto della trasformata di Fourier nell'intervallo $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$. Questo estende il limite precedentemente noto di $(-2, 2)$ per le famiglie unitarie.
• Proporzione di Non-Annullamento: Come diretta applicazione (Corollario 1.2), l'autore ricava un limite inferiore per la proporzione di forme nella famiglia che non si annullano nel punto centrale $s=1/2$. Il risultato afferma che almeno $5/8$ (62,5%) delle forme nella famiglia sono non nulle nel punto centrale.
• Insight Strutturale: Il lavoro dimostra che la struttura $GL_2$ della famiglia è il fattore decisivo nell'estendere il supporto, piuttosto che il semplice gruppo di simmetria unitario. Ciò sfida l'idea che il gruppo di simmetria da solo detti il limite di banda, mostrando che famiglie più ampie con proprietà strutturali specifiche (come la famiglia $GL_2$ qui) possono raggiungere supporti comparabili o superiori a quelli delle famiglie ortogonali.

Significato
Il lavoro afferma che la proporzione di non-annullamento del 62,5% è il record più alto per qualsiasi famiglia associata a un gruppo unitario. Il significato del lavoro risiede in due aree principali:

1. Informazioni Aritmetiche Raffinate: Estendendo il supporto della funzione di test a $(-8/3, 8/3)$, il risultato fornisce informazioni aritmetiche più raffinate, in particolare limiti più forti sulla proporzione di valori centrali delle funzioni $L$ non nulli.
2. Comprensione Strutturale: Il lavoro indica che il "limite di banda" per il supporto della trasformata di Fourier non è determinato esclusivamente dal gruppo di simmetria (unitario contro ortogonale) ma è fortemente influenzato dalle proprietà strutturali più fini della famiglia di funzioni $L$. La capacità di spingere il supporto fino a $8/3$ per una famiglia unitaria $GL_2$, mentre i risultati precedenti per famiglie unitarie $GL_1$ erano limitati a $2$ (o leggermente superiori con ipotesi aggiuntive), evidenzia la potenza della struttura $GL_2$ nel controllare i termini fuori diagonale.

L'autore nota che le tecniche sviluppate possono essere estese per studiare densità a livelli superiori della stessa famiglia con lo stesso supporto, una direzione attualmente in fase di investigazione. Il lavoro non propone nuove applicazioni sperimentali ma si concentra sul progresso teorico della congettura sulla densità a un livello all'interno del quadro della teoria dei numeri analitica.