[논문 리뷰] Axiomatic Differential Geometry III-2

Hirokazu Nishimura|arXiv (Cornell University)|2012. 09. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 5

한 줄 요약

이 논문은 완비이자 (국소적) 카르테시안 닫힘 범주 𝕌로의 Weil 대수에서의 함자 범주가 스스로 (국소적) 카르테시안 닫힘임을 증명한다. Weil 함자에 기반한 미분기하학의 공리체계를 제안하여, 이러한 범주가 미분기하학에 있어 핵심적인 카테고리적 성질, 특히 국소적 카르테시안 닫힘을 상속함을 보인다.

ABSTRACT

Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for differential geometry based upon Weil functors is then given.

연구 동기 및 목표

• Weil 대수에서 완비이자 (국소적) 카르테시안 닫힘 범주 𝕌로의 함자 범주의 카테고리가 스스로 (국소적) 카르테시안 닫힘임을 보이기.
• 특히 섬유 다발과 유연한 미분 공간의 범주와의 관계에서, 국소적 카르테시안 닫힘의 기초적 중요성을 다루기.
• Chen, Souriau, Frölicher의 기존 프레임워크를 일반화하는 바탕으로, Weil 함자를 기반으로 한 미분기하학의 카테고리적 공리체계를 제공하기.
• Weil 대수의 맥락에서 접선 함자의 행동을 형식화하고, 이들이 당김과 지수함수와의 호환성에 대해 설명하기.
• 접선 함자, 지수함수, 그리고 슬라이스 범주 간의 강력한 호환 조건을 만족하는 국소적 DG-범주를 정의하고 특성화하기.

제안 방법

• 완비이자 (국소적) 카르테시안 닫힘 범주 𝕌로의 Weil 대수의 범주에서의 함자 범주인 𝒦_U를 구성하기.
• Weil 대수에서의 (−) ⊗_k W 함수와의 복합으로 유도되는, 𝒦_U 위의 내부함수인 접선 함자 T_U^W를 정의하기.
• Weil_k 내의 사상 φ에 대해 관련된 자연 변환 α_φ^U를 도입하여, Weil 대수와의 텐서곱에 따른 함자 변환을 표현하기.
• 고정된 도메인을 가진 Weil_k 내의 사상들에 대한 등식자(equalizer)를 통해 𝒦_U 내의 내부 지수함수 M^N을 정의하여, 합성과 당김과의 호환성을 확보하기.
• 기본환 ℝ를 𝒦_U에 통합하기 위해, 자연스러운 함자 ℝ_U = ℝ ⊗_k − 를 사용하여 미분기하학적 구조의 기초를 마련하기.
• 접선 함자, 지수함수, 슬라이스 범주가 당김 하에서 호환됨을 확인하여, 𝒦_U가 국소적 DG-범주의 공리계를 만족함을 검증하기.

실험 결과

연구 질문

• RQ1 Weil 대수에서 (국소적) 카르테시안 닫힘 범주로의 함자 범주가 스스로 (국소적) 카르테시안 닫힘임을 보장하는 조건은 무엇인가?
• RQ2 국소적 카르테시안 닫힘을 유지하는 방식으로, Weil 함자를 사용하여 어떻게 미분기하학을 공리체계화할 수 있는가?
• RQ3 Weil_k 내의 사상에서 접선 함자 T_U^W와 𝒦_U 내의 내부 지수함수 간의 관계는 무엇이며, 이들은 어떻게 상호작용하는가?
• RQ4 객체 L에 대해 DG-범주의 국소화가 국소적 DG-범주의 구조를 어떻게 유지하는가?
• RQ5 슬라이스 범주 𝒦_U/L에서의 접선 함자 T_L^W가 지수함수와 자연 변환과 어떻게 가환하는가 하는 조건은 무엇인가?

주요 결과

• Weil 대수에서 완비이자 (국소적) 카르테시안 닫힘 범주 𝕌로의 함자 범주 𝒦_U는 스스로 (국소적) 카르테시안 닫힘이다.
• 𝒦_U 내의 내부 지수함수 M^N은 Weil_k 내에서 고정된 도메인을 가진 모든 사상에 대한 등식자로 구성되며, 합성과 텐서곱과의 호환성을 보장한다.
• 접선 함자 T_U^W는 지수함수를 보존한다. 즉, 슬라이스 범주 내에서 T_U^W(M^N) ≅ T_U^W(M)^T_U^W(N) 이다.
• 자연 변환 α_φ^U는 지수함수와 가환한다. 즉, 슬라이스 범주 내에서 α_φ^U(M)^T_U^W(N) = T_U^W(M)^α_φ^U(N) 이며, 이는 일관성을 보장한다.
• 국소적 DG-범주를 객체 L에 대해 국소화하면, 다시 국소적 DG-범주가 되며, 접선 함자, 지수함수, 기본 객체의 구조가 유지된다.
• Weil 대수의 범주는 왼쪽 정확하며, 자연스러운 함자 ℝ ⊗_k − 는 ℝ 를 𝒦_U에 통합하여, 미분기하학적 구성의 기초를 형성한다.