On a level analog of Selberg's result on $S(t)$

Resumo Técnico: Um Análogo de Nível para o Resultado de Selberg sobre $S(t, f)$

1. O Problema e o Contexto

O artigo aborda o comportamento estatístico dos zeros da função $L$ associada a formas de cusp holomorfas de Hecke, especificamente focando no argumento da função $L$ na linha crítica.

• Definição do Objeto de Estudo: Seja $f$ uma forma de cusp holomorfa de Hecke de peso 2 e nível $q$ (onde $q$ é um número primo grande). Define-se a função:
  $$S(t, f) := \frac{1}{\pi} \arg L\left(\frac{1}{2} + it, f\right)$$
  onde o argumento é definido pela variação contínua ao longo da linha horizontal de $\sigma = +\infty$ até $\sigma = 1/2$.
• Antecedentes Históricos:
  • Selberg (1946): Estabeleceu resultados fundamentais sobre $S(t)$ para a função Zeta de Riemann e $S(t, \chi)$ para funções $L$ de Dirichlet. Ele provou que os momentos pares de $S(t)$ crescem como $(\log \log T)^n$, implicando que $|S(t)|$ tem ordem de magnitude $\sqrt{\log \log T}$ em média.
  • Análogos Espectrais e de Peso: Resultados anteriores existiam para formas de Maass e formas holomorfas no aspecto de peso (fixando o nível e variando o peso), muitas vezes dependendo da Hipótese de Riemann Generalizada (GRH) ou usando estimativas de densidade de zeros condicionais.
• A Lacuna: Não existia um resultado incondicional (sem assumir GRH) para os momentos de $S(t, f)$ no aspecto de nível (variando o nível $q$ para formas de peso fixo 2).

2. Metodologia

Os autores desenvolvem uma abordagem analítica sofisticada que combina teoria de números analítica, propriedades de funções $L$ e estimativas de densidade de zeros.

• Aproximação por Séries de Dirichlet:

  • O núcleo da prova é a aproximação de $S(t, f)$ por uma soma truncada de uma série de Dirichlet. Eles definem uma variável auxiliar $x$ (dependente de $q$) e aproximam $S(t, f)$ por:
    $$M(t, f) = \frac{1}{\pi} \text{Im} \sum_{p \le x^3} \frac{C_f(p) \Lambda_x(p)}{p^{1/2+it} \log p}$$
    onde $C_f(p)$ são coeficientes relacionados aos autovalores de Hecke e $\Lambda_x$ é uma função de corte suave.
  • O termo de erro $R(t, f) = S(t, f) - M(t, f)$ é controlado rigorosamente.

• Uso de Estimativas de Densidade de Zeros Ponderadas:

  • Para evitar a dependência da GRH, os autores utilizam uma estimativa de densidade de zeros ponderada (Lemma 2.4, baseada em Kowalski-Michel). Esta estimativa limita o número de zeros de $L(s, f)$ fora da linha crítica ($\beta > 1/2$) somados sobre a família de formas $f$, com pesos harmônicos $\omega_f$.
  • Isso permite controlar a contribuição dos zeros fora da linha crítica na aproximação da função $S(t, f)$.

• Fórmula de Rastreamento de Petersson:

  • Para calcular os momentos da parte principal $M(t, f)$, os autores expandem a potência $n$-ésima da soma e aplicam a Fórmula de Rastreamento de Petersson (Lemma 2.2).
  • Isso permite transformar somas sobre formas modais em somas sobre coeficientes de Fourier, onde a relação de ortogonalidade $\sum \omega_f \lambda_f(m)\lambda_f(n) \approx \delta_{m,n}$ é crucial. Apenas os termos diagonais ($m=n$) contribuem significativamente para o momento principal.

• Teorema do Limite Central Ponderado:

  • Após estabelecer a fórmula assintótica para os momentos, eles aplicam o Teorema do Limite de Momentos (Lemma 2.5) para deduzir a distribuição de probabilidade.

3. Contribuições Principais e Resultados

Teorema 1.1 (Fórmula Assintótica para Momentos):
Os autores provam que, para um número primo $q$ suficientemente grande e $n \in \mathbb{N}$, os momentos ponderados de $S(t, f)$ satisfazem:
$$\sum_{f \in H_2(q)} \omega_f \cdot S(t, f)^n = C_n (\log \log q)^{n/2} + O_{t,n}\left( (\log \log q)^{(n-1)/2} \right)$$
Onde:

• $\omega_f$ são pesos harmônicos definidos via produto interno de Petersson.
• $C_n = \frac{n!}{(n/2)! (2\pi)^n}$ se $n$ é par, e $0$ se $n$ é ímpar.
• Consequência: Isso confirma que, em média, $|S(t, f)|$ tem ordem de magnitude $\sqrt{\log \log q}$.

Teorema 1.2 (Teorema do Limite Central Ponderado):
Como consequência direta do Teorema 1.1, a distribuição de probabilidade de $S(t, f)$ normalizada por $\sqrt{\log \log q}$ converge para uma distribuição Gaussiana (Normal) quando $q \to \infty$.

• Média: $0$
• Variância: $(2\pi^2)^{-1}$
• Formalmente, a medida $\mu_q$ converge para:
  $$\lim_{q \to \infty} \mu_q([a, b]) = \sqrt{\pi} \int_a^b \exp(-\pi^2 \xi^2) d\xi$$

Inovação Técnica:

• Incondicionalidade: O resultado é provado sem assumir a Hipótese de Riemann Generalizada (GRH), o que é uma melhoria significativa em relação a trabalhos anteriores que tratavam de casos similares no aspecto espectral.
• Aspecto de Nível: Estende o trabalho clássico de Selberg (que era para a linha crítica da Zeta e caracteres de Dirichlet) para o contexto de formas modulares no aspecto de nível.

4. Significado e Impacto

1. Unificação Teórica: O trabalho preenche uma lacuna importante na teoria analítica dos números, conectando o comportamento dos argumentos de funções $L$ de formas modulares com os resultados clássicos de Selberg, mas em um contexto onde a GRH não é necessária.
2. Validação de Modelos Probabilísticos: A prova de que a distribuição é Gaussiana reforça a conjectura de que os zeros de funções $L$ (e seus argumentos) se comportam estatisticamente como os autovalores de matrizes aleatórias (Teoria de Matrizes Aleatórias), mesmo no aspecto de nível.
3. Ferramentas Analíticas: O desenvolvimento de uma aproximação precisa via séries de Dirichlet truncadas, combinada com estimativas de densidade de zeros ponderadas, fornece um novo conjunto de ferramentas que pode ser aplicado a outros problemas envolvendo momentos de funções $L$ de ordem superior ou famílias de formas modulares.
4. Aplicabilidade: Os resultados são relevantes para a compreensão da distribuição de zeros de funções $L$ e para a análise de valores extremos de funções $L$ no nível crítico.

Em suma, este artigo estabelece um marco fundamental ao fornecer uma descrição assintótica completa e incondicional dos momentos de $S(t, f)$ no aspecto de nível, generalizando o trabalho seminal de Selberg para formas de cusp holomorfas.