Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

Resumen Técnico: Singularidades Espaciotemporales de Tipo Espacial Deformadas y la Inextendibilidad $C^0$ de los Espaciotiempos de Birmingham-Kottler

Planteamiento del Problema
El artículo aborda el problema de la inextendibilidad $C^0$ para espaciotiempos que contienen singularidades. Un espaciotiempo es $C^0$-inextendible si no puede ser embebido como un subconjunto abierto propio de un espaciotiempo más grande equipado con una métrica lorentziana continua. A este nivel de regularidad, los invariantes de curvatura (que típicamente divergen en las singularidades) no están disponibles como obstrucciones, ya que su divergencia no impide la existencia de una extensión continua. El enfoque específico es la familia de espaciotiempos de Birmingham-Kottler (BK) —productos empaquetados que representan agujeros negros con una constante cosmológica negativa o nula ($\Lambda \le 0$) y una fibra cerrada $\Sigma$. El objetivo es demostrar que el espaciotiempo BK de un solo horizonte canónico es $C^0$-inextendible, incluso cuando la fibra $\Sigma$ carece de simetría (homogeneidad, orientabilidad o conexidad simple).

Metodología
La demostración se estructura en dos fases distintas: una obstrucción local en la singularidad y un análisis global del espaciotiempo BK específico.

1. Obstrucción Local (Singularidades Espaciotemporales de Tipo Espacial Deformadas):
   El autor establece un criterio para la inexistencia de una extensión continua en una singularidad espaciotemporal deformada de la forma $M_R = (0, R) \times \mathbb{R} \times \Sigma$ con métrica $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$.

   • Condiciones de Integrabilidad: La demostración requiere la integrabilidad de los "presupuestos causales" $A(r) = \int_0^r \frac{a}{b} ds$ y $B(r) = \int_0^r \frac{a}{c} ds$. Esto asegura que las coordenadas de tiempo y de la fibra converjan cuando $r \to 0$.
   • Monotonía y Divergencia: El cociente $b/c$ debe ser no creciente, y el factor longitudinal $b(r)$ debe divergir al infinito cuando $r \to 0$.
   • Compresión Radial: Una innovación geométrica clave reemplaza las simetrías de rotación utilizadas en los casos esféricos. El autor construye un mapa de "compresión radial" $\phi_\epsilon$ que desplaza la traza límite de una curva causal desde $r=0$ hacia un radio positivo $r=\epsilon$, controlando la contribución angular a la desigualdad causal.
   • Mecanismo de Contradicción: Esta compresión produce un separador cronológico compacto en un gráfico de frontera adaptado. Al trasladar este separador a lo largo de la dirección $t$, el autor construye dos puntos en una secuencia de cortes radiales cuya distancia intrínseca diverge (debido a $b(r) \to \infty$) mientras que su distancia en el gráfico de la extensión permanece uniformemente acotada. Esta contradicción demuestra que ningún punto frontera futuro puede ser aproximado por una curva temporal a lo largo de la cual $r \to 0$.

2. Aplicación Global (Espaciotiempos de Birmingham-Kottler):
   El artículo construye el espaciotiempo BK de un solo horizonte canónico utilizando coordenadas de Kruskal globales.

   • Clasificación de Geodésicas: Utilizando las ecuaciones de campo e integrales de primera orden geodésicas (energía $E$ y momento angular $J$), el autor clasifica los finales de las geodésicas temporales de tiempo propio finito. Se demuestra que cualquier geodésica que eventualmente abandone cada subconjunto compacto debe entrar en un bloque dinámico y satisfacer $r \to 0$.
   • Síntesis: La obstrucción local se aplica al bloque dinámico del espaciotiempo BK. Dado que cualquier hipotética extensión $C^0$ requeriría un maximizador causal de longitud finita que se aproxime a la frontera (un resultado de Minguzzi y Suhr), y tal maximizador debe corresponder a una geodésica que alcanza $r=0$, la obstrucción local descarta la existencia de tal extensión.

Contribuciones Clave

• Generalización de Obstrucciones Locales: El artículo extiende los resultados de inextendibilidad $C^0$ para singularidades deformadas más allá de los entornos con simetría esférica. Elimina el requisito de que la fibra $\Sigma$ sea homogénea, orientable o simplemente conexa.
• Técnica de Compresión Radial: La introducción del mapa de compresión radial (Lema 3.6) sirve como sustituto de las deformaciones rotacionales, permitiendo la localización de los argumentos de divergencia en variedades cerradas arbitrarias.
• Inextendibilidad Global de los Espaciotiempos de Birmingham-Kottler: El artículo demuestra que todo el espaciotiempo de Birmingham-Kottler de un solo horizonte canónico ($M_{BK}$) es $C^0$-inextendible (con $\Lambda \le 0$). Esto incluye la solución de Schwarzschild-Tangherlini como un caso específico.
• Clasificación de Finales de Geodésicas: Se proporciona una clasificación rigurosa de los finales de tiempo propio finito para geodésicas temporales en el dominio de Kruskal global, demostando que las geodésicas que escapan inevitablemente terminan en la singularidad.

Resultos

• Teorema A (Local): No existe una extensión $C^0$ de una singularidad espaciotemporal deformada si los factores de deformación satisfacen las condiciones especificadas de integrabilidad, monotonía y divergencia.
• Teorema B (Global): El espaciotiempo de Birmingham-Kottler de un solo horizonte canónico $M_{BK}$ es $C^0$-inextendible para cualquier fibra de Einstein cerrada y conexa que satisfaga la condición de curvatura $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$.
• Corolario: El espaciotiempo de Schwarzschild-Tangherlini canónico es $C^0$-inextendible.

Significancia y Reivindicaciones
El artículo afirma aislar una obstrucción puramente métrica para las extensiones continuas en singularidades deformadas, independiente de las ecuaciones de campo. Al combinar este resultado local con un análisis global de la familia BK, establece la inextendibilidad del espaciotiempo completo sin depender de supuestos de simetría que típicamente restringen estas demostraciones. El trabajo se distingue de criterios previos basados en la completitud temporal o la hiperbolicidad global al centrarse en el comportamiento específico de las geodésicas que escapan de los conjuntos compactos en presencia de una singularidad. El autor señala que la condición de Einstein es necesaria únicamente para identificar la métrica como una solución de vacío, pero no se utiliza en el núcleo del argumento de obstrucción ni en la clasificación de geodésicas. El artículo concluye identificando direcciones futuras, tales como el manejo de soluciones cargadas, constantes cosmológicas positivas e identificaciones de horizontes no canónicas, que requerirían nuevos aportes globales.