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

Sintesi Tecnica: Incollamento Caratteristico con $\Lambda$: III. Incollamento non lineare ad alta differenziabilità

Enunciato del Problema
Questo articolo affronta la costruzione di campi gravitazionali nel vuoto mediante l' "incollamento" di due distinti insiemi di dati caratteristici lungo una ipersuperficie nulla comune. Nello specifico, gli autori investigano l'incollamento di insiemi di dati definiti su sottoinsiemi sovrapposti $N_1$ e $N_2$ di un'ipersuperficie liscia $N$ (tipicamente $u=0$) all'interno di spazi-tempo $(n+1)$-dimensionali ($n \ge 3$). Gli spazi-tempo di fondo sono assunti essere prossimi alle metriche di Birmingham-Kottler (che includono i background di Minkowski, de Sitter, anti-de Sitter e Myers-Perry) con una costante cosmologica arbitraria $\Lambda \in \mathbb{R}$.

La motivazione primaria deriva dai limiti del lavoro precedente di Aretakis, Czimek e Rodnianski [1, 2], che hanno stabilito una costruzione di incollamento $C^2$ vicino ai coni di luce nello spaziotempo di Minkowski quadrimensionale. Sebbene tale costruzione garantisse la continuità dei dati iniziali e delle prime due derivate trasversali, gli spazi-tempo risultanti soffrivano di proprietà di differenziabilità scarse durante l'evoluzione, limitandone l'utilità per ulteriori analisi. Questo articolo mira a generalizzare la procedura di incollamento per permettere un numero arbitrario finito di derivate trasversali (incollamento $C^k$) ed estendere il risultato ad arbitrarie dimensioni dello spaziotempo e costanti cosmologiche.

Metodologia
Gli autori impiegano un framework di analisi non lineare basato sul formalismo della gauge di Bondi. La metodologia procede attraverso alcune fasi chiave:

1. Spazi di Funzione e Regolarità: L'analisi è condotta in spazi di funzione accuratamente calibrati, specificamente spazi di Hölder $C^{k_\gamma, \lambda}(S)$ e spazi di Sobolev $W^{k_\gamma, p}(S)$ sulle sezioni $S$ dell'ipersuperficie nulla. L'indice di regolarità $k_\gamma$ è scelto per garantire una sufficiente differenziabilità per risolvere le equazioni ellittiche derivanti dal sistema di vincoli, pur accomodando la perdita di derivate inerente al problema di Cauchy caratteristico.

2. Campi di Interpolazione: Il nucleo della costruzione consiste nel definire un campo metrico interpolante $g_{AB}$ sulla regione di incollamento $N[r_1, \hat{r}]$. Tale campo è costruito come una somma pesata della metrica di fondo, del primo insieme di dati ($g_1$), di un'estensione deformata del secondo insieme di dati ($E(\Psi^* g_2)$) e di un insieme di "campi liberi" $\phi_{AB}$ moltiplicati per funzioni di cutoff radiali $\kappa_i$. I campi liberi vengono utilizzati per compensare gli ostacoli all'incollamento.

3. Trasformazioni di Coordinate e Deformazioni: Per gestire la libertà di gauge e la non linearità delle equazioni di Einstein, gli autori introducono una sequenza di tre trasformazioni di coordinate:

   • Una deformazione della sezione $S_2$ (spostamento dell'ipersuperficie nulla).
   • Una riparametrizzazione delle coordinate angolari (trasformazione di gauge sulla sfera).
   • Una ridefinizione della coordinata radiale per mantenere la condizione del determinante di Bondi.
     Queste trasformazioni sono parametrizzate da "campi di deformazione e di gauge" ($\psi_i, X_A$) che sono controllati tramite un teorema della funzione implicita.

4. Cariche Radiali e Ostacoli: Gli autori identificano specifiche "cariche radiali" ($Q$) che agiscono come ostacoli al problema di incollamento. Tali cariche, denotate con $^{[1]}Q$ e $^{[2]}Q$, sono derivate dalle equazioni di trasporto dei vincoli di Einstein. Nel regime lineare, queste cariche sono conservate lungo la direzione radiale. L'analisi non lineare mostra che queste cariche sono invarianti rispetto alle trasformazioni di gauge fino al secondo ordine ($O(\epsilon^2)$).

5. Teorema della Funzione Implicita: L'esistenza della soluzione di incollamento è ridotta alla risoluzione di un sistema di equazioni utilizzando il teorema della funzione implicita. Gli autori dimostrano che il problema di incollamento linearizzato è suriettivo sullo spazio dei dati modulo lo spazio a dimensione finita delle cariche radiali. Introducendo una "famiglia compensante" di metriche (ad esempio, metriche Kerr-(A)dS o di Birmingham-Kottler con parametri di massa variabili), mostrano che le cariche radiali possono essere aggiustate per soddisfare le necessarie condizioni di accoppiamento.

Contributi Chiave e Risultati

• Incollamento ad Alta Differenziabilità: Il saggio dimostra un teorema di incollamento $C^k_u C^\infty_{(r, x^A)}$ per le equazioni di Einstein nel vuoto. Ciò permette la costruzione di spazi-tempo con classi di differenziabilità trasversa arbitrariamente elevate, risolvendo i problemi di scarsa differenziabilità presenti nelle precedenti costruzioni $C^2$.
• Generalizzazione a $\Lambda$ e Dimensione: I risultati sono validi per qualsiasi dimensione dello spaziotempo $n \ge 3$ e per qualsiasi costante cosmologica $\Lambda \in \mathbb{R}$.
• Famiglie Compensanti: Gli autori stabiliscono che per parametri di massa $m \neq 0$, la famiglia delle metriche Kerr-(A)dS (o di Birmingham-Kottler per sezioni a curvatura negativa) fornisce sufficienti gradi di libertà per compensare gli ostacoli radiali.
• Teorema Principale (Teorema 1.2 / 8.1): La congettura secondo cui un insieme di dati di codimensione-due liscio, spaziale e vuoto, sufficientemente vicino a un membro di una famiglia compensante, può essere incollato a una deformazione di un altro tale insieme di dati, è stata dimostrata vera in prossimità delle metriche di Birmingham-Kottler con massa non nulla.
• Gestione degli Ostacoli: Il saggio caratterizza esplicitamente la dimensione dello spazio degli ostacoli (Tabella 7.1) e dimostra come il parametro di massa e i vettori di Killing della geometria di fondo determinino il numero di cariche compensatrici richieste.

Significatività
Il saggio afferma che il suo contributo primario è la prova che l'incollamento caratteristico in spazi-tempo asintoticamente minkowskiani (e più generalmente di tipo Birmingham-Kottler) può essere eseguito con un numero arbitrario di derivate trasverse. Ciò risolve il problema della scarsa differenziabilità degli spazi-tempo evoluti da dati caratteristici costruiti nei lavori precedenti [1, 2], migliorando così l'utilità di tali spazi-tempo per ulteriori costruzioni teoriche.

Gli autori osservano che, sebbene la generalizzazione a dimensioni superiori e costanti cosmologiche arbitrarie sia di interesse indipendente, la restrizione ai parametri di massa non nulli ($m \neq 0$) è attualmente necessaria. Ciò è dovuto alla mancanza di famiglie di metriche note con sufficienti parametri per compensare le cariche radiali ostacolanti nei casi di sezioni Ricci-piatte o sezioni Einstein con tensori di Ricci positivi distinti dalla sfera tonda (Nota 1.3). L'esistenza di tali famiglie estenderebbe la validità dei loro risultati senza ulteriori modifiche.

Il lavoro si basa fortemente sull'analisi lineare del problema di incollamento presentata in [3, 4], estendendo tali risultati al regime pienamente non lineare attraverso un'applicazione sofisticata del teorema della funzione implicita e un controllo accurato della regolarità degli spazi di funzione.