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

Resumo Técnico: O Segundo Momento de Funções L de Rankin–Selberg em Regimes de Queda de Condutor

Enunciado do Problema
Este artigo aborda o comportamento assintótico do segundo momento de funções $L$ de Rankin–Selberg associadas à convolução de duas formas de cuspide de Hecke holomorfas de peso $k$, $f$ e $g$, de mesmo peso $k$. Especificamente, os autores investigam a soma:
$$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)}$$
onde $B_{\text{hol}}^{k}$ é uma base ortonormal de formas de cúspide de Hecke holomorfas de peso $k$.

Este problema está situado dentro do contexto mais amplo do problema da subconvexidade para funções $L$. Uma motivação primária é a função $L$ adjunta $L(s, \text{ad } f)$, onde $g=f$. O valor central $L(1/2, \text{ad } f)$ é limitado pelo limite de convexidade $k^{1/2}$, e obter limites subconvexos (economizando uma potência de $k$) é um grande problema em aberto. Heurísticas padrão sugerem que uma fórmula assintótica para o segundo momento com um termo de erro que economiza uma potência poderia facilitar resultados de subconvexidade via amplificação. No entanto, em regimes de "queda de condutor" — onde o condutor analítico de $L(1/2, f \otimes g)$ cai de $k^4$ para $k^2$ porque os pesos são iguais — os métodos padrão frequentemente falham em produzir fórmulas assintóticas com erros de economia de potência. Embora limites superiores da forma $O_\epsilon(k^{1+\epsilon})$ sejam conhecidos (via desigualdades de grande sieve), derivar uma fórmula assintótica precisa com um termo principal e um termo de erro controlado tem sido elusivo.

Metodologia
Os autores empregam uma técnica de expansão espectral envolvendo o integral de período de quatro formas automórficas. A estratégia central envolve a avaliação do integral
$$\int_{SL_2(\mathbb{Z})\backslash \mathbb{H}} |G(z)|^2 E^*(z, s_1) E^*(z, s_2) \, d\mu(z)$$
onde $G(z) = y^{k/2}g(z)$ e $E^*(z, s)$ é a série de Eisenstein real-analítica completada. Este integral é expandido espectralmente de duas maneiras distintas:

1. Primeira Expansão Espectral (Peso $k$): O integral é visto como o produto interno $\langle G E^*(\cdot, s_1), G E^*(\cdot, s_2) \rangle$. Usando a identidade de Parseval para formas de cúspide holomorfas de peso $k$, os autores o expandem em termos de formas de cúspide holomorfas, formas de cúspide de Maass e séries de Eisenstein. Isso resulta em uma soma envolvendo o momento alvo $M_{\text{hol}}$ (a soma sobre formas de peso $k$) e outros termos espectrais ($M_{\text{Maass}}$, $M_{\text{Eis}}$). Os produtos internos são computados explicitamente usando o método de Rankin–Selberg, expressando-os em termos de funções $L$ e fatores Gamma.

2. Segunda Expansão Espectral (Peso 0): O integral é visto como o produto interno $\langle E^*(\cdot, s_1) E^*(\cdot, s_2), |G|^2 \rangle$. Como as séries de Eisenstein não são quadrados integráveis, os autores utilizam uma versão regularizada da identidade de Parseval (seguindo Zagier). Esta expansão envolve o espectro contínuo e o espectro discreto de formas de peso 0. Crucialmente, os produtos internos envolvendo $|G|^2$ e formas de Maass são avaliados usando a fórmula de produto triplo de Watson–Ichino, que relaciona esses integrais a valores centrais de funções $L$ de produto triplo.

Ao igualar os resultados dessas duas expansões, os autores derivam uma identidade exata que relaciona o momento alvo a um "termo principal" (vindo do espectro contínuo e resíduos) e vários termos de erro envolvendo somas espectrais.

Principais Contribuições e Resultados
O artigo estabelece o seguinte teorema principal (Teorema 1.4):

• Fórmula Assintótica: Para uma forma de cúspide de Hecke holomorfa $g$ fixa de peso $k$, o segundo momento satisfaz:
  $$\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})$$
  onde $P_j$ são polinômios de grau $j$.
• Análise do Termo Principal: O termo principal é mostrado como positivo para $k$ suficientemente grande e satisfaz os limites $k(\log k)^2 \ll \text{Termo Principal} \ll k(\log k)^6$.
• Termo de Erro: O termo de erro atinge uma economia logarítmica, $O_\epsilon(k (\log k)^{-1/2 + \epsilon})$, em vez de uma economia de potência.

Desafios Técnicos e Soluções
Os autores destacam dificuldades específicas superadas neste trabalho:

1. Falta de Erro com Economia de Potência: Os autores demonstram que obter um termo de erro com economia de potência neste regime de queda de condutor é provavelmente impossível sem assumir limites de subconvexidade pré-existentes para $L(1/2, \text{ad } g)$ e seus twists de $GL_2$. Consequentemente, a prova depende dos limites de subconvexidade fracos de Soundararajan para alcançar a economia logarítmica.
2. Positividade do Termo Principal: Um obstáculo técnico significativo é provar que o termo principal domina o termo de erro. O termo principal envolve $L(1, \text{ad } g)$ e suas derivadas, para as quais apenas limites fracos incondicionais são conhecidos ($L(1, \text{ad } g) \gg (\log k)^{-1}$). Os autores contornam o potencial cancelamento entre termos diagonais e off-diagonais explorando uma "estrutura oculta". Eles expressam o termo principal como um integral que pode ser comparado termo a termo com uma representação de série de Dirichlet, mostrando que o termo $n=1$ (que é $\gg k (\log k)^2$) domina a soma.
3. Generalizações: Os métodos mostram-se extensíveis para:
   • O aspecto de nível (variando o nível primo $q$ com peso fixo).
   • O aspecto espectral (fazendo a média sobre formas de Maass com parâmetro espectral em $[T, T+1]$).
   • Pontos centrais deslocados ($1/2 + it$).
   • O primeiro momento de funções $L$ de produto triplo (embora provar que o termo principal domina o termo de erro neste caso permaneça uma dificuldade em aberto devido a problemas de limite inferior).

Significância e Alegações
O artigo afirma fornecer a primeira fórmula assintótica para este segundo momento específico no regime de queda de condutor. Embora o termo de erro não economize uma potência de $k$, o resultado é significativo porque:

• Confirma a existência de uma fórmula assintótica onde apenas limites superiores eram anteriormente conhecidos.
• Refina a compreensão dos momentos em configurações de queda de condutor, onde heurísticas padrão podem ser enganosas.
• Melhora os resultados anteriores de limites superiores de Blomer ao fornecer um termo principal preciso e uma abordagem de expansão espectral.
• Os autores declaram explicitamente que seu método depende da fórmula de Watson–Ichino, o que limita sua aplicabilidade para $GL_n$ com $n \ge 3$ (já que tal fórmula não existe para $n \ge 3$), distinguindo sua abordagem das técnicas de limite superior mais gerais de Blomer.

O artigo conclui que, embora o resultado não gere imediatamente limites de subconvexidade (devido à falta de erro com economia de potência), ele representa um passo necessário para entender a distribuição desses valores $L$ e as restrições estruturais dos momentos de queda de condutor.