[論文レビュー] Toposes in General Theory of Relativity

Alexandr K. Guts, Egor B. Grinkevich|ArXiv.org|Oct 31, 1996

Black Holes and Theoretical Physics参考文献 11被引用数 13

ひとこと要約

本稿は、トポス理論を一般相対性理論の基礎的枠組みとして探求し、4つのアプローチ（公理的因果構造、滑らかなトポス、合成微分幾何学、グロテンディーク・トポス）を通じて、非古典的時空理論を提唱する。主な貢献は、アインシュタインの古典的理論とは乖離する論理的根拠に基づく、代替的時空理論の再定式化であり、圏論とトポス論理に基づく相対性理論の新しい数学的基盤を提供する。

ABSTRACT

We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein theory of space-time. This is a new theory of space-time, created in a purely logical manner. Four possibitities are investigated: axiomatic approach to causal theory of space-time, the smooth toposes as a models of Theory of Relativity, Synthetic Theory of Relativity, and space-time as Grothendieck topos.

研究の動機と目的

• トポス理論が一般相対性理論の論理的整合性のある代替的基盤を提供できるかどうかを調査すること。
• アインシュタインの古典的定式化とは異なる非古典的時空理論を構築すること。
• 公理的因果理論、滑らかなトポス、合成相対性理論、グロテンディーク・トポスの4つの異なるトポス理論的アプローチを検討すること。
• 微分幾何学ではなく、論理的および圏論的原理から時空構造が生じる枠組みを確立すること。
• トポス論理の視点から時空を再解釈することで、量子重力の基礎的プログラムに貢献すること。

提案手法

• トポス理論的枠組み内での因果構造の公理的体系を用いて形式化すること。
• 構成的・直観的論理の文脈で微分幾何学のモデルとして滑らかなトポスを用いること。
• トポス内での合成微分幾何学を応用し、無限小解析から相対論的原理を導出すること。
• 時空をグロテンディーク・トポスとして表現することで、層論的構成により局所的および大域的構造を捉えること。
• 古典的集合論的基盤に代わって直観的論理と圏論的論理を用いること。
• 論理的整合性と構成的数学を統合し、非古典的時空モデルにおける数学的整合性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 トポス理論的枠組みは、非古典的状況下で一般相対性理論の公理を論理的に一貫して再定式化できるか？
• RQ2 滑らかなトポスは、古典的微分可能多様体に依存せずに相対論的時空構造をどのようにモデル化するか？
• RQ3 トポス内での合成微分幾何学は、どのように相対論的運動論を新たな定式化に導くか？
• RQ4 グロテンディーク・トポスは、論理的に整合的な形で時空の局所的および大域的性質を適切に表現できるか？
• RQ5 古典的時空をトポスに基づく構造に置き換えることの論理的および基礎的意味は何か？

主な発見

• 本稿は、一般相対性理論がトポス理論内で再定式化可能であり、アインシュタインの古典的枠組みとは異なる非古典的時空理論が得られることを示している。
• トポス内での因果理論の公理的アプローチにより、直観的論理を用いた論理的一致性のある因果構造の再構築が可能である。
• 滑らかなトポスは、構成的状況下での微分幾何学の有効なモデルを提供し、相対論的場や接続の新たな解釈を可能にする。
• トポス内での合成微分幾何学は、古典的極限や無限小量を避けて、ニルポテンシャルな要素を用いる相対性理論の定式化をもたらす。
• グロテンディーク・トポスのアプローチは、層論的構成を通じて論理的枠組み内で時空の局所的および大域的位相的特徴を捉える表現を提供する。
• 全体として、数学的に整合的で、概念的に古典的微分幾何学とは異なる、論理的根拠に基づく相対性理論の代替的基盤が得られた。