[论文解读] Positive Mass Theorem on Manifolds admitting Corners along a Hypersurface

Pengzi Miao|arXiv (Cornell University)|Dec 5, 2002

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

一句话总结

本文建立了渐近平坦黎曼流形的正质量定理，其度量在超曲面 $\Sigma$ 处为 $C^2$，但不跨 $\Sigma$ 光滑。若内部区域中 $\Sigma$ 的平均曲率不小于外部区域的平均曲率，则总质量非负。关键结果表明，零质量意味着度量处处平坦且在 $\Sigma$ 处光滑匹配，将 Schoen 和 Yau 的经典结果推广至非光滑情形，并引入几何边界条件。

ABSTRACT

We study a class of non-smooth asymptotically flat manifolds on which metrics fails to be $C^1$ across a hypersurface $Σ$. We first give an approximation scheme to mollify the metric, then we prove that the Positive Mass Theorem still holds on these manifolds if a geometric boundary condition is satisfied by metrics separated by $Σ$.

研究动机与目标

• 将正质量定理推广至度量在超曲面 $\Sigma$ 处不为 $C^1$ 的非光滑黎曼流形。
• 识别一个几何边界条件——具体而言，$H(\Sigma, g_-) \geq H(\Sigma, g_+)$——以确保此类非光滑情形下正质量定理的成立。
• 研究质量为零情形的刚性，证明在三维情形下，零质量意味着平坦性及在 $\Sigma$ 处的光滑匹配。
• 通过证明最小质量扩展满足推导出的边界条件，将结果与 Bartnik 的拟局部质量猜想联系起来。

提出的方法

• 构造一种光滑化方案，以光滑度量 $\tilde{g}_\delta$ 近似非光滑度量 $\mathcal{G} = (g_-, g_+)$，使得其在远离 $\Sigma$ 处以 $C^2$ 拓扑收敛于 $\mathcal{G}$。
• 对光滑化度量 $\tilde{g}_\delta$ 应用经典正质量定理，证明其质量收敛于 $\mathcal{G}$ 的质量。
• 通过求解共形拉普拉斯方程的解，对 $g_-$ 进行共形变形，使其标量曲率为零，同时保持平均曲率不等式。
• 利用强极大值原理，证明共形因子会增加内部区域中 $\Sigma$ 的平均曲率，从而在质量为零时导致矛盾。
• 分析共形因子的渐近行为，将变形后度量的质量与原始质量关联，证明质量的非负性。
• 应用 Bray 和 Finster 关于光滑度量逼近的结果，证明零质量意味着两个区域中均为平坦，且在 $\Sigma$ 处第二基本形式匹配。

实验结果

研究问题

• RQ1 正质量定理能否推广至度量在超曲面 $\Sigma$ 处不为 $C^1$ 的流形？
• RQ2 在两个区域中 $\Sigma$ 的平均曲率需满足何种几何条件，才能保证此类非光滑情形下总质量非负？
• RQ3 总质量为零是否意味着度量平坦且在 $\Sigma$ 处光滑匹配？
• RQ4 边界条件 $H(\Sigma, g_-) \geq H(\Sigma, g_+)$ 如何与 $\Sigma$ 处标量曲率的分布性非负性相关联？
• RQ5 该结果能否用于刻画 Bartnik 拟局部质量猜想中的最小质量扩展？

主要发现

• 若内部区域中 $\Sigma$ 的平均曲率不小于外部区域的平均曲率，即 $H(\Sigma, g_-) \geq H(\Sigma, g_+)$，则度量 $\mathcal{G} = (g_-, g_+)$ 的总质量非负。
• 若在 $\Sigma$ 上某点满足 $H(\Sigma, g_-) > H(\Sigma, g_+)$，则质量严格为正。
• 在维度 $n=3$ 时，若质量为零，则 $g_-$ 和 $g_+$ 分别在 $\Omega$ 和 $M \setminus \overline{\Omega}$ 中平坦。
• 当质量为零时，两个区域中 $\Sigma$ 的第二基本形式必须相等，即 $A_- = A_+$。
• 当质量为零且度量为 $C^{3,\alpha}_{\text{loc}}$ 时，整个流形 $(M, \mathcal{G})$ 同构于具有欧氏度量的 $\mathbb{R}^3$。
• 刚性结果表明，若某流形中标量曲率非负，且边界平均曲率足够大，则其由 $\Sigma$ 所围成的区域必同构于一个欧氏球。