The Second Moment of Rankin-Selberg $L$-Functions in Conductor-Dropping Regimes

Sintesi Tecnica: Il Secondo Momento delle Funzioni L di Rankin–Selberg nei Regimi di Calo del Conduttore

Enunciato del Problema
Questo articolo affronta il comportamento asintotico del secondo momento delle funzioni $L$ di Rankin–Selberg associate alla convoluzione di due forme cuspali di Hecke omolemorfe $f$ e $g$ di uguale peso $k$. Nello specifico, gli autori investigano la somma:
$$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)}$$
dove $B_{\text{hol}}^{k}$ è una base ortonormale di forme cuspali omolemorfi di peso $k$.

Questo problema si colloca nel contesto più ampio del problema della subconvessità per le funzioni $L$. Una motivazione primaria è la funzione $L$ amministrativa (adjoint) $L(s, \text{ad } f)$, dove $g=f$. Il valore centrale $L(1/2, \text{ad } f)$ è limitato dal bound di convessità $k^{1/2}$, e l'ottenimento di bound subconvessi (risparmiando una potenza di $k$) rappresenta un importante problema aperto. Le euristiche standard suggeriscono che una formula asintotica per il secondo momento con un termine di errore che risparmia una potenza potrebbe facilitare i risultati di subconvessità tramite amplificazione. Tuttavia, nei regimi di "calo del conduttore" (conductor-dropping)—dove il conduttore analitico di $L(1/2, f \otimes g)$ scende da $k^4$ a $k^2$ perché i pesi sono uguali—i metodi standard spesso non riescono a produrre formule asintotiche con errori che risparmiano una potenza. Sebbene siano noti upper bound della forma $O_\epsilon(k^{1+\epsilon})$ (tramite disuguaglianze di large sieve), derivare una formula asintotica precisa con un termine principale e un termine di errore controllato è rimasto elusivo.

Metodologia
Gli autori impiegano una tecnica di espansione spettrale che coinvolge l'integrale di periodo di quattro forme automorfe. La strategia centrale consiste nel valutare l'integrale
$$\int_{SL_2(\mathbb{Z})\backslash \mathbb{H}} |G(z)|^2 E^*(z, s_1) E^*(z, s_2) \, d\mu(z)$$
dove $G(z) = y^{k/2}g(z)$ ed $E^*(z, s)$ è la serie di Eisenstein reale-analitica completata. Questo integrale viene espanso spettralmente in due modi distinti:

1. Prima Espansione Spettrale (Peso $k$): L'integrale viene visto come il prodotto interno $\langle G E^*(\cdot, s_1), G E^*(\cdot, s_2) \rangle$. Utilizzando l'identità di Parseval per le forme cuspali omolemorfi di peso $k$, gli autori lo espandono in termini di forme cuspali omolemorfi, forme cuspali di Maass ed serie di Eisenstein. Ciò produce una somma che coinvolge il momento target $M_{\text{hol}}$ (la somma su forme di peso $k$) e altri termini spettrali ($M_{\text{Maass}}$, $M_{\text{Eis}}$). I prodotti interni sono calcolati esplicitamente usando il metodo di Rankin–Selberg, esprimendoli in termini di funzioni $L$ e fattori Gamma.

2. Seconda Espansione Spettrale (Peso 0): L'integrale viene visto come il prodotto interno $\langle E^*(\cdot, s_1) E^*(\cdot, s_2), |G|^2 \rangle$. Poiché le serie di Eisenstein non sono quadrate integrabili, gli autori utilizzano una versione regolarizzata dell'identità di Parseval (seguendo Zagier). Questa espansione coinvolge lo spettro continuo e lo spettro discreto delle forme di peso 0. Fondamentalmente, i prodotti interni che coinvolgono $|G|^2$ e le forme di Maass sono valutati utilizzando la formula del prodotto triplo di Watson–Ichino, che mette in relazione questi integrali con i valori centrali delle funzioni $L$ del prodotto triplo.

Equiparando i risultati di queste due espansioni, gli autori derivano un'identità esatta che mette in relazione il momento target a un "termine principale" (derivante dallo spettro continuo e dai residui) e vari termini di errore che coinvolgono somme spettrali.

Contributi Chiave e Risultati
Il saggio stabilisce il seguente teorema principale (Teorema 1.4):

• Formula Asintotica: Per una data forma cuspale di Hecke omolefore $g$ di peso $k$, il secondo momento soddisfa:
  $$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)} = k \sum_{j=0}^3 P_j(\log k) L^{(3-j)}(1, \text{ad } g) + O_\epsilon(k (\log k)^{-1/2 + \epsilon})$$
  dove $P_j$ sono polinomi di grado $j$.
• Analisi del Termine Principale: Si dimostra che il termine principale è positivo per $k$ sufficientemente grande e soddisfa i bound $k(\log k)^2 \ll \text{Termine Principale} \ll k(\log k)^6$.
• Termine di Errore: Il termine di errore raggiunge un risparmio logaritmico, $O_\epsilon(k (\log k)^{-1/2 + \epsilon})$, piuttosto che un risparmio di potenza.

Sfide Tecniche e Soluzioni
Gli autori evidenziano alcune difficoltà specifiche superate in questo lavoro:

1. Mancanza di Errore con Risparmio di Potenza: Gli autori dimostrano che ottenere un termine di errore che risparmi una potenza in questo regime di calo del conduttore è probabilmente impossibile senza assumere preesistenti bound di subconvessità per $L(1/2, \text{ad } g)$ e i suoi twist su $GL_2$. Di conseguenza, la prova si affida ai deboli bound di subconvessità di Soundararajan per ottenere il risparmio logaritmico.
2. Positività del Termine Principale: Un ostacolo tecnico significativo è stato dimostrare che il termine principale domini il termine di errore. Il termine principale coinvolge $L(1, \text{ad } g)$ e le sue derivate, per le quali sono noti solo deboli bound incondizionati ($L(1, \text{ad } g) \gg (\log k)^{-1}$). Gli autori aggirano la potenziale cancellazione tra termini diagonali e off-diagonali sfruttando una "struttura nascosta". Esprimono il termine principale come un integrale che può essere confrontato termine per termine con una rappresentazione in serie di Dirichlet, mostrando che il termine $n=1$ (che è $\gg k (\log k)^2$) domina la somma.
3. Generalizzazioni: I metodi sono mostrati estendibili a:
   • L'aspetto del livello (variando il livello primo $q$ con peso fisso).
   • L'aspetto spettrale (mediando su forme di Maass con parametro spettrale in $[T, T+1]$).
   • Punti centrali traslati ($1/2 + it$).
   • Il primo momento delle funzioni $L del prodotto triplo$ (sebbene dimostrare che il termine principale domini l'errore in questo caso rimanga una difficoltà aperta a causa di problemi di lower bound).

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima formula asintotica per questo specifico secondo momento nel regime di calo del conduttore. Sebbene il termine di errore non risparmi una potenza di $k$, il risultato è significativo perché:

• Conferma l'esistenza di una formula asintotica dove precedentemente erano noti solo upper bound.
• Affina la comprensione dei momenti in contesti di calo del conduttore, dove le euristiche standard possono essere fuorvianti.
• Migliora i precedenti risultati di upper bound di Blomer fornendo un termine principale preciso e un approccio di espansione spettrale.
• Gli autori dichiarano esplicitamente che il loro metodo si basa sulla formula di Watson–Ichino, il che ne limita l'applicabilità a $GL_2$ (poiché una tale formula non esiste per $GL_n$ con $n \ge 3$), distinguendo il loro approccio dalle tecniche di upper bound più generali di Blomer.

Il saggio conclude che, sebbene il risultato non fornisca immediatamente i bound di subconvessità (a causa della mancanza di un errore con risparmio di potenza), esso rappresenta un passo necessario per comprendere la distribuzione di questi valori $L$ e i vincoli strutturali dei momenti di calo del conduttore.