Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces

技術要約：面積制約付き臨界曲面におけるホーキング準局所エネルギーの剛性と正値性

問題提起
古典的な一般相対性理論における中心的な課題は、閉じた2次元曲面によって境界付けられた有限領域に対して、物理的に意味のある質量またはエネルギーを割り当てる、堅牢な準局所エネルギーを定義することである。ADM質量やボンディ質量のような無限遠における大域的な定義は確立されているが、任意の曲面に対して基本的な物理的基準を満たす一意の準局所的な対応物は存在しない。具体的には、実行可能な準局所エネルギーは以下の条件を満たさなければならない：

1. 正値性： エネルギーは、ドミナント・エネルギー条件の下で非負であること。
2. 剛性： 囲まれた領域が平坦（ユークリッド球に等長写像可能）である場合に限り、エネルギーがゼロになること。

ホーキングエネルギー（またはホーキング質量）は、表面の零膨張量を通じて定義される、1968年に導入された著名な候補である。しかし、これは一般には正ではない。例えば、ユークリッド空間において、丸状ではない球面は厳密に負のホーキング質量を持つ。Willmore曲面などの特定の曲面クラスや、時間対称なケース（$k=0$）に限定して正値性と剛性を確立した先行研究の結果は、これまでの主要な成果であった。しかし、完全に動的な設定（$k \neq 0$）への拡張、および評価すべき適切な曲面クラスの特定は、未解決の問題であり続けてきた。

手法
本論文は、3次元リーマン多様体 $M$、計量 $g$、および外曲率を表す対称2テンソル $k$ からなる初期データセット $(M, g, k)$ の枠組みの中で動作する。著者は、以下のホーキングエネルギー汎関数を解析する：
$$E(\Sigma) = \sqrt{\frac{|\Sigma|}{16\pi}} \left( 1 - \frac{1}{16\pi} \int_\Sigma (H^2 - P^2) d\mu \right)$$
ここで、$H$ は曲面 $\Sigma$ の平均曲率であり、$P = \text{tr}_\Sigma k$ は $\Sigma$ に制限された $k$ のトレースである。

核心となる手法は、関連するホーキング汎関数 $\mathcal{H}(\Sigma) = \frac{1}{4} \int_\Sigma (H^2 - P^2) d\mu$ の面積制約付き臨界曲面の研究である。

• 時間対称なケース ($k=0$): この汎関数はWillmore汎関数へと簡略化される。臨界曲面は、平均曲率のラプラシアン、無跡第ニ基本形式、および周囲のリッチ曲率を含むオイラー＝ラグランジュ方程式によって特徴付けられる面積制約付きWillmore曲面である。
• 動的なケース ($k \neq 0$): 臨界曲面はホーキング曲面と呼ばれる。その定義方程式には、$k$、そのトレース、およびその微分に依存する追加項が含まれる。

証明は、変分法に基づき、オイラー＝ラグランジュ方程式を $H^{-1}$ に対して積分し、ガウスの方程式を用いて内的な曲率と外的な曲率を関連付け、ガウス＝ボネの定理を利用することによって行われる。剛性の結果は、これらの積分恒等式を、ブラウン＝ヨーク・エネルギー（Shi-Tam）およびKijowski-Liu-Yauエネルギーの剛性定理、ならびに正質量定理および空間形式に関する特定の剛性定理（Hang-Wangの定理）と組み合わせることによって確立される。

主要な貢献と結果

1. 時間対称な設定 ($k=0$)
本論文は、非負のスカラ曲率（ドミナント・エネルギー条件）の下で、面積制約付きWillmore曲面におけるホーキングエネルギーの非負性と剛性を確立している。

• 剛性定理 (Theorem 2.8): ドメイン $\Omega$ が、非負のラグランジュパラメータ $\lambda$ を持つ面積制約付きWillmore曲面を境界成分として持ち、ホーキングエネルギーがゼロであるならば、$\partial\Omega$ は連結であり、円形球面と等長であり、かつ $\Omega$ は$\mathbb{R}^3$ 内のユークリッド球と等長である。
• 正値性: したがって、このような曲面においてホーキングエネルギーは非負であり、等号成立は平坦な場合に限られる。
• 一般化:
  • 荷電ケース: アインシュタイン＝マクスウェル・ドミナント・エネルギー条件（$Sc_M \geq 2|E|^2$）の下で、正値性と剛性が回復される。
  • 宇宙定数: 結果は、双曲的（$\Lambda < 0$）および球面的（$\Lambda > 0$）な参照幾何学へと拡張される。$\Lambda > 0$ の場合、ドメインが円形球面内の測地球であることを証明するために、より強い周囲のリッチ境界条件（$Ric_M \geq \frac{2}{3}\Lambda g$）が必要となる。
  • 高次元: 著者は高次元のホーキングエネルギーの類似体を定義し、ユークリッドおよび球面の設定における対応する正値性と剛性の定理を証明している。
• フォリエーションの結果: 本論文は、漸近平坦多様体における標準的なWillmoreフォリエーションのホーキングエネルギーおよびブラウン＝ヨーク・エネルギーが、多様体がユークリッド空間でない限り正であることを確認している。

2. 動的な設定 ($k \neq 0$)
このセクションでは、完全に動的な（$k \neq 0$）設定におけるホーキングエネルギーに関する初の非負性と剛性の定理を提示している。

• ホーキング曲面: 著者は、$k$ の存在下でのホーキング汎関数の面積制約付き臨界点として「ホーキング曲面」を定義する。
• 技術的条件: 正値性と剛性を証明するために、著者は $k$、$P$、およびそれらの微分を含む関数 $f$（および強化版 $f_\beta$）に関する技術的な積分条件を導入している。具体的には、$\int_\Sigma (f - \lambda) d\mu \leq 0$ という条件が必要とされる。
• 主定理 (Theorem 3.6): ドミナント・エネルギー条件および技術的積分制約の下で、ホーキング曲面上のホーキングエネルギーは非負である。エネルギーがゼロである場合、ドメインはミンコフスキー時空内の空間的超曲面に等長であり、境界は円形球面であり、かつ曲面上で $k=0$ である。
• 過剰正値性と限界: 本論文は、技術的条件（特に $\beta$ に関するもの）が「制限的すぎる」可能性があり、特定の曲面（例：双曲面や放物面）においてホーキングエネルギーをミンコフスキー空間においてさえ厳密に正にする可能性があることを指摘している。著者は、このことは条件が曲面の性質を反映しているのではなく、曲面の選択をバイアスさせていることを示唆していると考えており、現在の結果は、述べられた仮定の下での非負性を確認するものである。

意義と主張
本論文は、ホーキングエネルギーをその自然な臨界曲面上で評価することで、ホーキングエネルギーに関する長年の曖昧さを解消できることを示すことで、その正当性を主張している。

• 動的な突破口: 主要な意義は、従来の、時間対称性に限定された研究を超え、完全に動的な（$k \neq 0$）設定におけるホーキングエネルギーの初の剛性と非負性の定理を確立したことにある。
• 物理的妥当性: これらの結果は、ホーキングエネルギーがホーキング曲面上で評価された際に、平坦な時空と曲がった時空を区別できることを裏付けており、有力な準局所エネルギー尺度としての地位を高めている。
• 注意点: 著者は、動的なケースで使用された技術的条件の最適性について謙虚な姿勢を示している。論文では、$\int_\Sigma f_\beta d\mu \leq 0$ のような条件が（特に剛性の極限において $k=0$ であることを保証するために）数学的に動機付けられたものであるが、物理的に自然ではない可能性があることを認めている。著者は、現在の結果が重要である一方で、これらの条件を洗練させ、「過剰な正値性」を取り除き、最適な剛性を達成することが必要であると示唆している。

要約すると、本研究は、ホーキングエネルギーを面積制約付き臨界曲面において検証するための厳密な数学的枠組みを提供しており、その適用範囲を静的な時空から動的な時空へと拡張すると同時に、動的な結果の鋭さを制限している技術的制約についても率直に特定している。