[论文解读] A positive mass theorem for low-regularity metrics

Jde Grant, Nathalie Tassotti|arXiv (Cornell University)|May 7, 2012

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

一句话总结

本文在 Sobolev 空间 $W^{2,n/2}_{\mathrm{loc}}(M)$ 中建立了连续黎曼度量的正质量定理，证明了当标量曲率在分布意义下非负时，ADM 质量非负。证明方法包括通过光滑度量逼近、利用加权拉普拉斯方程解进行共形变形，以及紧致性论证，以证明质量在收敛下的下半连续性。

ABSTRACT

We prove a positive mass theorem for continuous Riemannian metrics in the Sobolev space $W^{2, n/2}_{\mathrm{loc}}(M)$. We argue that this is the largest class of metrics with scalar curvature a positive a.c. measure for which the positive mass theorem may be proved by our methods.

研究动机与目标

• 将正质量定理推广至低正则度的黎曼度量，特别是 $W^{2,n/2}_{\mathrm{loc}}(M)$ 中的度量，同时保持连续性。
• 在标量曲率以分布意义非负的假设下，建立此类度量的 ADM 质量非负性。
• 确定使用共形方法与逼近技术可证明正质量定理的最优正则度类。
• 阐明当正则度低于 $W^{2,n/2}_{\mathrm{loc}}$ 或连续性丧失时，该方法的局限性。
• 探讨该类度量下刚性结果的可能性，以及是否存在非平坦但质量为零的度量。

提出的方法

• 通过一参数光滑度量族 $\{\mathbf{g}_t\}_{t>0}$ 近似连续但低正则度的度量 $\mathbf{g}$，使得当 $t\to 0$ 时，度量在局部一致收敛及 $W^{2,n/2}_{\mathrm{loc}}(M)$ 中收敛。
• 通过在紧集 $K$ 上的光滑化与单位分解构造近似度量 $\mathbf{g}_t$，并保持在 $M\setminus K$ 上的度量不变。
• 利用不等式 $\frac{1}{\rho(t)}\mathbf{g}_t \leq \mathbf{g} \leq \rho(t)\mathbf{g}_t$ 控制度量比较与 Sobolev 常数，其中 $\rho(t)\to 1$。
• 证明标量曲率 $s_{\mathbf{g}_t} \to s_{\mathbf{g}}$ 在 $L^{n/2}_{\mathrm{loc}}(M)$ 中收敛，并证明当 $t\to 0$ 时有 $\|[s_{\mathbf{g}_t}]_- olimits\|_{L^{n/2}(M)} \to 0$。
• 求解方程 $\Delta_{\mathbf{g}_t} u_t + c_n [s_{\mathbf{g}_t}]_- u_t = 0$，并满足在无穷远处的渐近行为 $u_t \sim A_t r^{2-n}$，以确保解的存在性与唯一性。
• 应用共形标度变换 $\widehat{\mathbf{g}}_t = u_t^{4/(n-2)} \mathbf{g}_t$，得到具有非负标量曲率的度量，并通过积分恒等式将 $\widehat{\mathbf{g}}_t$ 的质量与 $\mathbf{g}_t$ 的质量关联起来。

实验结果

研究问题

• RQ1 正质量定理能否推广至连续但非 $C^2$ 的度量，特别是 $W^{2,n/2}_{\mathrm{loc}}(M)$ 中的度量？
• RQ2 使用此共形逼近方法时，$W^{2,n/2}_{\mathrm{loc}}(M)\cap C^0(M)$ 是否为正质量定理仍成立的最大可能正则度类？
• RQ3 当度量失去连续性或标量曲率不在 $L^{n/2}$ 中时，逼近过程下的质量会发生什么变化？
• RQ4 能否为该类度量建立刚性结果（即质量为零蕴含平坦性）？
• RQ5 在 $W^{2,n/2}_{\mathrm{loc}}(M)\cap C^0(M)$ 中是否存在非平坦、渐近平坦且具有非负标量曲率与零 ADM 质量的度量？

主要发现

• 任何属于 $W^{2,n/2}_{\mathrm{loc}}(M)$ 的连续黎曼度量，若其在分布意义下标量曲率非负，则其 ADM 质量非负。
• 标量曲率 $s_{\mathbf{g}}$ 作为分布是良定义的，并属于 $L^{n/2}_{\mathrm{loc}}(M)$，且当 $t\to 0$ 时，负部 $[s_{\mathbf{g}_t}]_-$ 在 $L^{n/2}(M)$ 中收敛于零。
• 求解方程 $\Delta_{\mathbf{g}_t} u_t + c_n [s_{\mathbf{g}_t}]_- u_t = 0$ 的共形因子 $u_t$ 满足 $\|\nabla_{\mathbf{g}_t} w_t\|_{L^2} \to 0$，其中 $w_t = u_t - 1$，当 $t\to 0$ 时。
• 共形标度变换后的度量 $\widehat{\mathbf{g}}_t$ 的质量收敛于 $\mathbf{g}_t$ 的质量，且由于 $m(\widehat{\mathbf{g}}_t) \geq 0$，可推出 $m(\mathbf{g}) \geq 0$。
• 若度量 $\mathbf{g}$ 的连续性被放弃，则该方法失效，因为近似度量 $\mathbf{g}_t$ 不再局部一致收敛，导致关键估计失效。
• 该方法的正则度类 $W^{2,n/2}_{\mathrm{loc}}(M)\cap C^0(M)$ 很可能是最优的，因为更低的正则度会导致标量曲率无定义或收敛估计失败。