On the uniqueness of continuous spacetime extensions in 1+1 dimensions with applications to weak null singularities

Resumen Técnico: Unicidad de las Extensiones de Espaciotiempo Continuas en 1+1 Dimensiones

Planteamiento del Problema
El artículo investiga la unicidad local de las extensiones de espaciotiempo continuas ($C^0$) a través de una frontera nula, motivado por el estudio de las singularidades nulas débiles en los interiores de agujeros negros rotatorios genéricos. Una singularidad nula débil se define como una frontera nula singular donde la métrica se extiende continuamente, pero los símbolos de Christoffel no son integrables al cuadrado.

La cuestión central abordada es: Dado un manifold lorentziano $(M, g)$ con una métrica continua que se extiende a una frontera $\partial M$, ¿está la estructura topológica y diferenciable de cualquier extensión continua $\iota: M \hookrightarrow \tilde{M}$ determinada de forma única hasta la frontera? Específicamente, si existen dos extensiones, ¿son localmente equivalentes en $C^0$ (homeomorfas) o equivalentes en $C^1$ (difeomorfas) cerca de la frontera? Esta pregunta es crítica para las demostraciones de inextendibilidad de baja regularidad, donde a menudo se requiere un control a priori sobre la estructura $C^1$ de una hipotética extensión para demostrar la divergencia de la curvatura o del holonomía.

Metodología
Los autores emplean un enfoque de "modelo de juguete", reduciendo el complejo problema de 3+1 dimensiones de las singularidades nulas débiles a un manifold lorentziano de 1+1 dimensiones $(M_t, g_t)$ con una métrica de doble nulo $g_t = -\Omega^2(du \otimes dv + dv \otimes du)$. Se asume que la función métrica $\Omega$ se extiende continuamente y de forma estrictamente positiva hacia la frontera $v=0$.

La metodología consiste en:

1. Análisis Estructural: Utilizar coordenadas cercanas a Minkowski y argumentos de homotopía causal para caracterizar la geometría de la frontera $\partial \iota(M_t)$ en una extensión continua.
2. Clasificación de Estructuras $C^0$: Investigar si la frontera puede colapsar múltiples curvas nulas en un solo punto (una estructura de "esquina" o corner) o si debe preservar la distinción de estas curvas (la estructura de "referencia").
3. Restricciones Globales: Aplicar argumentos de volumen para determinar si las posibilidades estructurales locales pueden extenderse globalmente, particularmente en el contexto del espaciotiempo de Reissner-Nordström.
4. Construcción de Contraejemplos: Construir explícitamente extensiones que comparten la misma estructura $C^0$ pero poseen estructuras $C^1$ inequivalentes, utilizando transformaciones de coordenadas específicas que involucran singularidades logarítmicas.

Contribuciones Clave y Resultados

1. Dicotomía de Estructuras $C^0$ (Teorema 4.3)
El artículo establece una clasificación rigurosa de la estructura $C^0$ local de las extensiones continuas a través de $v=0$. Existen solo dos posibilidades:

• Extensión de Referencia: La extensión es localmente equivalente en $C^0$ a la extensión estándar donde la frontera es una hipersuperficie nula suave, y las distintas curvas nulas de constante-$u$ terminan en puntos distintos de la frontera.
• Extensión de Esquina (Corner Extension): Todas las curvas nulas futuras de constante-$u$ terminan en el mismo punto de la frontera. En este caso, la extensión no es localmente equivalente en $C^0$ a la extensión de referencia.

2. Rigidez y Obstrucciones Globales (Proposición 4.2, Corolario 4.6)
Aunque las extensiones de esquina son localmente posibles, el artículo demuestra una fuerte relación local-global:

• Si una extensión continua exhibe la estructura de esquina localmente (es decir, dos curvas nulas cercanas de constante-$u$ se encuentran en el mismo punto), debe exhibir esta estructura globalmente para todo $u$.
• Aplicación a Reissner-Nordström: Para el espaciotiempo de Reissner-Nordström sub-extremal, el volumen infinito del espaciotiempo entre el horizonte de sucesos y el horizonte de Cauchy descarta la existencia de extensiones de esquina globales. Por consiguiente, cualquier extensión $C^0$ fuertemente esféricamente simétrica del espaciotiempo global de Reissner-Nordström a través del horizonte de Cauchy debe ser localmente equivalente en $C^0$ a la extensión de referencia. Esto implica una rigidez de la estructura $C^0$ para los interiores de agujeros negros globalmente esféricamente simétricos.

3. No Rigidez de la Estructura $C^1$ (Sección 5)
El artículo demuestra que la estructura $C^0$ no determina la estructura $C^1$:

• Extensiones de Esquina: Diferentes extensiones de esquina (parametrizadas por $\beta$) son equivalentes en $C^0$ pero inequivalentes en $C^1$.
• Extensiones de Referencia: Los autores construyen una extensión continua que es localmente equivalente en $C^0$ a la extensión de referencia (preservando la distinción de los puntos de la frontera) pero que no es localmente equivalente en $C^1$. Esto se logra mediante una transformación de coordenadas que es un homeomorfismo pero que falla al ser un difeomorfismo en la frontera debido a derivadas no acotadas.
• Generalización a 3+1 Dimensiones: Este resultado de no rigidez se extiende a las singularidades nulas débiles en 3+1 dimensiones sin supuestos de simetría. Los autores construyen una extensión $C^0$ de una singularidad nula débil que es equivalente en $C^0$ a la extensión de referencia (según la definición de Dafermos y Luk), pero inequivalente en $C^1$.

Significado y Afirmaciones
El artículo afirma proporcionar una comprensión fundamental de las propiedades de unicidad de las extensiones de espaciotiempo continuas, lo cual es un prerrequisito para demostrar la inextendibilidad en clases de regularidad por debajo de $C^{0,1}_{loc}$ (Lipschitz).

• Sobre la Unicidad en $C^0$: El trabajo clarifica que, si bien las extensiones $C^0$ no son únicas en general (existen extensiones de esquina), las restricciones geométricas globales (como el volumen infinito) pueden imponer la unicidad para espaciotiempos físicamente relevantes como Reissner-ñónström.
• Sobre la Unicidad en $C^1$: El artículo demuestra explícitamente que el supuesto de una extensión métrica continua es insuficiente para garantizar una estructura $C^1$ única. Esto desafía la noción de que uno puede asumir automáticamente un control a priori sobre la estructura diferenciable de una extensión continua.
• Implicaciones para la Inextendibilidad: Los resultados sugieren que demostrar la inextendibilidad para singularidades nulas débiles en clases de regularidad entre $C^0$ y $C^{0,1}_{loc}$ es más sutil de lo que se pensaba anteriormente. No se puede asumir simplemente que una extensión continua herede la estructura $C^1$ de una extensión de referencia; la falta de rigidez en $C^1$ debe ser tenida en cuenta en futuras demostraciones.

Los autores mantienen la modestia respecto al caso de 3+1 dimensiones, señalando que, si bien el modelo de juguete de 1+1 proporciona los conocimientos y contraejemplos necesarios, el problema completo de la unicidad en 3+1 dimensiones sigue siendo un área de investigación abierta e intrincada.