The $C^0$-inextendibility of Kerr spacetimes

技术摘要：Kerr 时空的 $C^0$ 不可延展性

问题陈述
Kerr 解描述了旋转黑洞的真空引力场。虽然度规在正则事件视界处是解析延展的，但曲率在由 $\Sigma = r^2 + a^2 \cos^2 \theta = 0$ 定义的奇异环处发散。广义相对论中的一个核心问题是，即使度规不是可微的，该时空是否可以作为连续（$C^0$）洛伦兹流形延展到奇异点之外。先前的研究已在特定机制或更强的正则性假设（如 $C^2$ 或 $C^{1,1}$）下确立了不可延展性，但对于全量 Kerr 实现（包括亚极值、极值和超极值情况，以及其连通覆盖时空）的 $C^0$ 不可延展性，在不依赖全局因果性假设的情况下仍有待证明。

方法论
本文采用了一种基于奇异环附近**因果同伦长度（causal homotopy lengths）**的几何阻碍。其核心策略包含三个组成部分：

1. 局部因果阻碍： 作者在环附近构造了一个特定的因果同伦，其中一个参考类时曲线可以在固定端点的情况下，变形为包含一条非恒定的闭合因果曲线。这一构造依赖于两个独立的线性组合（由平稳 $T$ 和轴对称 $\Phi$ 杀伤场构成），这两个组合在某一横截点处是未来类时的，而在另一横截点处其负值是未来类时的。通过沿着这些场的轨道段运动，作者抵消了横向位移，从而创造了一个闭合回路。
2. 无界长度： 在同一个固定的端点因果同伦类内重复该闭合回路，可以得到具有任意大固有时间的曲线。作者证明了对于任何正的连续共形重标度 $\Omega^2 g$，当曲线趋向于环（$\Sigma \to 0$）时，这些曲线的长度会发散。
3. 全局延展论证： 本文援引了一个边界定理（Minguzzi 和 Suhr）：如果存在一个适当的 $C^0$ 延展，则必然存在一条未来不可达的单位速类时测地线，其在有限固有时间内终止于边界。作者证明了 Kerr 实现中的每一条此类测地线都必须趋向于环（$\Sigma \to 0$）。通过结合局部阻碍（无限同伦长度）与测地线的全局行为，作者导出了一个矛盾：一条终止于连续边界的曲线在坐标图内必须具有有界的因果同伦长度，然而环的构造强制这些长度为无限大。

主要贡献与结果

• 主定理（$C^0$-不可延展性）： 本文证明了全量 Kerr 实现（亚极值、极值和超极值）的所有连通覆盖时空都是 $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)$。本文提供了证明该界限是锐利的示例；超过此界限则允许通过共形重标度使得同伦长度保持有限。
• 共形与锥稳定性： 该结果对于任意正的连续共形因子以及对于任何未来因果锥包含 Kerr 锥的连续洛伦兹度规均成立。这包括趋向环的零测地线情形。
• 终端测地线的几何分析：
  • 本文对终端测地线进行了分类，表明泛型初始数据会导致完备测地线，而非完备测地线则被限制在一个余维-二的子流形内（赤道面，特定的杀伤量纲）。
  • 作者推导了环附近径向坐标 $r(s)$ 的锐利渐近展开，发现领先阶行为为 $r \sim u^{2/5}$（其中 $u$ 是剩余固有时间）。
  • 作者分析了曲率发散，表明标量不变量（如 Kretschmann 标量）以 $\Sigma^{-3}$（或 $u^{-12/5}$）的形式发散，并提供了极向雅可比场（Jacobi fields）的精确约化。
• 扰动界限： 作者确立了精确的扰动阈值。对于领先阶，系数 $1/(1+a^2)$ 是最优的。在下一阶，确定了一个临界系数 $\kappa^* = M^2/(2a^4)$，该阻碍在 $a^2 \ge 2M^2$ 时持续存在，但在特定秩-一扰动下，当 $a^2 < 2M^2$ 时失效。

意义与主张
本文声称解决了全量 Kerr 时空的 $C^0$-不可延展性问题，这是一个长期的数学相对论问题。通过仅依赖于局部锥界限和因果同伦论证，该证明避免了以往类似结果所需要的全局双曲性或更高正则性（如 $C^2$ 或曲率界限）的假设。

作者强调，这种阻碍是 Kerr 环内在的因果结构属性。结果表明，奇异性不仅仅是一个坐标伪影或仅是可微性失效的地方，而是一个真实的边界，即使是连续度规也无法跨越。这项工作还为理解该不可延展性在扰动下的稳定性提供了一个严谨的框架，提供了精确的定量界限，用以区分哪些度规保留了奇异性的“阻挡”特性，以及哪些度规在特定的共形重标度下可能允许有限长度的延展。

论文得出结论，环奇异性代表了一个基本的延展障碍，这强化了在旋转黑洞背景下的强宇宙监督假设（Strong Cosmic Censorship conjecture），尽管是在所讨论的特定类平稳、轴对称且连续的延展范围内。对终端测地线和曲率的几何分析，为该时空趋向该边界时的行为提供了详细的图谱。