2025-11-23T02:49:16.871557

From Abelianization to Tangent Categories

Ikonicoff, Lemay, Van der Linden
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this paper, we show that, surprisingly, the category of groups is a tangent category whose tangent bundle functor is induced by abelianization and whose differential bundles correspond to abelian groups. We generalize this construction by introducing the concept of linear assignments, which are endofunctors assigning to every object a commutative monoid in a natural and idempotent manner. We then show that a linear assignment induces a tangent bundle functor, whose differential bundles correspond to a notion of linear algebras. We show that any finitely cocomplete regular unital category is a tangent category whose tangent bundle functor is induced by the canonical abelianization functor, which is a monadic linear assignment. This allows us to provide multiple new examples of tangent categories including monoids, pointed magmas, loops, non-unital rings, Jónsson--Tarski varieties, and pointed Mal'tsev varieties.
academic

From Abelianization to Tangent Categories

基本信息

  • 论文ID: 2510.12324
  • 标题: From Abelianization to Tangent Categories
  • 作者: Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden
  • 分类: math.CT (Category Theory)
  • 发表时间: October 15, 2025
  • 论文链接: https://arxiv.org/abs/2510.12324

摘要

切丛范畴是配备了一个内函子（称为切丛函子）的范畴，该函子配有各种自然变换，捕捉了光滑流形的经典切丛的基本性质。本文令人惊讶地证明了群范畴是一个切丛范畴，其切丛函子由阿贝尔化诱导，微分丛对应于阿贝尔群。作者通过引入线性赋值的概念推广了这一构造，线性赋值是以自然和幂等方式为每个对象分配交换幺半群的内函子。随后证明了线性赋值诱导切丛函子，其微分丛对应于线性代数的概念。任何有限余完备正则幺元范畴都是切丛范畴，其切丛函子由标准阿贝尔化函子诱导，这是一个单子线性赋值。这使得作者能够提供多个新的切丛范畴例子，包括幺半群、带点原群、环、非幺元环、Jónsson-Tarski簇和带点Mal'tsev簇。

研究背景与动机

问题背景

  1. 切丛范畴理论：切丛范畴为光滑流形上微分学的基础提供了范畴论框架，通过抽象切丛的概念。这一理论由Rosický首次引入，后由Cockett和Cruttwell进一步发展。
  2. 几何与代数的连接：传统的切丛范畴例子主要来自微分几何，如光滑流形范畴、(仿射)概形范畴和交换代数范畴。这些例子具有明显的几何特征。
  3. 代数结构的切丛性质：本文的核心观察是群范畴竟然也是切丛范畴，其切丛函子由阿贝尔化诱导：T(G)=G×Ab(G)T(G) = G \times \text{Ab}(G)。

研究动机

  1. 理论统一：寻找将代数结构纳入切丛范畴框架的一般方法
  2. 结构抽象：提取群范畴和阿贝尔化函子中允许构建切丛结构的本质性质
  3. 例子扩展：为切丛范畴理论提供新的、来自代数的丰富例子

现有方法局限性

现有的切丛范畴理论主要关注几何风格的例子，缺乏系统的方法来处理代数结构。虽然交换代数等代数例子存在，但缺乏一般性的构造原理。

核心贡献

  1. 发现群范畴的切丛结构：证明了群范畴是Rosický切丛范畴，切丛函子为T(G)=G×Ab(G)T(G) = G \times \text{Ab}(G)
  2. 引入线性赋值概念：定义了线性赋值和加性赋值，这是保持有限积、幂等且自然地将对象映射到交换幺半群（或阿贝尔群）的内函子
  3. 建立线性赋值与切丛结构的对应：证明了任何线性赋值都诱导切丛结构，切丛函子为T(X)=X×L(X)T(X) = X \times L(X)
  4. 刻画微分对象和微分丛：证明微分对象与线性代数（L-代数）一一对应，在适当条件下微分丛对应于基对象与线性代数的积
  5. 发展单子线性赋值理论：建立了单子线性赋值与线性反射子范畴的对应关系
  6. 推广到幺元正则范畴：证明任何有限余完备正则幺元范畴都是切丛范畴，提供了大量新例子

方法详解

核心概念定义

线性赋值 (Linear Assignment)

定义 2.1：设X\mathcal{X}是有有限积的范畴，线性赋值是四元组(L,+,0,ν)(L, +, 0, \nu)，其中：

  • L:X→XL: \mathcal{X} \to \mathcal{X}是保持有限积的内函子
  • +X:L(X)×L(X)→L(X)+_X: L(X) \times L(X) \to L(X)和0X:∗→L(X)0_X: * \to L(X)是自然变换
  • νX:LL(X)→L(X)\nu_X: LL(X) \to L(X)是自然同构

满足：

  1. 对每个对象XX，(L(X),+X,0X)(L(X), +_X, 0_X)是交换幺半群
  2. νX:L(L(X))→L(X)\nu_X: L(L(X)) \to L(X)是幺半群同构
  3. νL(X)=L(νX)\nu_{L(X)} = L(\nu_X)

线性投影子 (Linear Projector)

定理 2.5：线性赋值与线性投影子一一对应，后者是保持有限积的函子L:X→CMON[X]L: \mathcal{X} \to \text{CMON}[\mathcal{X}]配以自然同构νX:L(U(L(X)))→L(X)\nu_X: L(U(L(X))) \to L(X)。

主要构造

从线性赋值到切丛结构

定理 3.5：设LL是范畴X\mathcal{X}上的线性赋值，则(X,TL)(\mathcal{X}, T_L)是笛卡尔切丛范畴，其中：

  • 切丛函子：TL(X)=X×L(X)T_L(X) = X \times L(X)
  • 投影：pX=π1:X×L(X)→Xp_X = \pi_1: X \times L(X) \to X
  • 和：sX=1X×+X:X×(L(X)×L(X))→X×L(X)s_X = 1_X \times +_X: X \times (L(X) \times L(X)) \to X \times L(X)
  • 零：zX=⟨1X,0X∘tX⟩:X→X×L(X)z_X = \langle 1_X, 0_X \circ t_X \rangle: X \to X \times L(X)
  • 垂直提升：ℓX=⟨1X,0X∘tX⟩×⟨0X∘tL(X),νX−1⟩\ell_X = \langle 1_X, 0_X \circ t_X \rangle \times \langle 0_X \circ t_{L(X)}, \nu_X^{-1} \rangle
  • 标准翻转：cXc_X由自然交换同构给出

线性代数与微分对象

定义 4.1：L-代数是对(A,a)(A, a)，其中a:L(A)→Aa: L(A) \to A是同构且L(a)=νAL(a) = \nu_A。

定理 4.13：微分对象范畴与L-代数范畴同构：DOb[X,TL]≃L-ALG\text{DOb}[\mathcal{X}, T_L] \simeq L\text{-ALG}。

定理 4.15：若X\mathcal{X}有零态射和核，则：

  • DBUN[(X,TL)]≃X×L-ALG\text{DBUN}[(\mathcal{X}, T_L)] \simeq \mathcal{X} \times L\text{-ALG}
  • 对每个对象XX：DBUN[(X,TL)]X≃L-ALG\text{DBUN}[(\mathcal{X}, T_L)]_X \simeq L\text{-ALG}

单子线性赋值

定义 5.1：单子线性赋值是配备单子结构(L,ν,η)(L, \nu, \eta)的线性赋值。

定理 5.10：单子线性赋值与线性反射子范畴一一对应。

幺元范畴中的阿贝尔化

定理 6.3：设X\mathcal{X}是有限余完备正则幺元范畴，则(X,TLCMon)(\mathcal{X}, T_{L_{\text{CMon}}})是笛卡尔切丛范畴，切丛函子为： T(X)=X×CMon(X)T(X) = X \times \text{CMon}(X)

定理 6.6：设X\mathcal{X}是有限余完备正则强幺元范畴，则(X,TLAb)(\mathcal{X}, T_{L_{\text{Ab}}})是笛卡尔Rosický切丛范畴，切丛函子为： T(X)=X×Ab(X)T(X) = X \times \text{Ab}(X)

主要例子

基础例子

  1. 群范畴：T(G)=G×Ab(G)T(G) = G \times \text{Ab}(G)，微分对象对应阿贝尔群
  2. 半加性范畴：T(X)=X×XT(X) = X \times X（对角函子）
  3. 终端赋值：T(X)=X×∗T(X) = X \times *（恒等函子）

新的切丛范畴例子

  1. 幺半群范畴：微分对象对应交换幺半群
  2. 带点原群范畴：Jónsson-Tarski簇的自由例子
  3. 非幺元环范畴：阿贝尔化为R↦R/R2R \mapsto R/R^2
  4. Lie代数范畴：阿贝尔化为g↦g/[g,g]\mathfrak{g} \mapsto \mathfrak{g}/[\mathfrak{g}, \mathfrak{g}]
  5. 环范畴：包括交叉模、Hopf代数等

理论意义

数学贡献

  1. 范畴论：为切丛范畴理论提供了新的代数视角
  2. 同调代数：建立了阿贝尔化与微分几何概念的深层联系
  3. 泛代数：为各种代数结构提供了统一的切丛框架

概念创新

  1. 线性赋值：抽象了"线性化"过程的本质
  2. 代数切丛：将微分几何概念推广到纯代数设定
  3. 平行化对象：所有对象都是"平行化的"（切丛为平凡丛）

技术细节

证明策略

  1. 构造验证：通过直接计算验证切丛公理
  2. 泛性质：利用拉回和等化子的泛性质
  3. 单子理论：使用幂等单子与反射子范畴的对应

关键引理

  • 引理 2.2：线性赋值保持幺半群结构
  • 引理 3.4：积与交换幺半群给出加性丛
  • 引理 4.12：从微分对象构造L-代数结构

局限性与未来方向

当前局限

  1. 平行化限制：构造的切丛范畴中所有对象都是平行化的
  2. 严格性问题：某些同构关系需要非严格处理
  3. 几何直觉：缺乏传统几何切丛的直观解释

未来研究

  1. 平行化对象理论：发展切丛范畴中平行化对象的一般理论
  2. 非严格广义笛卡尔微分范畴：处理同构而非严格等式的情况
  3. 更大切丛范畴：寻找以群范畴为平行化对象子范畴的更大切丛范畴

深度评价

优点

  1. 理论统一性：将看似不相关的代数和几何概念统一在切丛范畴框架下
  2. 构造的自然性：线性赋值概念自然地抽象了阿贝尔化等线性化过程
  3. 例子丰富性：提供了大量来自代数的新切丛范畴例子
  4. 技术严谨性：证明详细且技术处理恰当

创新性

  1. 概念创新：线性赋值是全新概念，抓住了问题本质
  2. 视角转换：从几何视角转向代数视角理解切丛结构
  3. 理论推广：为切丛范畴理论开辟了新的研究方向

技术贡献

  1. 构造方法：提供了系统的从代数结构构造切丛范畴的方法
  2. 对应关系：建立了多个重要的范畴等价关系
  3. 计算技巧：发展了处理切丛范畴计算的有效方法

潜在影响

  1. 理论发展：可能推动切丛范畴理论向代数方向发展
  2. 应用前景：为代数结构的研究提供新的几何直觉
  3. 跨领域连接：加强了代数与几何之间的联系

适用场景

  1. 代数拓扑：研究代数结构的同伦性质
  2. 代数几何：理解代数簇的切丛结构
  3. 范畴论：发展新的范畴论工具和方法

结论

这篇论文通过引入线性赋值的概念，成功地将阿贝尔化等代数构造纳入切丛范畴的框架，为这一重要的数学理论提供了全新的代数视角。论文不仅解决了一个具体问题（群范畴的切丛结构），更重要的是建立了一个一般性的理论框架，为大量代数结构提供了切丛范畴的解释。这一工作展现了深刻的数学洞察力，将对切丛范畴理论和相关领域产生重要影响。