[论文解读] Lower semicontinuity of mass under $C^0$ convergence and Huisken's isoperimetric mass

Jeffrey L. Jauregui, Dan A. Lee|arXiv (Cornell University)|Feb 1, 2016

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

一句话总结

本文在渐近平坦三维流形满足非负标量曲率且具有外层最小边界的前提下，建立了在 $C^0$ Cheeger–Gromov 收敛下 ADM 质量的下半连续性。通过采用 Huisken 的等周质量概念，并引入一种冻结小周长分量的改进弱平均曲率流，作者证明了极限空间的等周质量不超过序列 ADM 质量的下极限，将先前在 $C^2$ 情形下的结果推广至显著更弱的拓扑结构，同时保持了与标量曲率的深层联系。

ABSTRACT

Given a sequence of asymptotically flat 3-manifolds of nonnegative scalar curvature with outermost minimal boundary, converging in the pointed $C^0$ Cheeger--Gromov sense to an asymptotically flat limit space, we show that the total mass of the limit is bounded above by the liminf of the total masses of the sequence. In other words, total mass is lower semicontinuous under such convergence. In order to prove this, we use Huisken's isoperimetric mass concept, together with a modified weak mean curvature flow argument. We include a brief discussion of Huisken's work before explaining our extension of that work. The results are all specific to three dimensions.

研究动机与目标

• 将 ADM 质量的下半连续性从 $C^2$ 推广至渐近平坦三维流形在 $C^0$ Cheeger–Gromov 收敛下的情形。
• 通过采用仅依赖于面积与体积的 Huisken 等周质量，解决 $C^0$ 收敛下缺乏曲率控制的挑战。
• 推广先前依赖于 $C^2$ 收敛与光滑性的结果，使该理论可应用于 Bartnik 最小质量扩展等猜想。
• 为分析曲率可能退化或出现奇点的序列极限中质量行为，建立一个分析框架。

提出的方法

• 采用 Huisken 的等周质量，其通过等周轮廓函数定义，是一种仅依赖于 $C^0$ 数据（面积与体积）的拟局部质量。
• 提出一种改进的弱平均曲率流，通过冻结周长足够小的连通分支，防止出现不受控的奇点。
• 将 Huisken 在平均曲率流下等周轮廓的单调性结果，推广至非连通及弱流动的曲面。
• 在边界面积发散的区域 exhaustion 序列上使用对角化论证，将等周质量与极限中的 ADM 质量关联起来。
• 证明一个关键技术结果（定理 17）：在非负标量曲率下，区域的等周质量有下界，该下界与 ADM 质量相关。
• 通过固定紧集 $W$ 的比较论证，表明对穷尽流形的序列，等周质量的上极限等价于全局等周质量。

实验结果

研究问题

• RQ1 能否将 ADM 质量的下半连续性从 $C^2$ 推广至三维渐近平坦流形在 $C^0$ Cheeger–Gromov 收敛下的情形，且在非负标量曲率条件下？
• RQ2 Huisken 的等周质量在处理非连通分支与小周长区域的弱改进平均曲率流下，是否仍保持良好行为与单调性？
• RQ3 对于光滑、渐近平坦的三维流形，若其标量曲率为非负，等周质量是否等价于 ADM 质量，即使后者通过无穷远处的积分定义？
• RQ4 在 $C^0$ 收敛下，若极限度量仅为连续的，但序列中流形具有非负标量曲率与外层最小边界，其质量是否仍保持下界？
• RQ5 当极限不光滑时，等周质量概念是否足够稳健，足以在 $C^0$ 收敛极限下替代 ADM 质量？

主要发现

• 在 $C^0$ Cheeger–Gromov 收敛下，极限空间的等周质量满足 $m_{\mathrm{iso}}(N,h) \leq \liminf_{i\to\infty} m_{\mathrm{ADM}}(M_i,g_i)$，从而在该设定下证明了质量的下半连续性。
• 对于光滑、渐近平坦的三维流形，若其标量曲率为非负，则有 $m_{\mathrm{iso}}(M,g) = m_{\mathrm{ADM}}(M,g)$，确认了 Huisken 宣称的结果。
• 构造了一种改进的弱平均曲率流，能冻结小周长分量，从而实现对奇点与非连通分量的有效控制。
• 即使流在流动过程中变为非连通，等周轮廓函数 $\phi_m$ 仍保持单调不增。
• 若质量为正，则对边界面积发散的区域序列，等周质量的上极限等于全局等周质量。
• 证明表明，等周质量可通过穷尽流形的序列计算，这对建立其与极限中 ADM 质量的关系至关重要。