[论文解读] A rigidity theorem for surfaces in Schwarzschild manifold

Po-Ning Chen, Xiangwen Zhang|arXiv (Cornell University)|Feb 3, 2018

Geometric Analysis and Curvature Flows参考文献 19被引用 3

一句话总结

本文在史瓦西流形中建立了闭合、严格凸曲面的刚性定理：若两个此类曲面等距且具有相同的平均曲率，并满足法向方向上的非正 Ricci 曲率条件，则它们必须通过史瓦西空间的全局等距映射而等距。证明利用了拟局部质量的变分公式和拟局部 Penrose 不等式，表明第二基本形式必须一致，从而通过对称性推导出等距性。

ABSTRACT

In this article, we prove a rigidity theorem for isometric embeddings into the Schwarzschild manifold, by using the variational formula of quasi-local mass.

研究动机与目标

• 将 Cohn-Vossen 的刚性定理从欧几里得空间推广至史瓦西流形。
• 解决在具有非平凡几何结构的弯曲时空背景下，凸曲面等距嵌入的唯一性问题。
• 探究在史瓦西背景中，等距且具有相同平均曲率的曲面是否必须是全局等距的。
• 提供一个受广义相对论中加权拟局部 Penrose 不等式启发的几何刚性结果。
• 确立在史瓦西流形中，尽管空间的对称性降低，等距曲面在何种条件下可等价于等距映射。

提出的方法

• 利用静态势函数和曲面上的诱导几何，推导出史瓦西流形中拟局部质量的变分公式。
• 应用拟局部 Penrose 不等式，以确保在平均凸性条件下质量差的非负性。
• 利用曲面之间的等距性，通过拉回和前推运算识别函数与张量。
• 计算在法向形变下拟局部质量的一阶变分，得到涉及第二基本形式差值的表达式。
• 运用分部积分和 Codazzi 方程，将变分与第二基本形式差值的 $ L^2 $-范数联系起来。
• 最终得出：在一阶变分消失的条件下，有 $ |h - h'|^2 = 0 $，因此 $ h = h' $，在给定条件下成立。

实验结果

研究问题

• RQ1 Cohn-Vossen 型刚性能否从欧几里得空间推广至史瓦西流形？
• RQ2 在对称性群减少的时空（如史瓦西时空）中，实现刚性所需的额外几何条件是什么？
• RQ3 当平均曲率和等距性均保持时，拟局部 Penrose 不等式的等号情形是否蕴含等距性？
• RQ4 静态势如何影响等距曲面族中拟局部质量的变分？
• RQ5 在等距性和平均曲率约束下，第二基本形式在多大程度上决定了曲面在史瓦西流形中的嵌入？

主要发现

• 若两个曲面 $ \Sigma $ 和 $ \Sigma' $ 在史瓦西流形中等距且具有相同的平均曲率，并满足 $ \mathrm{Ric}(\nu,\nu) \leq 0 $，则它们的第二基本形式完全相同。
• 在假设 $ H = H' $ 的条件下，若一阶变分在 $ s = 0 $ 处消失，则有 $ \int_\Sigma V |h - h'|^2 \, d\sigma = 0 $，因此 $ h = h' $。
• 由于 Ricci 曲率范数关于 $ r $ 的单调性，径向函数 $ r $ 在两个曲面上被唯一确定。
• 由于旋转对称性及 $ r $-限制的相等，曲面 $ \Sigma $ 和 $ \Sigma' $ 通过史瓦西流形的等距映射实现全局等距。
• 即使 $ \Sigma' $ 不是严格凸的，只要它是平均凸的，且与 $ \Sigma $ 等距且平均曲率匹配，该结果仍然成立。
• 证明依赖于拟局部质量的正性，以及由静态势函数和曲率恒等式导出的变分公式。