[論文レビュー] 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.

研究の動機と目的

• 一般相対性理論における幾何学的不等式を証明するため、調和関数のレベル集合法を時空調和関数へと拡張する。
• ドリフトラプラシアン方程式を用いて、電荷を伴う正の質量定理の新たな初等的証明を確立する。
• 漸近的に平坦および双曲的設定の両方において、一般初期データとモデル幾何（ミンコフスキー空間または反ド・ジッター空間）の間の補間領域を通じて、全質量の新規概念を導入する。
• 時空調和関数のアプローチを、既存の結果（ペンローズ不等式やジャン方程式）と結びつける。
• 高次元における未解決問題および今後の研究の方向性を特定する。

提案手法

• 滑らかな関数 $ u $ のレベル集合に対する修正されたボッハナー恒等式とガウス方程式を組み合わせ、スカラー曲率、平均曲率、ヘッセ型項を含む積分恒等式を導出する。
• 恒等式 (1.1) を、$ abla u $ のさまざまな選択に適用する。ここで $ riangle u $ は、調和関数（$ riangle u = 0 $）、時空調和関数（$ -( 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 時空調和関数のアプローチを、ガウス＝ボンネの3次元依存性を超えて高次元に一般化することは可能か？
• 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