The $C^0$-inextendibility of Kerr spacetimes

技術的要約：カー・時空の $C^0$ 不延長性

問題設定
カー解は、回転するブラックホールの真空重力場を記述する。その計量は正則なイベント・ホライゾンを越えて解析的に延長可能であるが、曲率は $\Sigma = r^2 + a^2 \cos^2 \theta = 0$ で定義される特異環において発散する。一般相対性理論における中心的な問いは、微分不可能な計量であっても、連続的な（$C^0$）ローレンツ多様体として、この特異点を越えて時空を延長できるかどうかである。これまでの研究では、特定の領域やより強い正則性の仮定（例えば $C^2$ や $C^{1,1}$）の下での不延長性は確立されているが、グローバルな因果律の仮定なしに、フル・カー実現（劣極限、極限、および過極限のケースを含む）の $C^0$ 不延長性が証明されることは未解決であった。

手法
本論文は、特異環付近における**因果的ホモトピー長（causal homotopy lengths）**に基づく幾何学的障害を用いている。核心となる戦略は、以下の3つの要素で構成される。

1. 局所的因果的障害： 著者は、リング付近における特定の因果的ホモトピーを構築する。これは、参照となる時間的曲線が、固定された端点を持つまま、非定常な閉じた因果曲線を含むように変形できるものである。この構成は、定常的（$T$）および軸対称的（$\Phi$）なキリング場の、2つの独立な線形結合が存在することに基づいている。これらの場は、ある横方向の点では未来時間的であり、別の点ではその負が未来時間的となる。これらの場の軌道セグメントを横断することで、横方向の変位を相殺し、閉じたループを作成する。
2. 無限定な長さ： 同じ固定端点を持つ因果的ホモトピー類の中でこの閉じたループを繰り返すことで、任意の長い固有時を持つ曲線が得られる。著者は、任意の正の連続な共形共鳴 $\Omega^2 g$ に対して、これらの曲線の長さがリングに接近するにつれて（$\Sigma \to 0$）、発散することを証明する。
3. グローバルな延長の議論： 本論文は、もし適切な $C^0$ 延長が存在するならば、境界に至る未来に非延長な単位速度時間的測地線が有限の固有時で存在しなければならないという境界定理（Minguzzi および Suhr）を援用している。著者は、カー実現におけるそのようなすべての測地線が必ずリング（$\Sigma \to 0$）に接近することを証明する。局所的な障害（無限のホモトピー長）と測地線のグローバルな振る舞いを組み合わせることで、矛盾を導き出す。すなわち、連続的な境界に至る曲線は座標チャート内で有界な因果的ホモトピー長を持つはずであるが、リングの構成はこれらの長さを無限に強制するという点である。

主要な貢献と結果

• 主定理（$C^0$ 不延長性）： 本論文は、フル・カー実現（劣極限、極限、および過極限）のすべての連結被覆時空が $C^0$ 不延長であることを証明する。これは、対称性、時間方位、またはグローバルな因果律の性質に関わらず、任意の連続的で非退化なローレンツ延長計量に対して成立する。
• 特異性の特徴付け： 障害は特異環に局在している。証明によれば、有限の固有時を持つ未来に非延長な時間的測地線は、必ず $\Sigma \to 0, r \to 0, \theta \to \pi/2$（赤道付近のリングへの接近）を満たさなければならない。
• 摂動に対する頑健性： この障害は、摂動 $g + h$ が特定の条件を満たす限り、定常かつ軸対称な摂動の下でも持続する。具体的には、特定の座標ノルムにおいて $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ である。著者は、この境界が鋭いことを示す例を提示しており、この境界を超えると、ホモトピー長が有限となる共形共鳴が可能になる。
• 共形および錐の安定性： この結果は、任意の正の連続な共形因子、およびカーの因果錐を包含する任意の連続なローレンツ計量に対して成立する。これには、リングへのヌルな接近も含まれる。
• 終端測地線の幾何学的解析：
  • 著者は終端測地線を分類し、一般的な初期データは完備な測地線へと至る一方で、不完全な測地線は余次元2の部分多様体（赤道面、特定のキリング運動量）に限定されることを示している。
  • リング付近での $r$ 座標と軌道座標の鋭い漸近展開を導出し、$r(s) \sim u^{2/5}$（ここで $u$ は残りの固有時）という主要項の振る舞いを見出した。
  • 曲率の発散を分析し、クレッチマン・スカラーなどのスカラー不変量が $\Sigma^{-3}$（または $u^{-12/5}$）として発散することを示し、極方向のヤコビ場の正確な簡約も提供している。
• 摂動の境界： 著者は摂動の精密な閾値を確立した。主要項において、係数 $1/(1+a^2)$ は最適である。次項において、臨界係数 $\kappa^* = M^2/(2a^4)$ が特定され、摂動が $a^2 \ge 2M^2$ であれば障害は持続するが、$a^2 < 2M^2$ の特定のランク1摂動の下では失敗することを示した。

意義と主張
本論文は、カー時空の $C^0$ 不延長性の問題を解決したと主張している。これは数学的相対論における長年の課題であった。局所的な錐の境界と因果的ホモトピーの議論のみに依拠することで、本証明は、同様の結果に以前必要とされていたグローバルな双曲性や高次の正則性（$C^2$ や曲率境界など）の仮定を回避している。

著者は、この障害がカー・リングの因果構造に固有のものであることを強調している。この結果は、特異点が単なる座標のアーティファクトや微分可能性が失われる場所ではなく、連続的な計量によってさえ越えることのできない真の境界であることを意味している。また、本研究は、特定の共形共鳴の下で特異性が「阻止」の性質を維持するか、あるいは有限の長さの延長を許容するかを区別する鋭い定量的境界を提供することで、この不延長性の摂動に対する安定性を理解するための厳密な枠組みを提供している。

結論として、本論文は、リング特異点が延長に対する根本的な障壁であることを示し、定常・軸対称・連続な延長という特定のクラスにおいて、強的宇宙検閲予想を補強している。幾何学的な終端測地線と曲率の解析は、時空がこの境界に接近する際の挙動の詳細な地図を提供している。