[论文解读] Derivations in Codifferential Categories

Richard Blute, Rory B. B. Lucyshyn-Wright+1 more|arXiv (Cornell University)|May 1, 2015

Advanced Topics in Algebra参考文献 15被引用 6

一句话总结

本文引入了贝克 T-导子（Beck T-derivations）作为余微分范畴中导子的广义概念，统一了凯勒微分与微分线性逻辑。通过在 A ⊕ M 上建立一个自然的 T-代数结构，证明了贝克 T-导子与 A 上的代数同态之间存在双射关系，从而确立了导子的普遍性质；并提出了一种基于对称代数模态 S 和模态态射 λ: S → T 的余微分范畴的替代公理化体系。

ABSTRACT

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential category, which models the differentiation inference rule, is a derivation in the dual category. We here explore that derivation's universality. One of the key structures associated to a codifferential category is an algebra modality. This is a monad $T$ such that each object of the form $TC$ is canonically an associative, commutative algebra. Consequently, every $T$-algebra has a canonical commutative algebra structure, and we show that universal derivations for these algebras can be constructed quite generally. It is a standard result that there is a bijection between derivations from an associative algebra $A$ to an $A$-module $M$ and algebra homomorphisms over $A$ from $A$ to $A\oplus M$, with $A\oplus M$ being considered as an infinitesimal extension of $A$. We lift this correspondence to our setting by showing that in a codifferential category there is a canonical $T$-algebra structure on $A\oplus M$. We call $T$-algebra morphisms from $TA$ to this $T$-algebra structure Beck $T$-derivations. This yields a novel, generalized notion of derivation. The remainder of the paper is devoted to exploring consequences of that definition. Along the way, we prove that the symmetric algebra construction in any suitable symmetric monoidal category provides an example of codifferential structure, and using this, we give an alternative definition for differential and codifferential categories.

研究动机与目标

• 将代数与范畴论设定中导子的概念推广至经典微分形式之外的范畴。
• 通过利用微分范畴的对偶结构，在余微分范畴中建立导子的普遍性质。
• 证明贝克 T-导子通过 A ⊕ M 上的代数结构，为 T-代数提供一种自然且普遍的导子构造方法。
• 提出一种基于对称代数的余微分范畴的替代定义，涵盖现有各类框架。
• 通过范畴对偶与基于模态的代数逻辑，统一微分线性逻辑与凯勒微分理论。

提出的方法

• 将贝克 T-导子定义为从 (A, ν) 到 W(A, M) 的 T-代数态射，其中 W(A, M) 是在 A 上的切片范畴中 A ⊕ M 上的自然 T-代数结构。
• 构造 A ⊕ M 上的自然 T-代数结构，使得其底层代数同构于经典的无穷小扩张 A ⊕ M。
• 利用微分范畴中导子变换的普遍性质，将经典代数中导子与代数同态之间的对应关系推广至余微分设定。
• 应用对称代数模态 S 来定义范畴 C 上的余微分结构，假设张量积保持反射上齐次等化。
• 建立余微分范畴结构与三元组 (T, λ: S → T, dT: T → T ⊗ −) 之间的等价性，其中 dT 满足自然性与链式法则公理。
• 通过涉及 λ 与导子变换 dSC 的关键图表的交换性，证明 dTC 是一个 S-导子（即普通导子）。

实验结果

研究问题

• RQ1 在缺乏极限或流形的范畴设定中，如何在代数设定中推广导子？
• RQ2 余微分范畴中导子变换的普遍性质是什么？它与贝克 T-导子有何关系？
• RQ3 经典导子与到 A ⊕ M 的代数同态之间的对应关系，能否在具有模态与 T-代数的范畴设定中被提升？
• RQ4 在何种条件下，对称代数模态 S 能在范畴 C 上诱导出余微分结构？
• RQ5 哪些公理条件可确保变换 dT: T → T ⊗ − 是一个 T-导子并满足链式法则？

主要发现

• 贝克 T-导子与从 A 到 A ⊕ M 的代数同态之间存在双射关系，推广了交换代数中的经典对应。
• 在 A ⊕ M 上构造自然 T-代数结构，确保其底层代数同构于标准的无穷小扩张 A ⊕ M。
• 在给定公理下，证明了导子变换 dTC 是一个 S-导子，即其满足经典意义下的莱布尼茨法则。
• 链式法则公理 (d3) 等价于图 (1) 外部框图的交换性，该交换性由 ηS_C 的普遍性质所确立。
• 本文通过对称代数模态 S、模态 T 与模态态射 λ: S → T，提出了余微分范畴的新且简洁的定义。
• 正式证明了余微分范畴结构与满足自然性与链式法则公理的三元组 (T, λ, dT) 之间的等价性，所有公理由关键图表的交换性所简化。