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

Résumé Technique : Singularités Spatiales Déformées et l'Inextendibilité $C^0$ des Espaces-Temps de Birmingham-Kottler

Énoncé du Problème
L'article traite du problème de l'inextendibilité $C^0$ pour les espaces-temps contenant des singularités. Un espace-temps est $C^0$-inextendible s'il ne peut pas être plongé comme un sous-ensemble ouvert propre d'un espace-temps plus grand doté d'une métrique lorentzienne continue. À ce niveau de régularité, les invariants de courbure (qui divergent typiquement aux singularités) ne sont pas disponibles comme obstructions, car leur divergence n'empêche pas l'existence d'un prolongement continu. L'accent est mis spécifiquement sur la famille d'espaces-temps de Birmingham-Kottler (BK) — des produits gauchis représentant des trous noirs avec une constante cosmologique négative ou nulle ($\Lambda \le 0$) et une fibre fermée $\Sigma$. L'objectif est de prouver que l'espace-temps BK à un seul horizon canonique est $C^0$-inextendible, même lorsque la fibre $\Sigma$ manque de symétrie (homogénéité, orientabilité ou connexité simple).

Méthodologie
La preuve est structurée en deux phases distinctes : une obstruction locale à la singularité et une analyse globale de l'espace-temps BK spécifique.

1. Obstruction Locale (Singularités Spatiales Gauchies) :
   L'auteur établit un critère pour la non-existence d'un prolongement continu à une singularité spatiale gauchie de la forme $M_R = (0, R) \times \mathbb{R} \times \Sigma$ avec la métrique $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$.

   • Conditions d'Intégrabilité : La preuve nécessite l'intégrabilité des « budgets causaux » $A(r) = \int_0^r \frac{a}{b} ds$ et $B(r) = \int_0^r \frac{a}{c} ds$. Cela garantit que les coordonnées temporelles et de la fibre convergent lorsque $r \to 0$.
   • Monotonie et Divergence : Le quotient $b/c$ doit être non croissant, et le facteur longitudinal $b(r)$ doit diverger vers l'infini lorsque $r \to 0$.
   • Compression Radiale : Une innovation géométrique clé remplace les symétries de rotation utilisées dans les cas sphériques. L'auteur construit une application de « compression radiale » $\phi_\epsilon$ qui déplace la trace limite d'une courbe causale de $r=0$ vers un rayon positif $r=\epsilon$ tout en contrôlant la contribution angulaire à l'inégalité causale.
   • Mécanisme de Contradiction : Cette compression produit un séparateur chronologique compact dans un voisinage de bord adapté. En traduisant ce séparateur le long de la direction $t$, l'auteur construit deux points sur une séquence de tranches radiales dont la distance intrinsèque diverge (en raison de $b(r) \to \infty$) tandis que leur distance dans le voisinage de l'extension reste uniformément bornée. Cette contradiction prouve qu'aucun point de bord futur ne peut être approché par une courbe timelike le long de laquelle $r \to 0$.

2. Application Globale (Espaces-Temps de Birmingham-Kottler) :
   L'article construit l'espace-temps BK canonique à un seul horizon en utilisant les coordonnées de Kruskal globales.

   • Classification des Géodésiques : En utilisant les équations du champ et les premières intégrales géodésiques (énergie $E$ et moment cinétique $J$), l'auteur classifie les terminaisons de temps propre finis des géodésiques timelike. Il est démontré que toute géodésique qui finit par quitter tout sous-ensemble compact entre nécessairement dans un bloc dynamique et satisfait $r \to 0$.
   • Synthèse : L'obstruction locale est appliquée au bloc dynamique de l'espace-temps BK. Puisque tout éventuel prolongement $C^0$ nécessiterait un maximiseur causal de longueur finie approchant le bord (un résultat de Minguzzi et Suhr), et qu'un tel maximiseur doit correspondre à une géodésique atteignant $r=0$, l'obstruction locale exclut l'existence d'un tel prolongement.

Contributions Clés

• Généralisation des Obstructions Locales : L'article étend les résultats d'inextendibilité $C^0$ pour les singularités gauchies au-delà des contextes à symétrie sphérique. Il supprime l'exigence que la fibre $\Sigma$ soit homogène, orientable ou simplement connexe.
• Technique de Compression Radiale : L'introduction de l'application de compression radiale (Lemme 3.6) sert de substitut aux déformations rotationnelles, permettant la localisation des arguments de divergence sur des variétés fermées arbitraires.
• Inextendibilité Globale des Espaces-Temps de Birmingham-Kottler : L'article prouve que l'intégralité de l'espace-temps de Birmingham-Kottler canonique à un seul horizon (avec $\Lambda \le 0$) est $C^0$-inextendible. Cela inclut la solution de Schwarzschild-Tangherlini comme cas spécifique.
• Classification des Terminaisons de Géodésiques : Une classification rigoureuse des fins de temps propre fini pour les géodésiques timelike dans le domaine de Kruskal global est fournie, démontrant que les géodésiques s'échappant des ensembles compacts atteignent inévitablement la singularité.

Résultats

• Théorème A (Local) : Aucun prolongement $C^0$ d'une singularité spatiale gauchie n'existe si les facteurs de gauchissage satisfont les conditions d'intégrabilité, de monotonie et de divergence spécifiées.
• Théorème B (Global) : L'espace-temps de Birmingham-Kottler canonique à un seul horizon $M_{BK}$ est $C^0$-inextendible pour toute fibre Einstein fermée et connexe satisfaisant la condition de courbure $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$.
• Corollaire : L'espace-temps de Schwarzschild-Tangherlini canonique est $C^0$-inextendible.

Signification et Revendications
L'article affirme isoler une obstruction purement métrique aux prolongements continus aux singularités gauchies, indépendamment des équations du champ. En combinant ce résultat local avec une analyse globale de la famille BK, il établit l'inextendibilité de l'espace-temps complet sans s'appuyer sur des hypothèses de symétrie qui restreignent typiquement de telles preuves. Le travail se distingue des critères précédents basés sur la complétude timelike ou l'hyperbolicité globale en se concentrant sur le comportement spécifique des géodésiques s'échappant des ensembles compacts en présence d'une singularité. L'auteur note que la condition d'Einstein est requise uniquement pour identifier la métrique comme une solution de vide, mais n'est pas utilisée dans le cœur de l'argument d'obstruction ou de la classification des géodésiques. L'article conclut en identifiant des directions futures, telles que le traitement des solutions chargées, des constantes cosmologiques positives et des identifications d'horizons non canoniques, qui nécessiteraient de nouveaux apports globaux.