Homological algebra over non-unital rings and algebras, with applications to $(\infty, 1)$-categories

该论文建立了非幺环与代数上的模同调代数理论，并将其应用于定义和研究$(\infty,1)$-范畴及定向空间的（定向）同调、相对同调及其正合序列。

要点

这篇论文听起来非常深奥，充满了“同调代数”、“非幺环”和"$\infty$-范畴”这样的术语。但如果我们剥开这些数学外衣，它的核心思想其实非常直观，甚至可以用一个关于**“没有总指挥的交响乐团”**的比喻来解释。

以下是用通俗易懂的语言和生动的比喻对这篇论文的解读：

1. 核心问题：没有“单位元”的数学世界

在传统的数学（比如普通的代数）中，我们习惯处理有“单位元”（就像数字 1，任何数乘以 1 还是它自己）的环。这就像是一个有明确总指挥的交响乐团，所有的乐手（模块）都知道该听谁的，整个结构非常稳固，我们可以轻松地进行“同调代数”计算（一种用来测量形状、洞和结构的数学工具）。

但是，现实世界（特别是计算机科学和拓扑学）中，很多情况是没有总指挥的。

• 比喻：想象一个巨大的、无限延伸的乐团，或者一个由无数个小乐队组成的网络。在这个网络里，没有一个人能发出“开始演奏”的指令（没有单位元）。
• 问题：传统的数学工具在这个“没有总指挥”的世界里会失灵。作者们问：“如果我们没有总指挥，还能不能建立一套可靠的数学规则来测量这个世界的结构？”

2. 解决方案：给乐团找个“临时指挥”（单值化）

作者们提出了一种聪明的方法：单值化（Unitalization）。

• 比喻：既然乐团里没有总指挥，我们就人为地加一个“虚拟的总指挥”（单位元）。这个虚拟指挥不演奏任何乐器，但他负责把大家组织起来。
• 关键发现：作者证明了，在这个“加了虚拟指挥”的世界里算出来的结果，和直接在“没有指挥”的原世界里算出来的结果，在数学本质上是完全一样的（同构）。
• 意义：这就像是为了修路，我们暂时搭了一座桥。虽然桥是临时加的，但通过这座桥，我们可以安全地走到对岸，并且发现对岸的风景和直接走过去是一样的。这让数学家可以借用成熟的工具来解决那些原本棘手的“无单位”问题。

3. 应用场景：给“有方向”的世界画地图

这篇论文最大的亮点是将这套理论应用到了**“有向空间”和"$\infty$-范畴”**上。

• 什么是有向空间？

  • 比喻：想象你在玩一个游戏，或者看一段代码的执行过程。你可以从 A 点走到 B 点，但不能从 B 点走回 A 点（就像时间只能向前，或者程序一旦运行就不能倒带）。这种空间就是“有向”的。
  • 在传统的拓扑学（研究形状）中，我们只关心“能不能连通”，不关心方向。但在有向世界里，方向至关重要。

• $\infty$-范畴是什么？

  • 比喻：想象一个极其复杂的迷宫，里面不仅有路，路上还有路，路的路还有路……这是一个无限层级的结构。作者用“有向图”来描述这种复杂的层级关系。

• 作者做了什么？

  • 他们发明了一种新的**“有向同调”**（Directed Homology）。
  • 比喻：传统的同调像是在给一个球体数有多少个洞（比如甜甜圈有一个洞）。而作者的“有向同调”像是在给一个单向行驶的迷宫数洞。它不仅能告诉你哪里有洞，还能告诉你水流（数据流、时间流）能不能流过去，会不会被卡住。
  • 以前，这种方法只能处理有限大小的迷宫（有限的点）。现在，作者利用前面的“无单位环”理论，成功地将这种方法推广到了无限大的迷宫。

4. 相对同调：比较两个迷宫

论文还讨论了一个叫“相对同调”的概念。

• 比喻：假设你有一个大迷宫（整个系统），里面包含了一个小迷宫（子系统，比如一个特定的程序模块）。
• 问题：如果我们把小迷宫挖出来，大迷宫剩下的部分是什么样子的？
• 贡献：作者证明了，即使在没有“总指挥”（非幺环）的复杂情况下，我们依然可以建立一套严密的**“长序列”**（Exact Sequence）。
  • 这就像是一个数学的账本：如果你知道“大迷宫”的结构和“小迷宫”的结构，你就能通过这套公式精确地算出“挖掉小迷宫后剩下的部分”的结构。这对于分析复杂系统的局部和整体关系非常有用。

5. 总结：这篇论文有什么用？

简单来说，这篇论文做了一件**“打地基”**的工作：

1. 修补工具：它把数学工具箱里那些原本只能用于“有单位元”（有总指挥）情况的工具，升级成了也能处理“无单位元”（无总指挥）情况的通用工具。
2. 扩大应用：利用这个升级后的工具，他们成功地为有向空间（如并发程序、时间流、数据流）建立了一套强大的数学描述方法。
3. 解决痛点：以前，如果系统太复杂（无限个点），这套方法就失效了。现在，无论系统多复杂，无论有没有“总指挥”，我们都能用这套数学语言去描述它的“形状”和“漏洞”。

一句话总结：
作者们发明了一套新的数学“翻译器”，让我们能够在一个没有绝对中心（单位元）的、方向性极强的复杂世界里，依然能够精准地测量和计算其结构，就像给一个没有指挥的庞大乐团依然能谱写出和谐的乐章一样。这对于理解复杂的计算机程序、网络拓扑以及时间相关的物理过程具有深远的意义。

技术摘要

这篇论文《Homological algebra over non-unital rings and algebras, with applications to (∞, 1)-categories》（非幺环与非幺代数上的同调代数及其在 $(\infty, 1)$-范畴中的应用）由 Eric Goubault 和 Eliot Médioni 撰写。文章旨在建立非幺环和非幺代数上的同调代数理论框架，并将其应用于 $(\infty, 1)$-范畴和定向空间（directed spaces）的定向同调（directed homology）研究。

以下是该论文的详细技术总结：

1. 研究问题与背景 (Problem & Background)

• 核心痛点：传统的同调代数主要建立在幺环（unital rings）和幺代数（unital algebras）的模范畴上，因为该范畴是阿贝尔的（abelian），且满足 Freyd-Mitchell 嵌入定理。然而，在许多现代应用领域（如拓扑数据分析中的持久同调、定向拓扑中的定向同调），相关的代数结构（如路径代数）往往没有自然的单位元（non-unital），特别是当底层的滤过结构或对象集合是无限的时候。
• 现有局限：现有的非幺环模理论（如 firm, closed, $s$-unital 模）在文献中较为分散，且缺乏统一的框架来处理双模（bimodules）和相对同调（relative homology）。特别是，Goubault (2024a) 之前的定向同调理论仅限于有限预立方集（finite precubical sets），无法推广到具有无限对象的更一般定向空间或 $(\infty, 1)$-范畴。
• 目标：构建一个严谨的非幺代数同调代数理论，特别是证明在特定条件下（如 $s$-unital 模），非幺模范畴是阿贝尔的，并以此定义 $(\infty, 1)$-范畴和定向空间的相对同调及其长正合序列。

2. 方法论与理论框架 (Methodology & Theoretical Framework)

文章首先系统地梳理并推广了非幺环/代数上的模理论，主要步骤如下：

2.1 非幺代数的单位化 (Unitalization)

• 定义了非幺 $R$-代数 $\mathbb{A}$ 的单位化 $\hat{\mathbb{A}} = \mathbb{A} \oplus R$，其乘法定义为 $(a, r)(b, s) = (ab + rb + as, rs)$。
• 关键定理 (Theorem 3)：证明了非幺代数 $\mathbb{A}$ 上的模范畴 $\mathbb{A}\text{Mod}\mathbb{B}$ 与单位化代数 $\hat{\mathbb{A}}$ 和 $\hat{\mathbb{B}}$ 上的幺模范畴 $\hat{\mathbb{A}}\text{UMod}\hat{\mathbb{B}}$ 是同构的。
• 意义：这一同构使得研究者可以利用成熟的幺环同调代数工具来处理非幺情形，同时也解释了非幺模定义中 $R$-作用与代数作用交换性的来源。

2.2 模的类别与阿贝尔性

• 回顾了 firm 模、closed 模 和 $s$-unital 模 的概念。
• 核心结论：对于 $s$-unital 代数（即存在局部单位元的代数），$s$-unital 模构成的范畴是阿贝尔范畴（Corollary 11）。
• 双模的处理：在非幺情形下，双模不能简单地等同于张量积代数上的模。文章定义了 $s$-unital 双模 范畴，并证明其也是阿贝尔范畴（Proposition 12）。这为处理链复形中的双模结构奠定了基础。

2.3 张量积与标量扩张

• 定义了非幺代数上的张量积，并证明了其通用性质。
• 研究了标量限制（Restriction of scalars）和标量扩张（Extension of scalars）函子。特别地，证明了在 $\mathbb{B}$ 是 firm 模的条件下，标量扩张函子将模映射为 firm 模（Theorem 8）。

3. 主要应用：$(\infty, 1)$-范畴的定向同调 (Main Application)

文章将上述代数理论应用于 $(\infty, 1)$-范畴（通过 Kan 复形增广的单纯范畴模型）的定向同调。

3.1 路径代数与链复形

• 路径代数 $R[\mathcal{S}]$：对于单纯增广范畴 $\mathcal{S}$，定义其路径代数 $R[\mathcal{S}]$。即使 $\mathcal{S}$ 有无限个对象，该代数也是非幺的，但被证明是 $s$-unital 的（Proposition 13）。
• 链复形构造：定义 $C_n(R, \mathcal{S}, R')$ 为由 $\mathcal{S}$ 中所有 $n$-单纯形生成的自由双模。通过定义左、右平移算子（基于 1-态射的复合），赋予其 $R[\mathcal{S}]$-$R'[\mathcal{S}]$-双模结构。
• 定理 14：证明了该链复形具有唯一的 $s$-unital 双模结构，且边界算子 $d_n$ 是双模同态（Proposition 15）。

3.2 函子性与不变性

• 证明了对于单纯增广函子 $f: \mathcal{S} \to \mathcal{T}$，如果 $f$ 在对象上是单射的，则诱导代数同态 $R[\mathcal{S}] \to R[\mathcal{T}]$，从而诱导同调双模的映射。
• Corollary 19：证明了定向同调是单纯增广范畴同构下的不变量。

3.3 相对同调与正合序列

• 定义了子范畴 $\mathcal{T} \subset \mathcal{S}$ 的相对链复形 $C_*(R, \mathcal{S}/\mathcal{T}, R')$。
• 利用 $s$-unital 双模范畴的阿贝尔性，构建了短正合序列：
  $$0 \to C_*^{\mathcal{S}}(\mathcal{T}) \to C_*(\mathcal{S}) \to C_*(\mathcal{S}/\mathcal{T}) \to 0$$
• 定理 (Section 6.5.1)：由此导出了长正合序列，将 $\mathcal{S}$ 的同调、$\mathcal{T}$ 在 $\mathcal{S}$ 中的扩张同调以及相对同调联系起来。

4. 在定向空间 (Directed Spaces) 中的应用

文章最后将理论具体化到定向空间（d-spaces）：

• 迹范畴 (Trace Category)：将定向空间 $\vec{X}$ 转化为一个单纯增广范畴 $\mathcal{K}_{\vec{X}}$，其对象为点，态射为定向路径的等价类（迹）。
• 相对对 (Relative Pair)：定义了定向空间的“相对对” $(\vec{A}, \vec{X})$，要求 $\vec{A}$ 是 $\vec{X}$ 的全子空间 (full) 且 分离 (separating)（即任何定向路径进入和离开 $\vec{A}$ 最多一次）。
• 核心结果 (Proposition 26 & 27)：
  • 对于相对对，转移映射 (Transfer Map) $\iota: R[\mathcal{K}_{\vec{X}}] \otimes C_*(\mathcal{K}_{\vec{A}}) \otimes R'[\mathcal{K}_{\vec{X}}] \to C_*^{\mathcal{K}_{\vec{X}}}(\mathcal{K}_{\vec{A}})$ 是单射（实际上是同构）。
  • 这意味着在相对对的情形下，相对同调的计算可以简化为标量扩张后的同调计算，从而得到了一个完全坍缩的长正合序列，使得计算 $\vec{X}$ 的定向同调变得可行。

5. 主要贡献与意义 (Key Contributions & Significance)

1. 理论统一：系统整理了非幺环/代数模理论的碎片化知识，特别是通过单位化函子建立了非幺模与幺模范畴的严格同构，为在非幺环境下进行同调代数计算提供了坚实的理论基础。
2. 阿贝尔范畴的构建：证明了 $s$-unital 双模范畴是阿贝尔的，解决了非幺情形下双模范畴通常不是阿贝尔的难题，使得核、余核和正合序列的定义成为可能。
3. 推广定向同调：将定向同调理论从有限的预立方集推广到了无限的 $(\infty, 1)$-范畴和一般的定向空间。
4. 相对同调的正合序列：首次为非幺代数背景下的相对同调建立了长正合序列，并给出了具体的几何条件（相对对），使得在定向拓扑中计算相对同调成为可能。
5. 应用前景：该理论为处理具有无限状态或无限路径的并发系统（concurrent systems）的拓扑数据分析提供了新的数学工具，特别是在持久同调和定向同调的交叉领域。

总结

这篇文章通过严谨的代数构造，填补了非幺环同调代数在 $(\infty, 1)$-范畴和定向拓扑应用中的理论空白。它不仅提供了必要的代数工具（如 $s$-unital 双模范畴），还成功地将这些工具应用于解决具体的几何和拓扑问题（定向空间的相对同调），展示了从抽象代数到应用拓扑的完整逻辑链条。