Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

Technische Samenvatting: Gewelfde Spacelike Singulariteiten en de $C^0$-inextendibiliteit van Birmingham-Kottler-ruimtetijden

Probleemstelling
Het artikel behandelt het probleem van $C^0$-inextendibiliteit voor ruimtetijden die singulariteiten bevatten. Een ruimtetijd is $C^0$-inextendibel als deze niet kan worden ingebed als een strikte open deelverzameling van een grotere ruimtetijd met een continue Lorentze-metriek. Op dit regulariteitsniveau zijn kromming-invarianten (die doorgaans divergeren bij singulariteiten) niet beschikbaar als obstructies, aangezien hun divergentie een continue uitbreiding niet uitsluit. De specifieke focus ligt op de Birmingham-Kottler (BK) familie van ruimtetijden—warped producten die zwarte gaten representeren met een negatieve of nul kosmologische constante ($\Lambda \le 0$) en een gesloten vezel $\Sigma$. Het doel is om te bewijzen dat de canonieke één-horizon BK-ruimtetijd $C^0$-inextendibel is, zelfs wanneer de vezel $\Sigma$ geen symmetrie bezit (homogeniteit, oriënteerbaarheid of enkelvoudige samenhang).

Methodologie
Het bewijs is gestructureerd in twee afzonderlijke fasen: een lokale obstructie bij de singulariteit en een globale analyse van de specifieke BK-ruimtetijd.

1. Lokale Obstructie (Warped Spacelike Singulariteiten):
   De auteur stelt een criterium vast voor het niet-bestaan van een continue uitbreiding bij een warped spacelike singulariteit van de vorm $M_R = (0, R) \times \mathbb{R} \times \Sigma$ met metriek $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$.

   • Integrabiliteitsvoorwaarden: Het bewijs vereist de integrabiliteit van de "causale budgetten" $A(r) = \int_0^r \frac{a}{b} ds$ en $B(r) = \int_0^r \frac{a}{c} ds$. Deze zorgen ervoor dat de tijd- en vezelcoördinaten convergeren als $r \to 0$.
   • Monotonie en Divergentie: De quotient $b/c$ moet niet-toenemend zijn, en de longitudinale factor $b(r)$ moet divergeren naar oneindig als $r \to 0$.
   • Radiale Compressie: Een belangrijke geometrische innovatie vervangt de rotatiesymmetrieën die in sferische gevallen worden gebruikt. De auteur construeert een "radiale compressie"-kaart $\phi_\epsilon$ die het limiterende spoor van een causale curve van $r=0$ naar een positieve straal $r=\epsilon$ verplaatst, terwijl de hoekbijdrage aan de causale ongelijkheid wordt gecontroleerd.
   • Contradictiemechanisme: Deze compressie levert een compacte chronologische separator op in een aangepaste rand-kaart (boundary chart). Door deze separator langs de $t$-richting te transleren, construeert de auteur twee punten op een reeks radiale sneden waarvan de intrinsieke afstand divergeert (door $b(r) \to \infty$) terwijl hun afstand in de uitbreidingskaart uniform begrensd blijft. Deze contradictie bewijst dat geen toekomstig randpunt kan worden benaderd door een tijdlijn curve waarvoor $r \to 0$ geldt.

2. Globale Toepassing (Birmingham-Kottler Ruimtetijden):
   Het artikel construeert de canonieke één-horizon BK-ruimtetijd met behulp van globale Kruskal-coördinaten.

   • Geodetische Classificatie: Gebruikmakend van de veldvergelijkingen en geodetische eerste integralen (energie $E$ en impulsmoment $J$), classificeert de auteur de eindpunten van eindige eigen-tijdelijke tijdlijn-geodeten. Er wordt aangetoond dat elke geodeet die uiteindelijk elke compacte deelverzameling verlaat, een dynamisch blok betreedt en voldoet aan $r \to 0$.
   • Synthese: De lokale obstructie wordt toegepast op het dynamische blok van de BK-ruimtetijd. Aangezien elke hypothetische $C^0$-uitbreiding een eindige-lengte causale maximizer zou vereisen die de rand nadert (een resultaat door Minguzzi en Suhr), en zodanige maximizerert noodzakelijkerwijs overeenkomt met een geodeet die $r=0$ bereikt, sluit de lokale obstructie het bestaan van een dergelijke uitbreiding uit.

Belangrijkste Bijdragen

• Generalisering van Lokale Obstructies: Het artikel breidt de $C^0$-inextendibiliteitsresultaten voor warped singulariteiten uit voorbij sferisch symmetrische instellingen. Het verwijdert de vereiste dat de vezel $\Sigma$ homogeen, oriënteerbaar of enkelvoudig samenhangend moet zijn.
• Radiale Compressie Techniek: De introductie van de radiale compressie-kaart (Lemma 3.6) dient als vervanging voor rotationele deformaties, waardoor de lokalisatie van divergentie-argumenten op willekeurige gesloten variëteiten mogelijk wordt.
• Globale Inextendibiliteit van BK-Ruimtetijden: Het artikel bewijst dat de volledige canonieke één-horizon Birmingham-Kottler-ruimtetijd (met $\Lambda \le 0$) $C^0$-inextendibel is. Dit omvat de Schwarzschild-Tangherlini-oplossing als een specifiek geval.
• Geodetische Eindpunt Classificatie: Er wordt een rigoureuze classificatie gegeven van de eindpunten van eindige eigen-tijdelijke tijd van tijdlijn-geodeten in het globale Kruskal-domein, waarbij wordt aangetoond dat ontsnappende geodeten onvermijdelijk eindigen bij de singulariteit.

Resultaten

• Theorem A (Lokaal): Geen $C^0$-uitbreiding van een warped spacelike singulariteit bestaat indien de warp-factoren voldoen aan de gespecificeerde integrabiliteits-, monotonie- en divergentievoorwaarden.
• Theorem B (Globaal): De canonieke één-horizon Birmingham-Kottler-ruimtetijd $M_{BK}$ is $C^0$-inextendibel voor elke gesloten verbonden Einstein-vezel die voldoet aan de krommingsconditie $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$.
• Corollary: De canonieke Schwarzschild-Tangherlini-ruimtetijd is $C^0$-inextendibel.

Betekenis en Claims
Het artikel claimt een puur metrische obstructie te isoleren voor continue uitbreidingen bij warped singulariteiten, onafhankelijk van veldvergelijkingen. Door dit lokale resultaat te combineren met een globale analyse van de BK-familie, stelt het de inextendibiliteit van de volledige ruimtetijd vast zonder te vertrouwen op symmetrie-aannames die dergelijke bewijzen doorgaans beperken. Het werk onderscheidt zich van eerdere criteria gebaseerd op tijdlijn-volledigheid of globale hyperboliciteit door te focussen op het specifieke gedrag van geodeten die compacte verzamelingen verlaten in aanwezigheid van een singulariteit. De auteur merkt op dat de Einstein-conditie alleen vereist is om de metriek als vacuümoplossing te identificeren, maar niet wordt gebruikt in de kern van de obstructie of de geodetische classificatie. Het artikel concludeert door toekomstige richtingen te identificeren, zoals het behandelen van geladen oplossingen, positieve kosmologische constanten en niet-canonieke horizon-identificaties, die nieuwe globale input zouden vereisen.