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

Résumé technique : Inextendibilité en $C^0$ d'une classe d'espaces-temps de trous noirs à produit gauchi

Énoncé du problème
L'article traite de la question de l'inextendibilité des espaces-temps à faible régularité ($C^0$) pour une large classe d'espaces-temps de trous noirs. Bien que l'inextendibilité en $C^0$ de l'extension analytique maximale de l'espace-temps de Schwarzschild ait été établie par Sbierski [Sbi18a, Sbi18b], ce résultat repose fortement sur la symétrie sphérique. Le problème central est de déterminer si le mécanisme sous-jacent à cette inextendibilité — spécifiquement l'obstruction à l'extension continue à travers les singularités de courbure et la région extérieure — est valable pour les espaces-temps de trous noirs à produit gauchi qui ne possèdent pas une pleine symétrie sphérique et qui peuvent inclure des champs de matière non-vides. Cette enquête est motivée par la conjecture de la Censure Cosmique Forte, qui postule que les solutions génériques des équations d'Einstein ne devraient pas admettre d'extensions au-delà de leurs frontières singulières en tant que solutions faibles.

Méthodologie
L'auteur adapte la stratégie de preuve développée par Sbierski pour le cas de Schwarzschild à un cadre généralisé de produit gauchi. La méthodologie comprend trois composantes principales :

1. Configuration géométrique : L'article considère des espaces-temps globalement hyperboliques de dimension $(d+1)$ ($d \ge 3$) possédant une région extérieure statique, décrite par la métrique :
   $$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$$
   où $h$ est une métrique riemannienne sur une fibre de codimension deux $F$. Les fonctions $m(r)$ et $\psi(r)$ généralisent la masse et la fonction de décalage vers le rouge de Schwarzschild. La fibre $F$ est supposée fermée (compacte sans bord), connexe, homogène et orientable.

2. Outils techniques et Lemmes :

   • Cartes minkowskiennes : La preuve utilise l'existence de cartes locales près d'un point de frontière futur où la métrique est proche de celle de Minkowski et la frontière est un graphe lipschitzien (Proposition 1).
   • Connexité simple future : Une étape cruciale consiste à prouver que la région intérieure suffisamment proche de la singularité ($r \to 0$) est « futurement simple-connexe » (Proposition 4). Cette propriété, dépendant du rayon d'injectivité positif de la fibre, permet la construction d'homotopies temporelles entre les courbes.
   • Adaptation de la symétrie : Au lieu de s'appuyer sur la symétrie sphérique de la sphère $S^2$ de Schwarzschild, la preuve tire parti de l'homogénéité de la fibre $F$. Le Lemme 4 établit que pour une variété homogène, des points proches peuvent être mis en correspondance via des isométries uniformément proches de l'identité. Cela remplace le contrôle explicite des coordonnées disponible dans le cas de symétrie sphérique.
   • Dichotomie des géodésiques temporelles : L'article prouve que pour ces espaces-temps, toute géodésique temporelle dirigée vers le futur et inextendible vers le futur est soit future complète, soit approche la singularité centrale ($r \to 0$). Ceci est réalisé en établissant une quantité conservée associée à la métrique de la fibre (Lemme 11) et en analysant les équations géodésiques dans les régions extérieure et intérieure (Propositions 5 et 6).

3. Preuve par l'absurde : L'argument principal suppose l'existence d'une extension en $C^0$. Cela implique l'existence d'une géodésique temporelle dirigée vers le futur et inextendible vers le futur se terminant sur la frontière de l'extension. La preuve démontre ensuite qu'une telle géodésique ne peut pas exister :

   • Si elle reste dans l'extérieur, elle doit être complète (Théorème 3), ce qui contredit l'existence d'une frontière (Théorème 1).
   • Si elle pénètre dans l'intérieur et approche $r=0$, la géométrie de la singularité (spécifiquement la divergence du scalaire de Kretschmann et le comportement des surfaces de Cauchy) conduit à une contradiction concernant la bornitude des distances sur les hypersurfaces de Cauchy (Théorème 2).

Contributions clés et Résultats

• Théorème 2 (Pas d'extension en $C^0$ à travers la singularité centrale) : Pour les espaces-temps où la fibre est fermée, connexe, homogène et orientable, et où $m(r) \to m_0 > 0$ quand $r \to 0$, il n'existe aucune extension en $C^0$ à travers la singularité de courbure centrale. La preuve repose sur l'effet de « spaghettification » (divergence des distances sur les surfaces de Cauchy près de $r=0$) et sur l'homogénéité de la fibre pour construire une barrière séparatrice.
• Théorème 3 (Dichotomie des géodésiques temporelles) : Sous des conditions appropriées sur $m(r)$ et $\psi(r)$ (incluant des bornes sur leurs dérivées), toute géodésique temporelle dirigée vers le futur et inextendible vers le futur dans la région extérieure est soit future complète, soit intersecte l'horizon du trou noir. Si elle entre dans l'intérieur, elle est future incomplète si et seulement si $r \to 0$. Cela généralise le résultat d'O'Neill pour Schwarzschild aux produits gauchis sans symétrie sphérique.
• Théorème 4 (Résultat principal d'inextendibilité en $C^0$) : En combinant les Théorèmes 2 et 3 avec l'obstruction fournie par la complétude des géodésiques temporelles (Théorème 1), l'article établit que la classe d'espaces-temps de trous noirs à produit gauchi décrite est future inextendible en $C^0$.
• Extension aux horizons multiples : Il est démontré que les résultats sont valables même si l'espace-temps possède plus d'un horizon de trou noir régulier (Appendice A1).

Exemples et Applicabilité
L'article fournit des exemples spécifiques pour démontrer la portée des résultats :

1. Trous noirs sphériquement symétriques non-vides : Un modèle avec un $m(r)$ spécifique satisfaisant la condition de dominance de l'énergie, montrant que les modèles non-vides sont inclus.
2. Trous noirs non-sphériquement symétriques : Un modèle avec une fibre $F = S^p \times S^q$, démontrant que les résultats s'appliquent à des géométries au-delà de la symétrie sphérique, à condition que la fibre soit homogène.
3. Trous noirs de Birmingham (AdS) : L'article note que bien que le Théorème 2 s'applique aux trous noirs de Birmingham dans l'espace Anti-de Sitter (prouvant l'inextendibilité à travers la singularité), le Théorème 3 (et donc le plein Théorème 4) ne s'applique pas car les coefficients de la métrique spécifique ne respectent pas les bornes sur les dérivées requises pour la dichotomie des géodésiques extérieures.

Signification et Revendications
L'article prétend isoler le mécanisme sous-jacent à l'inextendibilité en $C^0$ de l'espace-temps de Schwarzschild et démontrer sa robustesse sous des hypothèses de symétrie plus faibles. En remplaçant la symétrie sphérique par l'homogénéité de la fibre, l'auteur étend la classe de modèles de trous noirs pour lesquels la conjecture de la Censure Cosmique Forte (dans sa formulation $C^0$) peut être vérifiée. Ce travail souligne que l'obstruction à l'extension continue n'est pas un artefact de la symétrie sphérique, mais une caractéristique plus générale des trous noirs à produit gauchi possédant des singularités de courbure et des propriétés géométriques spécifiques des sections transversales de l'horizon. Les résultats contribuent à la compréhension des singularités de l'espace-temps et de la validité du déterminisme en relativité générale à faible régularité.