[论文解读] Spacetime topology from causality

Keye Martin, Prakash Panangaden|ArXiv.org|Jul 26, 2004

Cosmology and Gravitation Theories参考文献 6被引用 7

一句话总结

本文证明了赋予因果关系的全局双曲时空构成一个双连续偏序集（bicontinuous poset），其区间拓扑可恢复流形拓扑。关键贡献在于仅基于因果关系、独立于微分结构或几何结构，利用域理论和序拓扑（如区间拓扑与 Lawson 拓扑）概念，实现了对时空拓扑的序理论重建。

ABSTRACT

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent of geometry and differentiable structure.

研究动机与目标

• 建立一个完全基于因果关系、独立于微分几何的纯粹序理论时空拓扑框架。
• 证明全局双曲时空中的因果关系诱导出一个双连续偏序集结构。
• 证明由此序结构导出的区间拓扑与标准流形拓扑一致。
• 展示强因果性与因果简单性等标准因果条件可通过序理论拓扑（如 Lawson 拓扑）进行刻画。

提出的方法

• 作者利用因果序在时空中定义偏序集结构：若 q 属于 p 的时序未来，则 p ≤ q。
• 引入双连续偏序集的概念，要求上向列上确界与下向列下确界能与‘远小于’关系（≪）恰当互动。
• 区间拓扑定义为由形如 (a,b) = {x : a ≪ x ≪ b} 的集合生成的拓扑，其中 ≪ 为远小于关系。
• 证明利用了全局双曲时空中递增与递减网之间的对偶性，以确立双连续性。
• 他们证明该偏序集上的区间拓扑与流形拓扑一致，依据是强因果性与 Alexandroff 拓扑的刻画。
• Lawson 拓扑用于刻画因果简单性，其包含于区间拓扑中等价于因果简单性。

实验结果

研究问题

• RQ1 能否仅从因果关系重建时空拓扑，而无需假设流形或度量结构？
• RQ2 全局双曲时空中的因果关系是否足以定义一个双连续偏序集？
• RQ3 由因果序诱导的区间拓扑是否能恢复标准流形拓扑？
• RQ4 强因果性与因果简单性等标准因果条件如何与序理论拓扑（如 Lawson 拓扑）相关联？
• RQ5 能否利用序理论方法，仅从可数稠密集与因果关系重构时空？

主要发现

• 全局双曲时空中的因果关系构成一个双连续偏序集，满足‘远小于’关系的上向列上确界与下向列下确界条件。
• 该偏序集上的区间拓扑与标准流形拓扑完全一致，证明了仅从因果关系即可导出拓扑。
• 远小于关系 ≪ 恰好对应于时序未来 I+(x)，建立了序理论与时空因果性之间的直接联系。
• 因果简单性等价于 Lawson 拓扑包含于区间拓扑中，从而为该条件提供了序理论刻画。
• 强因果性等价于区间拓扑为 Hausdorff 空间，且因果序 ≤ 在乘积拓扑中为闭集。
• 结果表明，时空可借助域理论方法，从可数稠密集与因果关系中重构，如后续工作所示。