Spherically symmetric inextendibility of weak null singularities with Christoffel symbols in $L^s_{\text{loc}}$

Resumen Técnico: Inextendibilidad Esféricamente Simétrica de Singularidades Nulas Débiles con Símbolos de Christoffel en $L^s_{loc}$

Planteamiento del Proble Qué
El artículo aborda la Conjetura del Censura Cósmica Fuerte (SCCC) en el contexto de la relatividad general, centrándose específicamente en la inextendibilidad de las singularidades nulas débiles encontradas en los interiores de agujeros negros esféricamente simétricos. Si bien resultados previos establecieron la inextendibilidad Lipschitz ($C^{0,1}_{loc}$) de tales singularidades (por ejemplo, en los espaciotiempos de Dafermos-Luk-Oh y modelos de Reissner-Nordström-Vaidya), no existían resultados de inextendibilidad geométrica para extensiones que posean símbolos de Christoffel en $L^s_{loc}$ para $s > 1$. El problema central es determinar si estos espaciotiempos pueden extenderse como variedades lorentzianas con una métrica continua y símbolos de Christoffel en $L^s_{loc}$, asumiendo que la extensión respeta la simetría esférica.

Metodología
Los autores emplean una prueba por contradicción, asumiendo la existencia de una extensión "fuertemente esféricamente simétrica". Esta restricción requiere que la extensión sea de la forma $\iota = \iota_Q \times \text{id}_{S^2}$, donde la extensión de la variedad cociente bidimensional $(Q, g_Q)$ respeta las órbitas $SO(3)$.

La metodología se basa en tres componentes principales:

1. Control de Regularidad: Los autores utilizan un resultado de rigidez de [1] relativo a la estructura $C^0$ de las extensiones. Restringen su análisis a extensiones donde la inserción $\iota_Q$ es localmente $C^0$-equivalente a una extensión de referencia $Q$. Esto les permite controlar la estructura diferenciable $C^1$ de la extensión, acotando ciertas derivadas de la aplicación de inserción en términos de otras utilizando coordenadas casi-Minkowskianas (Lema 3.1).
2. Condición de Explosión Integral: La prueba depende de una condición de explosión (blow-up) específica de la derivada de la función de radio de área $r$ transversal a la singularidad. Específicamente, el supuesto es que $\int |\partial_v r|^s$ diverge a medida que se aproxima la singularidad.
3. Contradicción mediante Normas $L^s$: Al asumir que la extensión existe con símbolos de Christoffel en $L^s_{loc}$, los autores demuestran que las derivadas de los componentes de la métrica (específicamente relacionadas con $\partial_v r$) deben satisfacer ciertas condiciones de integrabilidad. Utilizando los límites de control derivados de la $C^0$-equivalencia y la supuesta explosión de $\partial_v r$, demuestran que la norma $L^s$ de términos específicos debe divergir, contradiciendo el supuesto de que la extensión es $W^{1,s}_{loc}$.

Contribuciones Principales y Resultados
El resultado principal es el Teorema 1.1, que establece que para una singularidad nula débil esféricamente simétrica $(M_{wns}, g_{wns})$ donde $\Omega$ y $r$ se extienden continuamente, si la condición integral $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ se cumple cuando $v \to 0$, entonces no existe una extensión $C^0 \cap W^{1,s}_{loc}$ fuertemente esféricamente simétrica que sea localmente $C^0$-equivalente a la extensión de referencia.

El artículo aplica este teorema a dos clases específicas de espaciotiempos:

1. Espaciotiempos Reissner-Nordström-Vaidya (RNV): Los autores demuestran que estos espaciotiempos, que modelan la entrada de polvo nulo en un agujero negro de Reissner-Nordström subextremal, son $C^0 \cap W^{1,s}_{loc}$-inextendibles de forma fuertemente esféricamente simétrica. Utilizan un argumento de volumen global (Proposición 2.5) para descartar extensiones de "esquina" (donde la extensión no es $C^0$-equivalente a la de referencia), satisfaciendo así las condiciones del Teorema 1.1.
2. Espaciotiempos Dafermos-Luk-Oh (DLO): Estos surgen de pequeñas perturbaciones genéricas de datos iniciales de Reissner-Nordström subextremal bajo el sistema Einstein-Maxwell-campo escalar. Los autores muestran que para estos espaciotiempos, la función de radio de área $r$ es estrictamente decreciente a lo largo de la singularidad nula débil. Esta propiedad local descarta las extensiones de "esquina", permitiendo la aplicación directa del Teorema 1.1 para concluir la inextendibilidad $C^0 \cap W^{1,s}_{loc}$.

El artículo también proporciona el Ejemplo 3.3, demostrando que el supuesto de $C^0$-equivalencia local en el Teorema 1.1 es necesario. Construyen un contraejemplo donde se cumple la condición de explosión, pero existe una extensión $C^0 \cap W^{1,s}_{loc}$ porque la extensión no es $C^0$-equivalente a la de referencia (una extensión de "esquina").

Significancia
El artículo afirma proporcionar los primeros resultados de inextendibilidad geométrica para singularidades nulas débiles al nivel de los símbolos de Christoffel en $L^s_{loc}$ para $s > 1$. Al fortalecer los resultados previos de inextendibilidad $C^{0,1}_{loc}$ (Lipschitz) a $C^0 \cap W^{1,s}_{loc}$, los autores muestran que la regularidad de la extensión construida por Dafermos [4] (donde los símbolos de Christoffel están en $L^1_{loc}$ pero no en $L^s_{loc}$ para $s>1$) es óptima entre las extensiones que respetan la simetría esférica.

El trabajo se apoya en la interacción entre la explosión de la derivada de la función de radio de área y la rigidez estructural de las extensiones $C^0$ esféricamente simétricas. Confirma que, para los espaciotiempos RNV y DLO, la singularidad nula débil representa un límite real más allá del cual el espaciotiempo no puede extenderse como una variedad lorentziana con una métrica continua y símbolos de Christoffel en $L^s_{loc}$, siempre que la extensión mantenga la simetría esférica del espaciotiempo original.