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

Resumo Técnico: Colagem Característica com $\Lambda$: III. Colagem não linear de alta diferenciabilidade

Enunciado do Problema
Este artigo aborda a construção de campos gravitacionais de vácuo através da "colagem" de dois conjuntos distintos de dados característicos ao longo de uma hipersuperfície nula comum. Especificamente, os autores investigam a colagem de conjuntos de dados definidos em subconjuntos sobrepostos $N_1$ e $N_2$ de uma hipersuperfície suave $N$ (tipicamente $u=0$) dentro de variedades espaciais de $(n+1)$ dimensões ($n \ge 3$). Os espaços de fundo são assumidos como sendo próximos das métricas de Birmingham-Kottler (que incluem backgrounds de Minkowski, de Sitter, anti-de Sitter e Myers-Perry) com uma constante cosmológica arbitrária $\Lambda \in \mathbb{R}$.

A motivação primária decorre das limitações do trabalho anterior de Aretakis, Czimek e Rodnianski [1, 2], que estabeleceram uma construção de colagem $C^2$ próximo a cones de luz em o espaço-tempo de Minkowski quadridimensional. Embora essa construção tenha garantido a continuidade dos dados iniciais e das duas primeiras derivadas transversais, os espaços-tempos resultantes sofreram de propriedades de diferenciabilidade pobres quando evoluídos, limitando sua utilidade para análises posteriores. Este artigo busca generalizar o procedimento de colagem para permitir um número arbitrário finito de derivadas transversais (colagem $C^k$) e estender o resultado para dimensões de espaço-tempo e constantes cosmológicas arbitrárias.

Metodologia
Os autores empregam um arcabouço de análise não linear baseado no formalismo de gauge de Bondi. A metodologia procede através de várias etapas principais:

1. Espaços de Funções e Regularidade: A análise é conduzida em espaços de funções cuidadosamente adaptados, especificamente espaços de Hölder $C^{k_\gamma, \lambda}(S)$ e espaços de Sobolev $W^{k_\gamma, p}(S)$ nas seções transversais $S$ das hipersuperfícies nulas. O índice de regularidade $k_\gamma$ é escolhido para garantir diferenciabilidade suficiente para resolver as equações elípticas decorrentes do sistema de restrições, enquanto acomoda a perda de derivadas inerente ao problema de Cauchy característico.

2. Campos de Interpolação: O núcleo da construção envolve a definição de um campo métrico interpolante $g_{AB}$ na região de colagem $N[r_1, \hat{r}]$. Este campo é construído como uma soma ponderada da métrica de fundo, do primeiro conjunto de dados ($g_1$), de uma extensão deformada do segundo conjunto de dados ($E(\Psi^* g_2)$) e de um conjunto de "campos livres" $\phi_{AB}$ multiplicados por funções de corte radial $\kappa_i$. Os campos livres são usados para compensar obstruções à colagem.

3. Transformações de Coordenadas e Deformações: Para lidar com a liberdade de gauge e a não linearidade das equações de Einstein, os autores introduzem uma sequência de três transformações de coordenadas:

   • Uma deformação da seção $S_2$ (movendo a hipersuperfície nula).
   • Uma reparametrização das coordenadas angulares (transformação de gauge na esfera).
   • Uma redefinição da coordenada radial para manter a condição do determinante de Bondi.
     Estas transformações são parametrizadas por "campos de deformação-e-gauge" ($\psi_i, X_A$) que são controlados via teorema da função implícita.

4. Cargas Radiais e Obstruções: Os autores identificam "cargas radiais" ($Q$) específicas que atuam como obstruções ao problema de colagem. Estas cargas, denotadas por $^{[1]}Q$ e $^{[2]}Q$, são derivadas das equações de transporte das restrições de Einstein. No regime linearizado, estas cargas são conservadas ao longo da direção radial. A análise não linear mostra que estas cargas são invariantes sob transformações de gauge até termos de segunda ordem ($O(\epsilon^2)$).

5. Teorema da Função Implícita: A existência da solução de colagem é reduzida à resolução de um sistema de equações usando o teorema da função implícita. Os autores demonstram que o problema de colagem linearizado é sobrejetivo sobre o espaço de dados módulo o espaço de dimensão finita das cargas radiais. Ao introduzir uma "família compensadora" de métricas (por exemplo, métricas Kerr-(A)dS ou Birmingham-Kottler com parâmetros de massa variando), eles mostram que as cargas radiais podem ser ajustadas para satisfazer as condições de correspondência necessárias.

Principais Contribuições e Resultados

• Colagem de Alta Diferenciabilidade: O artigo prova um teorema de colagem $C^k_u C^\infty_{(r, x^A)}$ para as equações de Einstein de vácuo. Isso permite a construção de espaços-tempos com classes de diferenciabilidade finitas arbitrariamente altas, resolvendo os problemas de diferenciabilidade presentes nas construções $C^2$ anteriores [1, 2].
• Generalização para $\Lambda$ e Dimensão: Os resultados são válidos para qualquer dimensão de espaço-tempo $n \ge 3$ e qualquer constante cosmológica $\Lambda \in \mathbb{R}$.
• Famílias Compensadoras: Os autores estabelecem que, para parâmetros de massa $m \neq 0$, a família de métricas Kerr-(A)dS (ou Birmingham-Kottler para seções de curvatura negativa) fornece os graus de liberdade suficientes para compensar as obstruções radiais.
• Teorema Principal (Teorema 1.2 / 8.1): A conjectura de que um conjunto de dados de codimensão dois, de vácuo, esférico, suave e suficientemente próximo de um membro de uma família compensadora, pode ser colado a uma deformação de outro tal conjunto de dados, é provada verdadeira próximo a métricas de Birmingham-Kottler com massa não nula.
• Tratamento de Obstruções: O artigo caracteriza explicitamente a dimensão do espaço de obstrução (Tabela 7.1) e demonstra como o parâmetro de massa e os vetores de Killing da geometria de fundo determinam o número de cargas radiais compensadoras necessárias.

Significância
O artigo afirma que sua principal contribuição é a prova de que a colagem característica em espaços-tempos assintoticamente minkowskianos (e mais genericamente, Birmingham-Kottler) pode ser realizada com um número arbitrário de derivadas transversais. Isso resolve a questão da baixa diferenciabilidade em espaços-tempos evoluídos a partir de dados característicos construídos em trabalhos anteriores [1, 2], aumentando assim a utilidade de tais espaços-tempos para futuras construções teóricas.

Os autores observam que, embora a generalização para dimensões superiores e constantes cosmológicas arbitrárias seja de interesse independente, a restrição a parâmetros de massa não nulos ($m \neq 0$) é atualmente necessária. Isto deve-se à falta de famílias conhecidas de métricas com parâmetros suficientes para compensar as cargas radiais obstruidoras nos casos de seções Ricci-flat ou seções de Einstein com tensores de Ricci positivos distintos da esfera redonda (Observação 1.3). A existência de tais famílias estenderia a validade de seus resultados sem modificações adicionais.

O trabalho depende fortemente da análise linearizada do problema de colagem apresentada em [3, 4], estendendo esses resultados para o regime totalmente não linear através de uma aplicação sofisticada do teorema da função implícita e um controle cuidadoso da regularidade dos espaços de funções.