Chebotarev geodesic theorem: split case

Resumo Técnico de "Chebotarev geodesic theorem: split case" por Alberto Acosta Reche

Enunciado do Problema
O artigo investiga o Teorema do Geodésica Prima (PGT) para subgrupos de congruência $\Gamma \subset SL_2(\mathbb{Z})$, focando especificamente na distribuição de geodésicas primas dentro de classes de conjugação específicas do grupo quociente $\bar{\Gamma} = \Gamma' \backslash \Gamma$, onde $\Gamma'$ é um subgrupo normal (tipicamente um subgrupo de congruência principal $\Gamma(q)$). Este problema é o análogo geodésico do Teorema de Densidade de Chebotarev na teoria dos números algébricos.

Embora o comportamento assintótico $\Psi_\Gamma(X) \sim X$ esteja bem estabelecido (com termos de erro $E_\Gamma(X)$), a taxa precisa de convergência para o termo de erro no caso de congruência geral, particularmente quando ponderada por funções de classe não triviais, permanece um desafio central. Trabalhos anteriores de Luo e Sarnak [LS95] e Soundararajan e Young [SY13] estabeleceram limites fortes para o caso $\Gamma = SL_2(\mathbb{Z})$ e subgrupos específicos, alcançando um termo de erro de $O_\epsilon(X^{25/36+\epsilon})$. No entanto, estender esses resultados para funções de classe arbitrárias em subgrupos de congruência arbitrários, e lidar com as tecnicalidades de formas de Maass de peso 1 (que surgem quando $-I \notin \Gamma(q)$), exigiu desenvolvimento adicional.

Metodologia
O autor emprega uma combinação de teoria espectral, fórmulas de traço e técnicas de teoria analítica dos números para generalizar resultados anteriores. A metodologia procede através de várias etapas fundamentais:

1. Redução a Caracteres de Congruência: Usando o teorema de Artin sobre caracteres induzidos e propriedades de funções de classe induzidas, o problema de estimar somas sobre funções de classe arbitrárias é reduzido à estimativa de somas sobre caracteres de congruência $\chi$ (Lema 2.1, Proposição 2.3). Isso permite que o foco mude para a soma de Chebyshev torcida $\Psi_\Gamma(X; \chi)$.

2. Decomposição Espectral e Fórmulas de Traço: O artigo utiliza a fórmula de traço de Selberg e a fórmula de traço de Bruggeman–Kuznetsov. Um obstáculo técnico significativo abordado é a aplicação da fórmula de Bruggeman–Kuznetsov para caracteres de congruência onde as funções de teste devem satisfazer condições de crescimento específicas. O autor adapta argumentos de Proskurin [Pro03] e relaxa as condições sobre as funções de teste usando o limite de Weil para somas de Kloosterman (Seção 3.6).

3. Construção de Bases Ortonormais: Um componente crítico é a construção de uma base ortonormal de formas de cusp Maass para $(\Gamma, \chi)$ que interaja bem com operadores de Hecke. O autor prova a existência de uma base $\{u_j\}$ onde cada $u_j$ pertence ao espaço de oldspaces de torções de uma nova forma $f_j$ (Corolário 6.5). Este resultado estrutural é essencial para expressar as médias espectrais em termos de funções $L$.

4. Médias Espectrais e Funções $L$:

   • Teorema 1.7 (Generalização de Luo-Sarnak): O autor generaliza o argumento de Luo-Sarnak para caracteres de congruência arbitrários. Isso envolve estimar a média espectral da série de Rankin–Selberg ingênua $L(s; |u_j|^2)$. Ao decompor a base em oldspaces e utilizar a teoria de novas formas e torções, o autor estabelece um limite para a média de $|L(s; |u_j|^2)|^2$ na linha crítica (Teorema 7.1). Isso se baseia no grande crivo espectral e em limites para funções $L$ adjuntas.
   • Teorema 1.8 (Generalização de Soundararajan-Young): O autor generaliza a abordagem de Soundararajan-Young usando a série de Bykovskii–Zagier $Z(s; t)$. Esta série expressa a contribuição hiperbólica para a fórmula de traço em termos de funções $L$ de Dirichlet. O autor prova um limite para $Z(s; t)$ na linha crítica envolvendo um expoente de subconvexidade admissível $\theta$ (Proposição 9.7), que depende da fatoração de $Z(s; t)$ em produtos de funções $L$ e da definição de expoentes admissíveis (Definição 1.1).

5. Otimização: Os termos de erro finais são derivados pela interpolação entre os limites obtidos pela estratégia de Luo-Sarnak (Teorema 1.7) e pela estratégia de Soundararajan-Young (Teorema 1.8), otimizando os parâmetros nas fórmulas explícitas derivadas das fórmulas de traço.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.2): O artigo prova que para qualquer subgrupo de congruência $\Gamma$, qualquer função de classe $f$ em $\bar{\Gamma}$, e qualquer expoente admissível $\theta > 0$, a soma de Chebyshev torcida satisfaz:
  $$\Psi_\Gamma(X; f) = \langle f, 1_{\bar{\Gamma}} \rangle_{\bar{\Gamma}} X + O_{f, \theta, \epsilon}(X^{2/3 + \theta/6 + \epsilon}).$$
  Assumindo que o expoente de subconvexidade $\theta = 1/6 + \epsilon$ (que é conhecido como admissível por Petrow e Young [PY20, PY23]), o termo de erro incondicional é $O_{f, \epsilon}(X^{25/36 + \epsilon})$.

• Corolário 1.3 (PGT para Subgrupos de Congruência): Como consequência direta, o Teorema da Geodésica Prima (PGT) é válido para qualquer subgrupo de congruência $\Gamma$ com o termo de erro $E_\Gamma(X) = O_\epsilon(X^{25/36 + \epsilon})$. Isso fortalece a afirmação de [LRS95] de que o limite de Luo-Sarnak poderia ser generalizado.

• Corolário 1.4 (Teorema de Dirichlet Geodésico): O artigo estabelece um análogo geodésico do teorema de Dirichlet sobre progressões aritméticas. Para qualquer $a \in \mathbb{Z}/q\mathbb{Z}$, a soma das geodésicas com traço congruente a $a$ módulo $q$ é assintoticamente proporcional ao tamanho da fibra do mapa de traço, com o mesmo termo de erro $O(X^{25/36+\epsilon})$. Isso melhora os resultados anteriores em [CHK24] e [Dei25] em relação ao termo de erro no aspecto $X$.

• Teoremas 1.7 e 1.8: Estes resultados intermediários fornecem os limites necessários para as somas exponenciais $S(T, X)$ sobre parâmetros espectrais. O Teorema 1.7 generaliza o limite de Luo-Sarnak ($S(T, X) \ll T^{5/4}X^{1/8}$), e o Teorema 1.8 generaliza o limite de Soundararajan-Young ($S(T, X) \ll X^{1/4+\theta/2}T^{1/2}$).

Significância e Alegações
O artigo alega fornecer a primeira prova incondicional de que o teorema de Chebotarev geodésico é válido com o expoente $25/36 + \epsilon$ para arbitrários subgrupos de congruência e arbitrárias funções de classe. Isso unifica e estende os resultados de Luo, Sarnak, Soundararajan e Young do caso específico de $SL_2(\mathbb{Z})$ e funções constantes para o cenário geral de caracteres de congruência.

O autor observa explicitamente que a configuração é ligeiramente mais geral que o trabalho original de Sarnak [Sar80], pois acomoda subgrupos de congruência que não contêm $-I$ (exigindo o tratamento de formas de Maass de peso 1). A significância reside na adaptação bem-sucedida dos argumentos do "caso dividido" (usando a série de Bykovskii–Zagier e convoluções de Rankin–Selberg) para este contexto mais amplo, confirmando o comportamento esperado do termo de erro para uma ampla classe de variedades hiperbólicas. O artigo não pretende atingir o limite conjecturado ideal de $X^{1/2+\epsilon}$, observando que tal limite permanece muito além do alcance atual, mas estabelece o melhor limite incondicional conhecido para este cenário geral.