[논문 리뷰] Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes

Y. B. Grinkevich|ArXiv.org|1996. 08. 06.

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로 모델링되었으며, 이는 직관주의 논리와 일치한다.
• 이 프레임워크는 적절한 기초적 토포스 내에서 일반 상대성 이론의 직관주의적 모델을 구성하는 데 기여한다.
• 합성적 접근법은 토포스의 내부 논리에 부합하면서도 일관적이고 기하학적으로 의미 있는 중력 기반 기초를 제공한다.
• 이 방법은 일반 상대성 이론이 토포스 이론적 맥락에서 합성 미분 기법과 링 이론적 구조만을 사용하여 재구성될 수 있음을 보여준다.