One-level densities of large even and odd orthogonal families of automorphic L-functions

Resumo Técnico: Densidades de Nível Único de Famílias Grandes de L-Funções Automorfas Ortogonais Pares e Ímpares

Enunciado do Problema
Este artigo investiga a distribuição de zeros de baixa ordem de L-funções associadas a formas de cuspide primitivas de nível $q$ e peso fixo $k \geq 4$. Especificamente, os autores estudam a "densidade de nível único" desses zeros, média sobre níveis sem fatores quadrados $q$. O estudo distingue entre duas sub-famílias com base no sinal da equação funcional: a família par ($\varepsilon_{f,q} = 1$) e a família ímpar ($\varepsilon_{f,q} = -1$).

A heurística central que orienta este trabalho é a filosofia de Katz-Sarnak, que prevê que a distribuição estatística dos zeros de L-funções em uma família espelha a distribuição de autovalores de matrizes aleatórias de um grupo de simetria específico (neste caso, o grupo ortogonal). Embora resultados anteriores tenham estabelecido essa correspondência para níveis fixos ou média sobre todos os níveis, este artigo aborda o desafio específico de média sobre níveis sem fatores quadrados enquanto separa as famílias par e ímpar. Essa separação é crucial porque o sinal da equação funcional dita o comportamento de anulação no ponto central $s=1/2$: formas ímpares anulam-se em $s=1/2$, enquanto formas pares são conjecturadas como não nulas.

Metodologia
Os autores empregam técnicas da teoria analítica dos números, baseando-se principalmente na fórmula explícita que relaciona somas sobre zeros a somas sobre potências de primos, combinada com a fórmula de traço de Kuznetsov.

1. Fórmula Explícita e Números de Raiz: O núcleo da análise envolve a média da fórmula explícita sobre a família. Um passo técnico crítico é a inclusão do número de raiz $\varepsilon_{f,q}$ na média. Para $q$ sem fatores quadrados, o número de raiz é explicitamente dado por $\varepsilon_{f,q} = i^k \mu(q) \lambda_f(q) \sqrt{q}$. Os autores tratam as somas com e sem o número de raiz separadamente para isolar as contribuições par e ímpar.
2. Fórmulas de Traço: Para avaliar as somas sobre os coeficientes de Fourier $\lambda_f(n)$, os autores utilizam a fórmula de traço de Petersson para novas formas (especificamente a versão de Iwaniec, Luo e Sarnak) e a fórmula de traço de Kuznetsov. Essas ferramentas permitem a conversão de somas espectrais em somas aritméticas envolvendo somas de Kloosterman e funções de Bessel.
3. Hipótese de Riemann Generalizada (GRH): A Hipótese de Riemann Generalizada (GRH) é assumida ao longo de todo o trabalho. Essa suposição é usada para limitar somas sobre primos e garantir a convergência e as estimativas do termo de erro necessárias para as aplicações da fórmula de traço.
4. Análise de Fourier: O suporte da transformada de Fourier da função teste, $\hat{\Phi}$, é um parâmetro chave. Os autores estendem o suporte admissível de $\hat{\Phi}$ para o intervalo $(-3, 3)$. Essa extensão requer um manuseio delicado dos termos de erro decorrentes da fórmula de traço, particularmente quando o número de raiz está envolvido.
5. Otimização para Não Anulação: Para derivar resultados de não anulação, os autores formulam um problema de otimização envolvendo a razão de integrais da função teste contra os núcleos de simetria. Eles utilizam métodos de espaços de Hilbert de núcleo reprodutor (referenciando Freeman e Miller) para determinar as constantes ótimas para a proporção de formas não nulas.

Contribuições e Resultados Principais

• Suporte Estendido para Densidade de Nível Único: O resultado principal (Teorema 1.1) prova a conjectura de densidade de nível único para as famílias ortogonais par e ímpar de L-funções automorfas $GL(2)$, média sobre níveis sem fatores quadrados. Os autores estabelecem que a conjectura vale quando a transformada de Fourier da função teste, $\hat{\Phi}$, tem suporte compacto em $(-3, 3)$.

  • Para a família par, o núcleo de densidade é $W_{\text{even}}(x) = 1 + \frac{\sin(2\pi x)}{2\pi x}$.
  • Para a família ímpar, o núcleo de densidade é $W_{\text{odd}}(x) = 1 - \frac{\sin(2\pi x)}{2\pi x} + \delta_0(x)$.
  • Os autores observam que, embora um resultado anterior dos dois primeiros autores com Baluyot tenha alcançado suporte em $(-4, 4)$ para a família ortogonal completa, a inclusão do número de raiz para separar as famílias par e ímpar apresenta atualmente uma barreira, limitando o suporte a $(-3, 3)$.

• Proporções de Não Anulação Melhoradas: Aproveitando o suporte estendido de $(-3, 3)$, os autores derivam limites inferiores mais fortes para a proporção de valores L e derivadas não nulas no ponto central (Corolário 1.3).

  • Família Par: Pelo menos 69,8% das formas na família par têm $L(1/2, f) \neq 0$. Isso melhora o limite de $(50-\epsilon)\%$ derivado de resultados com suporte limitado a $(-2, 2)$ ou da aplicação não otimizada do resultado de $(-4, 4)$.
  • Família Ímpar: Como $L(1/2, f) = 0$ para formas ímpares, o foco está na derivada. Os autores mostram que pelo menos 97,8% das formas na família ímpar têm $L'(1/2, f) \neq 0$.

• Identificação de Barreira Técnica: O artigo identifica explicitamente a dificuldade em estender o suporte além de $(-3, 3)$ para as famílias separadas. Os autores sugerem que essa limitação surge fundamentalmente porque seus métodos atuais não produzem uma redução no condutor quando o suporte excede essa faixa. Eles postulam que novas melhorias podem exigir uma versão mais poderosa da fórmula de traço de Kuznetsov em $GL(3)$.

Significância
O artigo reivindica significância principalmente no contexto da compreensão da não anulação de valores centrais L, um problema central na teoria dos números com implicações para a conjectura de Birch e Swinnerton-Dyer e outras questões aritméticas. Ao separar as famílias par e ímpar e estender o suporte da função teste para $(-3, 3)$, os autores alcançam os resultados de não anulação mais fortes conhecidos para essas famílias específicas, condicionados à GRH.

O trabalho refina a compreensão da filosofia de Katz-Sarnak no contexto de corpos de números, demonstrando que o comportamento estatístico dos zeros se alinha com a teoria de matrizes aleatórias mesmo ao média sobre níveis sem fatores quadrados e separando por número de raiz. Os autores permanecem modestos quanto ao limite de $(-3, 3)$, reconhecendo-o como uma "barreira natural" para sua metodologia atual, em vez de um limite definitivo da própria conjectura.