One-level density of zeros of $\Gamma_1(q)$ $L$-functions

Resumo Técnico: Densidade de Nível Único dos Zeros das Funções L de $\Gamma_1(q)$

Enunciado do Problema
O artigo investiga a distribuição estatística dos zeros de funções L automórficas, focando especificamente na densidade de nível único de uma grande família unitária de funções L de $GL_2$ associadas ao subgrupo de congruência $\Gamma_1(q)$. O problema central é determinar o suporte admissível da transformada de Fourier da função teste, $\hat{\phi}$, para a qual a densidade de nível único coincide com a previsão da filosofia de Katz–Sarnak.

Enquanto a conjectura de Katz–Sarnak prevê que as estatísticas locais dos zeros em famílias naturais correspondem aos autovalores de matrizes aleatórias de um grupo de simetria específico (neste caso, o grupo unitário $U$), resultados anteriores para famílias unitárias foram restritos a um suporte de $\text{supp } \hat{\phi} \subset (-2, 2)$. Estender esse suporte para além da faixa "diagonal" é um desafio significativo na teoria dos números analítica, pois exige o controle dos termos fora da diagonal na fórmula explícita com maior precisão. O artigo busca responder se as propriedades estruturais da família de funções L (especificamente a estrutura $GL_2$) permitem um suporte maior do que aquele ditado exclusivamente pelo grupo de simetria.

Metodologia
O autor emprega a fórmula explícita para relacionar a soma da função teste sobre os zeros das funções L às somas sobre potências de primos. O trabalho técnico central envolve limitar as contribuições fora da diagonal que surgem da fórmula de traço de Petersson aplicada à família de formas de cusp em $S_k(\Gamma_1(q))$.

As etapas metodológicas-chave incluem:

1. Fórmula Explícita e Fórmula de Traço: A densidade de nível único é expressa como uma integral mais uma soma sobre potências de primos envolvendo coeficientes de Fourier $\lambda_f(n)$. A soma sobre a família é avaliada usando uma fórmula do tipo Petersson, que decompõe a soma em um termo diagonal (gerando o termo principal) e termos fora da diagonal envolvendo funções de Bessel e somas exponenciais.
2. Decomposição dos Termos Fora da Diagonal: A soma fora da diagonal é dividida com base na relação entre o primo $p$ e os módulos $s, t$ que surgem da fórmula de traço. A soma é ainda decomposta em contribuições do caractere trivial e de caracteres de Dirichlet não triviais.
3. Decomposição Diádica e Transformadas de Mellin: As somas são analisadas em três regiões de transição distintas definidas pelo comportamento da função de Bessel $J_{k-1}$ e dos termos exponenciais:
   • Caso 1: $P/q \ll ST$ (onde $P$ é o tamanho do primo e $S, T$ são os tamanhos de $s, t$).
   • Caso 2: $\sqrt{P}/q \ll ST \ll P/q$.
   • Caso 3: $\sqrt{P}/q \gg ST$.
     Nessas regiões, o autor utiliza decomposição diádica, representações por transformada de Mellin das funções exponencial e de Bessel, e técnicas de deslocamento de contorno.
4. Hipótese de Riemann Generalizada (GRH): A Hipótese de Riemann Generalizada (GRH) é assumida ao longo de todo o trabalho para limitar as derivadas das funções L e para deslocar os contornos de integração para a direita, garantindo a convergência e a pequenez dos termos de erro.
5. Somas de Caracteres: Para caracteres não triviais, o autor aplica desigualdades de Cauchy-Schwarz e relações de ortogonalidade de caracteres de Dirichlet para limitar as somas, aproveitando o Lema 2.4 (limites para somas de primos torcidas por caracteres) para controlar os termos de erro.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1, que estabelece a densidade de nível único para a família de funções L de $\Gamma_1(q)$ (com peso $k \ge 3$ ímpar e $q$ primo) sob a GRH.

• Suporte Estendido: O artigo prova que a previsão de Katz–Sarnak vale para funções teste com suporte da transformada de Fourier no intervalo $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$. Isso estende o limite anteriormente conhecido de $(-2, 2)$ para famílias unitárias.
• Proporção de Não-Anulação: Como aplicação direta (Corolário 1.2), o autor deriva um limite inferior para a proporção de formas na família que não se anulam no ponto central $s=1/2$. O resultado afirma que pelo menos $5/8$ (62,5%) das formas na família não se anulam no ponto central.
• Insight Estrutural: O artigo demonstra que a estrutura $GL_2$ da família é o fator decisivo na extensão do suporte, e não apenas o grupo de simetria unitário. Isso desafia a noção de que o grupo de simetria sozinho dita o limite de largura de banda, mostrando que famílias maiores com propriedades estruturais específicas (como a família $GL_2$ aqui) podem alcançar suportes comparáveis ou superiores aos de famílias ortogonais.

Significado
O artigo afirma que a proporção de não-anulação de 62,5% é o recorde mais alto para qualquer família associada a um grupo unitário. O significado do trabalho reside em duas áreas principais:

1. Informação Aritmética Refinada: Ao estender o suporte da função teste para $(-8/3, 8/3)$, o resultado fornece informações aritméticas mais refinadas, especificamente limites mais fortes sobre a proporção de valores centrais de funções L não nulos.
2. Compreensão Estrutural: O trabalho indica que o "limite de largura de banda" para o suporte da transformada de Fourier não é determinado exclusivamente pelo grupo de simetria (unitário versus ortogonal), mas é fortemente influenciado pelas propriedades estruturais mais finas da família de funções L. A capacidade de empurrar o suporte para $8/3$ para uma família unitária $GL_2$, enquanto resultados anteriores de famílias unitárias $GL_1$ estavam limitados a $2$ (ou ligeiramente acima com hipóteses extras), destaca o poder da estrutura $GL_2$ no controle dos termos fora da diagonal.

O autor observa que as técnicas desenvolvidas podem ser estendidas para estudar densidades de níveis superiores da mesma família com o mesmo suporte, uma direção que está atualmente sendo investigada. O artigo não propõe novas aplicações experimentais, mas foca no avanço teórico da conjectura de densidade de nível único dentro do quadro da teoria dos números analítica.