2025-11-21T21:19:15.686332

Introducing Various Notions of Distances between Space-Times

Sakovich, Sormani

We introduce the notion of causally-null-compactifiable space-times which can be canonically converted into a compact timed-metric-spaces using the cosmological time of Andersson-Howard-Galloway and the null distance of Sormani-Vega. We produce a large class of such space-times including future developments of compact initial data sets and regions which exhaust asymptotically flat space-times. We then present various notions of intrinsic distances between these space-times (introducing the timed-Hausdorff distance) and prove some of these notions of distance are definite in the sense that they equal zero iff there is a time-oriented Lorentzian isometry between the space-times. These definite distances enable us to define various notions of convergence of space-times to limit space-times which are not necessarily smooth. Many open questions and conjectures are included throughout.

academic

Introducing Various Notions of Distances between Space-Times

基本信息

论文ID: 2410.16800
标题: Introducing Various Notions of Distances between Space-Times
作者: A. Sakovich, C. Sormani
分类: math.DG (微分几何), gr-qc (广义相对论与量子宇宙学)
发表时间: 2024年10月
论文链接: https://arxiv.org/abs/2410.16800v3

摘要

本文引入了因果零紧化时空(causally-null-compactifiable space-times)的概念，这些时空可以通过Andersson-Galloway-Howard的宇宙学时间函数和Sormani-Vega的零距离规范地转换为紧致的时间度量空间。文章构造了一大类这样的时空，包括紧致初始数据集的未来演化和穷尽渐近平坦时空的区域。随后提出了这些时空之间的各种内在距离概念(引入了时间Hausdorff距离)，并证明了某些距离概念是确定的，即当且仅当时空之间存在时间定向的洛伦兹等距时，这些距离为零。这些确定的距离使得可以定义时空向可能非光滑的极限时空的各种收敛概念。

研究背景与动机

1. 核心问题

物理学家在研究宇宙演化时，常常使用简化的光滑时空模型，然后假设实际宇宙在某种意义下接近这些简化模型。本文要解决的核心问题是：

如何定义两个时空之间的"接近程度"？
如何在时空可能不同胚的情况下比较它们？
如何定义时空序列的收敛性？

2. 问题的重要性

这些问题在广义相对论中具有重要意义：

几乎各向同性宇宙与FLRW时空的关系：实际宇宙只是近似均匀各向同性
孤立引力系统向Kerr时空的演化：最终状态猜想的数学表述
Einstein方程解的稳定性：研究初始数据微小扰动对时空几何的影响

3. 现有方法的局限性

传统方法要求时空之间存在微分同胚，通过比较度量张量来定义距离。但这种方法：

无法处理拓扑不同的时空
不能描述包含黑洞的时空向光滑时空的收敛
缺乏内在的几何意义

4. 研究动机

作者的动机来自于Gromov-Hausdorff距离在黎曼几何中的成功应用，希望发展类似的内在距离概念来研究洛伦兹时空的收敛性。

核心贡献

引入因果零紧化时空的概念：定义了一大类可以转换为紧致时间度量空间的时空
构造多种内在距离：提出了包括时间Hausdorff距离在内的多种时空间距离
证明距离的确定性：证明某些距离概念当且仅当存在洛伦兹等距时为零
建立收敛理论：为时空收敛提供了严格的数学框架
提出大量猜想：为未来研究指出了方向

方法详解

任务定义

本文的核心任务是为洛伦兹时空定义内在距离，使得：

距离为零当且仅当存在时间定向的洛伦兹等距
可以处理不同拓扑的时空
能够定义向非光滑极限的收敛

核心概念

1. 宇宙学时间函数

对于时空 $(N,g)$ ，宇宙学时间函数定义为： $\tau_g(p) = \sup\{d_g(p,q') : q' \in J^-(p)\}$ 其中 $J^-(p)$ 是点 $p$ 的因果过去， $d_g$ 是洛伦兹距离。

2. 零距离

给定时空 $(N,g)$ 和时间函数 $\tau$ ，零距离定义为： $\hat{d}_{g,\tau}(p,q) = \inf \sum_{i=1}^N |\tau(p_i) - \tau(p_{i-1})|$ 其中下确界取遍所有因果相关的点列 $\{p = p_0, p_1, \ldots, p_{2N} = q\}$ 。

3. 因果零紧化时空

时空 $(N,g)$ 是因果零紧化的，如果：

有界正则宇宙学时间函数 $\tau_g : N \to [0,\tau_{max}]$
关联的度量空间 $(\bar{N}, \hat{d}_g)$ 是紧致的
零距离编码因果性： $p \in J^+(q) \Leftrightarrow \tau_g(p) - \tau_g(q) = \hat{d}_g(p,q)$

距离定义

1. 无时间内在距离

$d^{tls}_{S-GH}((N_1,g_1),(N_2,g_2)) = d_{GH}((\bar{N}_1,\hat{d}_{g_1}),(\bar{N}_2,\hat{d}_{g_2}))$

2. 大爆炸内在距离

对于大爆炸时空，使用pointed Gromov-Hausdorff距离： $d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = d_{pt-GH}((\bar{N}_1,\hat{d}_{g_1},p_{BB,1}),(\bar{N}_2,\hat{d}_{g_2},p_{BB,2}))$

3. 时间Hausdorff距离

引入时间Fréchet映射 $\kappa_{\tau,X} : X \to \ell^\infty$ ： $\kappa_{\tau,X}(x) = (\tau(x), d(x_1,x), d(x_2,x), \ldots)$ 定义时间Hausdorff距离： $d_{\tau-H}((X_1,d_1,\tau_1),(X_2,d_2,\tau_2)) = \inf d^{\ell^\infty}_H(\kappa_{\tau_1,X_1}(X_1), \kappa_{\tau_2,X_2}(X_2))$