Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

技术摘要：扭曲类空心奇异性与 Birmingham-Kottler 时空的 $C^0$-不可延展性

问题陈述
本文探讨了包含奇异性的时空的 $C^0$-不可延展性问题。一个时空是 $C^0$-不可延展的，是指它不能作为更大时空的真开子集被嵌入到一个配备有连续洛伦兹度规的更大时空中。在这一正则性水平下，曲率不变量（通常在奇异性处发散）无法作为阻碍因素，因为它们的发散并不排除存在连续延展的可能性。研究重点是 Birmingham-Kottler (BK) 族 时空——这类时空是具有负或零宇宙学常数 ($\Lambda \le 0$) 且具有闭纤维 $\Sigma$ 的扭曲积。目标是证明规范的一视界 BK 时空是 $C^0$-不可延展的，即使当纤维 $\Sigma$ 缺乏对称性（如非齐次、非定向或非单连通）时也是如此。

方法论
证明过程分为两个截然不同的阶段：针对奇异性的局部阻碍以及针对特定 BK 时空的全局分析。

1. 局部阻碍（扭曲类空心奇异性）：
   作者确立了一个关于形式为 $M_R = (0, R) \times \mathbb{R} \times \Sigma$，度规为 $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$ 的扭曲类空心奇异性的不存在连续延展的判据。

   • 可积性条件： 证明要求“因果预算” $A(r) = \int_0^r \frac{a}{b} ds$ 和 $B(r) = \int_0^r \frac{a}{c} ds$ 是可积的。这确保了时间坐标和纤维坐标在 $r \to 0$ 时收敛。
   • 单调性与发散性： 商值 $b/c$ 必须是非增的，且纵向因子 $b(r)$ 在 $r \to 0$ 时必须发散至无穷大。
   • 径向压缩： 一项关键的几何创新是用“径向压缩”映射 $\phi_\epsilon$ 取代了用于球对称情况的旋转对称性。该映射将因果曲线的极限迹从 $r=0$ 移动到正半径 $r=\epsilon$，同时控制因果不等式中的角度贡献。
   • 矛盾机制： 这种压缩产生了一个适配边界图中的紧致计时分离器（chronological separator）。通过沿 $t$ 方向平移该分离器，作者构造了在序列径向切片上的两点，这两点的内在距离发散（由于 $b(r) \to \infty$），而它们在延展图中的距离保持一致有界。这一矛盾证明了不存在任何未来边界点可以由一条随着 $r \to 0$ 的类时曲线所趋近。

2. 全局应用（Birmingham-Kottler 时空）：
   本文使用全局 Kruskal 坐标构造了规范的一视界 BK 时空。

   • 测地线分类： 利用场方程和测地线第一积分（能量 $E$ 和角动量 $J$），作者对有限固有时间类时测地线的终点进行了分类。结果表明，任何最终离开每个紧致子集的测地线都必然进入动态块并满足 $r \to 0$。
   • 综合： 将局部阻碍应用于 BK 时空的动态块。由于任何假设的 $C^0$ 延展都需要一个趋向于边界的有限长度因果极大值线（这是 Minguzzi 和 Suhr 的结果），而此类极大值线必须对应于到达 $r=0$ 的测地线，因此局部阻碍排除了此类延展存在的可能性。

主要贡献

• 局部阻碍的泛化： 本文将扭曲奇异性的 $C^0$-不可延展性结果扩展到了超越球对称设置的范围。它取消了对纤维 $\Sigma$ 必须是齐次、定向或单连通的要求。
• 径向压缩技术： 引入径向压缩映射（引理 3.6）作为旋转变形的替代方案，从而允许在任意闭流形上实现发散论证的局部化。
• BK 时空的全局不可延展性： 本文证明了整个规范的一视界 Birmingham-Kottler 时空（对于 $\Lambda \le 0$）是 $C^0$-不可延展的。这包括 Schwarzschild-Tangherlini 解作为其特例。
• 测地线终点分类： 对全局 Kruskal 域中类时测地线的有限固有时间端点进行了严格分类，证明了逃逸测地线不可避免地终止于奇异性。

结果

• 定理 A (局部)： 如果扭曲因子满足指定的积分、单调性和发散条件，则不存在扭曲类空心奇异性的 $C^0$ 延展。
• 定理 B (全局)： 对于任何满足曲率条件 $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$ 的闭连通爱因斯坦纤维，规范的一视界 Birmingham-Kottler 时空 $M_{BK}$ 是 $C^0$-不可延展的。
• 推论： 规范的 Schwarzschild-Tangherlini 时空是 $C^0$-不可延展的。

意义与主张
本文声称隔离了一种纯粹的度规阻碍，用于判断扭曲奇异性处的连续延展，这种阻碍独立于场方程。通过将这一局部结果与 BK 族的全局分析相结合，本文在不依赖于通常限制此类证明的对称性假设的情况下，确立了完整时空的不可延展性。这项工作通过关注在存在奇异性时逃逸紧致集的测地线之特定行为，将其与以往基于类时完备性或全局双曲性的判据区分开来。作者指出，爱因斯坦条件仅用于将度规识别为真空解，但在核心阻碍和测地线分类论证中并未被使用。论文最后确定了未来的研究方向，例如处理带电解、正宇宙学常数以及非规范视界识别问题，这些问题需要新的全局输入。