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

技术摘要：一类扭曲积黑洞时空的 $C^0$-不可延展性

问题陈述
本文探讨了在低正则性（$C^0$）下，一类广泛的黑洞时空的不可延展性问题。虽然 Sbierski [Sbi18a, Sbi18b] 已经确立了 Schwarzschild 时空极大解析延展的 $C^0$-不可延展性，但该结果在很大程度上依赖于球对称性。核心问题在于，确定这种不可延展性的底层机制——即通过曲率奇异性和外部区域的连续延展所存在的障碍——是否对于缺乏完全球对称性且可能包含非真空物质场的扭曲积黑洞时空同样成立。这一研究受到强宇宙监督猜想（Strong Cosmic Censorship conjecture）的启发，该猜想认为，爱因斯坦方程的泛型解不应在超越其奇异边界后作为弱解而存在延展。

方法论
作者借鉴了 Sbierski 为 Schwarzschild 情况开发的证明策略，并将其推广到广义的扭曲积设定中。该方法包含三个主要组成部分：

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$ 是余维数为二的纤维 $F$ 上的黎曼度规。函数 $m(r)$ 和 $\psi(r)$ 推广了 Schwarzschild 的质量函数和红移函数。假设纤维 $F$ 是封闭的、连通的、齐次的且可定向的。

2. 技术工具与引理：

   • 闵可夫斯基图表： 证明利用了在未来边界点附近存在局部图表的性质，在该处度规接近闵可夫斯基，且边界是一个 Lipschitz 图（命题 1）。
   • 未来单连通性： 一个关键步骤是证明靠近奇异性（$r \to 0$）的内部区域是“未来单连通”的（命题 4）。这一性质取决于纤维具有正的注入半径，它允许构造曲线之间的类时同伦。
   • 对称性适配： 证明并未依赖于 Schwarzschild 球面 $S^2$ 的球对称性，而是利用了纤维 $F$ 的齐次性。引理 4 确立了对于齐次流形，附近的点可以通过在一致接近恒等映射的等距变换映射到彼此。这取代了在球对称情况下可获得的显式坐标控制。
   • 类时测地线二分性： 本文证明了对于这些时空，任何未来定向、未来不可延展的类时测地线要么是未来完备的，要么趋向于中心奇异性（$r \to 0$）。这是通过建立与纤维度规相关的守恒量（引理 11）并分析外部和内部区域的测地线方程（命题 5 和 6）来实现的。

3. 反证法： 主要论证假设存在一个 $C^0$-延展。这意味着存在一个未来定向、未来不可延展的类时测地线，其终点位于延展的边界上。证明随后展示了这样的测地线是不可能存在的：

   • 如果它留在外部，它必须是完备的（定理 3），这与边界的存在相矛盾（定理 1）。
   • 如果它进入内部并趋向于 $r=0$，由于奇异性的几何特性（特别是 Kretschmann 标量的发散以及 Cauchy 曲面的行为），会导致关于 Cauchy 超曲面上距离有界性的矛盾（定理 2）。

主要贡献与结果

• 定理 2（通过中心奇异性的无 $C^0$-延展性）： 对于纤维为封闭、连通、齐次且可定向，且当 $r \to 0$ 时 $m(r) \to m_0 > 0$ 的时空，不存在通过中心曲率奇异性的 $C^0$-延展。该证明依赖于“面条化”（spaghettification）效应（即 $r \to 0$ 时 Cauchy 曲面上距离的发散）以及纤维的齐次性来构造一个分离屏障。
• 定理 3（类时测地线二分性）： 在关于 $m(r)$ 和 $\psi(r)$ 的适当条件下（包括其导数的界），外部区域中任何未来定向、未来不可延展的类时测地线要么是未来完备的，要么与黑洞视界相交。如果它进入内部，则当且仅当 $r \to 0$ 时是未来不完备的。这通过将 O'Neill 关于 Schwarzschild 的结果推广到了没有球对称性的扭曲积情形。
• 定理 4（主要 $C^0$-不可延展性结果）： 通过将定理 2 和定理 3 与由类时测地线完备性提供的障碍（定理 1）相结合，本文确立了所述类扭曲积黑洞时空是未来 $C^0$-不可延展的。
• 向多视界情况的扩展： 结果表明，即使时空拥有不止一个正则黑洞视界，结论依然成立（附录 A1）。

示例与适用性
本文提供了具体的例子来展示结果的范围：

1. 非真空球对称黑洞： 一个满足主能量条件（dominant energy condition）的特定 $m(r)$ 模型，表明非真空模型也被包含在内。
2. 非球对称黑洞： 一个以纤维 $F = S^p \times S^q$ 为模型的模型，证明了只要纤维是齐次的，结果就适用于超出球对称性的几何结构。
3. Birmingham 黑洞 (AdS)： 本文指出，虽然定理 2 适用于反德西特空间中的 Birmingham 黑洞（证明了通过奇异性的不可延展性），但定理 3（及整个定理 4）并不适用，因为特定的度规系数未能满足外部测地线二分性所需的导数界限。

意义与主张
本文声称隔离了 Schwarzschild 时空 $C^0$-不可延展性的底层机制，并证明了其在较弱对称性假设下的稳健性。通过用纤维的齐次性取代球对称性，作者扩展了可以验证强宇宙监督猜想（在其 $C^0$ 表述下）的黑洞模型类别。这项工作强调，导致不可延展性的障碍并非球对称性的产物，而是具有曲率奇异性和特定视界横截面几何性质的扭曲积黑洞的一个更一般的特征。这些结果有助于理解低正则性下的时空奇异性和广义相对论中的决定论有效性。