$C^0$-inextendibility of a class of warped-product black hole spacetimes

Resumen Técnico: Inextendibilidad $C^0$ de una Clase de Espaciotiempos de Agujero Negro de Producto Warped

Planteamiento del Problema
El artículo aborda la cuestión de la inextendibilidad del espaciotiempo a baja regularidad ($C^0$) para una amplia clase de espaciotiempos de agujeros negros. Si bien la inextendibilidad $C^0$ de la extensión analítica máxima del espaciotiempo de Schwarzschild fue establecida por Sbierski [Sbi18a, Sbi18b], este resultado depende fuertemente de la simetría esférica. El problema central es determinar si el mecanismo que subyace a esta inextendibilidad —específicamente la obstrucción a las extensiones continuas a través de singularidades de curvatura y la región exterior— se mantiene para los espaciotiempos de producto warped que carecen de simetría esférica completa y que pueden incluir campos de materia no de vacío. Esta investigación está motivada por la conjetura de la Censura Cósmica Fuerte, que postula que las soluciones genéricas de las ecuaciones de Einstein no deberían admitir extensiones más allá de sus fronteras singulares como soluciones débiles.

Metodología
El autor adapta la estrategia de prueba desarrollada por Sbierski para el caso de Schwarzschild a un entorno generalizado de producto warped. La metodología consta de tres componentes principales:

1. Configuración Geométrica: El artículo considera espaciotiempos globalmente hiperbólicos de $(d+1)$ dimensiones ($d \ge 3$) con una región exterior estática, descrita por la métrica:
   $$g = -e^{-2\psi(r)}\left(1 - \frac{2m(r)}{r}\right)dt^2 + \left(1 - \frac{2m(r)}{r}\right)^{-1}dr^2 + r^2h$$
   donde $h$ es una métrica Riemanniana en una fibra de codimensión dos $F$. Se asume que las funciones $m(r)$ y $\psi(r)$ generalizan las funciones de masa y corrimiento al rojo de Schwarzschild. La fibra $F$ se asume cerrada (compacta sin frontera), conexa, homogénea y orientable.

2. Herramientas Técnicas y Lemas:

   • Gráficos Minkowskianos: La prueba utiliza la existencia de gráficos locales cerca de un punto de la frontera futura donde la métrica es cercana a la de Minkowski y la frontera es un gráfico Lipschitz (Proposición 1).
   • Conexidad Uno-Futura: Un paso crucial consiste en demostrar que la región interior lo suficientemente cercana a la singularidad ($r \to 0$) es "uno-conexa en el futuro" (Proposición 4). Esta propiedad, dependiente de que la fibra tenga un radio de inyectividad positivo, permite la construcción de homotopías temporales entre curvas.
   • Adaptación de la Simetría: En lugar de depender de la simetría esférica de la esfera de Schwarzschild $S^2$, la prueba aprovecha la homogeneidad de la fibra $F$. El Lema 4 establece que, para una variedad homogénea, los puntos cercanos pueden mapearse entre sí mediante isometrías que están uniformemente cerca de la identidad. Esto reemplaza el control de coordenadas explícito disponible en el caso de simetría esférica.
   • Dicotomía de Geodésicas Temporales: El artículo demuestra que, para estos espaciotiempos, cualquier geodésica temporal dirigida al futuro e inextendible al futuro es o bien completa en el futuro o se aproxima a la singularidad central ($r \to 0$). Esto se logra estableciendo una cantidad conservada asociada con la métrica de la fibra (Lema 11) y analizando las ecuaciones geodésicas tanto en las regiones exterior como interior (Proposiciones 5 y 6).

3. Prueba por Contradicción: El argumento principal asume la existencia de una extensión $C^0$. Esto implica la existencia de una geodésica temporal dirigida al futuro e inextendible al futuro que termina en la frontera de la extensión. La prueba demuestra entonces que tal geodésica no puede existir:

   • Si permanece en el exterior, debe ser completa (Teorema 3), lo cual contradice la existencia de una frontera (Teorema 1).
   • Si entra en el interior y se aproxima a $r=0$, la geometría de la singularidad (específicamente la divergencia del escalar de Kretschmann y el comportamiento de las superficies de Cauchy) conduce a una contradicción respecto a la acotación de las distancias en las hipersuperficies de Cauchy (Teorema 2).

Contribuciones Clave y Resultados

• Teorema 2 (Sin extensión $C^0$ a través de la singularidad central): Para espaciotiempos donde la fibra es cerrada, conexa, homogénea y orientable, y donde $m(r) \to m_0 > 0$ cuando $r \to 0$, no existe una extensión $C^0$ a través de la singularidad de curvatura central. La prueba se basa en el efecto de "espaguetización" (divergencia de las distancias en las superficies de Cauchy cerca de $r=0$) y la homogeneidad de la fibra para construir una barrera separadora.
• Teorema 3 (Dicotomía de Geodésicas Temporales): Bajo condiciones adecuadas sobre $m(r)$ y $\psi(r)$ (incluyendo cotas sobre sus derivadas), cualquier geodésica temporal dirigida al futuro e inextendible al futuro en la región exterior es o bien completa en el futuro o intersecta el horizonte del agujero negro. Si entra en el interior, es incompleta en el futuro si y solo si $r \to 0$. Esto generaliza el resultado de O'Neill para Schwarzschild a productos warped sin simetría esférica.
• Teorema 4 (Resultado Principal de Inextendibilidad $C^0$): Combinando los Teoremas 2 y 3 con la obstrucción proporcionada por la completitud de las geodésicas temporales (Teorema 1), el artículo establece que la clase de espaciotiempos de agujeros negros de producto warped descritos es futura $C^0$-inextendible.
• Extensión a Múltiples Horizontes: Se muestra que los resultados se mantienen incluso si el espaciotiempo posee más de un horizonte de agujero negro regular (Apéndice A1).

Ejemplos y Aplicabilidad
El artículo proporciona ejemplos específicos para demostrar el alcance de los resultados:

1. Agujeros Negros Esféricamente Simétricos de No-Vacío: Un modelo con un $m(r)$ específico que satisface la condición de energía dominante, mostrando que los modelos de no-vacío están incluidos.
2. Agujeros Negros No Esféricamente Simétricos: Un modelo con una fibra $F = S^p \times S^q$, demostrando que los resultados se aplican a geometrías más allá de la simetría esférica, siempre que la fibra sea homogénea.
3. Agujeros Negros de Birmingham (AdS): El artículo señala que, si bien el Teorema 2 se aplica a los agujeros negros de Birmingham en el espacio Anti-de Sitter (probando la inextendibilidad a través de la singularidad), el Teorema 3 (y, por tanto, el Teorema 4 completo) no se aplica debido a que los coeficientes métricos específicos fallan en las cotas de las derivadas requeridas para la dicotomía de geodésicas en el exterior.

Significancia y Reivindicaciones
El artículo afirma aislar el mecanismo que subyace a la inextendibilidad $C^0$ del espaciotiempo de Schwarzschild y demostrar su robustez bajo supuestos de simetría más débiles. Al reemplazar la simetría esférica con la homogeneidad de la fibra, el autor extiende la clase de modelos de agujeros negros para los cuales la conjetura de la Censura Cósmica Fuerte (en su formulación $C^0$) puede ser verificada. El trabajo destaca que la obstrucción a la extensión continua no es un artefacto de la simetría esférica, sino una característica más general de los agujeros negros de producto warped con singularidades de curvatura y propiedades geométricas específicas de las secciones transversales del horizonte. Los resultados contribuyen a la comprensión de las singularidades del espaciotiempo y la validez del determinismo en la relatividad general a baja regularidad.