[論文レビュー] Spacetime topology from causality

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

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

ひとこと要約

この論文は、因果関係を備えたグローバルに双曲的時空が、区間位相が多様体位相を回復する二連続なposetを形成することを確立する。主な貢献は、微分構造や幾何学的構造に依存せずに、ドメイン理論や順序位相の概念（区間位相やローソン位相など）を用いて、因果関係のみから時空位相を順序論的に再構成することにある。

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.

研究の動機と目的

• 微分幾何学に依存しない、因果関係に基づく完全に順序論的な時空位相の枠組みを確立すること。
• グローバルに双曲的時空における因果関係が二連続なposet構造を誘導することを示すこと。
• この順序構造から導かれる区間位相が、標準的な多様体位相と一致することを証明すること。
• 強い因果性や因果的単純性といった標準的な因果条件が、ローソン位相などの順序論的位相を用いて特徴付けられることを示すこと。

提案手法

• 著者たちは、因果順序 p ≤ q（q が p の時空的未来にあるとき）を用いて、時空にposet構造を定義する。
• 二連続なposetの概念を導入し、方向付き上限とフィルター付き下限が「下に比べて」関係（≪）と適切に作用することを要請する。
• 区間位相は、(a,b) = {x : a ≪ x ≪ b} の形の集合によって生成される位相として定義される。ここで ≪ は「下に比べて」関係である。
• グローバルに双曲的時空における増加列と減少列の双対性を用いて、二連続性を確立する。
• 強い因果性とアレクサンドロフ位相の特徴付けを用いて、poset上の区間位相が多様体位相と一致することを証明する。
• ローソン位相を用いて因果的単純性を特徴付け、そのローソン位相が区間位相に含まれることと因果的単純性が同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多様体や計量構造を仮定せずに、因果関係のみから時空位相を再構成できるか？
• RQ2 グローバルに双曲的時空における因果関係は、二連続なposetを定義するのに十分か？
• RQ3 因果順序から誘導される区間位相は、標準的な多様体位相を回復するか？
• RQ4 強い因果性や因果的単純性といった標準的な因果条件は、ローソン位相などの順序論的位相とどのように関係するか？
• RQ5 可算な稠密集合と因果関係を用いて、ドメイン理論的手法で時空を再構成できるか？

主な発見

• グローバルに双曲的時空における因果関係は、『下に比べて』関係の方向付き上限およびフィルター付き下限の両条件を満たす二連続なposetを形成する。
• このposet上の区間位相は、標準的な多様体位相と同一であり、位相が因果関係のみから導かれることが証明された。
• 『下に比べて』関係 ≪ は正確に時空的未来 I+(x) に対応し、順序論と時空因果関係の直接的なつながりが得られた。
• 因果的単純性は、ローソン位相が区間位相に含まれることと同値であり、この条件の順序論的特徴付けが得られた。
• 強い因果性は、区間位相がハウスドルフであることと同値であり、因果順序 ≤ は積位相において閉じている。
• 結果は、ドメイン理論を用いて、可算な稠密集合と因果関係から時空を再構成できる可能性を示唆しており、後続の研究でも確認されている。