[论文解读] Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature

Yuguang Shi, Luen-Fai Tam|ArXiv.org|Jan 7, 2003

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

一句话总结

本文为具有非负标量曲率和严格凸边界的紧致黎曼3-流形建立了边界不等式，表明边界平均曲率的积分不能超过其在欧几里得空间中等距嵌入的对应值。通过广义正质量定理在Lipschitz渐近平坦流形上的应用，作者证明了等式成立当且仅当该流形等距同构于一个欧几里得区域，从而将边界几何与全局标量曲率约束联系起来，并恢复了ADM质量的非负性。

ABSTRACT

In this paper, we study the boundary behaviors of compact manifolds with nonnegative scalar curvature and with nonempty boundary. Using a general version of Positive Mass Theorem of Schoen-Yau and Witten, we prove the following theorem: For any compact manifold with boundary and nonnegative scalar curvature, if it is spin and its boundary can be isometrically embedded into Euclidean space as a strictly convex hypersurface, then the integral of mean curvature of the boundary of the manifold cannot be greater than the integral of mean curvature of the embedded image as a hypersurface in Euclidean space. Moreover, equality holds if and only if the manifold is isometric with a domain in the Euclidean space. Conversely, under the assumption that the theorem is true, then one can prove the ADM mass of an asymptotically flat manifold is nonnegative, which is part of the Positive Mass Theorem.

研究动机与目标

• 研究具有非负标量曲率和非空边界的紧致黎曼流形的边界行为。
• 建立一个几何不等式，比较流形边界上平均曲率的积分与其在欧几里得空间中等距嵌入的平均曲率积分。
• 证明该不等式的有效性等价于渐近平坦流形中ADM质量的非负性。
• 将正质量定理推广至由粘合构造产生的具有Lipschitz度量的一类流形。

提出的方法

• 通过基于叶状结构的构造，将原始紧致流形与其第二流形沿共同边界粘合，构造出一个Lipschitz渐近平坦流形。
• 求解一个抛物型偏微分方程，以在粘合边界处匹配平均曲率，确保所得度量在内部的光滑性。
• 证明所得Lipschitz流形的广义正质量定理，该流形具有非负标量曲率和渐近平坦端。
• 利用作为流形子流形的边界与作为欧几里得空间子流形的边界的平均曲率积分之差的单调性。
• 应用第一变分公式和高斯公式，估计渐近平坦区域中大球面的平均曲率和高斯曲率。
• 利用度量的渐近展开计算大球面的面积和平均曲率，表明∫H dσ ≈ 8π(r + m) 且 ∫H₀ dσ ≈ 8π(r + m)，从而得出 m ≥ 0。

实验结果

研究问题

• RQ1 具有非负标量曲率的紧致3-流形的边界平均曲率能否被其在欧几里得空间中等距嵌入的平均曲率所上界控制？
• RQ2 在平均曲率积分不等式中，等式成立的条件是什么？它是否意味着该流形等距同构于欧几里得空间中的一个区域？
• RQ3 渐近平坦流形中ADM质量的非负性是否等价于具有非负标量曲率的紧致流形的边界平均曲率不等式？
• RQ4 能否将正质量定理推广至由几何粘合构造产生的具有Lipschitz度量的流形？
• RQ5 自旋结构在将边界平均曲率不等式推广至高维时起什么作用？

主要发现

• 对于任意具有边界和非负标量曲率的紧致3-流形，若每个边界分量具有正的高斯曲率和平均曲率，则有∫_Σᵢ H dσ ≤ ∫_Σᵢ H₀^(i) dσ，其中H₀^(i)为在ℝ³中等距嵌入的平均曲率。
• 对于任意边界分量，不等式取等号当且仅当该流形仅有一个边界分量且等距同构于ℝ³中的一个区域。
• 在边界分量为ℝⁿ中严格凸超曲面且流形为自旋流形的假设下，该结果可推广至更高维。
• 边界平均曲率不等式的有效性蕴含了渐近平坦流形中ADM质量的非负性，前提是其标量曲率为非负。
• 通过比较流形和欧几里得空间中大球面上平均曲率积分的渐近行为，证明了ADM质量的非负性，得到极限下m ≥ 0。
• 该证明依赖于通过粘合构造Lipschitz渐近平坦流形，并证明此类空间的正质量定理，关键估计为∫H dσ = 8π(r + m) + O(r⁻¹) 与 ∫H₀ dσ = 8π(r + m) + O(r⁻¹)，从而得出m ≥ 0。