The $C^0$-inextendibility of Kerr spacetimes

Resumen Técnico: La inextendibilidad $C^0$ de los espaciotiempos de Kerr

Planteamiento del Problema
La solución de Kerr describe el campo gravitatorio de vacío de un agujero negro en rotación. Si bien la métrica se extiende analíticamente a través de sus horizontes de eventos regulares, la curvatura diverge en el anillo singular definido por $\Sigma = r^2 + a^2 \cos^2 \theta = 0$. Una cuestión central en la relatividad general es si el espaciotiempo puede extenderse más allá de esta singularidad como una variedad lorentziana continua ($C^0$), incluso si la métrica no es diferenciable. Resultados previos han establecido la inextendibilidad para regímenes específicos o bajo supuestos de regularidad más fuertes (por ejemplo, $C^2$ o $C^{1,1}$), pero la inextendibilidad $C^0$ de las realizaciones de Kerr completas —incluyendo los casos subextremales, extremales y sobreextremales, así como sus recubrimientos conectados— no había sido probada sin supuestos de causalidad global.

Metodología
El artículo emplea una obstrucción geométrica basada en longitudes de homotopía causal cerca del anillo singular. La estrategia central involucra tres componentes principales:

1. Obstrucción Causal Local: El autor construye una homotopía causal específica cerca del anillo donde una curva temporal de referencia puede deformarse (fijando los extremos) para incluir una curva causal cerrada no constante. Esta construcción se basa en la existencia de dos combinaciones lineales independientes de los campos de Killing estacionarios ($T$) y axiales ($\Phi$) que son futuros temporales en un punto transversal y cuyos negativos son futuros temporales en otro. Al recorrer segmentos de órbita de estos campos, el autor cancela el desplazamiento transversal, creando un bucle cerrado.
2. Longitudes No Acotadas: Repetir este bucle cerrado dentro de la misma clase de homotopía causal de extremos fijos produce curvas de tiempo propio arbitrariamente grandes. El autor demuestra que para cualquier reescalamiento conformal continuo $\Omega^2 g$, la longitud de estas curvas diverge a medida que la curva se aproxima al anillo ($\Sigma \to 0$).
3. Argumento de Extensión Global: El artículo invoca un teorema de frontera (Minguzzi y Suhr) que establece que si existe una extensión $C^0$ propia, debe haber una geodésica temporal de velocidad unidad inextendible en el futuro de tiempo propio finito que termine en la frontera. El autor demuestra entonces que cada una de estas geodésicas en las realizaciones de Kerr debe aproximarse al anillo ($\Sigma \to 0$). Al combinar la obstrucción local (longitud de homotopía infinita) con el comportamiento global de las geodésicas, derivan una contradicción: una curva que termina en una frontera continua debe tener longitudes de homotopía causal acotadas en un chart de coordenadas, pero la construcción del anillo fuerza estas longitudes a ser infinitas.

Contribuciones Clave y Resultados

• Teorema Principal (Inextendibilidad $C^0$): El artículo demuestra que cada espaciotiempo de recubrimiento conectado de las realizaciones completas de Kerr (subextremales, extremales y sobreextremales) es $C^0$-inextendible. Esto se cumple para cualquier métrica de extensión lorentziana continua y no degenerada, independientemente de la simetría, la orientación temporal o las propiedades de causalidad global.
• Caracterización de la Singularidad: La obstrucción se localiza en el anillo singular. La prueba muestra que cualquier geodésica temporal inextendible de tiempo propio finito debe satisfacer $\Sigma \to 0$, $r \to 0$ y $\theta \to \pi/2$ (aproximándose al anillo ecuatorial).
• Robustez bajo Perturbaciones: La obstrucción persiste bajo perturbaciones estacionarias y axisimétricas $g + h$, siempre que la perturbación satisfaga un límite agudo $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ en una norma de coordenadas específica. El artículo proporciona ejemplos que muestran que este límite es agudo; excederlo permite reescalamientos conformales donde las longitudes de homotopía permanecen finitas.
• Estabilidad Conformal y de Cono: El resultado se mantiene para factores conformales continuos positivos arbitrarios y para cualquier métrica lorentziana continua cuyos conos causales futuros contengan los conos de Kerr. Esto incluye aproximaciones nulas al anillo.
• Análisis Geométrico de Geodésicas Terminales:
  • El artículo clasifica las geodésicas terminales, mostrando que los datos iniciales genéricos conducen a geodésicas completas, mientras que las incompletas están confinadas a una subvariedad de codimensión dos (ecuatorial, momentos de Killing específicos).
  • Deriva expansiones asintóticas agudas para la coordenada radial $r(s)$ y las coordenadas de órbita cerca del anillo, encontrando un comportamiento de orden principal como $r \sim u^{2/5}$ (donde $u$ es el tiempo propio restante).
  • Analiza la divergencia de la curvatura, mostrando que los invariantes escalares como el escalar de Kretschmann divergen como $\Sigma^{-3}$ (o $u^{-12/5}$), y proporciona reducciones exactas para los campos de Jacobi polares.
• Límites de Perturbación: El autor establece umbrales precisos para las perturbaciones. Para el orden principal, el coeficiente $1/(1+a^2)$ es óptimo. En el siguiente orden, se identifica un coeficiente crítico $\kappa^* = M^2/(2a^4)$, y la obstrucción persiste para $a^2 \ge 2M^2$, pero falla para $a^2 < 2M^2$ bajo perturbaciones de rango uno específicas.

Significado y Reivindicaciones
El artículo afirma resolver la inextendibilidad $C^0$ del espaciotiempo de Kerr completo, un problema largamente debatido en la relatividad matemática. Al apoyarse únicamente en límites de conos locales y argumentos de homotopía causal, la prueba evita la necesidad de hiperbolicidad global o supuestos de mayor regularidad (como $C^2$ o límites de curvatura) que eran requeridos previamente para resultados similares.

El autor enfatiza que la obstrucción es intrínseca a la estructura causal del anillo de Kerr. El resultado implica que la singularidad no es meramente un artefacto de coordenadas o un lugar donde falla la diferenciabilidad, sino una frontera genuina que no puede cruzarse incluso con una métrica continua. El trabajo también proporciona un marco riguroso para comprender la estabilidad de esta inextendibilidad bajo perturbaciones, ofreciendo límites cuantitativos agudos que distinguen entre métricas que retienen la naturaleza de "bloqueo" de la singularidad y aquellas que podrían permitir extensiones de longitud finita bajo reescalamientos conformales específicos.

El artículo concluye que la singularidad de anillo representa una barrera fundamental para la extensión, reforzando la conjetura de la Censura Cósmica Fuerte en el contexto de los agujeros negros en rotación, aunque dentro de la clase específica de extensiones estacionarias, axisimétricas y continuas consideradas. El análisis geométrico de las geodésicas terminales y la curvatura proporciona un mapa detallado del comportamiento del espaciotiempo al aproximarse a esta frontera.