The $C^0$-inextendibility of Kerr spacetimes

Résumé Technique : L'inextendibilité $C^0$ des espaces-temps de Kerr

Énoncé du Problème
La solution de Kerr décrit le champ gravitationnel du vide d'un trou noir en rotation. Bien que la métrique soit analytique à travers ses horizons d'événements réguliers, la courbure diverge au niveau de la singularité annulaire définie par $\Sigma = r^2 + a^2 \cos^2 \theta = 0$. Une question centrale en relativité générale est de savoir si l'espace-temps peut être étendu au-delà de cette singularité en tant que variété lorentzienne continue ($C^0$), même si la métrique n'est pas différentiable. Des résultats antérieurs ont établi l'inextendibilité pour des régimes spécifiques ou sous des hypothèses de régularité plus fortes (par exemple, $C^2$ ou $C^{1,1}$), mais l'inextendibilité $C^0$ des réalisations de Kerr complètes — incluant les cas sous-extrêmaux, extrêmaux et sur-extrêmaux, ainsi que leurs revêtements connectés — restait à prouver sans hypothèses de causalité globale.

Méthodologie
L'article emploie une obstruction géométrique basée sur les longueurs de homotopie causale au voisinage de l'anneau singulier. La stratégie centrale repose sur trois composantes principales :

1. Obstruction Causale Locale : L'auteur construit une homotopie causale spécifique près de l'anneau où une courbe temporelle de référence peut être déformée (en fixant les extrémités) pour inclure une courbe causale fermée non constante. Cette construction repose sur l'existence de deux combinaisons linéaires indépendantes des champs de Killing stationnaires ($T$) et axiaux ($\Phi$) qui sont futurs temporels en un point transverse et dont les négatives sont futures temporelles en un autre. En parcourant des segments d'orbite de ces champs, l'auteur annule le déplacement transverse, créant ainsi une boucle fermée.
2. Longueurs Non Bornées : La répétition de cette boucle fermée au sein de la même classe d'homotopie causale à extrémités fixes produit des courbes de temps propre arbitrairement grands. L'auteur prouve que pour tout facteur de rescalage conforme continu positif $\Omega^2 g$, la longueur de ces courbes diverge lorsque la courbe s'approche de l'anneau ($\Sigma \to 0$).
3. Argument d'Extension Globale : L'article invoque un théorème de bordure (Minguzzi et Suhr) stipulant que si une extension $C^0$ propre existe, il doit exister une géodésique temporelle de vitesse unitaire future-inextendible de temps propre fini se terminant à la bordure. L'auteur démontre ensuite que chaque géodésique dans les réalisations de Kerr doit approcher l'anneau ($\Sigma \to 0$). En combinant l'obstruction locale (longueur de homotopie infinie) avec le comportement global des géodésiques, ils dérivent une contradiction : une courbe se terminant à une bordure continue doit avoir des longueurs de homotopie causale bornées dans un atlas de coordonnées, pourtant la construction de l'anneau force ces longueurs à être infinies.

Contributions Clés et Résultats

• Théorème Principal (Inextendibilité $C^0$) : L'article prouve que chaque revêtement connecté des réalisations complètes de Kerr (sous-extrêmes, extrêmes et sur-extrêmes) est $C^0$-inextendible. Cela est vrai pour toute métrique d'extension lorentzienne continue et non dégénérée, indépendamment de la symétrie, de l'orientation temporelle ou des propriétés de causalité globale.
• Caractérisation de la Singularité : L'obstruction est localisée à l'anneau singulier. La preuve montre que toute géodésique temporelle inextendible de temps propre fini doit satisfaire $\Sigma \to 0$, $r \to 0$ et $\theta \to \pi/2$ (approchant l'anneau équatorial).
• Robustesse sous Perturbations : L'obstruction persiste sous des perturbations stationnaires et axisymétriques $g + h$ à condition que la perturbation satisfasse une borne stricte : $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ dans une norme de coordonnées spécifique. L'article fournit des exemples montrant que cette borne est optimale ; la dépasser permet des rescalages conformes où les longueurs de homotopie restent finies.
• Stabilité Conforme et de Cône : Le résultat est valable pour des facteurs conformes continus positifs arbitraires et pour toute métrique lorentzienne continue dont les cônes causaux futurs contiennent les cônes de Kerr. Cela inclut les approches nulles de l'anneau.
• Analyse Géométrique des Géodésiques Terminales :
  • L'article classifie les géodésiques terminales, montrant que des données initiales génériques mènent à des géodésiques complètes, tandis que les géodésiques incomplètes sont confinées à une sous-variété de codimension deux (équatoriale, moments de Killing spécifiques).
  • Il dérive des expansions asymptotiques précises pour la coordonnée radiale $r(s)$ et les coordonnées d'orbite près de l'anneau, trouvant un comportement de premier ordre $r \sim u^{2/5}$ (où $u$ est le temps propre restant).
  • Il analyse l'explosion de la courbure, montrant que les invariants scalaires comme le scalaire de Kretschmann divergent en $\Sigma^{-3}$ (ou $u^{-12/5}$), et fournit des réductions exactes pour les champs de Jacobi polaires.
• Bornes de Perturbation : L'auteur établit des seuils précis pour les perturbations. Pour le premier ordre, le coefficient $1/(1+a^2)$ est optimal. Au second ordre, un coefficient critique $\kappa^* = M^2/(2a^4)$ est identifié, l'obstruction persistant pour $a^2 \ge 2M^2$ mais échouant pour $a^2 < 2M^2$ sous des perturbations de rang un spécifiques.

Signification et Revendications
L'article prétend résoudre l'inextendibilité $C^0$ de l'espace-temps de Kerr complet, un problème de longue date en relativité mathématique. En s'appuyant uniquement sur des bornes de cônes locaux et des arguments d'homotopie causale, la preuve évite le recours à l'hyperbolicité globale ou à des hypothèses de régularité supérieure (telles que $C^2$ ou des bornes de courbure) qui étaient auparavant requises pour des résultats similaires.

L'auteur souligne que l'obstruction est intrinsèque à la structure causale de l'anneau de Kerr. Le résultat implique que la singularité n'est pas simplement un artefact de coordonnées ou un lieu où la différentiabilité échoue, mais une frontière réelle qui ne peut être franchie, même par une métrique continue. Ce travail fournit également un cadre rigoureux pour comprendre la stabilité de cette inextendibilité sous perturbation, offrant des bornes quantitatives nettes qui distinguent les métriques conservant la nature de "blocage" de la singularité de celles qui pourraient permettre des extensions de longueur finie sous des rescalages conformes spécifiques.

L'article conclut que la singularité annulaire représente une barrière fondamentale à l'extension, renforçant la conjecture de la Censure Cosmique Forte dans le contexte des trous noirs en rotation, bien que dans la classe spécifique d'extensions stationnaires, axisymétriques et continues considérées. L'analyse géométrique des géodésiques terminales et de la courbure fournit une carte détaillée du comportement de l'espace-temps à l'approche de cette bordure.