[论文解读] A Universal Algebraic Survey of $\mathcal{C}^{\infty}-$Rings

Jean Cerqueira Berni, Hugo Luiz Mariano|arXiv (Cornell University)|Apr 4, 2019

Rings, Modules, and Algebras参考文献 7被引用 4

一句话总结

本文对 $Χ^\infty$-环提供了全面的普遍代数处理，系统地使用一阶等式语言（含光滑函数符号）发展了其范畴构造——如极限、余极限、自由对象、商环和余积。主要贡献在于对文献中常被假设或简略处理的基础结果进行了详尽且自包含的阐述，包括通过有限生成子环的余极限完整描述 $Χ^\infty$-余积，以及证明每个 $Χ^\infty$-环均可表示为有限生成 $Χ^\infty$-环的有向余极限。

ABSTRACT

In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and advanced) facts about $\mathcal{C}^\infty$-rings, however such a presentation has no universal algebraic "flavour". We have been inspired to describe $\mathcal{C}^\infty$-rings through this viewpoint by D. Joyce in [15]. Our main goal here is to provide a comprehensive material with detailed proofs of many known "taken for granted" results and constructions used in the literature about $\mathcal{C}^\infty$-rings and their applications - such proofs either could not be found or were merely sketched. We present, in detail, the main constructions one can perform within this category, such as limits, products, homomorphic images, quotients, directed colimits, free objects and others, providing a "propaedeutic exposition" for the reader's benefit.

研究动机与目标

• 为 $χ^\infty$-环提供系统且自包含的普遍代数基础，填补文献中关键构造缺失或仅简略描述的空白。
• 在 $χ^\infty$-环范畴内，明确描述基本范畴构造——如积、商、有向余极限与余积。
• 确立每个 $χ^\infty$-环均可表示为有限生成 $χ^\infty$-环的有向余极限，从而推广有限生成性质。
• 通过余极限构造阐明 $χ^\infty$-余积的结构，并证明其以普遍方式分类光滑多项式映射。

提出的方法

• 本文使用包含所有光滑映射 $\mathbb{R}^n \to \mathbb{R}$ 的函数符号的一阶等式语言，将 $χ^\infty$-环定义为该理论的模型。
• 通过利用从集合到 $χ^\infty$-环的自由函子的左伴随性质，将自由 $χ^\infty$-环构造为有限生成自由代数的余极限。
• $χ^\infty$-余积通过有限子环上的余极限构造，使用光滑函数代数张量积中的理想给出显式描述。
• 证明了 $χ^\infty$-同态的基本定理，确立了通过生成元与关系表征同态的普遍性质。
• 利用哈达玛引理将环论理想与有限生成环中的 $χ^\infty$-同余关系关联，从而实现对商环的分类。
• 证明了 $χ^\infty$-环范畴是所有 $χ^\infty$-结构范畴的反射子范畴，确认其良好的范畴性质。

实验结果

研究问题

• RQ1 如何通过余极限与理想理论方法显式构造两个 $χ^\infty$-环的 $χ^\infty$-余积？
• RQ2 在有限生成 $χ^\infty$-环中，环论理想与 $χ^\infty$-同余关系之间的确切关系为何？
• RQ3 每个 $χ^\infty$-环是否可表示为有限生成 $χ^\infty$-环的有向余极限？这种分解如何有助于理解其结构？
• RQ4 普遍代数框架如何阐明自由 $χ^\infty$-环的构造及其通过生成元与关系定义代数的作用？
• RQ5 在 $χ^\infty$-余积的范畴论普遍性质中，光滑多项式环的 $χ^\infty$-环具有何种角色？

主要发现

• 两个 $χ^\infty$-环 $A$ 与 $B$ 的 $χ^\infty$-余积同构于其有限生成子环的 $χ^\infty$-余积的余极限，从而为该构造提供了具体的实现。
• 每个 $χ^\infty$-环同构于有限生成 $χ^\infty$-环的有向余极限，确认了一种推广有限生成性质的结构分解。
• $χ^\infty$-环中变量集 $S$ 上以环 $A$ 为系数的光滑多项式环同构于 $A \otimes_\infty \mathcal{C}^\infty(\mathbb{R}^S)$，显式实现了通过 $χ^\infty$-余积添加变量的过程。
• 对任意有限生成 $χ^\infty$-环，环论理想可分类其 $χ^\infty$-同余关系，该结果通过哈达玛引理证明，并推广至一般情形。
• $χ^\infty$-环范畴是所有 $χ^\infty$-结构范畴的反射子范畴，确认其具有良好的范畴性质。
• 确立了 $χ^\infty$-同态的基本定理，提供了通过光滑函数符号表征同态的普遍特征，即基于生成元与关系的描述。