[论文解读] Spacetime Harmonic Functions and Applications to Mass

Hubert L. Bray, Sven Hirsch+3 more|arXiv (Cornell University)|Feb 22, 2021

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

一句话总结

本文引入了时空调和函数作为统一框架，用于证明和推广广义相对论中涉及质量的几何不等式，特别是渐近平坦和渐近双曲情形下的正质量定理。通过将水平集方法从调和函数推广至几何椭圆方程的解——包括描述电荷和平均曲率逆流的方程——该研究为带有电荷的正质量定理提供了新颖且初等的证明，并引入了一种基于插值的总质量新概念。

ABSTRACT

In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent results in this context, focusing on applications of spacetime harmonic functions to the asymptotically flat and asymptotically hyperbolic versions of the spacetime positive mass theorem, and additionally introduce a new concept of total mass valid in both settings which is encoded in interpolation regions between generic initial data and model geometries. Furthermore, a novel and elementary proof of the positive mass theorem with charge is presented, and the level set approach to the Penrose inequality given by Huisken and Ilmanen is related to the current developments. Lastly, we discuss several open problems.

研究动机与目标

• 将调和函数的水平集方法推广至时空调和函数，以证明广义相对论中的几何不等式。
• 利用漂移拉普拉斯方程，建立带有电荷的正质量定理的新、初等证明。
• 在渐近平坦与双曲情形下，通过在一般初始数据与模型几何之间插值，引入一种全新的总质量概念。
• 将时空调和函数方法与现有结果（包括彭罗斯不等式和张方程）相联系。
• 识别高维情形下及更广泛几何不等式方向的开放问题与未来研究路径。

提出的方法

• 利用修正的Bochner恒等式结合光滑函数 $ u $ 的水平集的Gauss方程，推导出涉及标量曲率、平均曲率与Hessian项的积分恒等式。
• 将恒等式 (1.1) 应用于 $ abla u $ 的多种选择，其中 $ riangle u $ 分别设为零（调和），$ -( ext{Tr}_g k)| abla u| $（时空调和），$ abla ullet abla u $（漂移拉普拉斯），或非线性表达式（逆平均曲率流）。
• 在带边界的紧致流形上使用分部积分，将曲率不变量与边界项及总质量联系起来。
• 通过在一般初始数据与模型几何（闵可夫斯基空间或反德西特空间）之间的插值区域，引入一种新的质量概念。
• 分析时空调和函数方程的典型解的因果性质，区分零类、类空类与类时类。
• 将时空调和函数框架与调和旋量及张方程相联系，提示其背后存在更深层的几何与分析关联。

Figure 1. Possible level sets of the spacetime harmonic function $u$ near components of the boundary $\partial M_{ext}$ .

实验结果

研究问题

• RQ1 基于时空调和函数的水平集方法能否被推广，以提供带有电荷的正质量定理的新、初等证明？
• RQ2 是否可能定义一种统一的总质量概念，使其在渐近平坦与渐近双曲情形下，插值于一般初始数据与模型时空之间？
• RQ3 时空调和函数方法能否推广至高维情形，特别是突破目前对三维中高斯-博内定理的依赖？
• RQ4 类时或类空形式的时空调和函数是否能提供与当前使用的零类解等价或互补的工具？
• RQ5 该框架能否被扩展以证明新的几何不等式，例如带有角动量的彭罗斯不等式或双曲彭罗斯不等式？

主要发现

• 通过漂移拉普拉斯方程 $ riangle u = abla ullet abla u $，建立了一种新颖且初等的带有电荷的正质量定理证明，避免了旋量或最小超曲面技术的使用。
• 本文通过在一般初始数据与模型几何之间的插值区域，引入了一种新的总质量概念，该概念在渐近平坦与渐近双曲情形下均有效。
• 时空调和函数方程 $ riangle u = -( ext{Tr}_g k)| abla u| $ 在渐近平坦与渐近双曲初始数据集中均导出了时空正质量定理。
• 基于时空调和函数的水平集方法提供了一个统一框架，将黎曼正质量定理、通过逆平均曲率流导出的彭罗斯不等式，以及带有电荷的正质量定理联系起来。
• 时空调和函数方程的典型解根据闵可夫斯基空间中生成超平面的因果性质分为三类，其中零类在质量定理中最为有效。
• 时空调和函数的梯度在模型几何中渐近趋于共形基灵场，提示此类场在定义质量与曲率界方面可能具有更深层的几何作用。

Figure 2. A schematic description of the iterative covering space construction used to obtain a generalized exterior region. Starting with initial data possessing a nonvanishing first Betti number, pass to a double cover, and then remove an outermost MOTS to reduce the Betti number. This process may