The $C^0$-inextendibility of Kerr spacetimes

Sintesi Tecnica: L'inextendibilità $C^0$ degli Spazi-Tempi di Kerr

Enunciato del Problema
La soluzione di Kerr descrive il campo gravitazionale nel vuoto di un buco nero rotante. Sebbene la metrica si estenda analiticamente attraverso i suoi orizzonti degli eventi regolari, la curvatura diverge presso la singolarità ad anello definita da $\Sigma = r^2 + a^2 \cos^2 \theta = 0$. Una questione centrale nella relatività generale è se lo spaziotempo possa essere esteso oltre questa singolarità come varietà lorentziana continua ($C^0$), anche qualora la metrica non sia differenziabile. Risultati precedenti hanno stabilito l'inextendibilità per regimi specifici o sotto assunzioni di regolarità più forti (ad esempio $C^2$ o $C^{1,1}$), ma l'inextendibilità $C^0$ delle complete realizzazioni di Kerr — inclusi i casi subestremali, estremali e sovraestremali, nonché i loro spazi di copertura connessi — restava da dimostrare senza assunzioni di causalità globale.

Metodologia
Il saggio impiega un ostacolo geometrico basato su lunghezze di omotopia causale in prossimità dell'anello singolare. La strategia centrale prevede tre componenti fondamentali:

1. Ostacolo Causale Locale: L'autore costruisce una specifica omotopia causale vicino all'anello in cui una curva temporale di riferimento può essere deformata (fissando gli estremi) per includere una curva causale chiusa non costante. Questa costruzione si basa sull'esistenza di due combinazioni lineari indipendenti dei campi di Killing stazionari ($T$) e assiali ($\Phi$) che sono futuri temporali in un punto trasversale e il cui opposto è futuro temporale in un altro. Attraverso l'attraversamento di segmenti d'orbita di questi campi, l'autore annulla lo spostamento trasversale, creando un ciclo chiuso.
2. Lunghezze Illimitate: Ripetendo questo ciclo chiuso all'interno della stessa classe di omotopia causale a estremi fissi, si ottengono curve con un tempo proprio arbitrariamente grande. L'autore dimostra che per ogni riscalamento conforme continuo $\Omega^2 g$, la lunghezza di queste curve diverge quando la curva si avvicina all'anello ($\Sigma \to 0$).
3. Argomento di Estensione Globale: Il saggio invoca un teorema di frontiera (Minguzzi e Suhr) il quale stabilisce che, se esiste un'estensione $C^0$ propria, deve esistere una geodesica temporale unitaria inestensibile nel futuro di tempo proprio finito che termini sulla frontiera. L'autore dimostra che ogni tale geodesica nelle realizzazioni di Kerr deve necessariamente avvicinarsi all'anello ($\Sigma \to 0$). Combinando l'ostacolo locale (lunghezza di omotopia infinita) con il comportamento globale delle geodetiche, si deriva una contraddizione: una curva che termina su una frontiera continua deve avere lunghezze di omotopia causale limitate in un grafico di coordinate, eppure la costruzione dell'anello impone che queste lunghezze siano infinite.

Contributi Chiave e Risultati

• Teorema Principale (Inextendibilità $C^0$): Il saggio dimostra che ogni spazio di copertura connesso delle complete realizzazioni di Kerr (subestremali, estremali e sovraestremali) è $C^0$-inextendibile. Ciò è valido per qualsiasi metrica di estensione lorentziana continua, non degenere e non degenere, indipendentemente dalla simmetria, dall'orientazione temporale o dalle proprietà di causalità globale.
• Caratterizzazione della Singolarità: L'ostacolo è localizzato nell'anello singolare. La dimostrazione mostra che ogni geodesica temporale inestensibile a tempo proprio finito deve soddisfare $\Sigma \to 0$, $r \to 0$ e $\theta \to \pi/2$ (avvicinandosi all'anello equatoriale).
• Robustezza sotto Perturbazioni: L'ostacolo persiste sotto perturbazioni stazionarie e assiali $g + h$, a condizione che la perturbazione soddisfi un limite netto: $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ in una specifica norma di coordinate. Il saggio fornisce esempi che mostrano come questo limite sia ottimale; superarlo permette l'esistenza di riscalamenti conformi dove le lunghezze di omotopia rimangono finite.
• Stabilità Conforme e di Cono: Il risultato è valido per arbitrarie funzioni di scala conformi positive e per qualsiasi metrica lorentziana continua i cui coni causali futuri contengano i coni di Kerr. Ciò include gli approcci nulli all'anello.
• Analisi Geometrica delle Geodetiche Terminali:
  • Il saggio classifica le geodetiche terminali, mostrando che i dati iniziali generici portano a geodetiche complete, mentre quelle incomplete sono confinate in una sottovarietà di codimensione due (equatoriale, momenti di Killing specifici).
  • Deriva espansioni asintotiche precise per la coordinata radiale $r(s)$ e le coordinate orbitali vicino all'anello, trovando un comportamento di ordine principale $r \sim u^{2/5}$ (dove $u$ è il tempo proprio rimanente).
  • Analizza la divergenza della curvatura, mostrando che gli invarianti scalari come lo scalare di Kretschmann divergono come $\Sigma^{-3}$ (o $u^{-12/5}$), e fornisce riduzioni esatte per i campi di Jacobi polari.
• Limiti di Perturbazione: L'autore stabilisce soglie precise per le perturbazioni. Per l'ordine principale, il coefficiente $1/(1+a^2)$ è ottimale. Al termine successivo, viene identificato un coefficiente critico $\kappa^* = M^2/(2a^4)$, con l'ostacolo che persiste per $a^2 \ge 2M^2$ ma fallisce per $a^2 < 2M^2$ sotto specifiche perturbazioni di rango uno.

Significato e Rivendicazioni
Il saggio sostiene di aver risolto l'inextendibilità $C^0$ del pieno spaziotempo di Kerr, un problema di lunga data nella relatività matematica. Basandosi esclusivamente su limiti locali dei coni e argomenti di omotopia causale, la prova evita la necessità di iperbolicità globale o di assunzioni di regolarità superiore (come $C^2$ o vincoli di curvatura) che erano precedentemente richieste per risultati simili.

L'autore sottolinea che l'ostacolo è intrinseco alla struttura causale dell'anello di Kerr. Il risultato implica che la singolarità non è meramente un artefatto delle coordinate o un luogo in cui la differenziabilità fallisce, ma una vera frontiera che non può essere attraversata nemmeno da una metrica continua. Il lavoro fornisce inoltre un quadro rigoroso per comprendere la stabilità di questa inextendibilità sotto perturbazioni, offrendo limiti quantitativi netti che distinguono tra metriche che mantengono la natura di "blocco" della singolarità e quelle che potrebbero permettere estensioni a tempo proprio finito sotto specifici riscalamenti conformi.

Il saggio conclude che la singolarità ad anello rappresenta una barriera fondamentale all'estensione, rafforzando la congettura di Censura Forte della Cosmologia nel contesto dei buchi neri rotanti, sebbene all'interno della specifica classe di estensioni stazionarie, assiali e continue considerate. L'analisi geometrica delle geodetiche terminali e della curvatura fornisce una mappa dettagliata del comportamento dello spaziotempo mentre si avvicina a questa frontiera.