[论文解读] A rigidity result for the graph case of the Penrose inequality

Levi Lopes de Lima, Frederico Girão|arXiv (Cornell University)|May 5, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用 13

一句话总结

该论文在自然强椭圆性条件下，建立了对在$$\mathbb{R}^{n+1}$$中为$$\mathbb{R}^n$$上图象、渐近平坦且标量曲率为零、且其最小 horizon位于超平面中的超曲面的全局刚性结果。通过将超曲面关于 horizon 超平面对称反射，并应用标量曲率为零的双端超曲面的唯一性定理，作者证明此类超曲面必局部等距于外部施瓦西解，从而确立了施瓦西时空图象表示的局部刚性结果。

ABSTRACT

In this note we prove a global rigidity result for asymptotically flat, scalar flat Euclidean hypersurfaces with a minimal horizon lying in a hyperplane, under a natural ellipticity condition. As a consequence we obtain, in the context of the Riemannian Penrose conjecture, a local rigidity result for the family of exterior Schwarzschild solutions (viewed as graphs in Euclidean space).

研究动机与目标

• 建立渐近平坦、标量曲率为零的欧氏超曲面在具有位于超平面中的最小 horizon 时的全局刚性结果。
• 解决施瓦西解图象情形下里奇-彭罗斯不等式的刚性陈述。
• 填补现有方法中仅能导出质量公式但无法获得刚性结果的空白。
• 证明在强椭圆性与正则性条件下，此类超曲面必局部等距于施瓦西解。

提出的方法

• 将原始超曲面$M$关于horizon超平面$P$反射，形成一个双端的、$C^2$的超曲面$M'$，其继承了标量平坦性与对称性。
• 对$M'$应用Hounie与Leite的唯一性结果（[HL]），该结果在强椭圆性条件下保证$M'$为完备的、标量曲率为零的双端超曲面。
• 通过正则性论证，证明反射部分在horizon处的第二基本形式匹配，从而确保$M'$为$C^2$。
• 利用施瓦西图象满足$S_2 = 0$（即标量平坦）且为具有指定渐近衰减的径向图象的事实。
• 对第一牛顿张量$G(A)$在垂直向量场$X = \partial/\partial x_{n+1}$上应用散度定理，以关联horizon与无穷远处的边界积分。
• 证明在horizon处二阶导数的匹配——特别是$u_{nn}^+ = u_{nn}^-$——源于强椭圆性条件与$S_2$的消失。

实验结果

研究问题

• RQ1 在何种条件下，$\mathbb{R}^{n+1}$中具有最小horizon的图象形式、渐近平坦且标量曲率为零的超曲面必等距于外部施瓦西解？
• RQ2 里奇-彭罗斯不等式的刚性陈述能否在施瓦西解的图象表示中成立？
• RQ3 第二基本形式的强椭圆性条件是否足以保证反射后超曲面的$C^2$正则性？
• RQ4 通过分部积分导出的质量公式是否可用于推断刚性，抑或需要采用不同方法？
• RQ5 何种条件可保证图象函数在horizon处的二阶导数匹配，从而确保反射曲面的$C^2$光滑性？

主要发现

• 在给定的强椭圆性与衰减条件下，反射超曲面$M'$为$C^2$，从而保证了$M'$上散度定理的有效性。
• 在horizon$\Gamma_0$上，二阶导数$u_{ij}^+$与$u_{ij}^-$匹配，包括法向-法向分量$u_{nn}^+ = u_{nn}^-$，这证实了$M'$的$C^2$正则性。
• 二阶导数的匹配源于强椭圆性条件与$S_2$的消失，这意味着形状算子分量在horizon处连续。
• Hounie与Leite的唯一性结果适用于$M'$，其为标量曲率为零且双端的超曲面，从而得出$M'$必为完备的、旋转对称的超曲面。
• 因此，原始超曲面$M$必局部等距于外部施瓦西解，从而确立了局部刚性结果。
• 超曲面$M$的ADM质量等于施瓦西质量$m$，且当且仅当$M$为施瓦西图象时，彭罗斯不等式取等。