[论文解读] Toposes in General Theory of Relativity

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

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

一句话总结

本文探討拓撲斯理論作為重構廣義相對論的基礎框架，透過四種方法提出一種非經典時空理論：公理化因果結構、光滑拓撲斯、解析微分幾何與格羅滕迪克拓撲斯。主要貢獻在於提出一個邏輯上穩固、與愛因斯坦經典理論不同的時空理論替代形式，為相對論提供基於範疇論與拓撲斯邏輯的全新數學基礎。

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.

研究动机与目标

• 探討拓撲斯理論是否能提供一個邏輯上一致、廣義相對論的替代基礎。
• 發展一種與愛因斯坦經典形式不同的非經典時空理論。
• 探討四種不同的拓撲斯理論方法：公理化因果理論、光滑拓撲斯、解析相對論與格羅滕迪克拓撲斯。
• 建立一個時空結構源自邏輯與範疇原理而非微分幾何的框架。
• 透過拓撲斯邏輯的觀點重新詮釋時空，為量子重力的基礎計畫做出貢獻。

提出的方法

• 使用公理系統在拓撲斯理論框架內形式化因果結構。
• 運用光滑拓撲斯作為構造性、直覺主義設定下微分幾何的模型。
• 應用解析微分幾何，從拓撲斯內的無限小微積分推導相對論原理。
• 將時空表示為格羅滕迪克拓撲斯，以層論構造捕捉其全域與局部結構。
• 利用直覺主義邏輯與範疇邏輯取代相對論中經典的集合論基礎。
• 整合邏輯一致性與構造數學，確保非經典時空模型的數學一致性。

实验结果

研究问题

• RQ1 拓撲斯理論框架能否在非經典設定下一致地重構廣義相對論的公理？
• RQ2 光滑拓撲斯如何在不依賴經典可微流形的情況下模擬相對論時空結構？
• RQ3 在拓撲斯內的解析微分幾何以何種方式產生相對論動力學的新形式？
• RQ4 格羅滕迪克拓撲斯能否以邏輯上一致的方式充分表達時空的全域與局部性質？
• RQ5 以拓撲斯結構取代經典時空所帶來的邏輯與基礎含義為何？

主要发现

• 本文證明廣義相對論可在拓撲斯理論內重構，產生一種與愛因斯坦經典框架不同的非經典時空理論。
• 在拓撲斯內的公理化因果理論方法，允許使用直覺主義邏輯邏輯上一致地重建因果結構。
• 光滑拓撲斯在構造性設定下提供了微分幾何的可行模型，使相對論場與聯絡獲得新的詮釋。
• 在拓撲斯內的解析微分幾何產生了一種相對論形式，避免使用經典極限與無窮小量，改以冪零元素為基礎。
• 格羅滕迪克拓撲斯方法提供了時空的層論表示，以邏輯框架捕捉其局部與全域的拓撲特性。
• 整體結果是建立了一個邏輯上穩固、與經典微分幾何概念上不同的相對論替代基礎，且數學上一致。