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

Sintesi Tecnica: Inestendibilità $C^0$ di una classe di spazi-tempo di buchi neri a prodotto vario (warped-product)

Enunciato del Problema
Il saggio affronta la questione dell'inestendibilità dello spazio-tempo a bassa regolarità ($C^0$) per una vasta classe di spazi-tempo di buchi neri. Sebbene l'inestendibilità $C^0$ della massima estensione analitica dello spazio-tempo di Schwarzschild sia stata stabilita da Sbierski [Sbi18a, Sbi18b], tale risultato si basa fortemente sulla simmetria sferica. Il problema centrale è determinare se il meccanismo sottostante questa inestendibilità — specificamente l'ostruzione all'estensione continua attraverso le singolarità di curvatura e la regione esterna — si mantenga per spazi-tempo di buchi neri a prodotto vario che mancano della piena simmetria sferica e che possono includere campi di materia non-vuoto. Questa indagine è motivata dalla congettura di Censura Forte, la quale postula che soluzioni generiche delle equazioni di Einstein non debbano ammettere estensioni oltre i loro confini singolari come soluzioni deboli.

Metodologia
L'autore adatta la strategia di prova sviluppata da Sbierski per il caso di Schwarzschild a un contesto generalizzato di prodotto vario. La metodologia comprende tre componenti primarie:

1. Configurazione Geometrica: Il saggio considera spazi-tempo globalmente iperbolici di dimensione $(d+1)$ ($d \ge 3$) con una regione esterna statica, descritta dalla metrica:
   $$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$$
   dove $h$ è una metrica Riemanniana su una fibra $F$ di codimensione due. Le funzioni $m(r)$ e $\psi(r)$ generalizzano le funzioni di massa e di redshift di Schwarzschild. La fibra $F$ è assunta essere chiusa (compatta senza bordo), connessa, omogenea e orientabile.

2. Strumenti Tecnici e Lemmi:

   • Diagrammi Minkowskiani: La prova utilizza l'esistenza di diagrammi locali vicino a un punto del bordo futuro dove la metrica è vicina a quella di Minkowski e il bordo è un grafico Lipschitziano (Proposizione 1).
   • Connessione Unica Futura: Un passaggio crucialo consiste nel dimostrare che la regione interna sufficientemente vicina alla singolarità ($r \to 0$) è "futura uno-connessa" (Proposizione 4). Questa proprietà, dipendente dal raggio di iniettività positivo della fibra, permette la costruzione di omotopie temporali tra curve.
   • Adattamento della Simmetria: Invece di fare affidamento sulla simmetria sferica della sfera $S^2$ di Schwarzschild, la prova sfrutta l'omogeneità della fibra $F$. Il Lemma 4 stabilisce che, per una varietà omogenea, punti vicini possono essere mappati l'uno nell'altro tramite isometrie uniformemente vicine all'identità. Ciò sostituisce il controllo esplicito delle coordinate disponibile nel caso a simmetria sferica.
   • Dicotomia delle Geodetiche Temporali: Il saggio dimostra che, per questi spazi-tempo, ogni geodetica temporale diretta nel futuro e inestendibile nel futuro è o futura completa o si avvicina alla singolarità centrale ($r \to 0$). Ciò è ottenuto stabilendo una quantità conservata associata alla metrica della fibra (Lemma 11) e analizzando le equazioni geodetiche sia nelle regioni esterne che interne (Proposizioni 5 e 6).

3. Dimostrazione per Assurdo: L'argomento principale assume l'esistenza di un'estensione $C^0$. Ciò implica l'esistenza di una geodetica temporale diretta nel futuro e inestendibile nel futuro che termina sul bordo dell'estensione. La prova dimostra che una tale geodetica non può esistere:

   • Se rimane nella regione esterna, deve essere completa (Teorema 3), il che contraddice l'esistenza di un bordo (Teorema 1).
   • Se entra nella regione interna e si avvicina a $r=0$, la geometria della singolarità (specificamente la divergenza dello scalare di Kretschmann e il comportamento delle ipersuperfici di Cauchy) porta a una contraddizione riguardante la limitatezza delle distanze sulle ipersuperfici di Cauchy (Teorema 2).

Contributi Chiave e Risultati

• Teorema 2 (Nessuna estensione $C^0$ attraverso la singolarità centrale): Per spazi-tempo in cui la fibra è chiusa, connessa, omogenea e orientabile, e dove $m(r) \to m_0 > 0$ quando $r \to 0$, non esiste alcuna estensione $C^0$ attraverso la singolarità di curvatura centrale. La prova si basa sull'effetto di "spaghettificazione" (divergenza delle distanze sulle ipersuperfici di Cauchy vicino a $r=0$) e sull'omogeneità della fibra per costruire una barriera separatrice.
• Teorema 3 (Dicotomia delle Geodetiche Temporali): Sotto condizioni idonee su $m(r)$ e $\psi(r)$ (inclusi i limiti sulle loro derivate), ogni geodetica temporale diretta nel futuro e inestendibile nel futuro nella regione esterna è o futura completa o interseca l'orizzonte del buco nero. Se entra nell'interno, è futura incompleta se e solo se $r \to 0$. Questo generalizza il risultato di O'Neill per Schwarzschild a prodotti vari privi di simmetria sferica.
• Teorema 4 (Risultato Principale di Inestendibilità $C^0$): Combinando i Teoremi 2 e 3 con l'ostruzione fornita dalla completezza delle geodetiche temporali (Teorema 1), il saggio stabilisce che la classe di spazi-tempo di buchi neri a prodotto vario descritta è futura $C^0$-inestendibile.
• Estensione a Molteplici Orizzonti: Si mostra che i risultati sono validi anche se lo spazio-tempo possiede più di un orizzonte di buco nero regolare (Appendice A1).

Esempi e Applicabilità
Il saggio fornisce esempi specifici per dimostrare l'ambito dei risultati:

1. Buchi Neri Sfericamente Simmetrici Non-Vuoto: Un modello con un $m(r)$ specifico che soddisfa la condizione di energia dominante, mostrando che i modelli non-vuoto sono inclusi.
2. Buchi Neri Non Sfericamente Simmetrici: Un modello con una fibra $F = S^p \times S^q$, dimostrando che i risultati si applicano a geometrie oltre la simmetria sferica, purché la fibra sia omogenea.
3. Buchi Neri di Birmingham (AdS): Il saggio nota che, mentre il Teorema 2 si applica ai buchi neri di Birmingham nello spazio Anti-de Sitter (provando l'inestendibilità attraverso la singolarità), il Teorema 3 (e quindi il Teorema 4 completo) non si applica perché i coefficienti metrici specifici falliscono i limiti sulle derivate richiesti per la dicotomia geodetica esterna.

Significato e Rivendicazioni
Il saggio sostiene di aver isolato il meccanismo che sottende l'inestendibilità $C^0$ dello spazio-tempo di Schwarzschild e di aver dimostrato la sua robustezza sotto assunzioni di simmetria più deboli. Sostituendo la simmetria sferica con l'omogeneità della fibra, l'autore estende la classe di modelli di buchi neri per i quali la congettura di Censura Forte (nella sua formulazione $C^0$) può essere verificata. Il lavoro evidenzia che l'ostruzione all'estensione continua non è un artefatto della simmetria sferica, ma una caratteristica più generale dei buchi neri a prodotto vario con singolarità di curvatura e proprietà geometriche specifiche delle sezioni trasversali dell'orizzonte. I risultati contribuiscono alla comprensione delle singolarità spaziotemporali e della validità del determinismo nella relatività generale a bassa regolarità.