Moments and joint nonvanishing of symplectic $L$-functions

1. Problema e Contexto

O artigo aborda o problema de avaliar assintoticamente momentos de funções L associadas a formas de Siegel holomorfas de grau 2 (espécie $Sp(4, \mathbb{Z})$) e peso $k$ grande. Especificamente, os autores investigam um momento misto envolvendo duas funções L fundamentais associadas a uma forma própria $F$:

1. A Função L de Spinor ($L(s, F)$), de grau 4.
2. A Função L Padrão ($D(s, F)$), de grau 5.

O Desafio Principal:
Enquanto momentos de funções L de spinor para formas de Siegel já foram estudados (referência [Bl]), a função L padrão é significativamente mais complexa devido à sua expansão em série de Dirichlet, que envolve coeficientes de Fourier de matrizes inteiras $a_F(MM^\top)$ em vez de apenas coeficientes radiais. Até o momento, não existiam resultados de momentos para a função L padrão neste contexto. O objetivo é calcular o valor esperado (momento de primeira ordem) de $D(1/2, F)$ sobre uma base de formas próprias, ponderado por pesos harmônicos, e utilizar esse resultado para estabelecer propriedades de não-anulação conjunta.

2. Metodologia

A estratégia de prova combina análise espectral, teoria dos números analítica e técnicas avançadas de soma exponencial.

A. Fórmula de Soma Espectral (Fórmula de Kitaoka)

Os autores utilizam a fórmula de soma espectral de Kitaoka para $Sp(4, \mathbb{Z})$, que é o análogo de grau superior da famosa fórmula de Petersson para formas modulares elípticas. Esta fórmula permite somar coeficientes de Fourier sobre o espaço de formas de cusp de peso $k$.

• A fórmula decompõe a soma em três partes: um termo diagonal, um termo de posto 1 e um termo de posto 2.
• Os termos não diagonais envolvem somas de Kloosterman matriciais e funções de Bessel matriciais, que são os objetos mais difíceis de analisar.

B. Equação Funcional Aproximada

Para avaliar $D(1/2, F)$, os autores inserem uma equação funcional aproximada na fórmula de Kitaoka. Isso transforma o problema em uma soma sobre coeficientes de Fourier ponderada por uma função de corte suave $W(x)$.

C. Análise dos Termos Não-Diagonais (O Núcleo Técnico)

O coração da prova reside na obtenção de limites de "economia de potência" (power saving) para os termos de erro, superando limites triviais que falhariam.

1. Termo de Posto 1:

   • Envolve somas de Kloosterman do tipo $H^\pm(P, S; c)$ e funções de Bessel $J_\ell$.
   • O limite trivial não é suficiente. Os autores aplicam uma soma de Poisson adicional sobre a variável de matriz.
   • Eles provam um lema (Lema 1) que demonstra uma cancelamento de raiz quadrada nessas somas exponenciais matriciais, essencial para controlar o termo.

2. Termo de Posto 2:

   • Este é a parte mais difícil, envolvendo somas de Kloosterman matriciais completas e funções de Bessel matriciais $J_\ell$.
   • Estratégia de Coordenadas: Os autores introduzem um sistema de coordenadas inteligente para medir o quão "próxima" a matriz $NJ^{-1}$ está de ser ortogonal.
   • Eles decompõem o espaço das matrizes em subespaços $W_+$ e $W_-$, onde a oscilação da função de Bessel é mínima (caso ortogonal) ou máxima.
   • Aplicam a soma de Poisson apenas nas variáveis "longas" (aquelas que não estão próximas da condição de ortogonalidade), enquanto tratam as variáveis "curtas" (próximas da ortogonalidade) de forma diferente.
   • Utilizam expansões assintóticas uniformes de Olver para as funções de Bessel e integrais oscilatórias (Lema 2) para mostrar que a contribuição é negligenciável fora de regiões específicas.

3. Resultados Principais

Teorema 1: Fórmula Assintótica do Momento

Os autores provam que o momento misto $M_k$ satisfaz:
$$M_k := \sum_{F \in B_k^{(2)}} \omega_F D(1/2, F) = 2L(3/2, \chi_{-4}) \log k + c_0 + O(k^{-\eta})$$
onde:

• $\omega_F$ são os pesos harmônicos (que, pela conjectura de Böcherer, são valores especiais de produtos de funções L).
• $c_0$ é uma constante explícita envolvendo a derivada de $L(3/2, \chi_{-4})$ e constantes de Euler-Mascheroni.
• A contribuição das formas que são "lifts" de Saito-Kurokawa é negligenciável.
• O erro é $O(k^{-\eta})$ para qualquer $\eta < 1/4$, o que representa uma economia de potência significativa.

Corolário 2: Não-Anulação Conjunta

Como consequência imediata do Teorema 1, para $k$ suficientemente grande, existe pelo menos uma forma $F$ na base tal que:
$$L(1/2, F) \neq 0, \quad L(1/2, F \times \chi_{-4}) \neq 0, \quad \text{e} \quad D(1/2, F) \neq 0.$$
Além disso, $D(1/2, F) > 0$. Este é um resultado de não-anulação conjunta para três funções L distintas simultaneamente.

Corolário 3: Limite Inferior para o Segundo Momento

Os autores estabelecem um limite inferior para o segundo momento da função L padrão:
$$\sum_{F \in \tilde{B}_k^{(2)}} \frac{|D(1/2, F)|^2}{L(1, \pi_F, \text{Ad})} \gg k^3.$$
Isso confirma que o tamanho do momento é da ordem esperada para famílias do tipo simplético (com fator logarítmico esperado em trabalhos futuros com mollificação).

4. Contribuições Chave

1. Primeiro Momento da Função L Padrão: É o primeiro resultado conhecido sobre o momento da função L padrão de grau 5 para formas de Siegel de grau 2.
2. Técnicas de Análise de Bessel Matricial: O desenvolvimento de uma análise detalhada das funções de Bessel matriciais, especialmente a quantificação da proximidade com matrizes ortogonais e a adaptação da soma de Poisson a esse contexto, é uma contribuição técnica inovadora.
3. Cancelamento em Somas Exponenciais Matriciais: A prova do Lema 1, que estabelece cancelamento de raiz quadrada para somas de Kloosterman do tipo $H^\pm$, pode ser de interesse independente para outros problemas em teoria dos números.
4. Não-Anulação Conjunta: Estabelece a existência de formas de Siegel onde múltiplas funções L não se anulam simultaneamente no ponto central, um problema fundamental na teoria de L-functions.

5. Significado e Impacto

Este trabalho preenche uma lacuna importante na teoria das funções L para grupos de Lie de posto superior ($Sp(4)$).

• Conexão com Conjecturas: Os resultados fornecem suporte empírico e teórico para conjecturas sobre a distribuição de valores de funções L e a densidade de zeros.
• Metodologia: A abordagem combinando a fórmula de Kitaoka com análise assintótica refinada de funções de Bessel matriciais abre caminho para o estudo de momentos de outras funções L de grau superior e para a análise de famílias de formas modulares de grau superior.
• Aplicações Futuras: Os autores sugerem que, com argumentos de "mollification" (suavização) combinados com seus resultados, seria possível obter limites superiores precisos para o segundo momento e provar que uma proporção positiva das formas na família tem $D(1/2, F) \neq 0$.

Em resumo, o artigo representa um avanço significativo na análise espectral de formas modulares de Siegel, resolvendo um problema técnico complexo envolvendo funções L de grau 5 e estabelecendo novos marcos para a não-anulação de funções L em famílias de posto superior.