[论文解读] Inverse Mean Curvature Flow and the Stability of the Positive Mass Theorem and Riemannian Penrose Inequality Under $L^2$ Metric Convergence

Brian Allen|arXiv (Cornell University)|May 1, 2017

Geometric Analysis and Curvature Flows参考文献 21被引用 5

一句话总结

本文建立了三维渐近平坦流形在一致控制的逆平均曲率流（IMCF）叶状结构下，于 $L^2$ 度量收敛下正质量定理（PMT）与黎曼 Penrose 不等式（RPI）的稳定性。若外边界的霍金质量趋于零，则区域在 $L^2$ 范数下收敛于一个平坦环形区域；若质量差趋于零且霍金质量收敛于正值，则区域在 $L^2$ 范数下收敛于一个史瓦西环形区域，且在曲率与几何结构上具有一致控制。

ABSTRACT

We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically flat manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically flat manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) ightarrow 0$ then $U_T^i$ converges to a flat annulus with respect to $L^2$ metric convergence. If instead $m_H(Σ_T^i)-m_H(Σ_0^i) ightarrow 0$ and $m_H(Σ_T^i) ightarrow m >0$ then we show that $U_T^i$ converges to a topological annulus portion of the Schwarzschild metric with respect to $L^2$ metric convergence.

研究动机与目标

• 在渐近平坦的三维流形中，建立正质量定理（PMT）与黎曼 Penrose 不等式（RPI）在 $L^2$ 度量收敛下的稳定性。
• 分析由一致控制的 IMCF 叶状的渐近平坦流形中区域序列的行为，其中外边界霍金质量趋于零或正值。
• 证明在几何与曲率控制下，此类序列在 $L^2$ 范数下收敛于平坦环形区域（PMT 刚性情形）或史瓦西环形区域（RPI 刚性情形）。
• 通过 IMCF 作为几何坐标系，将先前在内在平坦或 $L^2$ 曲率收敛下的稳定性结果加以拓展。
• 为解决 Lee 与 Sormani（2018）提出的猜想——即 PMT 在内在平坦收敛下的稳定性——提供基于 IMCF 的 $L^2$ 收敛基础框架。

提出的方法

• 利用逆平均曲率流（IMCF）在序列中每个流形上构造特殊坐标系，以控制度量结构。
• 定义一类区域 $\mathcal{M}_{r_0,H_0,I_0}^{T,H_1,A_1}$，其平均曲率、第二基本形式及诺伊曼等周常数一致有界。
• 通过分析 $\Sigma \times [0,T]$ 上曲率与度量收敛性，实现度量 $\hat{g}^i$ 对模型度量 $\delta$（平坦或史瓦西型）的 $L^2$ 收敛。
• 利用 $W^{1,2}$ 对 $Rc^i(\nu,\nu)$ 的有界性与直径控制，结合紧致性与刚性结果，确保 $L^2$ 范数下的收敛性。
• 借助 Petersen 与 Wei（2002）关于初始数据 $C^\alpha$ 收敛的刚性结果，通过插值与范数比较，证明 $L^2$ 度量收敛。
• 通过子序列论证与反证法，排除非收敛子序列，从而在不依赖子序列的情况下证明整个序列的 $L^2$ 收敛。

实验结果

研究问题

• RQ1 当外边界霍金质量趋于零时，正质量定理是否在 $L^2$ 度量收敛下保持稳定？
• RQ2 当霍金质量差趋于零且质量收敛于正值时，黎曼 Penrose 不等式是否在 $L^2$ 度量收敛下保持稳定？
• RQ3 IMCF 是否可用于构造几何坐标系，以实现对平坦或史瓦西型模型的 $L^2$ 度量收敛？
• RQ4 在何种几何与曲率控制条件下，IMCF 叶状区域序列的 $L^2$ 度量收敛于模型度量？
• RQ5 这些结果能否推广至内在平坦收敛，以解决 Lee 与 Sormani（2018）提出的猜想？

主要发现

• 若 $m_H(\Sigma_T^i) \to 0$，则区域 $U_T^i$ 沿度量 $\delta$ 在 $L^2$ 范数下收敛于一个平坦环形区域。
• 若 $m_H(\Sigma_T^i) - m_H(\Sigma_0^i) \to 0$ 且 $m_H(\Sigma_T^i) \to m > 0$，则 $U_T^i$ 沿史瓦西度量 $g_s$ 在 $L^2$ 范数下收敛于一个史瓦西环形区域。
• $L^2$ 度量收敛性通过 $H$、$|A|$ 与 $Rc(\nu,\nu)$ 的一致控制，以及直径有界性得以建立。
• 通过反证法与紧致性，无需取子序列即可保证整个序列的 $L^2$ 收敛。
• 通过假设一致渐近平坦性及 $H_0^T \to 0$（当 $T \to \infty$ 时），将结果推广至无限时间 IMCF。
• 模型度量 $\delta = \frac{r_0^2}{4}e^t dt^2 + r_0^2 e^t d\sigma$ 被用作平坦与史瓦西型收敛的参考度量。