[论文解读] Comparative Smootheology

Andrew Stacey|arXiv (Cornell University)|Feb 15, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 22

一句话总结

本文通过在各自范畴之间构造自然函子，比较了五种基础的光滑空间定义——Chen、Frölicher、Sikorski、Smith 和 Souriau。研究发现 Frölicher 空间在该网络中处于核心枢纽地位，其余所有范畴均可通过普遍性质嵌入或关联至其上，且证明在任意函子下，任意两个范畴均不等价，从而确认了它们在数学上的本质差异。

ABSTRACT

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces.

研究动机与目标

• 通过系统比较其范畴结构，解决‘光滑对象’定义泛滥的问题。
• 确定五类光滑空间范畴在任意函子下是否等价，从而评估其根本上的差异性。
• 识别出范畴之间的自然函子，特别是那些保持光滑流形子范畴的函子。
• 基于测试对象和强制条件，建立一个适用于光滑结构的通用范畴框架，该框架可推广至光滑空间之外。
• 阐明 Frölicher 空间在广义光滑空间图景中作为中心统一范畴的作用。

提出的方法

• 作者构造了由 Chen、Frölicher、Sikorski、Smith 和 Souriau 定义的光滑空间范畴之间的显式函子，特别关注那些保持光滑流形的函子。
• 提出一个通用框架——‘U 中的强制虚拟 T-对象’——以统一定义，该框架基于一个基础范畴 U、一个测试范畴 T 和一个强制条件。
• 该方法使用形如 X ← T → X' 的图示来测试光滑性，推广了‘通过图解测试映射’或‘泛函’的思想。
• 通过伴随关系和嵌入关系对范畴间的关系进行分类，识别出反射子范畴或共反射子范畴结构。
• 通过 Isbell 环化构造将该方法扩展至非集合论理论，将框架推广至双函子和弱分解。
• 推导出 Sikorski 空间的非拓扑化重述，以函数泛函及其乘积的代数条件替代原有的拓扑局部性条件。

实验结果

研究问题

• RQ1 Chen、Frölicher、Sikorski、Smith 和 Souriau 定义的光滑空间范畴之间，通过自然函子如何相互关联？
• RQ2 这些范畴中是否存在可嵌入或反射性嵌入其他范畴的情况，从而揭示层级结构或中心结构？
• RQ3 在任意函子下，这些光滑空间范畴是否等价，抑或代表了本质上不同的数学对象？
• RQ4 能否建立一个通用的范畴框架，以测试对象为基础统一多样化的光滑结构定义？
• RQ5 光滑性概念能否超越集合论空间，特别是推广至解析或非交换微分几何？

主要发现

• Frölicher 空间在光滑空间的范畴论图景中占据中心地位，所有其他范畴均存在自然函子映射至其上。
• Frölicher 空间范畴在 Chen 和 Souriau 空间范畴中均为反射子范畴与共反射子范畴，表明其具有强大的普遍性质。
• 在任意函子下，五类范畴（Chen、Frölicher、Sikorski、Smith、Souriau）中任意两者均不等价，确认了其数学身份的根本差异。
• 通过测试范畴与强制条件，建立了一个统一五类定义的光滑结构通用框架。
• 推导出 Sikorski 空间的非拓扑化版本，以函数泛函及其乘积的代数条件替代原有的拓扑局部性条件。
• Isbell 环化构造为将该框架推广至非集合论光滑理论（如解析微分几何）提供了路径。