Second moment of $\textrm{GL(3)} \times \textrm{GL(2)}$ $L$--functions

1. Il Problema e il Contesto

Lo studio dei momenti delle funzioni L è un tema centrale nella teoria dei numeri moderna. L'obiettivo principale è ottenere formule asintotiche per i momenti centrali $M_{2k}(\mathcal{F}) = \sum_{F \in \mathcal{F}} |L(1/2, F)|^{2k}$ di una famiglia di forme automorfe $\mathcal{F}$.
Mentre per le famiglie di rango 1 (GL(1)) e alcune famiglie di rango 2 (GL(2)) esistono risultati noti (ad esempio, per $k=1, 2$), il problema diventa estremamente difficile per famiglie di "rango superiore" (come GL(3) o prodotti GL(3) × GL(2)) e per valori elevati di $k$.

In particolare, ottenere un limite superiore coerente con la congettura di Lindelöf, ovvero $M_{2k}(\mathcal{F}) \ll_\epsilon |\mathcal{F}|^{1+\epsilon}$, è spesso fuori portata.
Questo articolo si concentra sul secondo momento ($k=1$) della famiglia di funzioni L di Rankin-Selberg associate a una coppia $(\pi, f)$, dove:

• $\pi$ è una forma cuspidale di Hecke fissa su $SL(3, \mathbb{Z})$ (GL(3)).
• $f$ varia in una famiglia di nuove forme primitive (newforms) di peso $k \ge 3$, livello $M = M_1 M_2$ (con $M_1, M_2$ primi distinti) e carattere di Nebentypus $\psi$ di conduttore $M_1$.

L'obiettivo è dimostrare un limite superiore coerente con Lindelöf per la somma:
$$S_\pi(M) = \sum_{\substack{\psi(M_1) \\ \psi(-1)=(-1)^k}} \sum_{f \in H^\star_k(M, \psi)} |L(1/2, \pi \times f)|^2$$
nella regione dove il livello secondario $M_2$ è limitato da $M_2 \le M_1^{1+\epsilon}$.

2. Metodologia e Strumenti Tecnici

Gli autori utilizzano una combinazione sofisticata di tecniche analitiche e aritmetiche per stimare la somma. La strategia principale si articola nei seguenti passaggi:

A. Formula di Traccia di Petersson

Il punto di partenza è l'applicazione della formula di traccia di Petersson per estendere la somma sulle nuove forme primitive $H^\star_k$ alla somma su una base ortonormale completa $H_k$. Questo permette di esprimere il secondo momento in termini di coefficienti di Fourier e somme di Kloosterman.
La formula introduce un termine diagonale (che fornisce il termine principale) e un termine off-diagonale $O_D(m, m')$ che contiene le somme di Kloosterman pesate da funzioni di Bessel.

B. Separazione delle Variabili

La parte più complessa è la gestione del termine off-diagonale, che coinvolge somme su indici $m, m'$ accoppiati attraverso le somme di Kloosterman e le funzioni di Bessel. Gli autori impiegano diverse tecniche per "separare" queste variabili:

1. Decomposizione delle Somme di Carattere: Utilizzando un'identità basata sulla reciprocità quadratica e la struttura del livello $M = M_1 M_2$, le somme di carattere $\sum_\psi$ vengono scomposte in somme su moduli più piccoli e caratteri additivi.
2. Inversione di Mellin: Per separare le variabili all'interno della funzione di Bessel $J_{k-1}$ (che dipende da $\sqrt{mm'}$), viene utilizzata l'inversione di Mellin. Questo trasforma il prodotto $\sqrt{mm'}$ in un integrale di una funzione di peso, permettendo di trattare $m$ e $m'$ separatamente.
3. Disuguaglianza AM-GM: Viene applicata la disuguaglianza aritmetico-geometrica per separare i termini quadratici nella somma, riducendo il problema alla stima di somme lineari di coefficienti moltiplicati per caratteri additivi.

C. Somma di Voronoi per GL(3)

Un ingrediente cruciale è l'applicazione della formula di somma di Voronoi per GL(3) (Lemma 6). Questa formula permette di trasformare le somme sui coefficienti di Fourier $\lambda_\pi(n)$ (associati a $\pi$) in somme duali che coinvolgono coefficienti di Fourier e somme di Kloosterman di tipo GL(3). Questo passaggio è essenziale per sfruttare la cancellazione oscillatoria nei coefficienti.

D. Disuguaglianza del Grande Setaccio (Large Sieve)

Per stimare le somme risultanti dopo la separazione delle variabili, gli autori dimostrano e utilizzano nuove varianti di disuguaglianze del grande setaccio (Lemma 4 e Lemma 5).
In particolare, il Lemma 4 fornisce un limite per somme miste che coinvolgono sia somme discrete su moduli che integrali su intervalli continui (dipendenti da una funzione $f(t)$). Questo è fondamentale per gestire la regione "ibrida" dove il livello e lo spettro interagiscono in modo complesso.

3. Risultati Principali

Il risultato centrale è il Teorema 1:

Siano $M_1$ e $M_2$ due primi distinti con $M_1 < M_2$. Se $M_2 \le M_1^{1+\epsilon}$, allora:
$$S_\pi(M) \ll_{\pi, \epsilon} M_1 M^\epsilon$$

Dato che la dimensione della famiglia è circa $|\mathcal{F}| \asymp M_1^2 M_2$, e nella regione considerata $M_2 \asymp M_1$, il risultato implica un limite coerente con Lindelöf ($|\mathcal{F}|^{1/2 + \epsilon}$ per il momento quadratico, che corrisponde a $M_1 M^\epsilon$).

Punti chiave del risultato:

• Estensione dei lavori precedenti: Il risultato generalizza il lavoro di Djanković [5] (che trattava il caso $M_2=1$ e momenti di ordine 6 per GL(2)) e di Young [15] (che trattava il caso spettrale per GL(3)×GL(2)).
• Regione di validità: Il teorema è valido nella regione "corta" dove la dimensione della famiglia è $|\mathcal{F}| \asymp M_1^2 M_2$. Gli autori notano che il caso $M_2 \ge M_1^{1+\epsilon}$ rimane irrisolvibile con le tecniche attuali a causa della ridotta dimensione della famiglia, che rende l'analisi analitica estremamente difficile.

4. Contributi Chiave

1. Analisi Ibrida GL(3) × GL(2): Il lavoro fornisce una delle prime stime rigorose per il secondo momento di funzioni L di tipo Rankin-Selberg GL(3) × GL(2) nel contesto del livello (level aspect), combinando le difficoltà delle forme di rango 3 e 2.
2. Nuove Disuguaglianze del Grande Setaccio: La dimostrazione del Lemma 4 rappresenta un contributo tecnico significativo, fornendo uno strumento per gestire somme su moduli composti con pesi oscillanti continui, utile anche in altri contesti di teoria analitica dei numeri.
3. Gestione della Regione di Livello: La capacità di gestire la regione $M_2 \le M_1^{1+\epsilon}$, dove il livello non è dominato da un singolo primo, richiede una decomposizione fine delle somme di Kloosterman e un'attenta analisi delle condizioni di congruenza.

5. Significato e Implicazioni

• Conferma della Congettura di Lindelöf: Il risultato conferma che, almeno in questa specifica regione di parametri, il comportamento medio delle funzioni L è coerente con la congettura di Lindelöf, un pilastro fondamentale della teoria dei numeri.
• Non-vanishing e Subconvexity: Stime precise sui momenti sono spesso il primo passo verso la dimostrazione di risultati di non-vanishing (esistenza di valori L non nulli) e limiti di subconvexity (miglioramento dei limiti triviali per i valori centrali delle L).
• Sviluppo Metodologico: La tecnica di combinare la formula di Voronoi GL(3) con la formula di traccia di Petersson e nuove varianti del grande setaccio apre la strada a future ricerche su momenti più alti o su famiglie con livelli ancora più complessi.

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione statistica delle funzioni L di rango superiore, fornendo un limite superiore ottimale in una regione di parametri non banale attraverso un'analisi tecnica estremamente raffinata.