Volume Stability for Hyperbolic Manifolds and Applications to General Relativity

技術要約：双曲多様体の体積安定性と一般相対性理論への応用

問題設定
本論文は、閉双曲3次元多様体の剛性（rigidity）の性質を定量化することを目的としている。具体的には、スカラー曲率の制約下における双曲体積境界の安定性を調査している。$(M, h)$ を、スカラー曲率 $R(h) = -6$（すなわち $\text{Ric}_h = -2h$）と正規化された閉双曲3次元多様体とする。古典的なショーン（Schoen）の体積剛性予想によれば、スカラー曲率 $R(g) \ge -6$ を満たす $M$ 上の任意の滑らかな計量 $g$ に対して、体積は $\text{Vol}_g(M) \ge \text{Vol}_h(M)$ を満たし、等号成立は $g$ が（微分同相写像を除いて）$h$ と等長である場合、かつその場合に限られる。

著者らは、「小データ（small data）」の領域、すなわち体積の欠損が小さい状況におけるこの結果の安定性を研究している。具体的には、滑らかな計量の列 $g_i$ が $R(g_i) \ge -6$ かつ $\text{Vol}_{g_i}(M) - \text{Vol}_h(M) \le \delta_i$ （ただし $\delta_i \to 0$）を満たすとき、$(M, g_i)$ はどのような位相において $(M, h)$ に収束するのかという問いを扱っている。著者らは、体積汎関数は、欠陥が消失する体積を持つ集合上に集中する可能性があるため、強収束（例えば $C^k$ 収束やグロモフ・ハウスドルフ収束）をグローバルに制御するには弱すぎることを指摘している。目標は、無視できる体積を持つ例外集合を除いた領域において、鋭い収束結果を確立することである。

手法
証明は、手術を伴う正規化リッチフロー（Hamilton-Perelman）と、パーレルマン（Perelman）のエントロピー汎関数の単調性に依拠している。議論は主に以下の3つの段階で進められる。

1. 長時間発展と厚い・薄い分解（Thick-Thin Decomposition）：
   各初期計量 $g_i$ に対して、著者らは手術を伴う正規化リッチフロー $g_i(t)$ を構成する。ここでは、スカラー曲率の下界の保存（$R(g_i(t)) + 6 \ge 0$）と、再スケーリングされたパーレルマン・エントロピー $\bar{\lambda}[g] = \lambda[g] \text{Vol}(g)^{2/3}$ の単調性を利用する。
   エントロピーの散逸と体積欠損の推定値を積分することにより、十分な長時間 $t_i \to \infty$ において、計量 $g_i(t_i)$ が「良好（good）」であること、すなわちソリトン欠陥（勾配リッチソリトンからの偏差）とスカラー曲率欠陥が $L^2$ 意味で消失することを示す。
   パーレルマンの長時間の存在性と厚い・薄い分解の定理を用いることで、著者らは「厚い（thick）」部分において、フローが有限体積の双曲計量へと滑らかに収束することを示す。基礎となるトポロジーは双曲多様体 $M$ として固定されているため、モストウ（Mostow）の剛性により、この極限は $h$ と等長である。これにより、消失する体積を持つ集合を除いた、時間発展した計量に関する $C^0$ 収束が確立される。

2. 勾配フローの推定による初期スライスへの引き戻し：
   主要な困難は、収束を長い時間 $t_i$ から初期時刻 $t=0$ へと転送することにある。標準的な変形テンソル $\partial_t g$ に関する $L^2$ 推定値だけでは、長い時間にわたる累積的な歪みを制御するには不十分である（素朴なコーシー・シュワルツの不等式では、因子 $t_i$ が導入されてしまう）。
   これを克服するために、著者らは双曲計量の近傍においてロジャジェニ・サイモン（Lojasiewicz-Simon）不等式を用いる。この不等式は、エントロピーの欠損とソリトン欠陥の $L^2$ ノルムを関連付けるものである。これに正規化リッチフローの勾配フロー構造（微分同相写像およびスケーリングを除いたもの）を組み合わせることで、変形テンソルの $L^1_t L^2_x$ パス長推定を導出する。
   具体的には、累積的な歪みが大きい領域（手術領域や薄い部分を通過しない軌跡）における累積的な計量歪みが、$L^1$ 意味で小さいことを示す。これにより、大きな歪みが蓄積した点の集合を除去することを条件として、初期計量と発展した計量との間のビリップシュ（bilipschitz）比較を構築できる。

3. 例外集合の制御：
   著者らは、「悪い」集合の体積を注意深く追跡する。これには以下が含まれる：

• スカラー曲率の欠陥が著しく蓄積する領域。
• 累積的な計量歪みが閾値を超える領域。
• 手術領域および厚い・薄い分解における薄い部分。
  チェビシェフ型の不等式と、体積欠損およびエントロピー単調性から導かれた積分境界を用いることで、これらの例外集合の体積が $i \to \infty$ においてゼロに収束することを証明する。

主要な貢献と結果

• 定理 1.1（主たる体積安定性定理）：
  閉双曲3次元多様体 $M$ 上の滑らかな計量の列 $g_i$ に対し、$R(g_i) \ge -6$ かつ $\text{Vol}_{g_i}(M) \to \text{Vol}_h(M)$ であるとき、$\text{Vol}_{g_i}(Z_i) \to 0$ を満たす部分集合 $Z_i \subset M$ と、$\text{Vol}_h(M \setminus K_i) \to 0$ を満たす滑らかな領域 $K_i \subset M$ が存在し、以下の条件を満たす微分同相写像 $\psi_i: K_i \to M \setminus Z_i$ が存在する：
  $$\|\psi_i^* g_i - h\|_{C^0(K_i, h)} \to 0$$
  テンソル形式では、$K_i$ 上で $(1-\epsilon_i)\psi_i^* h \le g_i \le (1+\epsilon_i)\psi_i^* h$ となる。この収束は $C^0$（テンソル的）であり、必ずしも高次の収束ではないが、消失する体積を持つ領域を除いて成立する。

• 定理 1.2（簡約化されたハミルトニアンの安定性）：
  著者らは、この体積安定性の結果を一般相対性理論におけるフィッシャー・モンクリフ（Fischer-Moncrief）簡約化ハミルトニアンに適用する。双曲3次元多様体上の真空 CMC（定平均曲率）初期データ $(g_i, k_i)$ に対して、簡約化ハミルトニアンは $H(g, k) = (-\tau)^3 \text{Vol}_g(M)$ である（ここで $\tau = \text{tr}_g k < 0$）。
  著者らは、これらのデータ列の簡約化ハミルトニアンが基底状態の値（双曲計量上のローレンツ・コーンに対応するもの）に収束する場合、正規化された空間計量が、体積が消失する集合を除いて、双曲計量に $C^0$ 意味で収束することを証明する。これは、ローレンツ・コーンが簡約化されたアインシュタイン力学の基底状態であるという漸近的な図式を、厳密に定式化したものである。

意義と主張
本論文は、双曲3次元多様体に対する鋭い体積安定性定理を提供すると主張している。これは、双曲体積境界の剛性を定量化するものである。その意義は以下の通りである：

1. 位相的収束： 双曲体積の近傍の最小化因子（scarlar curvature 下での）は、無視できる集合を除いて、幾何学的に双曲計量に近い（$C^0$ 位相において）ことを確立している。これは、このような列の収束の位相に関する問題を解決するものである。
2. 一般相対性理論への応用： フィッシャー・モンクリフの漸近的図式に対して、数学的な基礎を与える。これは、近傍の真空 CMC データが、体積支配的な意味においてローレンツ・コーンの幾何学（基底状態）に収束することを裏付けている。
3. 手法の厳密性： 本研究は、手術を伴うリッチフローの広域的な良定義性と、幾何学的不変量の安定性とを橋渡しするものである。安定性の領域では利用できない強い曲率境界を必要とせずに、Lojasiewicz-Simon 不等式とパス長推定を用いることで、長い時間のスライスから初期データへの収束の引き戻しという困難を明示的に処理している。

著者らは、本結果が近傍最小化因子のための安定性に関する記述であり、任意の大データに対する大域的な収束定理ではないことを明言している。大データの場合、曲率の集中や捕捉表面（trapped surface）の形成により、大域的な CMC フォリエーションの存在が保証されない可能性があることを指摘しており、これはクライマン・ロドニアンスキー（Klainerman-Rodnianski）の継続条件とも一致する。したがって、本定理は、簡約化ハミルトニアンの基底状態付近における系の振る舞いを特徴付けるものである。