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

Technische Zusammenfassung: Charakteristische Verklebung mit $\Lambda$: III. Hochdifferenzierbare nichtlineare Verklebung

Problemstellung
Diese Arbeit befasst sich mit der Konstruktion von Vakuum-Gravitationsfeldern durch das „Verkleben“ (Gluing) zweier unterscheidbarer charakteristischer Anfangsdatensätze entlang einer gemeinsamen Null-Hypersurface. Konkret untersuchen die Autoren die Verklebung von Datensätzen, die auf überlappenden Teilmengen $N_1$ und $N_2$ einer glatten Hypersurface $N$ (typischerweise $u=0$) innerhalb von $(n+1)$-dimensionalen Raumzeiten definiert sind. Die Hintergrund-Raumzeiten werden als nah an Birmingham-Kottler-Metriken angenommen (welche Minkowski-, de-Sitter-, Anti-de-Sitter- und Myers-Perry-Hintergründe einschließen) mit einer beliebigen kosmologischen Konstante $\Lambda \in \mathbb{R}$.

Die primäre Motivation ergibt sich aus den Einschränkungen vorangegangener Arbeiten von Aretakis, Czimek und Rodnianski [1, 2], die eine $C^2$-Verklebungskonstruktion nahe Lichtkegeln in vierdimensionalen Minkowski-Raumzeiten etabliert haben. Während diese Konstruktion die Stetigkeit der Anfangsdaten und der ersten zwei transversalen Ableitungen sicherstellte, litten die resultierenden Raumzeiten unter schlechten Differenzierbarkeitseigenschaften bei der Evolution, was ihren Nutzen für weitere Analysen einschränkte. Diese Arbeit zielt darauf ab, das Verklebeverfahren zu verallgemeinern, um eine beliebige endliche Anzahl von transversalen Ableitungen ($C^k$-Verklebung) zu ermöglichen, und das Ergebnis auf beliebige Raumzeitdimensionen und kosmologische Konstanten auszudehnen.

Methodik
Die Autoren verwenden einen Rahmen der nichtlinearen Analyse basierend auf dem Bondi-Gauge-Formalismus. Die Methodik gliedert sich in mehrere entscheidende Phasen:

1. Funktionsräume und Regularität: Die Analyse wird in sorgfältig maßgeschneiderten Funktionsräumen durchgeführt, insbesondere Hölder-Räumen $C^{k_\gamma, \lambda}(S)$ und Sobolev-Räumen $W^{k_\gamma, p}(S)$ auf den Querschnitten $S$ der Null-Hypersurface. Der Regularitätsindex $k_\gamma$ wird so gewählt, dass eine ausreichende Differenzierbarkeit zur Lösung der elliptischen Gleichungen aus dem Constraint-System gewährleistet ist, während gleichzeitig der Verlust an Ableitungen berücksichtigt wird, der für das charakteristische Cauchy-Problem inhärent ist.

2. Interpolierende Felder: Der Kern der Konstruktion ist die Definition eines interpolierenden Metrikfeldes $g_{AB}$ auf der Verklebungsregion $N[r_1, \hat{r}]$. Dieses Feld wird als gewichtete Summe der Hintergrundmetrik, des ersten Datensatzes ($g_1$), einer deformierten Erweiterung des zweiten Datensatzes ($E(\Psi^* g_2)$) und eines Satzes von „freien Feldern“ $\phi_{AB}$, multipliziert mit radialen Cutoff-Funktionen $\kappa_i$, konstruiert. Die freien Felder dienen dazu, Hindernisse (Obstructions) bei der Verklebung zu kompensieren.

3. Koordinatentransformationen und Deformationen: Um die Gauge-Freiheit und die Nichtlinearität der Einstein-Gleichungen zu handhaben, führen die Autoren eine Sequenz von drei Koordinatentransformationen ein:

   • Eine Deformation des Schnitts $S_2$ (Verschiebung der Null-Hypersurface).
   • Eine Reparametrisierung der Winkelkoordinaten (Gauge-Transformation auf der Sphäre).
   • Eine Neudefinition der radialen Koordinate, um die Bondi-Determinant-Bedingung aufrechtzuerhalten.
     Diese Transformationen sind durch „Deformations- und Gauge-Felder“ ($\psi_i, X_A$) parametrisiert, die mittels eines impliziten Funktionensatzes kontrolliert werden.

4. Radiale Ladungen und Hindernisse: Die Autoren identifizieren spezifische „radiale Ladungen“ ($Q$), die als Hindernisse für das Verklebungsproblem fungieren. Diese Ladungen, bezeichnet als $^{[1]}Q$ und $^{[2]}Q$, werden aus den Transportgleichungen der Einstein-Constraints abgeleitet. Im linearen Regime sind diese Ladungen entlang der radialen Richtung konserviert. Die nichtlineare Analyse zeigt, dass diese Ladungen unter Gauge-Transformationen bis zu Termen zweiter Ordnung ($O(\epsilon^2)$) invariant sind.

5. Impliziter Funktionensatz: Die Existenz der Verklebungslösung wird auf das Lösen eines Gleichungssystems mittels des impliziten Funktionensatzes reduziert. Die Autoren zeigen, dass das linearisierte Verklebungsproblem surjektiv auf den Raum der Daten modulo des endlich dimensionalen Raums der radialen Ladungen ist. Durch die Einführung einer „kompensierenden Familie“ von Metriken (z. B. Kerr-(A)dS- oder Birmingham-Kottler-Metriken mit variierenden Massenparametern) zeigen sie, dass die radialen Ladungen angepasst werden können, um die notwendigen Matching-Bedingungen zu erfüllen.

Wesentliche Beiträge und Ergebnisse

• Hochdifferenzierbare Verklebung: Das Papier beweist ein $C^k_u C^\infty_{(r, x^A)}$-Verklebungstheorem für die Vakuum-Einstein-Gleichungen. Dies ermöglicht die Konstruktion von Raumzeiten mit beliebig hohen endlichen Differenzierbarkeitsklassen und löst die Probleme der mangelnden Differenzierbarkeit, die in früheren $C^2$-Konstruktionen [1, 2] auftraten.
• Verallgemeinerung auf $\Lambda$ und Dimension: Die Ergebnisse gelten für jede Raumzeitdimension $n \ge 3$ und jede kosmologische Konstante $\Lambda \in \mathbb{R}$.
• Kompensierende Familien: Die Autoren stellen fest, dass die Familie der Kerr-(A)dS-Metriken (oder Birmingham-Kottler-Metriken für negativ gekrümmte Schnitte) für Massenparameter $m \neq 0$ über genügend Freiheitsgrade verfügt, um die radialen Hindernisse zu kompensieren.
• Hauptsatz (Theorem 1.2 / 8.1): Die Vermutung, dass ein glatter, raumartiger, Vakuum-Codimension-zwei-Datensatz, der einem Mitglied einer kompensierenden Familie hinreichend nahe liegt, mit einer Deformation eines anderen solchen Datensatzes verklebt werden kann, wird nahe an Birmingham-Kottler-Metriken mit nicht-verschwindender Masse als wahr bewiesen.
• Handhabung von Hindernissen: Das Papier charakterisiert explizit die Dimension des Hindernisraums (Tabelle 7.1) und zeigt auf, wie der Massenparameter und die Killing-Vektoren der Hintergrundgeometrie die Anzahl der erforderlichen kompensierenden Ladungen bestimmen.

Bedeutung
Die Autoren betonen, dass ihr primärer Beitrag der Beweis ist, dass die charakteristische Verklebung in asymptotisch minkowskischen (und allgemeiner Birmingham-Kottler-) Raumzeiten mit einer beliebigen Anzahl von transversalen Ableitungen durchgeführt werden kann. Dies löst das Problem der schlechten Differenzierbarkeit in Raumzeiten, die aus charakteristischen Daten entwickelt wurden, die in früheren Arbeiten [1, 2] konstruiert wurden, und verbessert dadurch die Nutzbarkeit solcher Raumzeiten für weitere theoretische Konstruktionen.

Die Autoren merken an, dass die Verallgemeinerung auf höhere Dimensionen und beliebige kosmologische Konstanten von eigenständigem Interesse ist, die Beschränkung auf nicht-verschwindende Massenparameter ($m \neq 0$) jedoch derzeit notwendig ist. Dies liegt am Fehlen bekannter Familien von Metriken mit ausreichend Parametern, um die störenden radialen Ladungen in Fällen von Ricci-flachen Schnitten oder Einstein-Schnitten mit positiven Ricci-Tensoren, die von der runden Sphäre abweichen, zu kompensieren (Bemerkung 1.3). Die Existenz solcher Familien würde die Gültigkeit ihrer Ergebnisse ohne weitere Modifikationen erweitern.

Die Arbeit stützt sich stark auf die lineare Analyse des Verklebungsproblems aus [3, 4] und erweitert diese Ergebnisse durch eine anspruchsvolle Anwendung des impliziten Funktionensatzes und eine sorgfältige Kontrolle der Funktionsraumregularität auf das voll-nichtlineare Regime.