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

Sintesi Tecnica: Singolarità Spaziali Deformate e l'Inestendibilità $C^0$ degli Spazi-tempo di Birmingham-Kottler

Enunciato del Problema
Il saggio affronta il problema dell'inestendibilità $C^0$ per spazi-tempo contenenti singolarità. Uno spazio-tempo è $C^0$-inestendibile se non può essere immerso come sottoinsieme aperto proprio di uno spazio-tempo più grande dotato di una metrica lorentziana continua. A questo livello di regolarità, gli invarianti di curvatura (che tipicamente divergono alle singolarità) non sono disponibili come ostacoli, poiché la loro divergenza non preclude l'esistenza di un'estensione continua. L'attenzione specifica è rivolta alla famiglia di spazi-tempo Birmingham-Kottler (BK) — prodotti warped che rappresentano buchi neri con una costante cosmologica negativa o nulla ($\Lambda \le 0$) e una fibra chiusa $\Sigma$. L'obiettivo è dimostrare che il canonical uno-orizzonte spazio-tempo BK è $C^0$-inestendibile, anche quando la fibra $\Sigma$ manca di simmetria (omogeneità, orientabilità o semplicità connessa).

Metodologia
La dimostrazione è strutturata in due fasi distinte: un ostacolo locale alla singolarità e un'analisi globale del particolare spazio-tempo BK.

1. Ostacolo Locale (Singolarità Spaziali Warped):
   L'autore stabilisce un criterio per la non esistenza di un'estensione continua in una singolarità spaziale warped della forma $M_R = (0, R) \times \mathbb{R} \times \Sigma$ con metrica $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$.

   • Condizioni di Integrabilità: La dimostrazione richiede l'integrabilità dei "budget causali" $A(r) = \int_0^r \frac{a}{b} ds$ e $B(r) = \int_0^r \frac{a}{c} ds$. Ciò assicura che le coordinate temporali e della fibra convergano per $r \to 0$.
   • Monotonicità e Divergenza: Il quoziente $b/c$ deve essere non crescente, e il fattore longitudinale $b(r)$ deve divergere all'infinito per $r \to 0$.
   • Compressione Radiale: Un'innovazione geometrica chiave sostituisce le simmetrie rotazionali utilizzate nei casi sferici. L'autore costruisce una mappa di "compressione radiale" $\phi_\epsilon$ che sposta la traccia limite di una curva causale da $r=0$ a un raggio positivo $r=\epsilon$, controllando il contributo angolare all'ineguaglianza causale.
   • Meccanismo di Contraddizione: Questa compressione produce un separatore cronologico compatto in una chart di confine adattata. Traslando questo separatore lungo la direzione $t$, l'autore costruisce due punti su una sequenza di fette radiali la cui distanza intrinseca diverge (a causa di $b(r) \to \infty$) mentre la loro distanza nella chart di estensione rimane uniformemente limitata. Questa contraddizione prova che nessun punto di confine futuro può essere avvicinato da una curva timelik che soddisfi $r \to 0$.

2. Applicazione Globale (Spazi-tempo di Birmingham-Kottler):
   Il saggio costruisce il canonical uno-orizzonte spazio-tempo BK utilizzando le coordinate di Kruskal globali.

   • Classificazione Geodetica: Utilizzando le equazioni di campo e le prime integrali geodetiche (energia $E$ e momento angolare $J$), l'autore classifica i punti terminali di geodetiche timelike a tempo proprio finito. Si dimostra che ogni geodetica che eventualmente lascia ogni sottoinsieme compatto deve entrare in un blocco dinamico e soddisfare $r \to 0$.
   • Sintesi: L'ostacolo locale viene applicato al blocco dinamico dello spazio-tempo BK. Poiché qualsiasi ipotetica estensione $C^0$ richiederebbe un massimizzatore causale a lunghezza finita che si avvicina al confine (un risultato di Minguzzi e Suhr), e tale massimizzatore deve corrispondere a una geodetica che raggiunge $r=0$, l'ostacolo locale esclude l'esistenza di tale estensione.

Contributi Chiave

• Generalizzazione degli Ostacoli Locali: Il saggio estende i risultati di inestendibilità $C^0$ per singolarità warped oltre i contesti a simmetria sferica. Esso rimuove il requisito che la fibra $\Sigma$ sia omogenea, orientabile o semplicemente connessa.
• Tecnica di Compressione Radiale: L'introduzione della mappa di compressione radiale (Lemma 3.6) funge da sostituto delle deformazioni rotazionali, permettendo la localizzazione degli argomenti di divergenza su varietà chiuse arbitrarie.
• Inestendibilità Globale degli Spazi-tempo di Birmingham-Kottler: Il saggio dimostra che l'intero spazio-tempo canonical uno-orizzonte di Birmingham-Kottler (con $\Lambda \le 0$) è $C^0$-inestendibile. Ciò include la soluzione di Schwarzschild-Tangherlini come caso specifico.
• Classificazione degli Endpoint Geodetici: Viene fornita una classificazione rigorosa degli endpoint a tempo proprio finito per le geodetiche timelike nel dominio di Kruskal globale, dimostrando che le geodetiche in fuga inevitabilmente terminano alla singolarità.

Risultati

• Teorema A (Locale): Non esiste alcuna estensione $C^0$ di una singolarità spaziale warped se i fattori di warping soddisfano le specificate condizioni di integrabilità, monotonicità e divergenza.
• Teorema B (Globale): Il canonical uno-orizzonte spazio-tempo di Birmingham-Kottler $M_{BK}$ è $C^0$-inestendibile per qualsiasi fibra Einstein connessa e chiusa che soddisfi la condizione di curvatura $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$.
• Corollario: Il canonical spazio-tempo di Schwarzschild-Tangherlini è $C^0$-inestendibile.

Significatività e Rivendicazioni
Il saggio sostiene di isolare un ostacolo puramente metrico alle estensioni continue nelle singolarità warped, indipendente dalle equazioni di campo. Combinando questo risultato locale con un'analisi globale della famiglia BK, stabilisce l'inestendibilità dell'intero spazio-tempo senza fare affidamento su assunzioni di simmetria che tipicamente limitano tali prove. Il lavoro si distingue dai precedenti criteri basati sulla completezza timelike o sull'iperbolicità globale concentrandosi sul comportamento specifico delle geodetiche che sfuggono ai sottoinsiemi compatti in presenza di una singolarità. L'autore nota che la condizione di Einstein è richiesta solo per identificare la metrica come una soluzione del vuoto, ma non è utilizzata nell'argomento centrale dell'ostacolo o nella classificazione geodetica. Il saggio conclude identificando le direzioni future, come la gestione di soluzioni cariche, costanti cosmologiche positive e identificazioni di orizzonte non canonicali, che richiederebbero nuovi input globali.