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

Resumo Técnico: O Momento Cúbico de Funções L para Famílias de Componentes Locais Especificadas

1. O Problema e o Contexto

O artigo aborda o problema de subconvexidade na teoria analítica de funções $L$. O objetivo central é provar limites superiores para os valores centrais $L(1/2, f)$ que sejam mais fortes do que o limite "convexo" trivial ($C(f)^{1/4}$), onde $C(f)$ é o condutor analítico. A conjectura de Lindelöf sugere que $L(1/2, f) \ll_\epsilon C(f)^\epsilon$, enquanto uma estimativa de Weyl (um progresso significativo, atingindo $C(f)^{1/4 - 1/12}$) é um marco importante.

O método clássico para atacar esse problema envolve o estudo de momentos de famílias de funções $L$. Especificamente, o artigo foca no momento cúbico ($k=3$):
$$M_3(\mathcal{F}) = \sum_{f \in \mathcal{F}} |L(1/2, f)|^3$$
O objetivo é estabelecer um limite superior do tipo "Lindelöf em média" para este momento. Se tal limite for alcançado, ele implica limites de subconvexidade para os termos individuais da família.

A Lacuna Específica:
Trabalhos anteriores (como Conrey-Iwaniec [CI00], Petrow-Young [PY20, PY23]) trataram de famílias onde os componentes locais $\pi_p$ das representações automorfas $\pi$ pertenciam à série principal ou eram torções quadráticas ramificadas da representação de Steinberg. O caso que permanecia aberto e era tecnicamente desafiador era o das representações supercuspidais. Este artigo preenche essa lacuna, tratando famílias definidas pela especificação de componentes locais supercuspidais.

2. Metodologia e Ferramentas Principais

A abordagem combina técnicas analíticas avançadas com teoria de representações locais e geometria algébrica.

• Famílias de Componentes Locais: Os autores definem famílias $\mathcal{F}$ de formas automorfas de $PGL_2/\mathbb{Q}$ onde, para um conjunto finito de primos $S$, o componente local $\pi_p$ é restrito a uma vizinhança específica de uma representação irredutível unitária suave $\sigma_p$ (que pode ser supercuspidal).
• Novas Fórmulas de Petersson/Bruggeman-Kuznetsov (PBK): O coração técnico do trabalho é o uso de versões recentes das fórmulas PBK desenvolvidas pelos próprios autores ([Hu24, HPY26]). Essas fórmulas permitem expandir somas de produtos de autovalores de Hecke em termos de somas de Kloosterman generalizadas $H(m, n; c)$, adaptadas a componentes locais específicos (incluindo o caso supercuspidal).
• Transformada de Fourier-Mellin e Soma de Poisson: O método segue a estrutura de [PY20, PY23]:
  1. Expansão da função $L$ via equação funcional aproximada.
  2. Aplicação da fórmula PBK.
  3. Aplicação da soma de Poisson em três variáveis.
     Isso transforma o momento cúbico original em um "momento dual" envolvendo uma soma de caracteres de Dirichlet e uma nova soma de caracteres $pH(\psi)$, que é uma transformada de Fourier/Mellin multivariada da soma de Kloosterman.
• Análise de Somas de Caracteres Supercuspidais: O desafio principal é avaliar e limitar a soma $pH(\psi)$ no caso supercuspidal.
  • Para isso, os autores utilizam a Correspondência de Langlands Local (LLC) para parametrizar representações supercuspidais por pares $(L/\mathbb{Q}_p, \xi)$, onde $L$ é uma extensão quadrática e $\xi$ é um caráter de $L^\times$.
  • Eles aplicam a Fórmula de Postnikov para expandir os caracteres em termos de logaritmos $p$-ádicos, reduzindo a soma a integrais exponenciais sobre anéis de inteiros locais.
  • Para o caso onde o nível é pequeno (condutor $c_0=1$), eles recorrem à teoria de feixes $\ell$-ádicos e à Transformada Geométrica de Fourier de Deligne-Laumon. Isso permite provar cancelamento de raiz quadrada (square-root cancellation) para somas de caracteres genéricas, utilizando a irreducibilidade geométrica de feixes de Kloosterman e Kummer.

3. Contribuições Chave

1. Tratamento do Caso Supercuspidal: É a primeira prova de limites de Lindelöf em média para o momento cúbico de funções $L$ em famílias onde os componentes locais são supercuspidais. Isso completa a classificação de casos de subconvexidade para formas de nível quadrado completo (square-full).
2. Novas Fórmulas PBK Específicas: O artigo utiliza e aplica as fórmulas PBK desenvolvidas em trabalhos anteriores dos autores, que são essenciais para lidar com a estrutura complexa das somas de Kloosterman associadas a representações supercuspidais.
3. Análise de Feixes Algébricos: A aplicação da teoria de feixes $\ell$-ádicos (Deligne, Katz, Laumon) para limitar somas de caracteres em extensões quadráticas de corpos locais, lidando com casos onde a extensão é não-ramificada (o caso mais difícil).
4. Unificação de Casos: O método trata uniformemente casos híbridos (combinação de primos com componentes principais e supercuspidais) e diferentes aspectos (aspecto de profundidade e aspecto de nível).

4. Resultados Principais

• Teorema 1.1 (Limite de Lindelöf em Média): Para qualquer família de componentes locais $\mathcal{F}$ (incluindo supercuspidais), o momento cúbico satisfaz:
  $$M(\mathcal{F}) \ll_\epsilon |\Pi_\infty|^B Q^{\epsilon}$$
  Sob condições adequadas de separação dos parâmetros espectrais, obtém-se o limite de Lindelöf em média $M(\mathcal{F}) \ll_\epsilon |\mathcal{F}|^{1+\epsilon}$.
• Corolário 1.2 (Limite de Subconvexidade de Weyl): Como consequência direta, obtém-se um limite de subconvexidade do tipo Weyl para formas novas cuspidais $f$ de nível quadrado completo $Q = \prod p^{\alpha_p}$:
  $$L(1/2, f) \ll_\epsilon Q_\infty^{1/6} \left( \prod_p p^{\frac{1}{3}\lceil \alpha_p/2 \rceil} \right) (Q_\infty Q)^\epsilon$$
  Onde $Q_\infty$ é o condutor analítico no infinito.
• Casos Específicos Resolvidos:
  • Nível $p^2$: Para formas de nível $p^2$ (com $p$ primo), o artigo prova o limite de Weyl para todas as formas cuspidais. Trabalhos anteriores só conseguiam isso para formas que são torções de nível $p$ (que cobrem apenas cerca de metade das formas de nível $p^2$). O presente trabalho resolve o caso das formas "twist-minimal" (que correspondem a componentes locais supercuspidais).
  • Aspecto de Profundidade: O limite vale no aspecto de profundidade (quando o condutor é uma potência de um primo fixo).
  • Aspecto Híbrido: O método funciona para combinações de níveis e profundidades.

5. Significado e Impacto

• Completude da Teoria de Momentos Cúbicos: O trabalho fecha um capítulo importante na teoria de momentos de funções $L$ para $PGL_2$, tratando todos os tipos de componentes locais possíveis (exceto o caso de condutor 1, que é trivial, e o caso de Steinberg ramificado, já tratado).
• Avanço na Conjectura de Lindelöf: Ao fornecer limites de Weyl ($\delta = 1/12$) para uma vasta nova classe de formas automorfas, o artigo representa um progresso de um terço do caminho entre o limite convexo e a conjectura de Lindelöf.
• Técnicas Inovadoras: A integração bem-sucedida de representações locais supercuspidais (via LLC e indução compacta de Kutzko) com métodos analíticos de momentos e geometria algébrica (feixes $\ell$-ádicos) abre caminho para futuras investigações em famílias mais complexas de formas automorfas.
• Aplicações Práticas: Os resultados têm implicações diretas para a distribuição de valores de funções $L$ e para problemas de teoria dos números que dependem de limites subconvexos, como o problema de class number e a distribuição de pontos em variedades aritméticas.

Em resumo, este artigo é um marco técnico que expande significativamente o alcance dos métodos de momentos cúbicos, resolvendo o caso supercuspidal e fornecendo limites de subconvexidade de Weyl para uma gama muito mais ampla de formas automorfas do que era anteriormente conhecido.