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

Sintesi Tecnica: Inestendibilità Sfericamente Simmetrica di Singolarità Nulle Deboli con Simboli di Christoffel in $L^s_{loc}$

Enunciato del Problema
Il saggio affronta la Congettura del Censore Cosmico Forte (SCCC) nel contesto della relatività generale, concentrandosi specificamente sull'inestendibilità delle singolarità nulle deboli presenti negli interni di buchi neri sfericamente simmetrici. Mentre risultati precedenti hanno stabilito l'inestendibilità Lipschitz ($C^{0,1}_{loc}$) di tali singolarità (ad esempio, negli spaziamenti Dafermos-Luk-Oh e Reissner-Nordström-Vaidya), non esistevano risultati di inestendibilità geometrica per estensioni possedenti simboli di Christoffel in $L^s_{loc}$ per $s > 1$. Il problema centrale è determinare se tali spaziamenti possano essere estesi come varietà lorentziane con una metrica continua e simboli di Christoffel in $L^s_{loc}$, assumendo che l'estensione rispetti la simmetria sferica.

Metodologia
Gli autori utilizzano una dimostrazione per contraddizione, assumendo l'esistenza di un'estensione "fortemente sfericamente simmetrica". Questa restrizione richiede che l'estensione sia della forma $\iota = \iota_Q \times \text{id}_{S^2}$, dove l'estensione della varietà di quoziente bidimensionale $(Q, g_Q)$ rispetti le orbite $SO(3)$.

La metodologia si basa su tre componenti principali:

1. Controllo della Regolarità: Gli autori utilizzano un risultato di rigidità da [1] riguardante la struttura $C^0$ delle estensioni. Essi limitano la loro analisi ad estensioni in cui l'embedding $\iota_Q$ è localmente $C^0$-equivalente a un'estensione di riferimento $Q$. Ciò consente di controllare la struttura differenziabile $C^1$ dell'estensione, limitando determinate derivate della mappa di embedding in termini di altre utilizzando coordinate quasi-Minkowskiane (Lemma 3.1).
2. Condizione di Blow-up Integrale: La dimostrazione si basa su una specifica condizione di blow-up della derivata della funzione di raggio d'area $r$ trasversa alla singolarità. Nello specifico, l'assunto è che $\int |\partial_v r|^s$ diverga man mano che ci si avvicina alla singolarità.
3. Contraddizione tramite Norme $L^s$: Assumendo che l'estensione esista con simboli di Christoffel in $L^s_{loc}$, gli autori mostrano che le derivate delle componenti della metrica (specificamente legate a $\partial r$) devono soddisfare determinate condizioni di integrabilità. Utilizzando i limiti di controllo derivati dalla $C^0$-equivalenza e il supposto blow-up di $\partial_v r$, essi dimostrano che la norma $L^s$ di termini specifici deve divergere, contraddicendo l'assunto che l'estensione sia in $W^{1,s}_{loc}$.

Contributi Principali e Risultati
Il risultato principale è il Teorema 1.1, il quale afferma che per una singolarità nulla debole sfericamente simmetrica $(M_{wns}, g_{wns})$ dove $\Omega$ e $r$ si estendono continuamente, se la condizione integrale $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ vale per $v \to 0$, allora non esiste alcuna estensione $C^0 \cap W^{1,s}_{loc}$ fortemente sfericamente simmetrica attraverso la singolarità, a condizione che l'estensione sia localmente $C^0$-equivalente all'estensione di riferimento.

Il saggio applica questo teorema a due classi specifiche di spaziamenti:

1. Spaziamenti Reissner-Nordström-Vaidya (RNV): Gli autori dimostrano che questi spaziamenti, che modellano l'influsso di polvere nulla in un buco nero di Reissner-Nordström sub-estremo, sono $C^0 \cap W^{1,s}_{loc}$-inestendibili in modo fortemente sfericamente simmetrico. Essi utilizzano un argomento di volume globale (Proposizione 2.5) per escludere estensioni "corner" (dove l'estensione non è $C^0$-equivalente all'estensione di riferimento), soddisfacendo così le condizioni del Teorema 1.1.
2. Spaziamenti Dafermos-Luk-Oh (DLO): Questi derivano da perturbazioni generiche di dati iniziali di Reissner-Nordström sub-estremo sotto il sistema Einstein-Maxwell-campo scalare. Gli autori mostrano che per questi spaziamenti, la funzione di raggio d'area $r$ è strettamente decrescente lungo la singolarità nulla debole. Questa proprietà locale esclude le estensioni "corner", permettendo l'applicazione diretta del Teorema 1.1 per concludere l'inestendibilità $C^0 \cap W^{1,s}_{loc}$.

Il saggio fornisce inoltre l'Esempio 3.3, dimostrando che l'assunto di $C^0$-equivalenza locale nel Teorema 1.1 è necessario. Essi costruiscono un contro-esempio in cui la condizione di blow-up è soddisfatta, eppure esiste un'estensione $C^0 \cap W^{1,s}_{loc}$ perché l'estensione non è $C^0$-equivalente all'estensione di riferimento (un'estensione "corner").

Significatività
Il saggio sostiene di fornire i primi risultati di inestendibilità geometrica per singolarità nulle deboli al livello dei simboli di Christoffel in $L^s_{loc}$ per $s > 1$. Rafforzando i precedenti risultati di inestendibilità $C^{0,1}_{loc}$ (Lipschitz) a $C^0 \cap W^{1,s}_{loc}$, gli autori mostrano che la regolarità dell'estensione costruita da Dafermos [4] (dove i simboli di Christoffel sono in $L^1_{loc}$ ma non in $L^s_{loc}$ per $s>1$) è ottimale tra le estensioni che rispettano la simmetria sferica.

Il lavoro si basa sull'interazione tra il blow-up della derivata della funzione di raggio d'area e la rigidità strutturale delle estensioni $C^0$ sfericamente simmetriche. Esso conferma che per gli spaziamenti RNV e DLO, la singolarità nulla debole rappresenta un vero confine oltre il quale lo spazioamento non può essere esteso come varietà lorentziana con una metrica continua e simboli di Christoffel in $L^s_{loc}$, a condizione che l'estensione mantenga la simmetria sferica dello spazioamento originale.