[論文レビュー] 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）をリーマン幾何学および擬リーマン幾何学へと拡張する。
• アインシュタインの場の方程式が、形式的多様体上でこの合成的枠組み内で定式化可能であることを示す。
• 適切なトポス内での一般相対性理論の直感主義的モデルを構築する道筋を提供する。
• 実数体ではなく環対象に基づく幾何的基盤を確立し、ローヴェルの合成的アプローチと整合させる。

提案手法

• 初等トポス E 内で、非退化な可換環 R（線型型）を実数直線に置き換えることで、幾何的基盤を提供する。
• すべての幾何的構成（導関数、接ベクトル、接バンドルなど）を、極限を用いず、デカルト閉カテゴリ E で形式化する。
• コック＝ローヴェル公理を用いて無限小近傍を定義し、環対象上で合成微積分を可能にする。
• 環対象 R を用いて形式的擬リーマン多様体構造を構成し、曲率テンソルや計量テンソルを合成的に定義可能にする。
• リッチ曲率とエネルギー運動量テンソルを合成的微分形式を用いて表現することで、この合成的設定下でアインシュタインの場の方程式を導出する。
• トポスの内部論理を適用し、古典的存在仮定を避けることで、直感主義的原理と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 合成的手法を用いて、極限や実数体に依存せずに微分幾何学を構築可能か？
• RQ2 リーマン幾何学および擬リーマン幾何学的構造を、実数ではなく環対象を用いてトポス内で形式化できるか？
• RQ3 アインシュタインの場の方程式を、合成的かつ直感主義的枠組み内で導出・表現可能か？
• RQ4 一般相対性理論の整合的モデルを、合成微分幾何学によって支持するためのトポスが満たすべき条件は何か？
• RQ5 合成的アプローチは、直感主義論理に従いながらも、一般相対性理論の幾何的・物理的本質をどのように保っているか？

主な発見

• 本稿は、環対象を用いた合成的枠組み内で、擬リーマン形式的多様体上にアインシュタインの場の方程式を成功裏に定式化した。
• 導関数、接ベクトル、接バンドルが、極限や ε-δ 論法に依存せず、トポス内で内在的に定義された。
• 幾何的直線が実数体ではなく、非退化な可換環 R としてモデル化され、直感主義論理と整合した。
• この枠組みにより、適切な初等トポス内での一般相対性理論の直感主義的モデルの構築が可能になった。
• 合成的アプローチにより、トポスの内部論理を尊重する整合的で幾何的に意味のある重力理論の定式化が可能になった。
• この方法により、一般相対性理論がトポス的設定において、合成的微分技法と環論的構造のみを用いて再構築可能であることが示された。