Positive resolution of Bartnik's cosmological splitting conjecture

Résumé Technique : Résolution Positive de la Conjecture de Décomposition Cosmologique de Bartnik

Énoncé du Problème
L'article traite de l'aspect de rigidité du théorème de singularité cosmologique de Hawking–Penrose. Alors que le théorème de singularité (Théorème 1.1) établit qu'un espace-temps cosmologique (globalement hyperbolique, avec des surfaces de Cauchy compactes, satisfaisant la condition d'énergie forte $Ric(v,v) \geq 0$) est génériquement causalement géodésiquement incomplet, la question de ce qui se produit lorsque cette incomplétude échoue est restée ouverte. Plus précisément, Robert Bartnik (1988) a conjecturé que si un tel espace-temps est temporellement géodésiquement complet, il doit présenter une rigidité maximale : il doit se décomposer isométriquement en un produit lorentzien $\mathbb{R} \times S$ avec une métrique $dt^2 - \tilde{g}$, où $(S, \tilde{g})$ est une variété riemannienne compacte à courbure de Ricci non négative. Cette conjecture pose que l'échec de la singularité implique que la dynamique de l'espace-temps devient « triviale ».

Méthodologie
Les auteurs emploient une synthèse de deux cadres analytiques distincts pour prouver la conjecture :

1. Solutions de Viscosité Globales à l'Équation d'Eikonal Lorentienne :
   Les auteurs utilisent la construction de Zhu–Wu–Cui [24] de solutions de viscosité globales à l'équation d'eikonal lorentienne $g(\nabla u, \nabla u) = 1$. Au lieu de se baser sur une seule ligne temporelle (comme dans les théorèmes de décomposition classiques), ils associent des fonctions de type Busemann $u^+$ et $u^-$ à une foliation de surfaces de Cauchy $\{\tau_s\}_{s \in \mathbb{R}}$. Ces fonctions sont construites comme des limites de séquences impliquant la fonction de séparation temporelle $\ell$ entre les surfaces de Cauchy $\tau_{s_j}$ et $\tau_{t_j}$ lorsque $s_j \to -\infty$ et $t_j \to +\infty$.

2. Approche Elliptique via le $p$-d'Alembertien :
   S'appuyant sur des travaux conjoints récents avec Braun, Gigli et Sämann [5], les auteurs appliquent un opérateur elliptique dégénéré, le $p$-d'Alembertien ($\square_p$), défini pour $p < 1$ par $\square_p f := -\text{div}(|\nabla f|_g^{p-2} \nabla f)$. Cet opérateur permet aux auteurs de traiter la géométrie lorentzienne hyperbolique à l'aide de techniques elliptiques (spécifiquement des principes de maximum) qui ne sont pas directement applicables au d'Alembertien standard.

Étapes Techniques Clés et Contributions

• Spécialisation aux Surfaces de Cauchy Compactes :
  Les auteurs adaptent la construction de Zhu–Wu–Cui au cadre des surfaces de Cauchy compactes. En sélectionnant des géodésiques temporelles maximales entre $\tau_{s_j}$ et $\tau_{t_j}$, ils identifient un point d'intersection $z_j$ sur une surface de Cauchy fixe $\tau_0$. En utilisant la compacité, ils extraient un point limite $z_\infty$ et définissent les fonctions de Busemann $u^\pm$ par rapport à ce point de base.

• Tangence et Non-négativité (Proposition 2.3) :
  Une contribution critique est la preuve que la somme des fonctions de Busemann vers le futur et vers le passé satisfait $u^+ + u^- \geq 0$ sur $M$, avec égalité au point de base $z_\infty$ (c'est-à-dire $u^+(z_\infty) + u^-(z_\infty) = 0$). Cela établit la condition de « tangence » nécessaire pour un argument de principe de maximum.

• $p$-d'Alembertien Faible (Proposition 2.4 & 2.5) :
  Les auteurs établissent un principe de comparaison faible pour la distance lorentzienne par rapport à une surface de Cauchy spaciale compacte. Ils prouvent que $u^+$ est faiblement $p$-superharmonique ($\square_p u^+ \leq 0$) et que $-u^-$ est faiblement $p$-sous-harmonique ($\square_p (-u^-) \geq 0$). Cela repose sur la semi-concavité/semi-convexité des fonctions de distance et sur les propriétés spécifiques du $p$-d'Alembertien pour $p < 1$.

• Tangence Forte et Égalité Globale (Proposition 2.6) :
  En combinant la condition de tangence ($u^+ + u^- \geq 0$ avec un zéro en $z_\infty$) avec les propriétés de super/sous-harmonicité, les auteurs appliquent un principe de maximum pour les opérateurs uniformément elliptiques (dérivé de la structure du $p$-d'Alembertien). Cela prouve que $u^+ = -u^-$ globalement sur $M$. De plus, cette égalité implique que les fonctions sont $C^{1,1}_{loc}$.

• Construction de la Ligne Temporelle :
  L'égalité $u^+ = -u^-$ permet la concaténation des rayons temporels calibrés vers le futur et vers le passé associés à $u^+$ et $u^-$ en n'importe quel point $z$. Les auteurs démontrent que cette concaténation forme une ligne temporelle globalement maximisante (une géodésique définie sur $\mathbb{R}$ qui maximise la distance lorentzienne entre n'importe quels de ses points).

Résultat Principal
L'article prouve le Théorème 1.2 (Conjecture de Décomposition de Bartnik) :

Si un espace-temps cosmologique $(M, g)$ est temporellement géodésiquement complet, alors il est isomètre à un espace-temps produit $(\mathbb{R} \times S, dt^2 - \tilde{g})$, où $(S, \tilde{g})$ est une variété riemannienne compacte de courbure de Ricci non négative.

Signification et Revendications
Les auteurs affirment fournir une preuve complète de la conjecture de Bartnik de 1988, établissant ainsi la rigidité du théorème de singularité cosmologique de Hawking–Penrose. La signification réside dans :

1. Résolution d'un Problème Ouvert de Longue Date : La conjecture n'avait été vérifiée que sous des hypothèses plus fortes (par exemple, une courbure sectionnelle temporelle non négative) ou des contraintes additionnelles. Ce travail élimine ces hypothèses supplémentaires, en s'appuyant uniquement sur la condition d'énergie forte et l'hyperbolicité globale avec des surfaces de Cauchy compactes.
2. Synthèse Méthodologique : La preuve réussit à jeter un pont entre la construction de solutions de viscosité globales pour l'équation d'eikonal lorentzienne (Zhu–Wu–Cui) et les techniques de $p$-d'Alembertien elliptique développées dans [5]. Cette combinaison permet de surmonter le défi fondamental de la nature hyperbolique du Laplacien de Lorentz en utilisant l'ellipticité dégénérée du $p$-d'Alembertien pour $p < 1$.
3. Généralisabilité : Les auteurs notent dans les « Perspectives » que leurs méthodes semblent adaptables aux contextes de Lorentz–Finsler pondérés et de faible régularité, suggérant la robustesse de l'approche elliptique face aux problèmes de rigidité lorentzienne.

L'article ne prétend pas résoudre la rigidité pour le théorème de Hawking–Penrose général (non cosmologique) ni aborder d'autres conditions de causalité au-delà de celles spécifiées, maintenant un champ d'application focalisé sur le scénario de décomposition cosmologique.