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

技术摘要：带有 $\Lambda$ 的特征粘合：III. 高可微性非线性粘合

问题陈述
本文研究了通过在共同的零超曲面（null hypersurface）处“粘合”两个不同的特征初始数据集，来构造真空引力场的方法。具体而言，作者研究了在 $(n+1)$ 维时空中（$n \ge 3$）定义在光滑超曲面 $N$（通常为 $u=0$）的重叠子集 $N_1$ 和 $N_2$ 上的数据集的粘合问题。背景时空被假定为接近 Birmingham-Kottler 度规（包括 Minkowski、de Sitter、anti-de Sitter 以及 Myers-Perry 背景），且具有任意的宇宙学常数 $\Lambda \in \mathbb{R}$。

其主要动机源于 Aretakis, Czimek, 和 Rodnianski [1, 2] 先前工作的局限性，他们建立了四维 Minkowski 时空中光锥附近的 $C^2$ 粘合构造。虽然该构造确保了初始数据的连续性以及前两阶横向导数，但所产生的时空在演化过程中表现出较差的可微性性质，限制了其进一步分析的效用。本文旨在推广该粘合程序，以允许任意有限数量的横向导数（$C^k$ 粘合），并将结果扩展到任意时空维度和宇宙学常数。

方法论
作者采用了基于 Bondi 规范形式化的非线性分析框架。该方法论通过以下关键阶段进行：

1. 函数空间与正则性： 分析是在精心定制的函数空间中进行的，具体为截面 $S$ 上的 Hölder 空间 $C^{k_\gamma, \lambda}(S)$ 和 Sobolev 空间 $W^{k_\gamma, p}(S)$。正则性指数 $k_\gamma$ 的选择旨在确保有足够的微分性以求解来自约束系统的椭圆方程，同时适应特征 Cauchy 问题中固有的导数损失。

2. 插值场： 构造的核心涉及在粘合区域 $N[r_1, \hat{r}]$ 上定义一个插值度规场 $g_{AB}$。该场被构造为背景度规、第一组数据 ($g_1$)、第二组数据的变形扩张 ($E(\Psi^* g_2)$) 以及由径向截断函数 $\kappa_i$ 乘上的“自由场” $\phi_{AB}$ 的加权和。自由场用于补偿粘合过程中的阻碍因素。

3. 坐标变换与变形： 为了处理规范自由度和非线性爱因斯坦方程，作者引入了一系列三个坐标变换：

   • 截面 $S_2$ 的变形（移动零超曲面）。
   • 角坐标的重参数化（球面上的规范变换）。
   • 径向坐标的重新定义，以保持 Bondi 行列式条件。
     这些变换由“变形与规范场”（$\psi_i, X_A$）参数化，并通过隐函数定理进行控制。

4. 径向电荷与阻碍： 作者识别出了作为粘合问题阻碍因素的特定“径向电荷”（$Q$）。这些电荷（记作 $^{[1]}Q$ 和 $^{[2]}Q$）源自爱因斯坦约束的传输方程。在线性化机制下，这些电荷沿径向方向守恒。非线性分析表明，这些电荷在二阶项（$O(\epsilon^2)$）意义下在规范变换下是不变的。

5. 隐函数定理： 粘合解的存在性被简化为使用隐函数定理求解方程组。作者证明了线性化粘合问题在模去有限维径向电荷空间后，对数据空间是满射的。通过引入一组“补偿族”度规（例如具有不同质量参数的 Kerr-(A)dS 或 Birmingham-Kottler 度规），他们展示了可以通过调整径向电荷来满足必要的匹配条件。

主要贡献与结果

• 高可微性粘合： 本文证明了一个针对真空爱因斯坦方程的 $C^k_u C^\infty_{(r, x^A)}$ 粘合定理。这使得构造具有任意高有限微分类别的时空成为可能，解决了早期 $C^2$ 构造中存在的可微性问题。
• 对 $\Lambda$ 和维度的推广： 结果对于任何时空维度 $n \ge 3$ 以及任何宇宙学常数 $\Lambda \in \mathbb{R}$ 均成立。
• 补偿族： 作者确定了对于质量参数 $m \neq 0$，Kerr-(A)dS 度规族（或对于负曲率截面的 Birmingham-Kottler 度规）提供了足够的自由度来补偿径向阻碍。
• 主定理（定理 1.2 / 8.1）： 关于“足够接近补偿族成员的平滑、类空间、真空余维数为二的数据集可以粘合到另一个此类数据集的变形”这一猜想，在靠近非零质量的 Birmingham-Kottler 度规附近被证明是正确的。
• 处理阻碍： 本文明确表征了阻碍空间的维度（表 7.1），并展示了质量参数和背景几何的 Killing 矢量如何决定所需的补偿电荷的数量。

意义
本文声称其主要贡献在于证明了在渐近 Minkowski（以及更广泛的 Birmingham-Kottler）时空中，可以进行具有任意数量横向导数的特征粘合。这解决了先前工作中 [1, 2] 构建的从特征数据演化出的时空的可微性较差的问题，从而增强了这些时空用于进一步理论构造的效用。

作者指出，虽然向更高维度和任意宇宙学常数的推广本身具有独立的研究价值，但目前限制在非零质量参数（$m \neq 0$）情形下是必要的。这是由于在 Ricci 平坦截面或具有不同于圆球的正 Ricci 曲率的 Einstein 截面情况下，目前缺乏已知具有足够参数来补偿阻碍径向电荷的度规族（备注 1.3）。这类族的出现将可以在无需进一步修改的情况下扩展其结果的适用性。

这项工作高度依赖于 [3, 4] 中提出的粘合问题的线性化分析，并通过对函数空间正则性的精细控制，将其扩展到了完全非线性机制。