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

Resumo Técnico: Inextensibilidade Esféricamente Simétrica de Singularidades Nulas Fracas com Símbolos de Christoffel em $L^s_{loc}$

Enunciado do Problema
O artigo aborda a Conjectura do Censor Cósmico Forte (SCCC) no contexto da relatividade geral, focando especificamente na inextensibilidade de singularidades nulas fracas encontradas nos interiores de buracos negros esfericamente simétricos. Embora resultados anteriores tenham estabelecido a inextensibilidade Lipschitz ($C^{0,1}_{loc}$) de tais singularidades (por exemplo, em espaços-tempos de Dafermos-Luk-Oh e modelos Reissner-Nordström-Vaidya), não existiam resultados geométricos de inextensibilidade para extensões possuindo símbolos de Christoffel em $L^s_{loc}$ para $s > 1$. O problema central é determinar se esses espaços-tempos podem ser estendidos como variedades lorentzianas com uma métrica contínua e símbolos de Christoffel em $L^s_{loc}$, assumindo que a extensão respeita a simetria esférica.

Metodologia
Os autores empregam uma prova por contradição, assumindo a existência de uma extensão "fortemente esfericamente simétrica". Esta restrição exige que a extensão seja da forma $\iota = \iota_Q \times \text{id}_{S^2}$, onde a extensão da variedade quociente bidimensional $(Q, g_Q)$ respeita as órbitas $SO(3)$.

A metodologia baseia-se em três componentes principais:

1. Controle de Regularidade: Os autores utilizam um resultado de rigidez de [1] referente à estrutura $C^0$ das extensões. Eles restringem sua análise a extensões onde o mergulho $\iota_Q$ é localmente $C^0$-equivalente a uma extensão de referência $Q$. Isso permite controlar a estrutura diferenciável $C^1$ da extensão, limitando certas derivadas do mapa de mergulho em termos de outras usando coordenadas quase-Minkowskianas (Lema 3.1).
2. Condição de Blow-up Integral: A prova baseia-se em uma condição específica de blow-up (explosão) na derivada da função de raio de área $r$ transversal à singularidade. Especificamente, a suposição é que $\int |\partial_v r|^s$ diverge conforme a singularidade é aproximada.
3. Contradição via Normas $L^s$: Ao assumir que a extensão existe com símbolos de Christoffel em $L^s_{loc}$, os autores mostram que as derivadas dos componentes da métrica (especificamente relacionados a $\partial r$) devem satisfazer certas condições de integrabilidade. Usando os limites de controle derivados da $C^0$-equivalência e o suposto blow-up de $\partial_v r$, eles demonstram que a norma $L^s$ de termos específicos deve divergir, contradizendo a suposição de que a extensão é $W^{1,s}_{loc}$.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.1, que afirma que para uma singularidade nula fraca esfericamente simétrica $(M_{wns}, g_{wns})$ onde $\Omega$ e $r$ estendem-se continuamente, se a condição integral $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ ocorre quando $v \to 0$, então nenhuma extensão $C^0 \cap W^{1,s}_{loc}$ fortemente esfericamente simétrica existe através da singularidade, desde que a extensão seja localmente $C^0$-equivalente à extensão de referência.

O artigo aplica este teorema a duas classes específicas de espaços-tempos:

1. Espaços-tempos Reissner-Nordström-Vaidya (RNV): Os autores provam que estes espaços-tempos, modelando o influxo de poeira nula para dentro de um buraco negro Reissner-Nordström subextremal, são $C^0 \cap W^{1,s}_{loc}$-inextensíveis fortemente esfericamente simétricos. Eles utilizam um argumento de volume global (Proposição 2.5) para descartar extensões de "canto" (onde a extensão não é $C^0$-equivalente à de referência), satisfazendo assim as condições do Teorema 1.1.
2. Espaços-tempos Dafermos-Luk-Oh (DLO): Estes surgem de pequenas perturbações genéricas de dados iniciais Reissner-Nordström subextremal sob o sistema Einstein-Maxwell-campo escalar. Os autores mostram que, para estes espaços-tempos, a função de raio de área $r$ é estritamente decrescente ao longo da singularidade nula fraca. Esta propriedade local descarta extensões de canto, permitindo a aplicação direta do Teorema 1.1 para concluir a $C^0 \cap W^{1,s}_{loc}$-inextensibilidade.

O artigo também fornece o Exemplo 3.3, demonstrando que a suposição de equivalência local $C^0$ no Teorema 1.1 é necessária. Eles constroem um contra-exemplo onde a condição de blow-up é atendida, mas uma extensão $C^0 \cap W^{1,s}_{loc}$ existe porque a extensão não é $C^0$-equivalente à de referência (uma extensão de "canto").

Significância
O artigo afirma fornecer os primeiros resultados de inextensibilidade geométrica para singularidades nulas fracas ao nível de símbolos de Christoffel em $L^s_{loc}$ para $s > 1$. Ao fortalecer os resultados anteriores de inextensibilidade $C^{0,1}_{loc}$ (Lipschitz) para $C^0 \cap W^{1,s}_{loc}$, os autores mostram que a regularidade da extensão construída por Dafermos [4] (onde os símbolos de Christoffel estão em $L^1_{loc}$, mas não em $L^s_{loc}$ para $s > 1$) é ótima entre as extensões que respeitam a simetria esférica.

O trabalho baseia-se na interação entre o blow-up da derivada da função de raio de área e a rigidez estrutural das extensões $C^0$ esfericamente simétricas. Ele confirma que, para os espaços-tempos RNV e DLO, a singularidade nula fraca representa uma fronteira real além da qual o espaço-tempo não pode ser estendido como uma variedade lorentziana com uma métrica contínua e símbolos de Christoffel em $L^s_{loc}$, desde que a extensão mantenha a simetria esférica do espaço-tempo original.