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

Resumen Técnico: Pegado Característico con $\Lambda$: III. Pegado no lineal de alta diferenciabilidad

Planteamiento del Problema
Este artículo aborda la construcción de campos gravitatorios de vacío mediante el "pegado" de dos conjuntos de datos iniciales característicos distintos a lo largo de una hipersuperficie nula común. Específicamente, los autores investigan el pegado de conjuntos de datos definidos en subconjuntos superpuestos $N_1$ y $N_2$ de una hipersuperficie suave $N$ (típicamente $u=0$) dentro de espaciotiempos de $(n+1)$ dimensiones ($n \ge 3$). Los espaciotiempos de fondo se asumen cercanos a las métricas de Birmingham-Kottler (que incluyen fondos de Minkowski, de Sitter, de anti-de Sitter y de Myers-Perry) con una constante cosmológica arbitraria $\Lambda \in \mathbb{R}$.

La motivación principal surge de las limitaciones del trabajo previo de Aretakis, Czimek y Rodnianski [1, 2], quienes establecieron una construcción de pegado $C^2$ cerca de conos de luz en el espaciotiempo de Minkowski de cuatro dimensiones. Si bien esa construcción aseguraba la continuidad de los datos iniciales y de las dos primeras derivadas transversales, los espaciotiempos resultantes sufrían de propiedades de diferenciabilidad deficientes al ser evolucionados, lo que limitaba su utilidad para análisis posteriores. Este artículo busca generalizar el procedimiento de pegado para permitir un número arbitrario de derivadas transversales (pegado $C^k$) y extender el resultado a dimensiones arbitrarias y constantes cosmológicas.

Metodología
Los autores emplean un marco de análisis no lineal basado en el formalismo de la guía de Bondi. La metodología procede a través de varias etapas clave:

1. Espacios de Funciones y Regularidad: El análisis se lleva a cabo en espacios de funciones cuidadosamente adaptados, específicamente espacios de Hölder $C^{k_\gamma, \lambda}(S)$ y espacios de Sobolev $W^{k_\gamma, p}(S)$ en las secciones transversales $S$ de la hipersuperficie nula. El índice de regularidad $k_\gamma$ se elige para asegurar la diferenciabilidad suficiente para resolver las ecuaciones elípticas que surgen del sistema de restricciones, al tiempo que acomoda la pérdida de derivadas inherente al problema de Cauchy característico.

2. Campos de Interpolación: El núcleo de la construcción consiste en definir un campo métrico de interpolación $g_{AB}$ en la región de pegado $N[r_1, \hat{r}]$. Este campo se construye como una suma ponderada de la métrica de fondo, el primer conjunto de datos ($g_1$), una extensión deformada del segundo conjunto de datos ($E(\Psi^* g_2)$), y un conjunto de "campos libres" $\phi_{AB}$ multiplicados por funciones de corte radial $\kappa_i$. Los campos libres se utilizan para compensar las obstrucciones al pegado.

3. Transformaciones de Coordenadas y Deformaciones: Para manejar la libertad de la guía y la no linealidad de las ecuaciones de Einstein, los autores introducen una secuencia de tres transformaciones de coordenadas:

   • Una deformación de la sección $S_2$ (moviendo la hipersuperficie nula).
   • Una reparametrización de las coordenadas angulares (transformación de guía en la esfera).
   • Una redefinición de la coordenada radial para mantener la condición del determinante de Bondi.
     Estas transformaciones están parametrizadas por "campos de deformación y de guía" ($\psi_i, X_A$), los cuales son controlados mediante un teorema de la función implícita.

4. Cargas Radiales y Obstrucciones: Los autores identifican "cargas radiales" ($Q$) específicas que actúan como obstrucciones al problema de pegado. Estas cargas, denotadas como $^{[1]}Q$ y $^{[2]}Q$, se derivan de las ecuaciones de transporte de las restricciones de Einstein. En el régimen linealizado, estas cargas se conservan a lo largo de la dirección radial. El análisis no lineal muestra que estas cargas son invariantes bajo transformaciones de guía hasta términos de segundo orden ($O(\epsilon^2)$).

5. Teorema de la Función Implícita: La existencia de la solución de pegado se reduce a la resolución de un sistema de ecuaciones utilizando el teorema de la función implícita. Los autores demuestran que el problema de pegado linealizado es suprayectivo sobre el espacio de los datos módulo el espacio de dimensión finita de las cargas radiales. Al introducir una "familia compensadora" de métricas (por ejemplo, métricas de Kerr-(A)dS o de Birmingham-Kottler con parámetros de masa variables), muestran que las cargas radiales pueden ajustarse para satisfacer las condiciones de coincidencia necesarias.

Contribuciones Clave y Resultados

• Pegado de Alta Diferenciabilidad: El artículo demuestra un teorema de pegado $C^k_u C^\infty_{(r, x^A)}$ para las ecuaciones de Einstein de vacío. Esto permite la construcción de espaciotiempos con clases de diferenciabilidad transversal arbitrariamente altas, resolviendo los problemas de diferenciabilidad presentes en las construcciones $C^2$ anteriores [1, 2].
• Generalización a $\Lambda$ y Dimensión: Los resultados son válidos para cualquier dimensión de espaciotiempo $n \ge 3$ y cualquier constante cosmológica $\Lambda \in \mathbb{R}$.
• Familias Compensadoras: Los autores establecen que, para parámetros de masa $m \neq 0$, la familia de métricas de Kerr-(A)dS (o de Birmingham-Kottler para secciones de curvatura negativa) proporciona los grados de libertad suficientes para compensar las obstrucciones radiales.
• Teorema Principal (Teorema 1.2 / 8.1): La conjetura de que un conjunto de datos de vacío de codimensión dos, suave y espaciolike, suficientemente cercano a un miembro de una familia compensadora, puede pegarse a una deformación de otro tal conjunto de datos, se demuestra como verdadera cerca de las métricas de Birmingham-Kottler con masa no nula.
• Manejo de Obstrucciones: El artículo caracteriza explícitamente la dimensión del espacio de obstrucción (Tabla 7.1) y demuestra cómo el parámetro de masa y los vectores de Killing de la geometría de fondo determinan el número de cargas radiales compensadoras requeridas.

Significado
El artículo afirma que su contribución principal es la demostración de que el pegado característico en espaciotiempos asintóticamente minkowskianos (y más generalmente, de Birmingham-Kottler) puede realizarse con un número arbitrario de derivadas transversales. Esto resuelve el problema de la baja diferenciabilidad en los espaciotiempos evolucionados a partir de datos característicos construidos en trabajos previos [1, 2], mejorando así la utilidad de tales espaciotiempos para futuras construcciones teóricas.

Los autores señalan que, si bien la generalización a dimensiones superiores y constantes cosmológicas arbitrarias es de interés independiente, la restricción a parámetros de masa no nulos ($m \neq 0$) es actualmente necesaria. Esto se debe a la falta de familias conocidas de métricas con suficientes parámetros para compensar las cargas radiales obstructoras en los casos de secciones de Ricci nulas o secciones de Einstein con tensores de Ricci positivos distintos de la esfera redonda (Observación 1.3). La existencia de tales familias extendería la validez de sus resultados sin necesidad de modificaciones adicionales.

El trabajo depende fuertemente del análisis linealizado del problema de pegado presentado en [3, 4], extendiendo esos resultados al régimen totalmente no lineal mediante una aplicación sofisticada del teorema de la función implícita y un control cuidadoso de la regularidad de los espacios de funciones.