[论文解读] A localized spacetime Penrose inequality and horizon detection with quasi-local mass

Aghil Alaee, Martin Lesourd+1 more|arXiv (Cornell University)|Dec 3, 2019

Geometric Analysis and Curvature Flows参考文献 25被引用 6

一句话总结

本文利用 Wang-Yau 和 Liu-Yau 的准局部质量，建立了基于 Jang 图的局域化时空 Penrose 不等式，证明了这些质量界定了外层极限外向抓捕表面（MOTS）的 Hawking 质量。关键结果是无需 Herzlich 型常数的精确准局部 Penrose 不等式，从而为非负标量曲率初始数据集中 MOTS 的存在性或非存在性提供了新充分条件。

ABSTRACT

For an admissible class of smooth compact initial data sets with boundary, we prove a comparison theorem between the Wang/Liu-Yau quasi-local mass of the boundary and the Hawking mass of strictly minimizing hulls in the Jang graphs of the domain. Using this, we prove a quasi-local Penrose inequality that involves these quasi-local masses of the boundary and the area of an outermost marginally outer trapped surface (MOTS) in the domain or the area of minimizing minimal surface within the Jang graphs. Moreover, we obtain sufficient conditions for the (non)existence of a MOTS within a domain, in the spirit of the folklore hoop conjecture.

研究动机与目标

• 建立具有边界的初始数据集中，准局部质量（Wang-Yau、Liu-Yau）与 Jang 图中 Hawking 质量之间的比较定理。
• 推导出无需 Herzlich 型常数的精确准局部 Penrose 不等式，适用于外层极限外向抓捕表面（MOTS）。
• 在 hoop 猜想的精神下，为紧致初始数据集中 MOTS 的（非）存在性提供充分条件。
• 通过 Jang 方程与几何分析，将准局部质量比较的应用扩展至时空设定。

提出的方法

• 作者定义了一类具有光滑、无捕获、单连通边界且标量曲率非负的可接受初始数据集。
• 他们利用 Jang 图构造，将初始数据集转化为一个黎曼流形，以便分析几何流与最小化包络。
• 证明了边界 Liu-Yau 与 Wang-Yau 准局部质量与 Jang 图中最小化包络 Hawking 质量之间的比较定理。
• 该证明依赖于几何分析技术，包括弱逆平均曲率流及 Jang 流形中的 Minkowski 型不等式。
• 作者应用 Meeks-Simon-Yau 关于极小曲面的结果，并结合 Gauss-Bonnet 与曲率比较论证，推导出基于矛盾的非存在性定理。
• 他们利用边界高斯曲率与 R³ 中的 Minkowski 公式，建立了对直径与质量的界。

实验结果

研究问题

• RQ1 能否在质量界中不包含 Herzlich 型常数的前提下，为初始数据集建立精确的准局部 Penrose 不等式？
• RQ2 在何种条件下，一个区域包含或不包含极限外向抓捕表面（MOTS）？
• RQ3 如何利用准局部质量（Liu-Yau、Wang-Yau）检测或排除时空中某区域中 MOTS 的存在？
• RQ4 边界与 Jang 图的何种几何与分析条件可确保最小化包络的 Hawking 质量被边界的准局部质量所控制？
• RQ5 边界的直径与曲率在多大程度上约束了 Jang 图中极小曲面的存在性？

主要发现

• 若边界具有正高斯曲率，则边界 Liu-Yau 准局部质量满足 $ m_{LY}(ar{\theta}) \geq m_H(\partial\bar{E}) $，其中 $ \bar{E} $ 为 Jang 图中的任意最小化包络。
• 当存在可接受的时间函数时，Wang-Yau 准局部质量满足 $ m_{WY}(ar{\theta}) \geq m_H(\partial\bar{E}) $。
• 建立了精确的准局部 Penrose 不等式：$ m_{LY}(\partial\Omega) \geq \sqrt{\frac{|S|}{16\pi}} $ 与 $ m_{WY}(\partial\Omega) \geq \sqrt{\frac{|S|}{16\pi}} $，其中 $ S $ 为 MOTS 或在 Jang 图中具有向外最小化极小曲面投影的曲面。
• 若边界 Liu-Yau 质量小于 $ \frac{1}{2C} $，则 Jang 图微分同胚于 $ \mathbb{R}^3 $ 中的球体，意味着无极小曲面存在，因此原始区域中亦无 MOTS。
• 边界的直径满足 $ \text{diam}(\partial\Omega) \geq 4m_{LY}(\partial\Omega) $，该结果由 Minkowski 公式与 Gauss-Bonnet 定理导出。
• 若 Jang 图中无极小曲面，则 Jang 方程的解唯一，且 Jang 构造中无奇点产生。