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

Technische Samenvatting: Sferisch Symmetrische Onverlengbaarheid van Zwakke Nul-singulariteiten met Christoffel-symbolen in $L^s_{loc}$

Probleemstelling
Het artikel behandelt de Sterke Kosmische Censuur Conjectuur (SCCC) binnen de context van de algemene relativiteitstheorie, waarbij specifiek wordt gefocust op de onverlengbaarheid van zwakke nul-singulariteiten die worden gevonden in de binnenkant van sferisch symmetrische zwarte gaten. Hoewel eerdere resultaten de Lipschitz ($C^{0,1}_{loc}$) onverlengbaarheid van dergelijke singulariteiten hebben vastgesteld (bijv. in Dafermos-Luk-Oh ruimtetiems en Reissner-Nordström-Vaidya modellen), bestonden er geen geometrische onverlengbaarheidsresultaten voor verlengingen die bezitten over Christoffel-symbolen in $L^s_{loc}$ voor $s > 1$. Het centrale probleem is om te bepalen of deze ruimtetiems kunnen worden verlengd als Lorentz-variëteiten met een continue metriek en Christoffel-symbolen in $L^s_{loc}$, uitgaande van het geval dat de verlenging de sferische symmetrie respecteert.

Methodologie
De auteurs maken gebruik van een bewijs door tegenstrijdigheid, waarbij zij een "sterk sferisch symmetrische" verlenging veronderstellen. Deze beperking vereist dat de verlenging van de vorm $\iota = \iota_Q \times \text{id}_{S^2}$ is, waarbij de verlenging van de 2-dimensionale quotient-variëteit $(Q, g_Q)$ de $SO(3)$-banen respecteert.

De methodologie steunt op drie hoofdcomponenten:

1. Regulairiteitscontrole: De auteurs maken gebruik van een rigiditeitsresultaat uit [1] betreffende de $C^0$-structuur van verlengingen. Zij beperken hun analyse tot verlengingen waarbij de inbedding $\iota_Q$ lokaal $C^0$-equivalent is aan een referentie-verlenging $Q$. Dit stelt hen in staat om de $C^1$-differentieerbare structuur van de verlenging te controleren, waarbij bepaalde afgeleiden van de inbeddingskaart worden begrensd in termen van andere afgeleiden met behulp van nabij-Minkowski coördinaten (Lemma 3.1).
2. Integrale Blow-up Conditie: Het bewijs berust op een specifieke blow-up conditie op de afgeleide van de oppervlakte-straalfunctie $r$ transversaal aan de singulariteit. Specifiek is de aanname dat $\int |\partial_v r|^s$ divergeert naarmate de singulariteit wordt benaderd.
3. Tegenstrijdigheid via $L^s$ Normen: Door aan te nemen dat de verlenging bestaat met Christoffel-symbolen in $L^s_{loc}$, tonen de auteurs aan dat de afgeleiden van de metriekcomponenten (specifiek gerelateerd aan $\partial r$) aan bepaalde integrabiliteitscondities moeten voldoen. Door gebruik te maken van de controle-grenzen afgeleid uit de $C^0$-equivalentie en de veronderstelde blow-up van $\partial_v r$, demonstreren zij dat de $L^s$-norm van specifieke termen moet divergeren, wat in tegenstelling staat tot de aanname dat de verlenging in $W^{1,s}_{loc}$ is.

Belangrijkste Bijdragen en Resultaten
Het hoofdreresultaat is Stelling 1.1, die stelt dat voor een sferisch symmetrische zwakke nul-singulariteit $(M_{wns}, g_{wns})$ waar $\Omega$ en $r$ continu verlengbaar zijn, indien de integraalconditie $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ geldt als $v \to 0$, er geen sterk sferisch symmetrische $C^0 \cap W^{1,s}_{loc}$ verlenging bestaat, mits de verlenging lokaal $C^0$-equivalent is aan de referentie-verlenging.

Het artikel past deze stelling toe op twee specifieke klassen van ruimtetiems:

1. Reissner-Nordström-Vaidya (RNV) Ruimtetiems: De auteurs bewijzen dat deze ruimtetiems, die de instroom van null-stof in een sub-extreem Reissner-Nordström zwart gat modelleren, sterk sferisch symmetrisch $C^0 \cap W^{1,s}_{loc}$-onverlengbaar zijn. Zij gebruiken een globaal volume-argument (Propositie 2.5) om "corner" verlengingen uit te sluiten (waarbij de verlenging niet $C^0$-equivalent is aan de referentie), waardoor aan de voorwaarden van Stelling 1.1 wordt voldaan.
2. Dafermos-Luk-Oh (DLO) Ruimtetiems: Deze ontstaan uit generieke kleine perturbaties van sub-extreem Reissner-Nordström initiële data onder het Einstein-Maxwell-scalarveld systeem. De auteurs tonen aan dat voor deze ruimtetiems de oppervlakte-straalfunctie $r$ strikt monotoon afnemend is langs de zwakke nul-singulariteit. Deze lokale eigenschap sluit "corner" verlengingen uit, waardoor de directe toepassing van Stelling 1.1 mogelijk is om $C^0 \cap W^{1,s}_{loc}$-onverlengbaarheid te concluderen.

Het artikel biedt ook Voorbeeld 3.3, waarin wordt aangetoond dat de aanname van lokale $C^0$-equivalentie in Stelling 1.1 noodzakelijk is. Zij construeren een tegenvoorbeeld waarbij de blow-up conditie wordt voldaan, maar toch een $C^0 \cap W^{1,s}_{loc}$ verlenging bestaat omdat de verlenging niet $C^0$-equivalent is aan de referentie (een "corner" verlenging).

Significantie
Het artikel beweert de eerste geometrische onverlengbaarheidsresultaten voor zwakke nul-singulariteiten te bieden op het niveau van Christoffel-symbolen in $L^s_{loc}$ voor $s > 1$. Door eerdere $C^{0,1}_{loc}$ (Lipschitz) onverlengbaarheidsresultaten te versterken naar $C^0 \cap W^{1,s}_{loc}$, tonen de auteurs aan dat de regulairiteit van de door Dafermos [4] geconstrueerde verlenging (waarbij Christoffel-symbolen in $L^1_{loc}$ zijn maar niet in $L^s_{loc}$ voor $s>1$) optimaal is onder de verlengingen die sferische symmetrie respecteren.

Het werk steunt op de wisselwerking tussen de blow-up van de afgeleide van de oppervlakte-straalfunctie en de structurele rigiditeit van sferisch symmetrische $C^0$ verlengingen. Het bevestigt dat voor de RNV en DLO ruimtetiems de zwakke nul-singulariteit een werkelijke grens vormt waarboven de ruimtetiem niet kan worden verlengd als een Lorentz-variëteit met een continue metriek en $L^s_{loc}$ Christoffel-symbolen, mits de verlenging de sferische symmetrie van de oorspronkelijke ruimtetiem behoudt.