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

技术摘要：具有 $L^s_{loc}$ 克里斯托费尔符号（Christoffel Symbols）的球对称不可延展性弱零奇点

问题陈述
本文在广义相对论背景下探讨了强宇宙监督猜想（SCCC），特别关注球对称黑洞内部弱零奇点的不可延展性。虽然先前的研究已经确立了此类奇点的 Lipschitz ($C^{0,1}_{loc}$) 不可延展性（例如在 Dafermos-Luk-Oh 时空和 Reissner-Nordström-Vaidya 模型中），但对于克里斯托费尔符号属于 $L^s_{loc}$ ($s > 1$) 的延展，尚不存在几何层面的不可延展性结果。核心问题在于，确定这些时空是否可以作为洛伦兹流形进行延展，且要求其度量连续且克里斯托费尔符号属于 $L^s_{loc}$，并假设该延展保持球对称性。

方法论
作者采用反证法，假设存在一个“强球对称”延展。这一限制要求延展必须具有形式 $\iota = \iota_Q \times \text{id}_{S^2}$，即二维商流形 $(Q, g_Q)$ 的延展需尊重 $SO(3)$ 轨道。

该方法论依赖于三个主要组成部分：

1. 正则性控制： 作者利用了文献 [1] 中关于延展 $C^0$ 结构的刚性结果。他们将分析限制在嵌入 $\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，它指出对于一个面积半径 $r$ 与 $\Omega$ 均连续延展的球对称弱零奇点 $(M_{wns}, g_{wns})$，如果积分条件 $\int_{-1}^v \inf_{u} |\partial_v r(u, v')|^s dv' \to \infty$ 在 $v \to 0$ 时成立，那么不存在局部 $C^0$-等价于参考延展的强球对称 $C^0 \cap W^{1,s}_{loc}$ 延展。

本文将该定理应用于两类特定时空：

1. Reissner-Nordström-Vaidya (RNV) 时空： 作者证明了这些模拟向亚极限 Reissner-Nordström 黑洞注入零尘埃（null dust）的 RNV 时空是强球对称 $C^0 \cap W^{1,s}_{loc}$-不可延展的。他们利用全局体积论证（命题 2.5）排除了“角”（corner）延展（即延展不是 $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}$ (Lipschitz) 不可延展性结果强化为 $C^0 \cap W^{1,s}_{loc}$，作者表明 Dafermos [4] 所构造的延展（其克里斯托费尔符号属于 $L^1_{loc}$ 但不属于 $L^s_{loc}$，$s>1$）在保持球对称的延展中是正则性最优的。

这项工作依赖于面积半径函数导数的爆炸性与球对称 $C^0$ 延展的结构刚性之间的相互作用。它证实了对于 RNV 和 DLO 时空，弱零奇点代表了一个真正的边界，在此边界之外，时空无法作为具有连续度量和 $L^s_{loc}$ 克里斯托费尔符号的洛伦兹流形进行延展，前提是该延展维持了原时空的球对称性。