Chebotarev geodesic theorem: split case

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

Planteamiento del Problema
El artículo investiga el Teorema de los Geodésicos Primos (PGT, por sus siglas en inglés) para subgrupos de congruencia $\Gamma \subset SL_2(\mathbb{Z})$, centrándose específicamente en la distribución de geodésicos primos dentro de clases de conjugación específicas del grupo cociente $\bar{\Gamma} = \Gamma' \backslash \Gamma$, donde $\Gamma'$ es un subgrupo normal (típicamente un subgrupo de congruencia principal $\Gamma(q)$). Este problema es el análogo geodésico del Teorema de Densidad de Chebotarev en la teoría de números algebraicos.

Si bien el comportamiento asintótico $\Psi_\Gamma(X) \sim X$ está bien establecido (con términos de error $E_\Gamma(X)$), la tasa precisa de convergencia para el término de error en el caso de congruencia general, particularmente cuando se pondera mediante funciones de clase no triviales, sigue siendo un desafío central. Trabajos previos de Luo y Sarnak [LS95] y Soundararajan y Young [SY23] establecieron cotas fuertes para el caso $\Gamma = SL_2(\mathbb{Z})$ y subgrupos específicos, logrando un término de error de $O_\epsilon(X^{25/36+\epsilon})$. Sin embargo, extender estos resultados a funciones de clase arbitrarias en subgrupos de congruencia arbitrarios, y manejar las tecnicidades de las formas de Maass de peso 1 (que surgen cuando $-I \notin \Gamma(q)$), requería un desarrollo adicional.

Metodología
El autor emplea una combinación de teoría espectral, fórmulas de traza y técnicas de teoría analítica de números para generalizar resultados previos. La metodología avanza a través de varias etapas clave:

1. Reducción a Caracteres de Congruencia: Utilizando el teorema de Artin sobre caracteres inducidos y las propiedades de las funciones de clase inducidas, el problema de estimar sumas sobre funciones de clase arbitrarias se reduce a estimar sumas sobre caracteres de congruencia $\chi$ (Lema 2.1, Proposición 2.3). Esto permite que el enfoque se desplace hacia la suma de Chebyshev retorcida $\Psi_\Gamma(X; \chi)$.

2. Descomposición Espectral y Fórmulas de Traza: El artículo utiliza la fórmula de traza de Selberg y la fórmula de traza de Bruggeman–Kuznetsov. Un obstáculo técnico significativo abordado es la aplicación de la fórmula de Bruggeman–Kuznetsov a caracteres de congruencia donde las funciones de prueba deben satisfacer condiciones de crecimiento específicas. El autor adapta argumentos de Proskurin [Pro03] y relaja las condiciones sobre las funciones de prueba utilizando la cota de Weil sobre sumas de Kloosterman (Sección 3.6).

3. Construcción de Bases Ortonormales: Un componente crítico es la construcción de una base ortonormal de formas de cusp Maass para $(\Gamma, \chi)$ que interactúe bien con los operadores de Hecke. El autor demuestra la existencia de una base $\{u_j\}$ donde cada $u_j$ pertenece al espacio de oldspaces de giros (twists) de una nueva forma (newform) $f_j$ (Corolario 6.5). Este resultado estructural es esencial para expresar los promedios espectrales relevantes en términos de funciones $L$.

4. Promedios Espectrales y Funciones $L$:

   • Teorema 1.7 (Generalización de Luo-Sarnak): El autor generaliza el argumento de Luo-Sarnak a caracteres de congruencia arbitrarios. Esto implica estimar el promedio espectral de la serie de Rankin–Selberg ingenua $L(s; |u_j|^2)$. Al descomponer la base en oldspaces y utilizar la teoría de nuevas formas y giros, el autor establece una cota para el promedio de $|L(s; |u_j|^2)|^2$ en la línea crítica (Teorema 7.1). Esto se apoya en la criba espectral (spectral large sieve) y en las cotas para funciones $L adjuntas.
   • Teorema 1.8 (Generalización de Soundararajan-Young): El autor generaliza el enfoque de Soundararajan-Young utilizando la serie de Bykovskii–Zagier $Z(s; t)$. Esta serie expresa la contribución hiperbólica de la fórmula de traza en términos de funciones $L$ de Dirichlet. El autor demuestra una cota para $Z(s; t)$ en la línea crítica involucrando un exponente de subconvexidad admisible $\theta$ (Proposición 9.7), la cual depende de la factorización de $Z(s; t)$ en productos de funciones $L$ y la definición de exponentes admisibles (Definición 1.1).

5. Optimización: Los términos de error finales se derivan interpolando entre las cotas obtenidas de la estrategia de Luo-Sarnak (Teorema 1.7) y la estrategia de Soundararajan-Young (Teorema 1.8), optimizando los parámetros en las fórmulas explícitas derivadas de las fórmulas de traza.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.2): El artículo demuestra que para cualquier subgrupo de congruencia $\Gamma$, cualquier función de clase $f$ en $\bar{\Gamma}$, y cualquier exponente admisible $\theta > 0$, la suma de Chebyshev retorcida satisface:
  $$\Psi_\Gamma(X; f) = \langle f, 1_{\bar{\Gamma}} \rangle_{\bar{\Gamma}} X + O_{f, \theta, \epsilon}(X^{2/3 + \theta/6 + \epsilon}).$$
  Asumiendo que el exponente de subconvexidad $\theta = 1/6 + \epsilon$ (que es conocido como admisible por Petrow y Young [PY20, PY23]), el término de error incondicional es $O_{f, \epsilon}(X^{25/36 + \epsilon})$.

• Corolario 1.3 (PGT para Subgrupos de Congruencia): Como consecuencia directa, el Teorema de los Geodésicos Primos se cumple para cualquier subgrupo de congruencia $\Gamma$ con el término de error $E_\Gamma(X) = O_\epsilon(X^{25/36 + \epsilon})$. Esto fortalece la afirmación de [LRS95] de que la cota de Luo-Sarnak podría generalizarse.

• Corolario 1.4 (Teorema de Dirichlet Geodésico): El artículo establece un análogo geodésico del teorema de Dirichlet sobre progresiones aritméticas. Para cualquier $a \in \mathbb{Z}/q\mathbb{Z}$, la suma de geodésicos con traza congruente a $a$ módulo $q$ es asintóticamente proporcional al tamaño de la fibra del mapa de traza, con el mismo término de error $O(X^{25/36+\epsilon})$. Esto mejora los resultados previos en [CHK24] y [Dei25] respecto al término de error en el aspecto de $X$.

• Teoremas 1.7 y 1.8: Estos resultados intermedios proporcionan las cotas necesarias para las sumas exponenciales $S(T, X)$ sobre parámetros espectrales. El Teorema 1.7 generaliza la cota de Luo-Sarnak ($S(T, X) \ll T^{5/4}X^{1/8}$), y el Teorema 1.8 generaliza la cota de Soundararajan-Young ($S(T, X) \ll X^{1/4+\theta/2}T^{1/2}$).

Significado y Reivindicaciones
El artículo afirma proporcionar la primera prueba incondicional de que el teorema de Chebotarev geodésico se cumple con el exponente $25/36 + \epsilon$ para arbitrarios subgrupos de congruencia y arbitrarias funciones de clase. Esto unifica y extiende los resultados de Luo, Sarnak, Soundararajan y Young desde el caso específico de $SL_2(\mathbb{Z})$ y funciones constantes hacia el entorno general de los caracteres de congruencia.

El autor señala explícitamente que la configuración es ligeramente más general que el trabajo original de Sarnak [Sar80], ya que acomoda subgrupos de congruencia que no contienen $-I$ (requiriendo el tratamiento de formas de Maass de peso 1). La significancia reside en la adaptación exitosa de los argumentos del "caso dividido" (usando la serie de Bykovskii–Zagier y las convoluciones de Rankin–Selberg) a este contexto más amplio, confirmando así el comportamiento esperado del término de error para una amplia clase de variedades hiperbólicas. El artículo no pretende alcanzar la cota óptima conjeturada de $X^{1/2+\epsilon}$, señalando que tal cota permanece fuera de alcance, pero establece la mejor cota incondicional conocida actualmente para este entorno general.