Inner Horizon Saddles and a Spectral KSW Criterion

Resumen Técnico: Sillas del Horizonte Interior y un Criterio Espectral KSW

Enunciado del Problema
La fórmula de entropía de Bekenstein-Hawking, $\rho = e^{A/4G}$, recibe correcciones significativas para agujeros negros cargados cerca de la extremalidad. En el límite casi extremal, la densidad de estados $\rho(E)$ es conocida por ser una diferencia de exponenciales: $\rho(E) \sim e^{A_{\text{out}}/4G} - e^{A_{\text{in}}/4G}$, donde $A_{\text{out}}$ y $A_{\text{in}}$ corresponden a las áreas de los horizontes exterior e interior, respectivamente. Mientras que el término principal corresponde a la geometría euclidiana estándar de "cigarro", el término subdominante (asociado al horizonte interior) ha carecido históricamente de una interpretación gravitacional clara en el volumen dentro del marco de la integral de camino. Además, la inclusión de geometrías de silla complejas en la integral de camino gravitacional está restringida por el criterio de admisibilidad de Kontsevich-Segal-Witten (KSW). La silla del horizonte interior, tal como se propone en la Ref. [1], viola este criterio, planteando dudas sobre su validez física y la buena definición de las correcciones cuánticas a un bucle en tales fondos.

Metodología
Los autores analizan este problema dentro del marco de la gravedad de Jackiw-Teitelboim (JT), que describe la física cerca del horizonte de agujeros negros cargados casi extremales. La metodología procede en tres etapas:

1. Análisis Clásico: Los autores derivan la silla del horizonte interior como una solución clásica de la gravedad JT con condiciones de frontera de energía fija (Dirichlet-Neumann). Utilizan contornos complejos en el plano de la coordenada radial para construir una geometría que se cierra en el horizonte interior en lugar del horizonte exterior. Esto implica analizar el teorema de Gauss-Bonnet para restringir las elecciones de rama de la raíz cuadrada del determinante de la métrica ($\sqrt{h}$), revelando que la silla del horizonte interior corresponde a una geometría con una longitud de frontera negativa (temperatura negativa).
2. Correcciones Cuánticas y Estabilidad: Los autores realizan un análisis de descenso más pronunciado de la transformada de Laplace inversa que relaciona la función de partición canónica $Z(\beta)$ con la densidad de estados microcanónica $\rho(E)$. Investigan el origen del signo menos relativo entre las contribuciones de los horizontes exterior e interior. Esto implica un análisis de Picard-Lefschetz del contorno de integración y un análisis de estabilidad de los modos de Schwarzian a un bucle. Demuestran que el signo menos surge de la rotación de modos de fluctuación de "signo incorrecto" (modos negativos) en la geometría del horizonte interior.
3. Criterio KSW y Refinamiento Espectral: Los autores examinan la violación del criterio KSW por parte de la silla del horizonte interior. Argumentan que, aunque el criterio KSW (que requiere que la integral de camino de campos libres converja en el contorno original) sea violado, el determinante a un bucle puede seguir estando bien definido mediante rotaciones de contornos de modos de fluctuación. Esto lleva a la propuesta de un criterio "KSW espectral" (sKSW), que prueba si el espectro del operador de fluctuación cuadrática admite un ángulo de Agmon válido (una elección de corte de rama) que evite las regiones de acumulación, asegurando que el determinante a un bucle sea inequívoco incluso para métricas complejas.

Contribuciones y Resultados Clave

• La Silla del Horizonte Interior: El artículo establece que la silla del horizonte interior es una solución clásica legítima en la gravedad JT con condiciones de frontera de energía fija. Se caracteriza por una longitud de frontera negativa $\beta = -\beta_0$. Los autores muestran que esta geometría es estable bajo fuentes de materia perturbativas clásicas, siempre que se imponga regularidad en la tapa (el horizonte interior), distinguiéndola de la inestabilidad de los horizontes interiores lorentzianos.
• Origen del Signo Menos: Los autores derivan el crucial signo menos en la fórmula de la densidad de estados $\rho(E) \sim e^{A_{\text{out}}/4G} - e^{A_{\text{in}}/4G}$ directamente desde la integral de camino. Muestran que el determinante de Schwarzian a un bucle en la silla del horizonte interior involucra autovalores negativos. Rotar los contornos de integración para estos modos (rotación de Polchinski) introduce una fase jacobiana. Combinado con la orientación del contorno de Laplace inverso, esto produce un signo menos global inequívoco para la contribución del horizonte interior.
• Criterio KSW Espectral (sKSW): El artículo propone un debilitamiento del criterio KSW. Aunque la silla del horizonte interior viola la condición KSW original (debido a que la firma métrica cambia a lo largo del contorno), satisface el criterio sKSW. El criterio sKSW requiere que para cada campo, el espectro del operador de fluctuación cuadrática admita un ángulo de Agmon válido. Los autores demuestran que para campos escalares en la silla del horizonte interior, el espectro yace en el semiplano derecho cerrado, permitiendo un corte de Agmon válido (por ejemplo, el eje real negativo).
• Exclusión de Sillas de Enrollamiento Superior: Los autores analizan la posibilidad de geometrías de silla de "enrollamiento" (contornos que se envuelven múltiples veces alrededor del corte de rama). Argumentan que el contorno de integración para la transformada de Laplace inversa, específicamente los thimbles de Picard-Lefschetz, selecciona solo las dos sillas primarias (horizonte exterior e interior) y excluye estas configuraciones de enrollamiento superior, a pesar de que son soluciones clásicas.
• Campos de Gauge y Sumas de Flujo: En el contexto de la gravedad JT acoplada a un campo de gauge, los autores muestran que la suma sobre sectores de flujo (que parece divergir para $\beta$ negativo) puede hacerse finita realizando la transformada de Laplace inversa sector por sector antes de sumar sobre las representaciones. Esto confirma que la contribución del horizonte interior persiste incluso con contenido de materia.

Significado y Afirmaciones
El artículo afirma proporcionar una derivación semiclásica completa de la densidad de estados casi extremal, identificando la silla del horizonte interior como el origen geométrico del término exponencial subdominante. Argumenta que la violación del criterio KSW por esta silla es "inocua" porque la física a un bucle permanece bien definida bajo el criterio sKSW propuesto.

Los autores enfatizan que sus resultados ilustran una lección más amplia sobre la integral de camino gravitacional:

1. Inclusión: Nuevas sillas contribuyentes pueden encontrarse permitiendo que las longitudes de frontera se vuelvan negativas o complejas (sillas de temperatura negativa).
2. Exclusión: La selección de sillas contribuyentes no está determinada únicamente por propiedades geométricas locales, sino también por características globales del contorno de integración (teoría de Picard-Lefschetz), lo cual puede descartar una torre infinita de geometrías de enrollamiento no equivalentes homotópicamente.

El artículo concluye que la densidad de estados microcanónica sirve como una sonda simple de una sola frontera de la geometría detrás del horizonte exterior, y que el criterio sKSW ofrece una condición necesaria (aunque no suficiente) para la validez de sillas gravitacionales complejas a nivel de un bucle. Los autores notan que extender estos resultados a dimensiones superiores y verificar el criterio sKSW para otros ejemplos conocidos (como agujeros negros Kerr-AdS rotatorios) siguen siendo tareas importantes para trabajos futuros.