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

時空間の距離の様々な概念の導入

基本情報

論文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距離を導入）を提案し、特定の距離概念が判別的であることを証明する。すなわち、これらの距離がゼロであることと、時空間に時間方向付けされたLorentz等距が存在することが同値である。これらの判別的距離により、時空が非滑らかな極限時空への様々な収束概念を定義することが可能になる。

研究背景と動機

1. 核心的問題

物理学者は宇宙の進化を研究する際、簡略化された滑らかな時空モデルをしばしば使用し、実際の宇宙がある意味でこれらの簡略化モデルに近いと仮定する。本論文が解決しようとする核心的問題は以下の通りである：

2つの時空間の「接近度」をどのように定義するか？
時空が異なる同相型である場合、それらをどのように比較するか？
時空列の収束性をどのように定義するか？

2. 問題の重要性

これらの問題は一般相対性理論において重要な意義を持つ：

ほぼ等方的宇宙とFLRW時空の関係：実際の宇宙は均一等方性のみを近似する
孤立重力系のKerr時空への進化：最終状態予想の数学的表現
Einstein方程式解の安定性：初期データの微小摂動が時空幾何学に与える影響の研究

3. 既存方法の限界

従来の方法は時空間に微分同相写像の存在を要求し、計量テンソルを比較することで距離を定義する。しかしこの方法は：

位相が異なる時空を扱うことができない
ブラックホールを含む時空が滑らかな時空へ収束することを記述できない
内在的な幾何学的意味に欠ける

4. 研究動機

著者の動機はRiemann幾何学におけるGromov-Hausdorff距離の成功した応用に由来し、Lorentz時空の収束性を研究するための類似の内在距離概念を発展させることを望んでいる。

核心的貢献

因果的ヌル紧密化時空の概念の導入：コンパクトな時間計量空間に変換可能な大きなクラスの時空を定義
複数の内在距離の構成：時間Hausdorff距離を含む複数の時空間距離を提案
距離の判別性の証明：特定の距離概念がLorentz等距の存在と同値であることを証明
収束理論の確立：時空収束に対する厳密な数学的枠組みを提供
多数の予想の提示：将来の研究方向を示唆

方法論の詳細

タスク定義

本論文の核心的タスクはLorentz時空に対して内在距離を定義することであり、以下の条件を満たす：

距離がゼロであることと時間方向付けされたLorentz等距の存在が同値
異なる位相の時空を扱うことができる
非滑らかな極限への収束を定義できる

核心概念

1. 宇宙学的時間関数

時空 $(N,g)$ に対して、宇宙学的時間関数は以下のように定義される： $\tau_g(p) = \sup\{d_g(p,q') : q' \in J^-(p)\}$ ここで $J^-(p)$ は点 $p$ の因果的過去、 $d_g$ はLorentz距離である。

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))$