The Hawking and Penrose singularity theorems for low regularity Finsler spacetimes

技術的要約：低正則性ファインスラー時空におけるホーキングおよびペンローズの特異点定理

問題の所在
非滑らかな時空の研究は、一般相対性理論における特異点の性質や時空の延長可能性を理解する上で中心的なものとなっている。$C^1$ ローレンツ計量に関しては、特異点および剛性定理に関する理解が進んでいるが、低正則性のローレンツ・ファインスラー構造に対する比較幾何学的な扱いは不足している。ファインスラー時空は、計量テンソルの方向依存性を組み込んでおり、一般相対論を超えた重力の幾何学的記述や、修正分散関係の文脈において重要である。しかし、低正則性の定式化（具体的には $C^{1,2}$ および $C^{1,3}$）においては、滑らかなファインスラー幾何の基本特性が崩れる。すなわち、測地線は初期条件によって一意に決定されず、曲率量は分布の意味でのみ定義可能となる。主要な課題は、このクラスの時空に対して、曲率の方向依存性と測地線の非一意性を考慮した上で、ホーキングおよびペンローズの特異点定理を確立することである。

手法
著者らは、低正則性の構造と滑らかな幾学との間の溝を埋めるために、標準的な特異点定理の議論を適用可能にする二段階の近似手順を用いている。

1. 均質性を保存する畳み込み： 著者らは、局所チャートにおける畳み込みを通じて、ファインスラー構造の正の2次均質性を保存する滑らかな近似 $L_\varepsilon$ を構成する。このステップは解析的な収束（$L_\varepsilon \to L$ in $C^{k,l}_{loc}$）を保証するが、当初は近似と元の構造との間の因果関係の制御を失う。
2. 因果律に適応した近似： 因果関係の制御を回復するために、著者らは Chruściel–Grant の手法に倣い、内側近似 $\underline{L}_\varepsilon$ と外側近似 $\overline{L}_\varepsilon$ を構成する。これらは包含関係 $\underline{L}_\varepsilon \prec L \prec \overline{L}_\varepsilon$ を満たし、近似の未来光錐が元の構造の光錐の中に厳密に含まれるか、あるいはそれを包含することを保証する。このステップは、因果的性質に依拠する特異点定理を証明する上で極めて重要である。

本論文では、接束 $TM$ 上の分布的エネルギー条件を定義している。具体的には、強エネルギー条件は、未来の時間的ベクトル集合上で $\text{Ric} \geq 0$ が分布の意味で成立することとして定式化される。著者らは、これらの低正則性構造における分布的条件が、滑らかな近似 $\underline{L}_\varepsilon$ に対するサロゲート（代用）エネルギー条件（例：小さな $\varepsilon$ に対して $\text{Ric}[\underline{L}_\varepsilon] \geq -\delta$ が各点において成立すること）を導くことを証明している。この収束は、畳み込みの微分を扱うための交換子評価（Friedrichs 型）を用いた、リッチ曲率および重み付きリッチ曲率の注意深い推定に基づいている。

主な貢献および結果
本論文は、混合正則性 $C^{k,l}$ を持つローレンツ・ファインスラー構造に対するホーキングおよびペンローズの特異点定理を確立している。

• 非重み付きの場合 ($C^{1,3}$): 著者らは、分布的エネルギー条件を満たす $C^{1,3}$ ファインスラー時空に対して、ホーキングの特異点定理（$\beta$-収縮するコーシー面に関するもの、およびコンパクトな収縮面に関するものの両方のバージョン）およびペンローズの定理（捕捉面に関するもの）を証明している。これらの結果は、Graf によって確立された $C^1$ ローレンツ特異点定理をファインスラーの設定へと回収するものである。
• 重み付きの場合 ($C^{1,2}$): $C^{1,2}$ 正則性を伴う重み付きの場合への拡張は、重要な貢献である。$C^1$ 参照測度 $m$ を導入し、重み付きリッチ曲率 $\text{Ric}^N_m$ を利用することで、著者らはホーキングおよびペンローズの定理の重み付きバージョンを証明している。これは、非重み付きの定理が $C^{1,3}$ の正則性を必要とするのに対し、重み付きの定理は、重み付き曲率項における好ましい相殺効果により、$C^{1,2}$ というより低い正則性で成功しているという点で注目に値する。
• 測地線の不完全性: これらの定理は、指定されたエネルギー条件と初期幾何学的制約（膨張境界）の下で、時空が測地線不完全であることを結論付けている。重み付きの場合、これは $\kappa$-不完全性と定式化され、$N \in [n, \infty)$ かつ $\kappa=1$ のとき、標準的な測地線不完全性に帰着する。
• 大域的ハイパーボリック性と極大曲線: 本論文は、滑らかな大域的ハイパーボリック近似の存在を確立し、低正則性の設定における極大因果測地線が、滑らかな近似における極大測地線の $C^2$ 極限として得られることを証明している。このコンパクト性の結果は、滑らかな近似から低正則性の極限へと特異点の議論を転送するために不可欠である。

意義および主張
著者らは、自らの結果が比較幾何学的な観点から低正則性ローレンツ・ファインスラー構造の研究を開始するものであると主張している。その意義の主要な側面は以下の通りである。

• 既知の結果の拡張: 非重み付きの定理は、Graf による $C^1$ 特異点定理をファインスラーの設定へと拡張するものである。重み付きの定理は、ローレンツ多様体に対しても真の拡張を提供しており、これは $C^1$ 計量と重みが付随したケースに適用されるが、これは従来のシンセティック（合成的）なアプローチでは完全にはカバーされていなかった。
• 非一意性の処理: 最適輸送に基づくシンセティックな特異点定理は、しばしば非分岐（non-branching）な測地線を要求するが、ここでの手法は測地線の分岐を排除しない。これは、低正則性のファインスラー設定において、曲率の境界が非分岐性を意味するかどうかは不明確であるため、極めて重要である。
• 普遍性: 正則化手法およびリッチ曲率の収束結果は概してシグネチャに依存しないため、低正則性のリーマン・ファインスラーおよび一般的な準リーマン・ファインスラー構造への適用可能性を示唆している。
• 物理的関連性: 本結果は、低正則性のローレンツ・ファインスラー構造が、その数学的な複雑さと滑らかさの欠如にもかかわらず、特異点の形成に関して物理的に意味のある予測を行う能力を保持していることを示している。

本論文は、準リーマン・ファインスラー構造の定義における滑らかさの仮定を緩和することで、例の構築における柔軟性が高まること、および確立された特異点定理が、これらの低減された正則性条件下でも堅牢に成立することを示して締めくくられている。