[论文解读] Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes

Y. B. Grinkevich|ArXiv.org|Aug 6, 1996

Algebraic and Geometric Analysis参考文献 4被引用 8

一句话总结

本文提出了一种在直觉主义拓扑斯中构建广义相对论模型的解析微分几何（SDG）框架，该框架不依赖经典极限或实数。通过在笛卡尔闭范畴中用一个环对象 R 替代实直线，SDG 实现了导数和切结构的内在定义，使得爱因斯坦场方程可在伪黎曼形式流形上表述，从而为在合适拓扑斯中构建重力的直觉主义模型铺平了道路。

ABSTRACT

W.Lawvere suggested a approach to differential geometry and to others mathematical disciplines closed to physics, which allows to give definitions of derivatives, tangent vectors and tangent bundles without passages to the limits. This approach is based on a idea of consideration of all settings not in sets but in some cartesian closed category E, particular in some elementary topos. The synthetic differential geometry (SDG) is the theory developed by A.Kock in a context of Lawvere's ideas. In a base of the theory is an assumption of that a geometric line is not a filed of real numbers, but a some nondegenerate commutative ring R of a line type in E. In this work we shall show that SDG allows to develop a Riemannian geometry and write the Einstein's equations of a field on pseudo-Riemannian formal manifold. This give a way for constructing a intuitionistic models of general relativity in suitable toposes.

研究动机与目标

• 开发一种避免极限与经典实数的微分几何基础，以实现直觉主义表述。
• 将合成微分几何（SDG）扩展至初等拓扑斯中的黎曼几何与伪黎曼几何。
• 证明爱因斯坦场方程可在这种合成框架中于形式流形上表述。
• 为在合适拓扑斯中构建广义相对论的直觉主义模型提供路径。
• 建立基于环对象而非实数域的几何基础，与Lawvere的合成方法保持一致。

提出的方法

• 在初等拓扑斯 E 中，用一个非退化的交换环 R（线类型）替代实直线，作为几何基础。
• 利用笛卡尔闭范畴 E 形式化所有几何构造，包括导数、切向量与切丛，且不依赖极限。
• 通过Kock-Lawvere公理定义无穷小邻域，实现在环对象上的合成微积分。
• 利用环对象 R 构造形式伪黎曼流形结构，使曲率张量与度量张量可合成定义。
• 通过合成微分形式表达里奇曲率与能量-动量张量，推导出该合成设定下的爱因斯坦场方程。
• 应用拓扑斯的内逻辑，确保与直觉主义原则一致，避免经典存在性假设。

实验结果

研究问题

• RQ1 能否通过合成方法在不使用极限或实数域的情况下发展微分几何？
• RQ2 如何在拓扑斯中使用环对象而非实数来形式化黎曼与伪黎曼结构？
• RQ3 爱因斯坦场方程能否在合成的、直觉主义的框架中推导并表达？
• RQ4 何种条件需满足于一个拓扑斯，才能通过合成微分几何支持广义相对论的一致模型？
• RQ5 合成方法如何在遵守直觉主义逻辑的同时，保持广义相对论的几何与物理内涵？

主要发现

• 本文成功地在合成框架中，利用环对象于形式伪黎曼流形上表述了爱因斯坦场方程。
• 导数、切向量与切丛在拓扑斯中实现了内在定义，无需依赖极限或ε-δ论证。
• 几何直线被建模为非退化的交换环 R，而非实数域，与直觉主义逻辑一致。
• 该框架允许在合适初等拓扑斯中构建广义相对论的直觉主义模型。
• 合成方法实现了与拓扑斯内逻辑一致且几何意义明确的引力表述。
• 该方法表明，广义相对论可仅通过合成微分技巧与环论结构在拓扑斯理论设定中重建。