Characteristic Gluing with $Λ$: III. High-differentiability nonlinear gluing

Résumé technique : Collage caractéristique avec $\Lambda$ : III. Collage non linéaire de haute différentiabilité

Énoncé du problème
Cet article traite de la construction de champs gravitationnels de vide par « collage » de deux ensembles de données initiales caractéristiques distinctes le long d'une hypersurface nulle commune. Plus précisément, les auteurs étudient le collage d'ensembles de données définis sur des sous-ensembles chevauchants $N_1$ et $N_2$ d'une hypersurface lisse $N$ (typiquement $u=0$) au sein de variétés de dimension $(n+1)$ ($n \ge 3$). Les variétés de fond sont supposées être proches des métriques de Birmingham-Kottler (qui incluent les métriques de Minkowski, de de Sitter, d'anti-de Sitter et de Myers-Perry) avec une constante cosmologique $\Lambda \in \mathbb{R}$ arbitraire.

La motivation principale découle des limitations des travaux précédents d'Aretakis, Czimek et Rodnianski [1, 2], qui ont établi une construction de collage en $C^2$ près des cônes de lumière dans l'espace-temps de Minkowski en quatre dimensions. Bien que cette construction assurait la continuité des données initiales et des deux premières dérivées transverses, les variétés de fond résultantes souffraient de propriétés de différentiabilité médiocres lors de leur évolution, limitant leur utilité pour des analyses ultérieures. Cet article cherche à généraliser la procédure de collage pour permettre un nombre arbitraire de dérivées transverses finies (collage $C^k$) et à étendre le résultat à des dimensions de l'espace-temps et des constantes cosmologiques arbitraires.

Méthodologie
Les auteurs emploient un cadre d'analyse non linéaire basé sur le formalisme de la jauge de Bondi. La méthodologie procède par plusieurs étapes clés :

1. Espaces de fonctions et régularité : L'analyse est menée dans des espaces de fonctions soigneusement adaptés, spécifiquement les espaces de Hölder $C^{k_\gamma, \lambda}(S)$ et les espaces de Sobolev $W^{k_\gamma, p}(S)$ sur les sections transversales $S$ de l'hypersurface nulle. L'indice de régularité $k_\gamma$ est choisi pour garantir une différentiabilité suffisante pour résoudre les équations elliptiques issues du système de contraintes tout en accommodant la perte de dérivées inhérente au problème de Cauchy caractéristique.

2. Champs d'interpolation : Le cœur de la construction consiste à définir un champ métrique d'interpolation $g_{AB}$ sur la région de collage $N[r_1, \hat{r}]$. Ce champ est construit comme une somme pondérée de la métrique de fond, du premier ensemble de données ($g_1$), d'une extension déformée du second ensemble de données ($E(\Psi^* g_2)$), et d'un ensemble de « champs libres » $\phi_{AB}$ multipliés par des fonctions de coupure radiale $\kappa_i$. Les champs libres sont utilisés pour compenser les obstructions au collage.

3. Transformations de coordonnées et déformations : Pour gérer la liberté de jauge et la non-linéarité des équations d'Einstein, les auteurs introduisent une séquence de trois transformations de coordonnées :

   • Une déformation de la section $S_2$ (déplaçant l'hypersurface nulle).
   • Une reparamétrisation des coordonnées angulaires (transformation de jauge sur la sphère).
   • Une redéfinition de la coordonnée radiale pour maintenir la condition du déterminant de Bondi.
     Ces transformations sont paramétrées par des « champs de déformation et de jauge » ($\psi_i, X_A$) qui sont contrôlés via un théorème des fonctions implicites.

4. Charges radiales et obstructions : Les auteurs identifient des « charges radiales » ($Q$) qui agissent comme des obstructions au problème de collage. Ces charges, notées $^{[1]}Q$ et $^{[2]}Q$, sont dérivées des équations de transport des contraintes d'Einstein. Dans le régime linéarisé, ces charges sont conservées le long de la direction radiale. L'analyse non linéaire montre que ces charges sont invariantes sous les transformations de jauge jusqu'aux termes du second ordre ($O(\epsilon^2)$).

5. Théorème des fonctions implicites : L'existence de la solution de collage est réduite à la résolution d'un système d'équations utilisant le théorème des fonctions implicites. Les auteurs démontrent que le problème de collage linéarisé est surjectif sur l'espace des données modulo l'espace de dimension finie des charges radiales. En introduisant une « famille compensatrice » de métriques (par exemple, des métriques de Kerr-(A)dS ou de Birmingham-Kottler avec des paramètres de masse variables), ils montrent que les charges radiales peuvent être ajustées pour satisfaire les conditions de correspondance nécessaires.

Contributions principales et résultats

• Collage de haute différentiabilité : L'article prouve un théorème de collage $C^k_u C^\infty_{(r, x^A)}$ pour les équations d'Einstein du vide. Cela permet la construction de variétés avec des classes de différentiabilité finies arbitrairement élevées, résolvant les problèmes de différentiabilité présents dans les constructions $C^2$ antérieures [1, 2].
• Généralisation à $\Lambda$ et à la dimension : Les résultats sont valables pour toute dimension d'espace-temps $n \ge 3$ et toute constante cosmologique $\Lambda \in \mathbb{R}$.
• Familles compensatrices : Les auteurs établissent que pour des paramètres de masse $m \neq 0$, la famille des métriques de Kerr-(A)dS (ou de Birmingham-Kottler pour les sections à courbure négative) fournit les degrés de liberté suffisants pour compenser les obstructions radiales.
• Théorème principal (Théorème 1.2 / 8.1) : La conjecture selon laquelle un ensemble de données de codimension deux, de vide, spaciel et lisse, suffisamment proche d'un membre d'une famille compensatrice, peut être collé à une déformation d'un autre tel ensemble de données, est prouvée vraie près des métriques de Birmingham-Kottler avec une masse non nulle.
• Gestion des obstructions : Le papier caractérise explicitement la dimension de l'espace d'obstruction (Tableau 7.1) et démontre comment le paramètre de masse et les vecteurs de Killing de la géométrie de fond déterminent le nombre de charges de compensation requises.

Signification
L'article affirme que sa contribution primaire est la preuve que le collage caractéristique dans les espaces-temps asymptotiquement minkowsiens (et plus généralement de type Birmingham-Kottler) peut être effectué avec un nombre arbitraire de dérivées transverses. Cela résout le problème de la faible différentiabilité des variétés évoluées à partir de données caractéristiques construites dans les travaux précédents [1, 2], améliorant ainsi l'utilité de telles variétés pour de nouvelles constructions théoriques.

Les auteurs notent que bien que la généralisation aux dimensions supérieures et aux constantes cosmologiques arbitraires soit d'un intérêt indépendant, la restriction aux paramètres de masse non nuls ($m \neq 0$) est actuellement nécessaire. Cela est dû à l'absence de familles de métriques connues possédant suffisamment de paramètres pour compenser les charges radiales obstructives dans les cas de sections de Ricci-plat ou de sections d'Einstein avec des tenseurs de Ricci positifs distincts de la sphère ronde (Remarque 1.3). L'existence de telles familles étendrait la validité de leurs résultats sans modification supplémentaire.

Le travail repose largement sur l'analyse linéarisée du problème de collage présentée dans [3, 4], étendant ces résultats au régime pleinement non linéaire grâce à une application sophistiquée du théorème des fonctions implicites et un contrôle rigoureux de la régularité des espaces de fonctions.