$C^0$-inextendibility of a class of warped-product black hole spacetimes

技術的要約：ある種のウォーパード積ブラックホール時空における $C^0$ 不可延長性

問題提起
本論文は、広範なクラスのブラックホール時空における低レギュラリティ（$C^0$）での時空の不可延長性の問題に取り組んでいる。シュヴァルツシルト時空の極大延長における $C^0$ 不可延長性は Sbierski [Sbi18a, Sbi18b] によって確立されているが、この結果は球対称性に強く依存している。中心的な問題は、この不可延長性の根底にあるメカニズム――具体的には、曲率特異点および外部領域を通る連続的な延長に対する障害――が、完全な球対称性を欠き、非真空の物質場を含む可能性のあるウォーパード積ブラックホール時空においても保持されるかどうかを判定することである。この探究は、一般的なアインシュタイン方程式の解は、その特異な境界を超えて弱解として延長されるべきではないと仮定する「強い宇宙検閲（Strong Cosmic Censorship）」予想によって動機付けられている。

手法
著者は、シュヴァルツシルトの場合に用いられた Sbierski の証明戦略を、一般化されたウォーパード積の設定へと適応させている。その手法は、主に以下の3つの構成要素からなる。

1. 幾何学的設定： 本論文では、静的な外部領域を持つ $(d+1)$ 次元（$d \ge 3$）のグローバルに双曲的な時空を考える。その計量は次のように記述される：
   $$g = -e^{-2\psi(r)}\left(1 - \frac{2m(r)}{r}\right)dt^2 + \left(1 - \frac{2m(r)}{r}\right)^{-1}dr^2 + r^2h$$
   ここで $h$ は余次元2のファイバー $F$ 上のリマン計量である。関数 $m(r)$ と $\psi(r)$ は、シュヴァルツシルトの質量関数と赤方偏移関数を一般化したものである。ファイバー $F$ は、閉じており（コンパクトで境界がなく）、連結であり、一様であり、かつ向き付け可能であると仮定される。

2. 技術的道具と補題：

   • ミンコフスキー・チャート： 証明には、計量がミンコフスキーに近く、境界がリプシッツ・グラフとなる（命題1）ような、未来の境界点近傍における局所チャートの存在を利用する。
   • 未来の一連結性： 特異点（$r \to 0$）に十分近い内部領域が「未来一連結」であること（命題4）を証明することが重要なステップである。この性質は、ファイバーが正の注入半径を持つことに依存しており、曲線間のタイムライクなホモトピーの構成を可能にする。
   • 対称性の適応： シュヴァルツシルトの球面 $S^2$ の球対称性に頼る代わりに、本証明ではファイバー $F$ の**一様性（homogeneity）**を利用する。補題4は、一様多様体においては、近接する点は恒等写像に一様に近い等長変換によって互いに写し合えることを確立している。これは、球対称の場合に利用可能な明示的な座標制御に代わるものである。
   • タイムライク測地線の二分法： これらの時空において、未来方向かつ未来不可延長な任意のタイムライク測地線は、未来完備であるか、あるいは中心特異点（$r \to 0$）に接近するかのいずれかであることを証明する（補題11）。これは、ファイバー計量に関連する保存量を確立し、外部領域と内部領域の両方における測地線方程式を解析することによって達成される（命題5および6）。

3. 背理法による証明： 主な議論は、$C^0$ 延長が存在すると仮定することから始まる。これは、延長の境界上に終わる、未来方向かつ未来不可延長なタイムライク測地線の存在を意味する。証明は、そのような測地線が存在し得ないことを示す：

   • もし測地線が外部に留まるならば、それは未来完備でなければならない（定理3）。これは境界の存在（定理1）と矛盾する。
   • もし測地線が内部に入り $r=0$ に接近するならば、特異点の幾何学（具体的にはクレッチマン・スカラーの発散とコーシー面（Cauchy surfaces）の振る舞い）が、コーシー面上の距離の有界性に関する矛盾（定理2）を導く。

主要な貢献と結果

• 定理2（中心特異点を介した $C^0$ 延長の不在）： ファイバーが閉じており、連結であり、一様であり、かつ向き付け可能であり、かつ $r \to 0$ において $m(r) \to m_0 > 0$ となる時空に対して、中心の曲率特異点を介した $C^0$ 延長は存在しない。この証明は、「スパゲッティ化」効果（$r=0$ 近傍でのコーシー面上の距離の発散）とファイバーの一様性を利用して、分離障壁を構成することに基づいている。
• 定理3（タイムライク測地線の二分法）： $m(r)$ および $\psi(r)$ に関する適切な条件（それらの微分の境界を含む）の下では、外部領域における任意の未来方向かつ未来不可延長なタイムライク測地線は、未来完備であるか、あるいはブラックホール・ホライゾンと交差するかのいずれかである。もし内部に入るならば、それが未来不完全であるための必要十分条件は $r \to 0$ である。これは、シュヴァルツシルドに対する O'Neill の結果を、球対称性を欠くウォーパード積へと一般化したものである。
• 定理4（主要な $C^0$ 不可延長の結果）： 定理2および定理3を、タイムライク測地線の完備性が提供する障害（定理1）と組み合わせることで、記述されたクラスのウォーパード積ブラックホール時空が未来 $C^0$ 不可延長であることを確立する。
• 複数のホライゾンへの拡張： 時空が複数の正則なブラックホール・ホライゾンを持つ場合でも、結果が成立することが示されている（付録 A1）。

例と適用可能性
本論文は、結果の範囲を示すために具体的な例を挙げている：

1. 非真空の球対称ブラックホール： 優勢エネルギー条件を満たす特定の $m(r)$ を持つモデルであり、非真空モデルが含まれることを示している。
2. 非球対称ブラックホール： ファイバー $F = S^p \times S^q$ を持つモデルであり、ファイバーが一様である限り、結果が球対称性を超えた幾何学にも適用されることを示している。
3. バーミンガム・ブラックホール（AdS）： 定理2は反ド・ジッター空間におけるバーミンガム・ブラックホールに適用される（特異点を介した不可延長性を証明する）が、定理3（したがって定理4全体）は、特定の計量係数が外部の測地線二分法に要求される微分の境界条件を満たさないため、適用されない。

意義と主張
本論文は、シュヴァルツシルト時空の $C^0$ 不可延長性を支えるメカニズムを特定し、より弱い対称性の仮定の下でもそれが堅牢であることを示すことを目的としている。球対称性をファイバーの一様性に置き換えることで、著者は、ホライゾンの断面積の幾何学的性質が特定の条件下にあるとき、強い宇宙検閲（$C^0$ 定式化）を検証できるブラックホール・モデルのクラスを拡張している。本研究は、時空の不可延長の障害が球対称性の産物ではなく、曲率特異点とホライゾン断面の特定の幾何学的性質を持つ、より一般的なウォーパード積ブラックホールの特徴であることを浮き彫りにしている。これらの結果は、低レギュラリティにおける時空の特異性と一般相対性理論における決定論の妥当性の理解に寄与するものである。