Spherically symmetric inextendibility of weak null singularities with Christoffel symbols in $L^s_{\text{loc}}$

技術的要約：クリストッフェル記号が $L^s_{loc}$ に属する場合の球対称な弱ヌル特異点の非延長性

問題設定
本論文は、一般相対性理論の文脈における強い宇宙検閲仮説（SCCC）に取り組んでおり、特に球対称ブラックホール内部に見られる弱ヌル特異点の非延長性に焦点を当てている。先行研究では、そのような特異点に対するリプシッツ（$C^{0,1}_{loc}$）級の非延長性は確立されているが（例：Dafermos-Luk-Oh時空やReissner-Nordström-Vaidyaモデル）、クリストッフェル記号が $L^s_{loc}$ ($s > 1$) に属するような延長に関する幾何学的な非延長性の結果は存在していなかった。中心となる問題は、これらの時空が、球面対称性を維持しつつ、連続な計量と $L^s_{loc}$ のクリストッフェル記号を持つローレンツ多様体として延長可能であるかどうかを判定することである。

手法
著者らは、矛盾による証明を用いる。「強球面対称な」延長の存在を仮定する。この制限により、延長 $\iota$ は $\iota = \iota_Q \times \text{id}_{S^2}$ という形式であり、2次元の商多様体 $(Q, g_Q)$ の延長が $SO(3)$ の軌道を尊重することを要求する。

本手法は、主に以下の3つの要素に基づいている。

1. 正則性の制御： 著者らは、延長の $C^0$ 構造に関する [1] の剛性結果を利用している。彼らは、埋め込み $\iota_Q$ が参照される延長 $Q$ と局所的に $C^0$ 同値であるような延長に解析を限定している。これにより、近傍ミンコフスキー座標を用いて、ある微分を他の微分によって抑えることで、延長の $C^1$ 微分構造を制御することが可能となる（補題 3.1）。
2. 積分爆発条件： 証明は、特異点に対して横方向の面積半径関数 $r$ の微分の特定の爆発条件に基づいている。具体的には、$\int |\partial_v r|^s$ が特異点に近づくにつれて発散するという仮定である。
3. $L^s$ ノルムによる矛盾： 延長が存在し、かつクリストッフェル記号が $L^s_{loc}$ であると仮定することで、著者らは計量の成分（特に $\partial r$ に関するもの）の微分が特定の可積分条件を満たさなければならないことを示す。$C^0$ 同値性から導かれる制御境界と、$\partial_v r$ の想定される爆発を用い、特定の項の $L^s$ ノルムが発散することを証明し、延長が $W^{1,s}_{loc}$ であるという仮定に矛盾することを示す。

主要な貢献および結果
主要な結果は定理 1.1である。これは、$\Omega$ と $r$ が連続に延長される球対称な弱ヌル特異点 $(M_{wns}, g_{wns})$ において、もし $v \to 0$ のとき $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ という積分条件が成立するならば、参照される延長と局所的に $C^0$ 同値である限り、強球面対称な $C^0 \cap W^{1,s}_{loc}$ 延長は存在しない、というものである。

本論文は、この定理を以下の2つの特定の時空クラスに適用している：

1. Reissner-Nordström-Vaidya (RNV) 時空： 著者らは、劣極限の Reissner-Nordström ブラックホールへのヌル塵の流入をモデル化するこれらの時空が、強球面対称な $C^0 \cap W^{1,s}_{loc}$ 非延長であることを証明している。彼らは、グローバルな体積引数（命題 2.5）を用いて、「コーナー」延長（延長が参照されるものと $C^0$ 同値ではない場合）を排除することで、定理 1.1 の条件を満たしている。
2. Dafermos-Luk-Oh (DLO) 時空： これらは、アインシュタイン・マックスウェル・スカラー場系における、劣極限 Reissner-Nordström 初期データの一般的な小さな摂動から生じる。著者らは、これらの時空において、面積半径関数 $r$ が弱ヌル特異点に沿って厳密に単調減少することを示している。この局所的な性質により、コーナー延長が排除され、定理 1.1 を直接適用して $C^0 \cap W^{1,s}_{loc}$ 非延長性を結論付けることが可能となる。

また、本論文は例 3.3を提供し、定理 1.1 における局所的 $C^0$ 同値性の仮定が必要であることを示している。彼らは、爆発条件は満たされているものの、延長が参照されるものと $C^0$ 同値ではないために（すなわち「コーナー」延長であるために）、$C^0 \cap W^{1,s}_{loc}$ 延長が存在する反例を構成している。

意義
本論文は、クリストッフェル記号が $L^s_{loc}$ ($s > 1$) のレベルにおける、弱ヌル特異点の最初の幾何学的非延長性の結果を提供したと主張している。これまでの $C^{0,1}_{loc}$（リプシッツ）非延長の結果を $C^0 \cap W^{1,s}_{loc}$ へと強化することで、著者らは、Dafermos [4] によって構成された延長（クリストッフェル記号は $L^1_{loc}$ に属するが $s > 1$ では $L^s_{loc}$ には属さない）の正則性が、球面対称性を維持する延長の中で最適であることを示している。

本研究は、面積半径関数の微分の爆発と、球面対称な $C^0$ 延長の構造的剛性の相互作用に依拠している。これにより、RNV および DLO 時空において、弱ヌル特異点が真の境界であり、元の時空の球面対称性を維持する限り、連続な計量と $L^s_{loc}$ クリストッフェル記号を持つローレンツ多様体としてその先へ延長することは不可能であることを裏付けている。