[论文解读] Axiomatic Differential Geometry III-2

Hirokazu Nishimura|arXiv (Cornell University)|Sep 27, 2012

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 代数到一个完备且（局部）笛卡尔闭范畴 𝕌 的函子范畴本身也是（局部）笛卡尔闭的。
• 阐明局部笛卡尔闭性在微分几何中的基础性作用，特别是在纤维丛与光滑空间的便利范畴中的意义。
• 基于 Weil 函子，提供一个微分几何的范畴公理化体系，推广了 Chen、Souriau 和 Frölicher 等人已有的框架。
• 形式化切函子的行为及其在 Weil 代数背景下与拉回和指数函子的相容性。
• 定义并表征局部 DG-范畴，即满足切函子、指数函子与截面范畴之间强相容性条件的范畴。

提出的方法

• 构造范畴 𝒦_U 为从交换环 k 上的 Weil 代数范畴到一个完备且（局部）笛卡尔闭范畴 𝕌 的函子范畴。
• 定义切函子 T_U^W 为在 Weil 代数上复合函子 (−) ⊗_k W 的结果，从而在 𝒦_U 上诱导出自函子。
• 引入与 Weil_k 中的态射 φ 相关的自然变换 α_φ^U，编码函子在与 Weil 代数张量积作用下的变换方式。
• 通过在 Weil_k 中固定定义域的所有态射上的等化子来定义 𝒦_U 中的内部指数函子 M^N，以确保其与复合运算和拉回的相容性。
• 利用典范函子 ℝ_U = ℝ ⊗_k − 将基环 ℝ 嵌入 𝒦_U，为微分几何时空结构奠定基础。
• 通过验证切函子、指数函子与截面范畴在拉回下的相容性，确认范畴 𝒦_U 满足局部 DG-范畴的公理。

实验结果

研究问题

• RQ1 在何种条件下，从 Weil 代数到（局部）笛卡尔闭范畴的函子范畴本身也是（局部）笛卡尔闭的？
• RQ2 如何基于 Weil 函子在保持局部笛卡尔闭性的前提下，对微分几何进行公理化？
• RQ3 切函子 T_U^W 与 𝒦_U 中的内部指数函子之间存在何种关系？它们在 Weil_k 中的态射作用下如何相互作用？
• RQ4 对 DG-范畴关于对象 L 的局部化如何保持其局部 DG-范畴的结构？
• RQ5 在何种条件下，切函子 T_L^W 在截面范畴 𝒦_U/L 上与指数函子及自然变换可交换？

主要发现

• 从 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，为微分几何时空构造提供了基础。