Null distance on cosmological spacetimes and monotone convergence

技术摘要：宇宙学时空中的零距离与单调收敛

问题陈述
度量时空理论旨在将度量几何工具（如收敛性、紧致性和合成曲率）应用于洛伦兹流形。该计划的一个核心障碍在于缺乏规范的距离函数；标准的洛伦兹距离（时间间隔）是退化的、非对称的，并且满足反向三角不等式。为了克服这一问题，Sormani 和 Vega 引入了“零距离”（$\hat{d}$），这是一种通过时间函数 $\tau$ 测量由 $\tau$ 的变化构成的因果曲线长度而构建的伪距离。在满足温和正则性条件（例如局部反利普希茨性）的情况下，该距离变为定值的，并编码了因果结构，使得时空可以被视为度量空间。

Sakovich 和 Sormani 最近的研究为这类度量时空的 Gromov-Hausdorff 收敛建立了一个研究纲领，特别是在“因果零紧致化”时空类中。然而，对于空间度量随时间演化的宇宙学时空序列，零距离的行为（特别是其极限行为）仍需进一步研究。具体而言，目前尚不清楚在何种条件下，一系列零距离会一致收敛，极限空间是否保留了原序列的因果结构，以及极限距离如何与由潜在非光滑极限度量张量诱导的零距离相关联。

方法论
作者关注形式为 $N = (0, \tau_{\max}) \times M$ 的宇宙学时空，其中 $N$ 是一个洛伦兹度量 $g = -dt^2 + h(t, x)$，这里 $M$ 是一个紧致流形，$h(t, \cdot)$ 是一个黎曼度量族。研究过程分为三个主要阶段：

1. 正则性与紧致化： 作者首先证明，对于具有紧致切片的宇宙学时空，宇宙学时间 $\tau = t$ 是正则的。他们证明了具有紧致切片的宇宙学时空的关于零距离的度量完备化是紧致的，并且在双利普希茨意义下等价于配备了“出租车距离”（$d((t,x), (s,y)) = |t-s| + d_{t_0}(x,y)$）的拓扑乘积 $[0, \tau_{\max}] \times M$。这依赖于关于紧致流形上黎曼度量之间利普希茨常数连续性的辅助结果，以及对 Nigri 关于水平集零距离结果的另一种证明。
2. 单调收敛： 本文研究了空间分量 $h_j$ 单调递增（$h_j \leq h_{j+1}$）且被固定黎曼度量 $\tilde{h}$ 一致上界约束的宇宙学时空序列 $(N, g_j)$。在这些假设（称为假设 B）下，作者利用度量几何中的结果（特别是关于单调距离序列的结果），证明了零距离 $\hat{d}_j$ 一致收敛到极限距离 $d_\infty$。
3. 极限的因果结构： 作者分析了极限空间的因果性质。他们定义了定时度量空间的“因果零距离”（$\hat{d}_{d,\tau}$），该距离从度量和时间函数中重建因果序。他们将极限距离 $d_\infty$ 与由潜在非光滑极限度量张量 $g_\infty$ 诱导的零距离 $\hat{d}_\infty$ 进行比较。这涉及使用绝对连续曲线来定义非光滑度量下的因果曲线，并应用极限曲线定理。

主要贡献与结果

• 定理 1.1（紧致化）： 证明了满足温和扩展性质（假设 A）且具有紧致切片的宇宙学时空是因果零紧致的。它们的度量完备化在双利谱意义下等价于 $[0, \tau_{\max}] \times M$。这通过明确识别无需要求初始数据下方存在光滑扩展的完备化拓扑结构，强化了先前的结果。
• 定理 1.2（一致收敛）： 对于空间度量单调递增且有一致上界的宇宙学时空序列，其相关的零距离一致收敛到极限距离 $d_\infty$。此外，该序列相关的定时度量空间在未来发展 Gromov-Hausdorff 意义下和定时-Hausdorff 意义下均收敛到紧致极限空间。
• 定理 1.3（完备化的因果零性）： 研究表明，只要满足温和的“因果可达性”条件，具有紧致切片的宇宙学时空的度量完备化就是“因果零”的（即零距离与由诱导因果序导出的因果零距离一致）。
• 定理 1.4（极限距离的关系）： 对于满足假设 B 的序列，由极限距离 $d_\infty$ 诱导的因果零距离与由（可能是非光滑的）极限度量张量 $g_\infty$ 诱导的零距离 $\hat{d}_\infty$ 的扩张是一致的。这一结果非常微妙，因为如示例所示，极限距离 $d_\infty$ 本身未必是因果零的，必须使用因果零构造才能恢复极限张量的因果信息。

意义与示例
本文为使用度量几何工具研究宇宙学时空的收敛性提供了一个严谨的框架。它证明了空间度量的单调性和一致上界足以确保零距离具有良好的收敛行为，并保持底层的拓扑结构（紧致性和乘积结构）。

作者提供了若干示例来阐明其假设的必要性：

• 示例 5.1： 展示了即使在翘曲函数不一致收敛的情况下，定理 1.2 也适用于翘曲积，改进了之前的积分电流结构结果。
• 示例 5.5： 表明如果没有一致上界（假设 B），极限空间可能无法保持紧致，并且可能不与序列的乘积结构同胚。
• 示例 5.6 & 5.8： 说明了在缺乏特定可达性条件或考虑因果零空间极限时，极限距离可能会失效的因果零性，从而凸显了区分极限距离与因果零距离的必要性。
• 示例 5.9： 强调了使用绝对连续曲线（而非分段光滑曲线）来定义非光滑极限度量的因果性的必要性，以确保极限曲线定理能够正确应用。

总之，这项工作通过确立宇宙学时空在未来发展意义下收敛的具体条件，澄清了度量极限与因果极限之间的关系，并明确了这些结果成立所需的精确正则性要求，从而扩展了 Sakovich 和 Sormani 发起的研究计划。