Spherically symmetric inextendibility of weak null singularities with Christoffel symbols in $L^s_{\text{loc}}$

Résumé Technique : Inextendibilité Sphériquement Symétrique des Singularités Nulles Faibles avec Symboles de Christoffel dans $L^s_{loc}$

Énoncé du Problème
L'article traite de la Conjecture de la Censure Cosmique Forte (SCCC) dans le contexte de la relativité générale, en se concentrant spécifiquement sur l'inextendibilité des singularités nulles faibles présentes à l'intérieur des trous noirs sphériquement symétriques. Alors que des résultats antérieurs ont établi l'inextendibilité Lipschitz ($C^{0,1}_{loc}$) de telles singularités (par exemple, dans les espaces de Dafermos-Luk-Oh et les modèles Reissner-Nordström-Vaidya), aucun résultat d'inextendibilité géométrique n'existait pour les extensions possédant des symboles de Christoffel dans $L^s_{loc}$ pour $s > 1$. Le problème central est de déterminer si ces espaces-temps peuvent être étendus en tant que variétés lorentziennes avec une métrique continue et des symboles de Christoffel dans $L^s_{loc}$, en supposant que l'extension respecte la symétrie sphérique.

Méthodologie
Les auteurs emploient une preuve par l'absurde, en supposant l'existence d'une extension « fortement sphériquement symétrique ». Cette restriction exige que l'extension soit de la forme $\iota = \iota_Q \times \text{id}_{S^2}$, où l'extension de la variété quotient de dimension 2 $(Q, g_Q)$ respecte les orbites $SO(3)$.

La méthodologie repose sur trois composantes principales :

1. Contrôle de la Régularité : Les auteurs utilisent un résultat de rigidité issu de [1] concernant la structure $C^0$ des extensions. Ils restreignent leur analyse aux extensions où l'immersion $\iota_Q$ est localement $C^0$-équivalente à une extension de référence $Q$. Cela leur permet de contrôler la structure différentiable $C^1$ de l'extension, en bornant certaines dérivées de l'application d'immersion par rapport à d'autres en utilisant des coordonnées quasi-minkowskiennes (Lemme 3.1).
2. Condition de Blow-up Intégrale : La preuve repose sur une condition de blow-up spécifique sur la dérivée de la fonction de rayon de surface $r$ transverse à la singularité. Plus précisément, l'hypothèse est que $\int |\partial_v r|^s$ diverge à mesure que l'on approche de la singularité.
3. Contradiction via les Normes $L^s$ : En supposant que l'extension existe avec des symboles de Christoffel dans $L^s_{loc}$, les auteurs montrent que les dérivées des composantes de la métrique (spécifiquement liées à $\partial r$) doivent satisfaire certaines conditions d'intégrabilité. En utilisant les bornes de contrôle dérivées de la $C^0$-équivalence et le blow-up supposé de $\partial_v r$, ils démontrent que la norme $L^s$ de termes spécifiques doit diverger, contredisant l'hypothèse selon laquelle l'extension est dans $W^{1,s}_{loc}$.

Contributions Principales et Résultats
Le résultat principal est le Théorème 1.1, qui stipule que pour une singularité nulle faible sphériquement symétrique $(M_{wns}, g_{wns})$ où $\Omega$ et $r$ s'étendent continûment, si la condition intégrale $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ est vérifiée lorsque $v \to 0$, alors aucune extension $C^0 \cap W^{1,s}_{loc}$ fortement sphériquement symétrique n'existe, à condition que l'extension soit localement $C^0$-équivalente à l'extension de référence.

L'article applique ce théorème à deux classes spécifiques d'espaces-temps :

1. Espaces-temps Reissner-Nordström-Vaidya (RNV) : Les auteurs prouvent que ces espaces-temps, modélisant un influx de poussière nulle dans un trou noir de Reissner-Nordström sous-extrême, sont $C^0 \cap W^{1,s}_{loc}$-inextendibles de manière fortement sphériquement symétrique. Ils utilisent un argument de volume global (Proposition 2.5) pour exclure les extensions de type « coin » (où l'extension n'est pas $C^0$-équivalente à la référence), satisfaisant ainsi les conditions du Théorème 1.1.
2. Espaces-temps Dafermos-Luk-Oh (DLO) : Ceux-ci proviennent de petites perturbations génériques de données initiales de Reissner-Nordström sous-extrême sous le système Einstein-Maxwell-champ scalaire. Les auteurs montrent que pour ces espaces-temps, la fonction de rayon de surface $r$ est strictement décroissante le long de la singularité nulle faible. Cette propriété locale permet d'exclure les extensions de type « coin », permettant l'application directe du Théorème 1.1 pour conclure l'inextendibilité $C^0 \cap W^{1,s}_{loc}$.

L'article fournit également l'Exemple 3.3, démontrant que l'hypothèse de $C^0$-équivalence locale dans le Théorème 1.1 est nécessaire. Ils construisent un contre-exemple où la condition de blow-up est remplie, mais où une extension $C^0 \cap W^{1,s}_{loc}$ existe car l'extension n'est pas $C^0$-équivalente à la référence (une extension de type « coin »).

Signification
L'article affirme fournir les premiers résultats d'inextendibilité géométrique pour les singularités nulles faibles au niveau des symboles de Christoffel dans $L^s_{loc}$ pour $s > 1$. En renforçant les résultats d'inextendibilité $C^{0,1}_{loc}$ (Lipschitz) précédents vers $C^0 \cap W^{1,s}_{loc}$, les auteurs montrent que la régularité de l'extension construite par Dafermos [4] (où les symboles de Christoffel sont dans $L^1_{loc}$ mais pas dans $L^s_{loc}$ pour $s>1$) est optimale parmi les extensions qui respectent la symétrie sphérique.

Le travail repose sur l'interaction entre le blow-up de la dérivée de la fonction de rayon de surface et la rigidité structurelle des extensions $C^0$ sphériquement symétriques. Il confirme que pour les espaces-temps RNV et DLO, la singularité nulle faible représente une véritable frontière au-delà de laquelle l'espace-temps ne peut être étendu en tant que variété lorentzienne avec une métrique continue et des symboles de Christoffel dans $L^s_{loc}$, à condition que l'extension maintienne la symétrie sphérique de l'espace-temps original.