Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

1. Planteamiento del Problema

El artículo aborda el problema de establecer huecos espectrales explícitos y uniformes para el operador de Laplace-Beltrami en recubrimientos de congruencia de Hecke de superficies hiperbólicas de área infinita.

• Contexto: Se estudian superficies $X = \Gamma \backslash \mathbb{H}^2$, donde $\Gamma$ es un subgrupo de Schottky de $\text{SL}_2(\mathbb{Z})$. Estos grupos son "delgados" (thin groups), es decir, tienen índice infinito en $\text{SL}_2(\mathbb{Z})$ y su dimensión de Hausdorff $\delta$ del conjunto límite es menor que 1.
• El Espectro: Para $\delta > 1/2$, el espectro puntual del Laplaciano en $X$ es finito y comienza en $\lambda_0 = \delta(1-\delta)$. El problema central es determinar el comportamiento de los autovalores "nuevos" (aquellos que aparecen en los recubrimientos pero no en la superficie base) en los recubrimientos de congruencia $X_0(p) = \Gamma_0(p) \backslash \mathbb{H}^2$.
• Objetivo: Mejorar los resultados existentes (como el teorema de Gamburd con un límite de $5/36$ o el de Bourgain-Gamburd-Sarnak que no es explícito) para obtener un límite inferior explícito para el segundo autovalor $\lambda_1$ que sea mayor, bajo ciertas condiciones sobre $\delta$ y la Hipótesis de Riemann Generalizada (GRH).

2. Metodología

La prueba combina herramientas de análisis espectral, teoría de grupos hiperbólicos y teoría de números analítica. Los pasos metodológicos clave son:

A. Reducción a Ceros de Funciones Zeta

Utilizando la fórmula de inducción de Venkov-Zograf, los nuevos autovalores de $X_0(p)$ se relacionan con los ceros de la función zeta de Selberg torcida $Z_\Gamma(s, \lambda_p^0)$, donde $\lambda_p^0$ es la representación inducida menos la identidad.

• El objetivo se transforma en estimar el número de ceros de esta función en el intervalo $[\sigma, \delta]$.

B. Operadores de Transferencia Refinados

El autor emplea la maquinaria de operadores de transferencia introducida por Dyatlov y Zworski.

• En lugar de usar el operador de transferencia estándar $L_{s,\rho}$, se utiliza una versión refinada $L_{\tau, s, \rho}$ dependiente de un parámetro de resolución $\tau$.
• Se demuestra que los ceros de la función zeta torcida coinciden con los ceros de la función zeta refinada $\zeta_\tau(s, \lambda_p^0) = \det(1 - L_{\tau, s, \lambda_p^0}^2)$.
• Esto permite acotar el número de ceros utilizando la fórmula de Jensen y la norma de Hilbert-Schmidt del operador: $\|L_{\tau, s, \lambda_p^0}\|_{HS}$.

C. Estimación de Normas de Hilbert-Schmidt

El núcleo técnico consiste en estimar la suma de las normas de Hilbert-Schmidt sobre un rango de primos:
$$\sum_{x/2 < p \leq x} \|L_{\tau, s, \lambda_p^0}\|_{HS}^2$$
Mediante una fórmula explícita (Lema 2.4), esta norma se descompone en trazas de la representación $\lambda_p^0$ sobre elementos del grupo $\Gamma$:
$$\text{tr}(\lambda_p^0(\gamma))$$

D. Teoría de Números y la Hipótesis de Riemann Generalizada (GRH)

El cálculo de las trazas revela una conexión profunda con la teoría de números:

• Para $\gamma \in \Gamma$ tal que $\gamma \not\equiv \pm I \pmod p$, se demuestra que $\text{tr}(\lambda_p^0(\gamma)) = \left( \frac{\text{tr}(\gamma)^2 - 4}{p} \right)$, donde $\left( \frac{\cdot}{p} \right)$ es el símbolo de Kronecker (una extensión del símbolo de Legendre).
• Esto convierte el problema en estimar sumas de caracteres cuadráticos sobre primos: $\sum_{p \sim x} \left( \frac{d}{p} \right)$.
• Bajo la Hipótesis de Riemann Generalizada (GRH) para funciones L cuadráticas, estas sumas están acotadas por $O(x^{1/2+\epsilon})$. Sin GRH, las cotas incondicionales conocidas son demasiado débiles para este propósito debido a la dependencia del conductor.

3. Contribuciones Clave

1. Mejora del Límite Espectral: El artículo establece un límite explícito para el espectro que supera el resultado clásico de Gamburd ($5/36$) para grupos de Schottky aritméticos.
2. Uso de Subgrupos de Hecke: Se centra específicamente en los subgrupos de congruencia de Hecke $\Gamma_0(p)$, en lugar de los subgrupos principales $\Gamma(p)$, lo que es relevante para aplicaciones aritméticas y dinámicas.
3. Conexión Explícita entre Espectro y Teoría de Números: Proporciona una derivación detallada que vincula la norma de Hilbert-Schmidt de operadores de transferencia con sumas de caracteres de Kronecker, justificando la necesidad de la GRH para obtener cotas fuertes.
4. Construcción de Ejemplos: Demuestra la existencia de grupos de Schottky con dimensión de Hausdorff $\delta > 3/4$ (incluso acercándose a 1), lo cual es necesario para que el teorema sea aplicable.

4. Resultados Principales

Teorema Principal (Teorema 1.4):
Sea $\Gamma \subset \text{SL}_2(\mathbb{Z})$ un grupo de Schottky con dimensión de Hausdorff $\delta > 3/4$. Asumiendo la Hipótesis de Riemann Generalizada para funciones L cuadráticas:

• Para cualquier $\eta > 0$, existe un subconjunto de densidad uno de primos $P$ tal que para todo $p \in P$:
  $$\Omega(X_0(p)) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right] \stackrel{m}{=} \Omega(X) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right]$$
• Esto implica que el segundo autovalor $\lambda_1(p)$ satisface:
  $$\lambda_1(p) \geq \min\left( \delta(1-\delta), \left(\frac{5}{6}\delta + \eta\right)\left(1 - \frac{5}{6}\delta - \eta\right) \right)$$
• El número de primos "excepcionales" (que no cumplen la condición) hasta $x$ está acotado por $O_\epsilon(x^{1 - \frac{3}{\delta}(\sigma - \frac{5}{6}\delta) + \epsilon})$.

Comparación de Límites:

• Gamburd (2000): Límite $\approx 5/36$ (requiere $\delta > 5/6$).
• Calderón-Magee (2022): Límite $\delta/6 + 2/3$ (requiere $\delta > 4/5$).
• Soares (Actual): Límite $\frac{5}{6}\delta$ (requiere $\delta > 3/4$).
  • Dado que $\frac{5}{6}\delta < \frac{\delta}{6} + \frac{2}{3}$, el intervalo de exclusión es más pequeño, lo que significa que el hueco espectral es más grande (mejor) que en trabajos anteriores.

5. Significado e Impacto

• Avance en Grupos Delgados: Este trabajo es uno de los primeros en obtener un hueco espectral explícito y uniforme para recubrimientos de congruencia de grupos delgados con una dimensión de Hausdorff relativamente baja ($\delta > 3/4$).
• Aplicaciones Dinámicas y Aritméticas: Los huecos espectrales explícitos son fundamentales para problemas de mezcla exponencial en flujos geodésicos, distribución de órbitas de grupos de Fuchsianos, y problemas de conteo en teoría de números (como el problema de Apollonian circle packings o la distribución de números primos en progresiones aritméticas relacionadas con estos grupos).
• Dependencia de la GRH: El resultado subraya que, para obtener cotas óptimas en este contexto de grupos delgados, la Hipótesis de Riemann Generalizada parece ser una herramienta necesaria con la tecnología actual, ya que las cotas incondicionales para sumas de caracteres no son lo suficientemente fuertes.

En resumen, Soares logra un salto cualitativo al combinar la teoría espectral de superficies hiperbólicas de área infinita con técnicas avanzadas de teoría de números, logrando un control más fino sobre la distribución de los autovalores en recubrimientos de congruencia.