The $C^0$-inextendibility of Kerr spacetimes

Technische Zusammenfassung: Die $C^0$-Inextendierbarkeit von Kerr-Raumzeiten

Problemstellung
Die Kerr-Lösung beschreibt das Vakuum-Gravitationsfeld eines rotierenden Schwarzen Lochs. Während die Metrik über ihre regulären Ereignishorizonte analytisch fortsetzbar ist, divergiert die Krümmung bei der singulären Ringstruktur, die durch $\Sigma = r^2 + a^2 \cos^2 \theta = 0$ definiert ist. Eine zentrale Frage der Allgemeinen Relativitätstheorie ist, ob die Raumzeit über diese Singularität als kontinuierliche ($C^0$) Lorentz-Mannigfaltigkeit erweiterbar ist, selbst wenn die Metrik nicht differenzierbar ist. Frühere Ergebnisse haben die Inextendierbarkeit für spezifische Regime oder unter stärkeren Regularitätsannahmen (z. B. $C^2$ oder $C^{1,1}$) etabliert, doch die $C^0$-Inextendierbarkeit der vollständigen Kerr-Realisierungen – einschließlich subextremaler, extremer und überextremaler Fälle sowie deren verbundener Überdeckungsräume – blieb ohne globale Kausalitätsannahmen zu beweisen.

Methodik
Die Arbeit verwendet eine geometrische Obstruktion basierend auf kausalen Homotopielängen nahe dem singulären Ring. Die Kernstrategie umfasst drei Komponenten:

1. Lokale kausale Obstruktion: Der Autor konstruiert eine spezifische kausale Homotopie nahe dem Ring, bei der eine Referenz-Zeitkurve (mit festen Endpunkten deformiert werden kann, um eine nicht-konstante geschlossene kausale Kurve zu enthalten. Diese Konstruktion beruht auf der Existenz zweier unabhängiger linearer Kombinationen der stationären ($T$) und axialen ($\Phi$) Killing-Felder, die an einem transversalen Punkt zukunft-zeitartig und an einem anderen transversalen Punkt deren Negation zukunft-zeitartig sind. Durch das Durchlaufen von Orbit-Segmenten dieser Felder werden die transversale Verschiebung aufgehoben, wodurch eine geschlossene Schleife entsteht.
2. Unbeschränkte Längen: Das wiederholte Durchlaufen dieser geschlossenen Schleife innerhalb derselben festen kausalen Homotopieklasse liefert Kurven mit beliebig großer Eigenzeit. Der Autor beweist, dass für jede positive kontinuierliche konforme Reskalierung $\Omega^2 g$ die Länge dieser Kurven divergiert, wenn sich die Kurve dem Ring nähert ($\Sigma \to 0$).
3. Globales Erweiterungsargument: Die Arbeit nutzt ein Randtheorem (Minguzzi und Suhr), welches besagt, dass, falls eine ordnungsgemäße $C^0$-Erweiterung existiert, es eine zukunft-inextendierbare zeiteigene Geodäte endlicher Eigenzeit geben muss, die am Rand endet. Der Autor zeigt auf, dass jede solche Geodäte in den Kerr-Realisierungen dem Ring ($\Sigma \to 0$) nähern muss. Durch die Kombination der lokalen Obstruktion (unendliche Homotopielänge) mit dem globalen Verhalten von Geodäten wird ein Widerspruch hergeleitet: Eine Kurve, die an einem kontinuierlichen Rand endet, muss beschränkte kausale Homotopielängen in einem Koordinatenchart aufweisen, doch die Ring-Konstruktion erzwingt diese Längen zu unendlich.

Wesentliche Beiträge und Ergebnisse

• Hauptsatz ($C^0$-Inextendierbarkeit): Die Arbeit beweist, dass jeder verbundene Überdeckungsraum der vollständigen Kerr-Realisierungen (subextremal, extremal und überextremal) $C^0$-inextendierbar ist. Dies gilt für jede kontinuierliche, nicht-degenerate Lorentz-Erweiterungsmetrik, unabhängig von Symmetrie, Zeitorientierung oder globalen Kausalitätseigenschaften.
• Charakterisierung der Singularität: Die Obstruktion ist lokal auf den singulären Ring begrenzt. Der Beweis zeigt, dass jede endliche Eigenzeit aufweisende, inextendierbare zeiteigene Geodäte die Bedingungen $\Sigma \to 0$, $r \to 0$ und $\theta \to \pi/2$ (Annäherung an den äquatorialen Ring) erfüllen muss.
• Robustheit gegenüber Perturbationen: Die Obstruktion bleibt unter stationären und axisymmetrischen Perturbationen $g + h$ bestehen, sofern die Perturbation eine scharfe Schranke erfüllt: $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ in einer spezifischen Koordinatennorm. Die Arbeit liefert Beispiele, die zeigen, dass diese Schranke scharf ist; eine Überschreitung erlaubt konforme Reskalierungen, bei denen die Homotopielängen endlich bleiben.
• Konforme und Kegel-Stabilität: Das Ergebnis gilt für beliebige positive kontinuierliche konforme Faktoren und für jede kontinuierliche Lorentz-Metrik, deren zukünftige kausale Kegel die Kerr-Kegel enthalten. Dies schließt Null-Annäherungen an den Ring ein.
• Geometrische Analyse der terminalen Geodäten:
  • Die Arbeit klassifiziert terminale Geodäten und zeigt, dass generische Anfangsdaten zu vollständigen Geodäten führen, während unvollständige Geodäten auf einer Codimension-zwei-Untervarietät (äquatorial, spezifische Killing-Impulse) beschränkt sind.
  • Es werden scharfe asymptotische Entwicklungen für die radiale Koordinate $r(s)$ und die Orbit-Koordinaten nahe dem Ring abgeleitet, wobei ein führendes Verhalten von $r \sim u^{2/5}$ (wobei $u$ die verbleibende Eigenzeit ist) gefunden wird.
  • Die Krümmungsdivergenz wird analysiert, wobei gezeigt wird, dass skalare Invarianten wie der Kretschmann-Skalar als $\Sigma^{-3}$ (oder $u^{-12/5}$) divergieren, und es werden exakte Reduktionen für polare Jacobi-Felder bereitgestellt.
• Perturbationsschranken: Der Autor etabliert präzise Schwellenwerte für Perturbationen. Für die führende Ordnung ist der Koeffizient $1/(1+a^2)$ optimal. In der nächsten Ordnung wird ein kritischer Koeffizient $\kappa^* = M^2/(2a^4)$ identifiziert, wobei die Obstruktion für $a^2 \ge 2M^2$ persistiert, aber für $a^2 < 2M^2$ unter spezifischen Rank-eins-Perturbationen versagt.

Bedeutung und Ansprüche
Die Arbeit beansprucht, die $C^0$-Inextendierbarkeit der vollständigen Kerr-Raumzeit gelöst zu haben, ein langjähriges Problem der mathematischen Relativitätstheorie. Durch die ausschließliche Verwendung lokaler Kegel-Schranken und kausaler Homotopie-Argumente vermeidet der Beweis die Notwendigkeit globaler Hyperbolizität oder höherer Regularitätsannahmen (wie $C^2$ oder Krümmungsschranken), die zuvor für ähnliche Ergebnisse erforderlich waren.

Der Autor betont, dass die Obstruktion der kausalen Struktur des Kerr-Rings inhärent ist. Das Ergebnis impliziert, dass die Singularität nicht bloß ein Koordinatenartefakt oder ein Ort ist, an dem Differenzierbarkeit fehlschlägt, sondern eine echte Grenze, die selbst durch eine kontinuierliche Metrik nicht überschritten werden kann. Die Arbeit bietet zudem einen rigorosen Rahmen zum Verständnis der Stabilität dieser Inextendierbarkeit unter Perturbationen und liefert scharfe quantitative Schranken, die zwischen Metriken unterscheiden, welche die „blockierende“ Natur der Singularität beibehalten, und solchen, die unter spezifischen konformen Reskalierungen endliche Erweiterungen zulassen könnten.

Die Arbeit schließt, dass die Ring-Singularität eine fundamentale Barriere für eine Erweiterung darstellt, was die Starke Kosmische Zensur-Vermutung im Kontext rotierender Schwarzer Löcher stärkt, wenngleich innerhalb der spezifischen Klasse der stationären, axisymmetrischen und kontinuierlichen Erweiterungen. Die geometrische Analyse der terminalen Geodäten und der Krümmung liefert eine detaillierte Karte des Verhaltens der Raumzeit beim Annähern an diese Grenze.