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

Technische Zusammenfassung: Sphärische Symmetrie der Unerweiterbarkeit schwacher Null-Singularitäten mit Christoffel-Symbolen in $L^s_{loc}$

Problemstellung
Die Arbeit befasst sich mit der Vermutung der Starken Kosmischen Zensur (Strong Cosmic Censorship Conjecture, SCCC) im Kontext der allgemeinen Relativitätstheorie, wobei der Schwerpunkt auf der Unerweiterbarkeit schwacher Null-Singularitäten liegt, die sich im Inneren sphärisch symmetrischer Schwarzer Löcher befinden. Während frühere Ergebnisse die Lipschitz- ($C^{0,1}_{loc}$) Unerweiterbarkeit solcher Singularitäten (z. B. in Dafermos-Luk-Oh-Raumzeiten und Reissner-Nordström-Vaidya-Modellen) etabliert haben, existierten keine geometrischen Unerweiterbarkeitsergebnisse für Erweiterungen, deren Christoffel-Symbole in $L^s_{loc}$ für $s > 1$ liegen. Das zentrale Problem besteht darin zu bestimmen, ob diese Raumzeiten als Lorentz-Mannigfaltigkeiten mit einer kontinuierlichen Metrik und Christoffel-Symbolen in $L^s_{loc}$ erweitert werden können, unter der Annahme, dass die Erweiterung die sphärische Symmetrie wahrt.

Methodik
Die Autoren verwenden einen Beweis durch Widerspruch, indem sie die Existenz einer „stark sphärisch symmetrischen“ Erweiterung annehmen. Diese Einschränkung erfordert, dass die Erweiterung die Form $\iota = \iota_Q \times \text{id}_{S^2}$ besitzt, wobei die Erweiterung der zweidimensionalen Quotientenmannigfaltigkeit $(Q, g_Q)$ die $SO(3)$-Orbits respektiert.

Die Methodik stützt sich auf drei Hauptkomponenten:

1. Regulärheitskontrolle: Die Autoren nutzen ein Starrheitsergebnis aus [1] bezüglich der $C^0$-Struktur von Erweiterungen. Sie beschränken ihre Analyse auf Erweiterungen, bei denen die Einbettung $\iota_Q$ lokal $C^0$-äquivalent zu einer Referenzerweiterung $Q$ ist. Dies ermöglicht es ihnen, die $C^1$-differenzierbare Struktur der Erweiterung zu kontrollieren, indem sie bestimmte Ableitungen der Einbettungsabbildung in Abhängigkeit von anderen unter Verwendung von near-Minkowski-Koordinaten begrenzen (Lemma 3.1).
2. Integrales Blow-up-Kriterium: Der Beweis beruht auf einem spezifischen Blow-up-Kriterium der Ableitung der Flächenradius-Funktion $r$ transversal zur Singularität. Konkret ist die Annahme, dass $\int |\partial_v r|^s$ divergiert, wenn die Singularität angenähert wird.
3. Widerspruch via $L^s$-Normen: Durch die Annahme, dass eine Erweiterung mit Christoffel-Symbolen in $L^s_{loc}$ existiert, zeigen die Autoren, dass die Ableitungen der Metrikkomponenten (speziell bezüglich $\partial r$) bestimmte Integrabilitätsbedingungen erfüllen müssen. Unter Verwendung der aus der $C^0$-Äquivalenz abgeleiteten Kontrollgrenzen und des angenommenen Blow-ups von $\partial_v r$ zeigen sie, dass die $L^s$-Norm spezifischer Terme divergieren muss, was der Annahme widerspricht, dass die Erweiterung in $W^{1,s}_{loc}$ liegt.

Zentrale Beiträge und Ergebnisse
Das Hauptergebnis ist Theorem 1.1, welches besagt, dass für eine sphärisch symmetrische schwache Null-Singularität $(M_{wns}, g_{wns})$, bei der $\Omega$ und $r$ stetig fortsetzbar sind, keine stark sphärisch symmetrische $C^0 \cap W^{1,s}_{loc}$-Erweiterung existiert, sofern das Integral-Kriterium $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ gilt, wenn $v \to 0$ geht.

Die Arbeit wendet dieses Theorem auf zwei spezifische Klassen von Raumzeiten an:

1. Reissner-Nordström-Vaidya (RNV) Raumzeiten: Die Autoren beweisen, dass diese Raumzeiten, die den Einstrom von Null-Staub in ein subextremales Reissner-Nordström-Schwarzes Loch modellieren, eine stark sphärisch symmetrische $C^0 \cap W^{1,s}_{loc}$-unerweiterbar sind. Sie nutzen ein globales Volumenargument (Proposition 2.5), um „Corner“-Erweiterungen (bei denen die Erweiterung nicht $C^0$-äquivalent zur Referenz ist) auszuschließen und somit die Bedingungen von Theorem 1.1 zu erfüllen.
2. Dafermos-Luk-Oh (DLO) Raumzeiten: Diese entstehen aus generischen kleinen Perturbationen subextremaler Reissner-Nordström-Initialdaten unter dem Einstein-Maxwell-Skalarfeld-System. Die Autoren zeigen, dass für diese Raumzeiten die Flächenradius-Funktion $r$ entlang der schwachen Null-Singularität streng monoton fallend ist. Diese lokale Eigenschaft schließt „Corner“-Erweiterungen aus, was die direkte Anwendung von Theorem 1.1 erlaubt, um die $C^0 \cap W^{1,s}_{loc}$-Unerweiterbarkeit zu konkludieren.

Die Arbeit liefert zudem Beispiel 3.3, welches demonstriert, dass die Annahme der lokalen $C^0$-Äquivalenz in Theorem 1.1 notwendig ist. Sie konstruieren ein Gegenbeispiel, bei dem das Blow-up-Kriterium erfüllt ist, jedoch dennoch eine $C^0 \cap W^{1,s}_{loc}$-Erweiterung existiert, weil die Erweiterung nicht $C^0$-äquivalent zur Referenz ist (eine „Corner“-Erweiterung).

Bedeutung
Die Arbeit beansprucht, die ersten geometrischen Unerweiterbarkeitsergebnisse für schwache Null-Singularitäten auf der Ebene der Christoffel-Symbole in $L^s_{loc}$ für $s > 1$ zu liefern. Durch die Stärkung der bisherigen $C^{0,1}_{loc}$ (Lipschitz) Unerweiterbarkeitsergebnisse zu $C^0 \cap W^{1,s}_{loc}$ zeigen die Autoren, dass die Regularität der durch Dafermos [4] konstruierten Erweiterung (bei der die Christoffel-Symbole in $L^1_{loc}$, aber nicht in $L^s_{loc}$ für $s > 1$ liegen) unter Erweiterungen, die die sphärische Symmetrie respektieren, optimal ist.

Die Arbeit beruht auf dem Zusammenspiel zwischen dem Blow-up der Ableitung der Flächenradius-Funktion und der strukturellen Starrheit sphärisch symmetrischer $C^0$-Erweiterungen. Sie bestätigt, dass für die RNV- und DLO-Raumzeiten die schwache Null-Singularität eine echte Grenze darstellt, über die der Raum nicht als Lorentz-Mannigfaltigkeit mit einer kontinuierlichen Metrik und $L^s_{loc}$ Christoffel-Symbolen erweitert werden kann, sofern die Erweiterung die sphärische Symmetrie der ursprünglichen Raumzeit beibehält.