[论文解读] Rigidity of Marginally Outer Trapped (Hyper)Surfaces with Negative $\sigma$-Constant

Abraão Mendes|arXiv (Cornell University)|Sep 6, 2016

Geometric Analysis and Curvature Flows参考文献 18被引用 4

一句话总结

本文建立了高维时空中具有负σ-常数的边缘外 trapping 表面（MOTS）的刚性定理，证明若此类MOTS在曲率与外几何约束下达到最小体积界，时空在该表面附近会等距分裂为乘积形式，且MOTS为具有负标量曲率的爱因斯坦流形。该结果将先前的刚性定理推广至非时间对称情形，并将面积/体积最小化的作用推广至高余维及负曲率情形。

ABSTRACT

In this paper we generalize the main result of [13] in two different situations: in the first case for MOTSs of genus greater than one and, in the second case, for MOTSs of high dimension with negative $\sigma$-constant. In both cases we obtain a splitting result for the ambient manifold when it contains a stable closed MOTS which saturates a lower bound for the area (in dimension 2) or for the volume (in dimension $\ge3$). These results are extensions of [21, Theorem 3] and [20, Theorem 3] to general (non-time-symmetric) initial data sets.

研究动机与目标

• 将边缘外 trapping 表面（MOTS）的刚性结果推广至非时间对称情形。
• 将已知的极小曲面面积/体积界推广至具有负σ-常数的高维（n ≥ 3）MOTS。
• 在弱外最远MOTS实现由标量曲率与外曲率界导出的体积不等式等号时，建立时空的分裂定理。
• 统一并扩展[13]与[20]的框架至具有n-凸性与负σ-常数的非时间对称初始数据集。
• 证明体积界等号成立意味着MOTS为具有常负标量曲率的爱因斯坦流形，且时空在局部为乘积形式。

提出的方法

• 利用稳定性算子及MOTS稳定性算子L的谱理论，证明对弱外最远MOTS有λ(L) = 0。
• 通过Yamabe问题的共形变形，在MOTS上构造一个具有常标量曲率Rˆg = −2c的度量ˆg = u^{4/(n−2)}gΣ。
• 采用一维族的超曲面{Σt}，通过外膨胀θ(t)演化，利用体积的一阶变分与零膨胀方程。
• 基于约束方程与µ − |J| ≥ −c的界，推导出包含曲率项、散度与第二基本形式的θ′(t)微分不等式。
• 应用Hölder不等式与Sobolev型不等式，将u及其梯度的L2范数与Yamabe能量及体积关联，利用共形类中Yamabe度量的唯一性。
• 利用共形因子u_t的连续性与唯一性，应用微分不等式论证（通过引理3.2）得出θ(t) ≡ 0，从而推出时空为乘积形式。

实验结果

研究问题

• RQ1 在具有负σ-常数且能量-动量有界的高维初始数据集中，弱外最远MOTS在何种条件下满足体积极小刚性？
• RQ2 能否将时间对称情形下极小曲面的刚性定理推广至具有负σ-常数的非时间对称初始数据集？
• RQ3 当MOTS在由标量曲率与外曲率约束导出的体积下界中取等时，其周围时空的几何结构如何？
• RQ4 第二基本形式K的n-凸性如何影响具有负σ-常数的MOTS的刚性？
• RQ5 共形类中Yamabe度量的唯一性在证明体积不等式等号成立中起何种作用？

主要发现

• 若(n+1)维初始数据集中具有σ(Σ) < 0的弱外最远闭MOTS实现最小体积Vol(Σ) = (|σ(Σ)|/(2c))^{n/2}，则Σ的邻域等距微分同胚于[0,ε) × Σ，配备乘积度量dt² + gΣ。
• MOTS上诱导度量gΣ为具有常标量曲率RΣ = −2c的爱因斯坦流形。
• 每个截面Σt ≈ {t} × Σ在时空中为全测地，即零第二基本形式χ±(t)恒为零。
• 外曲率K在Σt的切空间上为零，且K(νt, ·)在法方向上也为零，意味着在邻域内物质流J = 0。
• 能量条件µ − |J| ≥ −c在MOTS上被饱和，且体积界等号成立意味着稳定性算子与共形变形中所有中间不等式均取等。
• 实现Yamabe度量的共形因子u_t为常数，确认gΣ本身已是Yamabe度量，因而为爱因斯坦流形。