Local average in the Hyperbolic sphere problem

Resumen Técnico: Promedio Local en el Problema de la Esfera Hiperbólica

Planteamiento del Problema
El artículo aborda el problema del conteo de puntos de red hiperbólicos para el grupo de Picard $\Gamma = \text{PSL}_2(\mathbb{Z}[i])$ actuando sobre el espacio hiperbólico tridimensional $\mathbb{H}^3$. El objeto central de estudio es la función de conteo $N(X, z)$, que enumera el número de traslaciones de la red $\gamma z$ dentro de una bola hiperbólica de radio $\cosh^{-1} X$ centrada en $z$.

La asíntota puntual clásica viene dada por $N(X, z) = c_\Gamma X^2 + O(X^{3/2})$. Mientras que el término principal $c_\Gamma X^2$ está bien comprendido, el exponente $3/2$ en el término de error no se ha podido mejorar para ningún punto $z$ ni para otros grupos distintos al grupo de Picard. Los autores investigan si el promediar la función de conteo sobre una región local (mediante una función de prueba suave) puede producir un exponente de error menor, condicionado a hipótesis espectrales específicas.

Metodología
Los autores emplean la teoría espectral de las formas automórficas para analizar el promedio local de la función de conteo. La metodología procede a través de los siguientes pasos:

1. Expansión Espectral: La función de conteo se expresa mediante la transformada de Selberg de la función indicadora de una bola. Esto conduce a una expansión espectral que involucra las autofunciones $u_j$ del Laplaciano hiperbólico y las series de Eisenstein.
2. Promedio Local: Para eliminar la dependencia de las autofunciones específicas $|u_j(z)|^2$, los autores integran la expansión contra una función de prueba suave de soporte compacto en la variedad cociente $\Gamma \backslash \mathbb{H}^3$.
3. Aplicación de Hipótesis: La demostración se basa en dos hipótesis condicionales relativas a las propiedades espectrales de $\Gamma$:
   • Hipótesis QV (Varianza Cuántica): Una cota sobre la varianza de las medidas espectrales $d\mu_j(z) = |u_j(z)|^2 d\mu(z)$ frente a la medida uniforme. Específicamente, asume una cota de orden $T^{q+\epsilon}$ para la suma de las desviaciones cuadráticas de las integrales espectrales hasta la altura $T$.
   • Hipótesis STX (Suma Exponencial Espectral): Una cota sobre la suma exponencial $S(T, X) = \sum_{0 < r_j \le T} X^{ir_j}$, donde $r_j$ son los parámetros espectrales. Esta suma es central para el Teorema de los Géodesicos Primos.
4. Aproximación y Suavizado: Para manejar la discontinuidad de la función indicadora, los autores construyen aproximaciones suaves $k_\pm$ desde arriba y desde abajo utilizando la convolución hiperbólica. Esto permite la aplicación de la expansión espectral con mejores propiedades de decaimiento en la transformada de Selberg.
5. Equilibrio de Errores: El término de error final se deriva equilibrando las contribuciones de la cota de la varianza cuántica (que depende del parámetro de suavizado $\eta$) y de la cota de la suma exponencial espectral (que depende del parámetro de truncamiento $T$).

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.1, que establece una fórmula asintótica para el promedio local de la función de conteo:
$$\int_{\Gamma \backslash \mathbb{H}^3} N(X, z)f(z) d\mu(z) = \frac{\pi}{2} \bar{f} X^2 + O_{f, \epsilon, \theta, q} \left( X^{\frac{6-4\theta}{5-4\theta} + \epsilon} + X^{\frac{2q}{q+1} + \epsilon} \right)$$
donde $\bar{f}$ es el valor promedio de $f$, y $q \in [1, 3]$ es el exponente en la Hipótesis QV, y $\theta \in [0, 1/4]$ se relaciona con el exponente de subconvexidad en la Hipótesis STX.

• Mejora sobre las Cotas Puntuales: El artículo demuestra que, bajo estas hipótesis, el exponente de error en el promedio local puede ser estrictamente menor que la cota puntual de $3/2$.
• Exponentes Específicos:
  • Si la Hipótesis QV se cumple con $q=1$ (el valor óptimo conjeturado) y la Hipótesis STX se cumple con la estimación más fuerte conocida ($\theta=0$), el término de error es $O(X^{6/5+\epsilon})$.
  • Utilizando la cota de convexidad para STX ($\theta=1/4$) y $q \le 5/3$, el error es $O(X^{5/4+\epsilon})$.
• Comparación con la Dimensión 2: Los autores señalan que en el caso bidimensional (grupo modular), la cota de la varianza cuántica es un teorema (Luo y Sarnak), y la suma exponencial espectral ha sido estudiada extensamente. En tres dimensiones, la cota de la varianza cuántica sigue siendo una conjetura, aunque la suma espectral ha sido analizada en el contexto del Teorema de los Géodesicos Primos.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco riguroso para mejorar el término de error en el problema de la esfera hiperbólica mediante el promedio local, supeditado a conjeturas espectrales establecidas pero no probadas.

• Naturaleza Condicional: Los autores declaran explícitamente que su mejora es condicional. No pretenden probar la cota de la varianza cuántica para el grupo de Picard, sino demostrar que si esta se cumple (junto con la cota de la suma espectral), el término de error mejora significativamente.
• Optimalidad: El artículo sugiere que si la Hipótesis STX se cumple con los exponentes $(2, 0)$ y la Hipótesis QV se cumple con $q=1$, el término de error resultante sería óptimo, de forma análoga a los resultados conocidos en el caso bidimensional.
• Cotas Inferiores: Los autores reconocen las cotas inferiores existentes (Phillips y Rudnick) que sugieren que el resto no puede ser menor que $\Omega(X^{(n-1)/2} (\log \log X)^{(n-1)/2n - \epsilon})$. Para $n=3$, esto es aproximadamente $X^1$. Los resultados de los autores se acercan a esta cota inferior bajo las suposiciones más fuertes, sugiriendo que el promedio local captura mejor el orden de magnitud "real" del error que el caso puntual.

El trabajo sirve como un puente entre la teoría espectral de las formas automórficas en tres dimensiones y el problema geomético del conteo de puntos de red, destacando el papel específico de la varianza cuántica y las sumas exponenciales espectrales en el control del término de resto.