Coexact $1$-form spectral gaps of hyperbolic rational homology spheres

Resumen Técnico

1. El Problema

El artículo aborda el estudio del espectro de la forma 1-exacta coexacta ($\lambda^*_1$) en variedades hiperbólicas tridimensionales que son esferas de homología racional (manifolds cerrados hiperbólicos con $b_1(Y)=0$).

• Contexto: Este espectro está estrechamente relacionado con la conjetura de Bergeron-Venkatesh sobre el crecimiento de la homología de torsión en recubrimientos congruentes.
• Desafío: A diferencia del espectro de funciones (donde el gap espectral $\lambda_1$ está acotado inferiormente por la constante de Cheeger), el gap $\lambda^*_1$ para formas 1-coexactas en el espacio hiperbólico $\mathbb{H}^3$ tiene un comportamiento cualitativamente diferente (su espectro $L^2$ comienza en 0).
• Objetivo: Construir familias infinitas de esferas de homología racional hiperbólicas donde el gap espectral $\lambda^*_1$ esté uniformemente acotado inferiormente (es decir, $\lambda^*_1 \geq c > 0$ para toda la familia) y determinar los puntos límite de estas secuencias de gaps. Además, se busca responder a preguntas sobre la existencia de ejemplos aritméticos y la relación con la teoría de Floer.

2. Metodología

Los autores desarrollan una construcción geométrica y topológica específica basada en toros de mapeo y simetrías de involución.

• Construcción de la Variedad:
  1. Se parte de un toro de mapeo $M_\phi$ asociado a un difeomorfismo $\phi$ de una superficie $\Sigma$ de género $g \geq 2$.
  2. Se introduce una involución especial $\iota$ en $M_\phi$. Esta involución se construye a partir de una involución fija $I$ en la superficie $\Sigma$ (sin puntos fijos, que invierte la orientación) que satisface la condición de conmutación: $I \circ \phi \circ I^{-1} = \phi^{-1}$.
  3. La variedad final $Y_{\phi, n}$ se obtiene tomando recubrimientos cíclicos de $M_\phi$ y luego cocienteando por la acción de $\iota$. Esto elimina la clase de cohomología $b_1$, convirtiendo al manifold en una esfera de homología racional.
• Condición de Palíndromo Reverso: Para garantizar la existencia de la involución especial, los autores definen "palíndromos reversos" en el grupo de clases de mapeo generado por torsiones de Dehn. Si la palabra que define $\phi$ es un palíndromo reverso, se cumple la condición necesaria para la construcción.
• Análisis Espectral:
  • Utilizan la fórmula de traza de Selberg adaptada para formas 1-coexactas torcidas (twisted coexact 1-forms).
  • Estudian el operador de Laplace-Hodge torcido $\Delta_\psi$ sobre formas con valores en un fibrado de línea hermitiano plano $L_\psi$.
  • Demuestran que el límite de la secuencia de gaps $\lambda^*_1(Y_{\phi, n})$ cuando $n \to \infty$ converge al mínimo del espectro de $\Delta_\psi$ sobre el círculo unitario de twistings $\psi \in U(1)$, denotado como $\delta(\phi)$.
• Cálculo Computacional:
  • Emplean software como Twister para triangular los toros de mapeo y SnapPy para verificar la hiperbolicidad y calcular el espectro de longitudes de geodésicas.
  • Aplican técnicas de optimización de Fourier (inspiradas en [BS07]) para acotar el espectro. Utilizan funciones de prueba $H$ y sus transformadas de Fourier para descartar intervalos que no contienen autovalores, estableciendo así cotas inferiores explícitas.

3. Contribuciones Clave

1. Nueva Construcción de Familias Infinitas: Presentan una metodología alternativa a la de trabajos previos ([AAG+24]) para generar familias infinitas de esferas de homología racional hiperbólicas con un gap espectral uniforme. Su enfoque se basa en la simetría dihedral de los recubrimientos cíclicos.
2. Localización de Puntos Límite: Logran identificar intervalos explícitos y disjuntos que contienen los puntos límite de la secuencia de gaps espectrales.
   • El resultado principal (Teorema 1) establece la existencia de una familia donde $\lim_{n \to \infty} \lambda^*_1(Y_n) \in [0.8196, 0.8277]$.
   • Identifican otros tres intervalos disjuntos con límites en rangos como $[0.1705, 0.2632]$, $[0.4448, 0.4803]$ y $[0.6115, 0.7090]$.
3. Ejemplos Aritméticos (Teorema 2): Responden afirmativamente a una pregunta de [AAG+24] construyendo una familia infinita de esferas de homología racional aritméticas con un gap uniforme. Estos manifolds son todos conmensurables entre sí pero no congruentes, cumpliendo las condiciones necesarias para tal comportamiento espectral.
4. Conexión con la Teoría de Floer: Discuten la relación entre $\lambda^*_1$ y la homología de Floer monopolo. Si $\lambda^*_1 > 2$, la variedad es un "L-space". Los autores conjeturan que existen infinitas esferas de homología racional hiperbólicas con $\lambda^*_1 > 2$, lo que implicaría que son L-spaces.

4. Resultados Principales

• Teorema 1: Existe una familia infinita $\{Y_n\}$ de esferas de homología racional hiperbólicas tal que el límite de sus gaps espectrales cae en el intervalo $[0.8196, 0.8277]$. Este es el límite más alto encontrado hasta la fecha mediante su construcción.
• Teorema 2: Existe una familia infinita de esferas de homología racional hiperbólicas aritméticas con un límite uniforme positivo para $\lambda^*_1$. La familia se basa en el manifold $s861(3,1)$ del censo de Hodgson-Weeks, que es aritmético.
• Proposición 2.2: Establecen que si el difeomorfismo $\phi$ no tiene autovalores de módulo 1, el infimum del espectro de formas coexactas torcidas $\delta(\phi)$ es estrictamente positivo y es alcanzado como un mínimo. Además, $\lim_{n \to \infty} \lambda^*_1(Y_{\phi, n}) = \delta(\phi)$.
• Limitaciones Computacionales: El artículo destaca la dificultad computacional de refinar estos intervalos. Para distinguir autovalores cercanos (separados por $\epsilon \sim \text{vol}(M)^{-1}$), se requiere calcular longitudes de geodésicas primas hasta un corte exponencialmente grande ($R \sim \epsilon^{-1}$), lo cual es prohibitivo con la tecnología actual.

5. Significado e Impacto

• Avance en el Estudio Espectral: Proporciona la primera evidencia numérica sólida y explícita de que existen familias de esferas de homología racional con gaps espectrales uniformemente grandes, un fenómeno que se pensaba difícil de lograr en variedades hiperbólicas cerradas.
• Herramientas Computacionales: Demuestra la viabilidad de combinar teoría de grupos (clases de mapeo, involuciones), geometría hiperbólica y análisis espectral (fórmula de traza) mediante computación de alto rendimiento para resolver problemas de espectro geométrico.
• Implicaciones para la Conjetura de L-spaces: Al encontrar familias con gaps significativos (aunque aún por debajo de 2 en sus ejemplos actuales), el trabajo sienta las bases para probar la conjetura de que existen infinitas esferas de homología racional hiperbólicas que son L-spaces (es decir, con $\lambda^*_1 > 2$).
• Respuesta a Preguntas Abiertas: Resuelve positivamente la cuestión sobre la existencia de ejemplos aritméticos con esta propiedad, cerrando un vacío en la literatura sobre espectros en variedades aritméticas.

En resumen, el artículo combina técnicas profundas de topología de baja dimensión y análisis espectral con cálculos computacionales masivos para construir y analizar explícitamente familias de variedades hiperbólicas con propiedades espectrales excepcionales, ofreciendo nuevos datos concretos para conjeturas fundamentales en geometría y topología.