[论文解读] On Theories of Superalgebras of Differentiable Functions

David Carchedi, Dmitry Roytenberg|arXiv (Cornell University)|Nov 26, 2012

Advanced Topics in Algebra参考文献 9被引用 5

一句话总结

本文引入了超费马理论作为推导微分几何的框架，将费马理论推广至超交换代数，使得无穷次可微函数可在其中被评估。研究证明每个费马理论均可通过自然方式实现超化，并识别出邻近点决定的超代数为一类具有强代数性质的关键类，尤其在 $Γ^∞$-超代数与推导几何的背景下。

ABSTRACT

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such a theory is called a super Fermat theory. Any category of superspaces and smooth functions has an associated such theory. This includes both real and complex supermanifolds, as well as algebraic superschemes. In particular, there is a super Fermat theory of C-infinity superalgebras. C-infinity superalgebras are the appropriate notion of supercommutative algebras in the world of C-infinity rings, the latter being of central importance both to synthetic differential geometry and to all existing models of derived smooth manifolds. A super Fermat theory is a natural generalization of the concept of a Fermat theory introduced by E. Dubuc and A. Kock. We show that any Fermat theory admits a canonical superization, however not every super Fermat theory arises in this way. For a fixed super Fermat theory, we go on to study a special subcategory of algebras called near-point determined algebras, and derive many of their algebraic properties.

研究动机与目标

• 为研究光滑超空间（包括实与复超流形及代数超概形）建立统一的代数框架。
• 将原本针对 $Γ^∞$-环上光滑函数的费马理论推广至超交换设定，通过超费马理论实现。
• 识别并研究邻近点决定的超代数作为一类具有有利代数与几何性质的核心代数类。
• 建立 $Γ^∞$-超代数作为 $Γ^∞$-环的超化形式的基础结果，这对推导微分几何至关重要。
• 通过超费马理论为推导几何中的微分分次模型提供范畴论与代数基础。

提出的方法

• 将超费马理论定义为扩展超交换代数的双排序代数理论，满足超化版本的费马性质。
• 构造任意费马理论的超化形式，作为包含格拉斯曼奇数变量并保持费马性质的自然扩展。
• 将邻近点决定的超代数表征为：其拓扑由在邻近点的取值所决定，推广自 $Γ^∞$-环中的概念。
• 利用 $Γ^∞$-集合范畴 $Γ^∞$ 中的可滤余极限与同余关系分析代数的商与商结构，确保有效余等化器与行为良好的商。
• 应用多排序劳弗弗理论及其代数的理论，以范畴方式建模超代数及其态射。
• 证明 $Γ^∞$-超代数的范畴是一个超费马理论，且其作为 $Γ^∞$-环理论的超化形式而产生。

实验结果

研究问题

• RQ1 如何将费马理论的概念扩展至超交换代数，以实现在超设定下对光滑函数的评估？
• RQ2 费马理论的自然超化方式是什么？该构造保持了哪些性质？
• RQ3 哪些超代数是邻近点决定的？在超费马理论的背景下，它们满足何种代数性质？
• RQ4 $Γ^∞$-超代数如何融入超费马理论的框架？它们在推导微分几何中扮演何种角色？
• RQ5 超费马代数范畴中商与同余关系的范畴结构是什么？它们与有效满射之间有何关联？

主要发现

• 每个费马理论均可通过自然方式实现超化，生成一个将光滑函数评估推广至超交换代数的超费马理论。
• $Γ^∞$-超代数的理论是一个超费马理论，且其作为 $Γ^∞$-环理论的超化形式而产生，因此在推导微分几何中具有核心地位。
• 邻近点决定的超代数具有如下性质：其拓扑由在无穷接近点的取值所决定，推广了 $Γ^∞$-环中的经典概念。
• 在超费马代数范畴中，每个正则满射均为有效满射，且每个商均作为同余关系的余等化器出现，确保了良好的范畴行为。
• 从超费马代数到 $Γ^∞$-集合范畴 $Γ^∞$ 的遗忘函子保持并反映反射余等化器，这意味着代数的商与它们的底层 $Γ^∞$-索引集合的商相对应。
• 并非每个超费马理论均可作为费马理论的超化形式产生，表明在理论层面上，超化构造并非满射。