The cubic moment of $L$-functions for specified local component families

1. Il Problema: La Sconvexità delle L-Funzioni

Il lavoro si inserisce nel programma centrale della teoria analitica delle funzioni L: il problema della sconvexità (subconvexity problem).
L'obiettivo è dimostrare che per una famiglia $\mathcal{F}$ di forme automorfe con conduttore analitico $C(f)$, esiste un $\delta > 0$ tale che:
$$L(1/2, f) \ll C(f)^{1/4 - \delta}$$
Il limite "convesso" è $1/4$. L'ipotesi di Riemann Generalizzata (GRH) implicherebbe il limite di Lindelöf ($1/4 - \epsilon$ per ogni $\epsilon$). Un risultato di forza di Weyl corrisponde a un risparmio di $\delta = 1/12$ (cioè $L(1/2, f) \ll C(f)^{1/6 + \epsilon}$), rappresentando un progresso significativo verso il limite di Lindelöf.

Il metodo classico per ottenere tali stime consiste nello studiare i momenti delle funzioni L. In particolare, il momento cubico $M_3(\mathcal{F}) = \sum |L(1/2, f)|^3$. Se si può dimostrare un limite di tipo "Lindelöf in media" per il momento cubico su una famiglia sufficientemente "sottile" (dove la cardinalità $|F|$ è piccola rispetto al conduttore), si ottengono stime di sconvexità per i singoli termini.

La lacuna precedente: Risultati precedenti (Conrey-Iwaniec, Petrow-Young) avevano trattato casi in cui le componenti locali $\pi_p$ delle rappresentazioni automorfe appartenevano alla serie principale o erano twist quadratici ramificati della rappresentazione di Steinberg. Tuttavia, il caso in cui $\pi_p$ è una rappresentazione supercuspidale rimaneva aperto. Questo lavoro colma tale lacuna.

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano una metodologia sofisticata basata su tre pilastri principali:

A. Famiglie di Componenti Locali Specificate

Invece di considerare tutte le forme di un certo livello, gli autori definiscono famiglie $\mathcal{F}$ basate sulla teoria delle rappresentazioni locali. Per un insieme finito di primi $S$, fissano una rappresentazione locale specifica $\sigma_p$ per ogni $p \in S$. La famiglia $\mathcal{F}$ consiste di tutte le forme automorfe globali $\pi$ tali che la componente locale $\pi_p$ appartiene a un "vicinato" specifico $\sigma_p[0]$ (definito tramite la teoria delle rappresentazioni unitarie di $GL_2(\mathbb{Q}_p)$).
Questo permette di isolare casi specifici, come le forme con componenti locali supercuspidali.

B. Nuove Formule di Petersson/Bruggeman-Kuznetsov (PBK)

Il cuore tecnico del lavoro è l'utilizzo di nuove versioni delle formule di traccia PBK, sviluppate recentemente dagli stessi autori in lavori precedenti ([Hu24, HPY26]). Queste formule associano a ogni famiglia di componenti locali una somma di Kloosterman generalizzata $H(m, n; c)$.
A differenza delle somme di Kloosterman classiche, $H(m, n; c)$ dipende dalla rappresentazione locale $\sigma_p$. Per le rappresentazioni supercuspidali, queste somme sono espresse in termini di caratteri moltiplicativi su estensioni quadratiche locali $L/\mathbb{Q}_p$ e coinvolgono la corrispondenza di Langlands locale (LLC).

C. Analisi Geometrica e Teoria dei Fasci $\ell$-adici

Per stimare le somme di Kloosterman supercuspidali (che appaiono nel momento duale dopo l'applicazione della formula di Poisson), gli autori ricorrono a metodi profondi di geometria algebrica:

• Trasformata di Fourier Geometrica: Utilizzano la teoria sviluppata da Deligne, Katz e Laumon.
• Fasci di Traccia: Costruiscono fasci lisci su varietà algebriche (in particolare su $\mathbb{G}_m$) le cui funzioni traccia corrispondono alle somme di caratteri in esame.
• Stime di Cancellazione: Dimostrano che per configurazioni generiche, le somme godono di cancellazione di tipo radice quadrata (square-root cancellation) grazie all'ipotesi di Riemann per le varietà su campi finiti (teorema di Deligne).
• Casi Singolari: Identificano e trattano i casi "singolari" (dove la cancellazione fallisce) analizzando le condizioni algebriche sui parametri dei caratteri, utilizzando formule di Postnikov e proprietà dei logaritmi $p$-adici.

3. Risultati Principali

Teorema del Momento Cubico (Teorema 1.1)

Gli autori dimostrano un limite di tipo Lindelöf-in-media per il momento cubico $M(\mathcal{F})$ su famiglie di componenti locali specifiche:
$$M(\mathcal{F}) \ll_\epsilon |\Pi_\infty|^B \prod_p p^{\lceil \alpha_p/2 \rceil (1+\epsilon)}$$
dove $\Pi_\infty$ è l'insieme dei parametri spettrali archimedei e $Q = \prod p^{\alpha_p}$ è il conduttore. Se la famiglia è sufficientemente "sottile" (condizione di densità), questo implica un limite di sconvexità per i singoli valori centrali.

Stime di Sconvexità di Forza di Weyl (Corollario 1.2)

Come conseguenza diretta, derivano stime di sconvexità di forza di Weyl ($1/6 + \epsilon$) per i valori centrali di funzioni L di $PGL_2$ in diversi aspetti:

1. Aspetto del Livello Quadrato-Pieno: Per forme con conduttore $Q$ che è un quadrato perfetto dispari.
2. Aspetto della Profondità (Depth): Per forme con conduttore $Q = p^\alpha$ (potenza di un primo).
3. Ibrido: Combinazioni delle due situazioni sopra.

Un caso speciale degno di nota è il limite di Weyl per tutte le forme cuspidali di livello $p^2$. In precedenza, tale limite era noto solo per le forme che sono twist di forme di livello $p$ (che costituiscono circa la metà delle forme di livello $p^2$). Questo lavoro estende il risultato alla totalità delle forme, inclusi i casi supercuspidali.

4. Contributi Chiave e Innovazioni

• Trattamento dei Casi Supercuspidali: È la prima volta che si ottengono stime di sconvexità di forza di Weyl per famiglie definite da componenti locali supercuspidali. Questo richiede una gestione tecnica molto più complessa rispetto alle serie principali, a causa della struttura delle somme di Kloosterman su estensioni quadratiche.
• Nuove Formule PBK: L'applicazione delle formule PBK recentemente sviluppate per famiglie di componenti locali è essenziale per tradurre il problema globale in un problema locale gestibile.
• Analisi dei Caratteri Singolari: Gli autori identificano precisamente quando le somme di caratteri non mostrano cancellazione (quando l'estensione $L/\mathbb{Q}_p$ è non ramificata e il carattere soddisfa condizioni quadratiche specifiche) e dimostrano che la somma sui caratteri "singolari" è comunque controllabile tramite momenti di ordine superiore delle funzioni L di Dirichlet.
• Unificazione: Il metodo tratta in modo uniforme casi ibridi e diverse configurazioni di ramificazione (incluso il caso $p=2$, che richiede tecniche speciali di induzione compatta di Kutzko).

5. Significato e Impatto

Questo lavoro rappresenta un passo fondamentale nella teoria delle funzioni L automorfe:

1. Completamento del Quadro: Completa la serie di risultati iniziati da Conrey e Iwaniec, estendendo le stime di sconvexità a tutte le possibili configurazioni di componenti locali per $PGL_2$, inclusi i casi più difficili (supercuspidali).
2. Metodologia Potente: Dimostra l'efficacia della combinazione di formule di traccia avanzate (PBK) con la teoria dei fasci $\ell$-adici e la geometria algebrica per risolvere problemi analitici di teoria dei numeri.
3. Applicazioni Future: Le tecniche sviluppate, in particolare il trattamento delle somme di Kloosterman supercuspidali e l'analisi dei casi singolari, potrebbero essere applicate ad altri problemi di sconvexità o allo studio di momenti di ordine superiore per altre classi di forme automorfe.

In sintesi, il paper risolve un problema aperto di lunga data fornendo stime ottimali (di forza di Weyl) per una vasta classe di funzioni L precedentemente inaccessibili, consolidando il legame tra la teoria delle rappresentazioni locali, l'analisi armonica e la geometria aritmetica.