渐近反德西特时空中从无穷远的唯一延拓 II：非静态边界

我们将最近针对一类渐近反德西特 (aAdS) 时空上的线性和非线性波动方程 $\Box_g \phi + \sigma \phi = \mathcal{G} ( \phi, \partial \phi )$ 建立的唯一延拓结果，推广到允许非静态边界度规的 aAdS 时空。在此设定下建立的新 Carleman 估计构成了证明完整非线性爱因斯坦方程唯一延拓结果的关键要素，这将在后续论文中讨论。证明的关键在于一种新的、几何上适配的构造方法，用于在共形边界附近构造拟凸超曲面的叶状结构。