$C^0$-inextendibility of a class of warped-product black hole spacetimes

Technische Samenvatting: $C^0$-onuitbreidbaarheid van een klasse van warped-product zwart gat ruimtetijden

Probleemstelling
Het artikel behandelt de vraag naar de ruimtetijd-onuitbreidbaarheid bij lage regulariteit ($C^0$) voor een brede klasse van zwart gat ruimtetijden. Hoewel de $C^0$-onuitbreidbaarheid van de maximale analytische uitbreiding van de Schwarzschild-ruimtetijd is vastgesteld door Sbierski [Sbi18a, Sbi18b], rust dit resultaat zwaar op sferische symmetrie. Het centrale probleem is om te bepalen of het mechanisme dat ten grondslag ligt aan deze onuitbreidbaarheid—specifiek de obstructie voor continue uitbreidingen door krommingssingulariteiten en de exterieure regio—geldt voor warped-product zwart gat ruimtetijden die geen volledige sferische symmetrie bezitten en mogelijk niet-vacuüm materievelden bevatten. Deze onderzoeksvraag wordt gemotiveerd door de Strong Cosmic Censorship-conjectuur, die stelt dat generieke oplossingen van de Einstein-vergelijkingen geen uitbreidingen mogen toelaten voorbij hun singulariteitsgrenzen als zwakke oplossingen.

Methodologie
De auteur past de bewijsstrategie die door Sbierski voor het Schwarzschild-geval is ontwikkeld, aan voor een gegeneraliseerde warped-product setting. De methodologie bestaat uit drie primaire componenten:

1. Geometrische Opzet: Het artikel beschouwt $(d+1)$-dimensionale ($d \ge 3$) globaal hyperbolische ruimtetijden met een statische exterieure regio, beschreven door de metriek:
   $$g = -e^{-2\psi(r)}\left(1 - \frac{2m(r)}{r}\right)dt^2 + \left(1 - \frac{2m(r)}{r}\right)^{-1}dr^2 + r^2h$$
   waarbij $h$ een Riemanniaanse metriek is op een codimensie-twee vezel $F$. De functies $m(r)$ en $\psi(r)$ generaliseren de massa- en roodverschuivingsfuncties van Schwarzschild. De vezel $F$ wordt verondersteld gesloten (compact zonder rand), verbonden, homogeen en oriënteerbaar te zijn.

2. Technische Instrumenten en Lemma's:

   • Minkowskiaanse Kaarten: Het bewijs maakt gebruik van de existentie van lokale kaarten nabij een toekomstig randpunt waar de metriek dicht bij Minkowski is en de rand een Lipschitz-grafiek is (Propositie 1).
   • Toekomstige Eén-verbondenheid: Een cruciale stap is het bewijzen dat de binnenste regio voldoende dicht bij de singulariteit ($r \to 0$) "toekomstig één-verbonden" is (Propositie 4). Deze eigenschap, afhankelijk van het feit dat de vezel een positieve injectiviteitsstraal heeft, maakt de constructie van tijdlijn-homotopieën tussen krommen mogelijk.
   • Symmetrie-adaptatie: In plaats van te vertrouwen op de sferische symmetrie van de Schwarzschild-bol $S^2$, maakt het bewijs gebruik van de homogeniteit van de vezel $F$. Lemma 4 stelt vast dat voor een homogene variëteit, nabijgelegen punten naar elkaar gemapt kunnen worden via isometrieën die uniform dicht bij de identiteit liggen. Dit vervangt de expliciete coördinatcontrole die beschikbaar is in het sferisch symmetrische geval.
   • Tijdlijn Geodeet Dichotomie: Het artikel bewijst dat voor deze ruimtetijden elke toekomstige gerichte, toekomstige onuitbreidbare tijdlijn geodeet ofwel toekomstig compleet is, ofwel de centrale singulariteit nadert ($r \to 0$). Dit wordt bereikt door een behouden grootheid te vestigen die geassocieerd is met de vezel-metriek (Lemma 11) en de geodeetvergelijkingen in zowel de exterieure als de interieure regio's te analyseren (Proposities 5 en 6).

3. Bewijs door Tegenspraak: Het hoofdarkument gaat ervan uit dat er een $C^0$-uitbreiding bestaat. Dit impliceert de existentie van een toekomstige gerichte, toekomstige onuitbreidbare tijdlijn geodeet die eindigt op de rand van de uitbreiding. Het bewijs demonstreert vervolgens dat een dergelijke geodeet niet kan bestaan:

   • Als deze in de exterieure regio blijft, moet deze compleet zijn (Theorem 3), wat in tegenspraak is met de existentie van een rand (Theorem 1).
   • Als deze de binnenste regio binnentreedt en $r=0$ nadert, leidt de geometrie van de singulariteit (specifiek de divergentie van de Kretschmann-scalar en het gedrag van Cauchy-oppervlakken) tot een tegenspraak met betrekking tot de begrensdheid van afstanden op Cauchy-oppervlakken (Theorem 2).

Belangrijkste Bijdragen en Resultaten

• Theorem 2 (Geen $C^0$-uitbreiding door de centrale singulariteit): Voor ruimtetijden waar de vezel gesloten, verbonden, homogeen en oriënteerbaar is, en waar $m(r) \to m_0 > 0$ geldt als $r \to 0$, bestaat er geen $C^0$-uitbreiding door de centrale krommingssingulariteit. Het bewijs steunt op het "spaghettificatie"-effect (divergentie van afstanden op Cauchy-oppervlakken nabij $r=0$) en de homogeniteit van de vezel om een scheidende barrière te construeren.
• Theorem 3 (Tijdlijn Geodeet Dichotomie): Onder geschikte voorwaarden op $m(r)$ en $\psi(r)$ (inclusief grenzen aan hun afgeleiden), is elke toekomstige gerichte, toekomstige onuitbreidbare tijdlijn geodeet in de exterieure regio ofwel toekomstig compleet ofwel snijdt deze de zwarte gat horizon. Als deze de binnenste regio binnentreedt, is zij toekomstig incompleet indien en slechts indien $r \to 0$. Dit generaliseert O'Neill's resultaat voor Schwarzschild naar warped-producten zonder sferische symmetrie.
• Theorem 4 (Hoofd $C^0$-onuitbreidbaarheidsresultaat): Door Theorems 2 en 3 te combineren met de obstructie geboden door tijdlijn geodeet volledigheid (Theorem 1), stelt het artikel vast dat de klasse van warped-product zwarte gat ruimtetijden die beschreven worden, toekomstig $C^0$-onuitbreidbaar is.
• Extensie naar Meerdere Horizonten: De resultaten tonen aan dat ze ook gelden als de ruimtetijd meer dan één reguliere zwarte gat horizon bezit (Appendix A1).

Voorbeelden en Toepasbaarheid
Het artikel biedt specifieke voorbeelden om de reikwijdte van de resultaten aan te tonen:

1. Niet-vacuüm Sferisch Symmetrische Zwarte Gaten: Een model met een specifieke $m(r)$ die voldoet aan de dominantie-energieconditie, wat aantoont dat niet-vacuüm modellen zijn inbegrepen.
2. Niet-Sferisch Symmetrische Zwarte Gaten: Een model met een vezel $F = S^p \times S^q$, wat demonstreert dat de resultaten van toepassing zijn op geometrieën buiten de sferische symmetrie, mits de vezel homogeen is.
3. Birmingham Zwarte Gaten (AdS): Het artikel merkt op dat hoewel Theorem 2 van toepassing is op Birmingham zwarte gaten in Anti-de Sitter-ruimte (wat onuitbreidbaarheid door de singulariteit bewijst), Theorem 3 (en daarmee het volledige Theorem 4) niet van toepassing is omdat de specifieke metriekcoëfficiënten niet voldoen aan de vereiste afgeleide-grenzen voor de exterieure geodeet dichotomie.

Betekenis en Claims
Het artikel claimt het mechanisme dat ten grondslag ligt aan de $C^0$-onuitbreidbaarheid van de Schwarzschild-ruimtetijd te isoleren en aan te tonen dat dit robuust is onder zwakkere symmetrie-aannames. Door sferische symmetrie te vervangen door de homogeniteit van de vezel, breidt de auteur de klasse van zwarte gat modellen uit waarvoor de Strong Cosmic Censorship-conjectuur (in haar $C^0$-formulering) kan worden geverifieerd. Het werk benadrukt dat de obstructie voor continue uitbreiding niet een artefact is van sferische symmetrie, maar een meer algemeen kenmerk van warped-product zwarte gaten met krommingssingulariteiten en specifieke geometrische eigenschappen van de horizon-doorsneden. De resultaten dragen bij aan het begrip van ruimtetijd-singulariteiten en de geldigheid van determinisme in de algemene relativiteitstheorie bij lage regulariteit.