Difference $2$-algebras and difference $A_\infty$-algebras

技术摘要：差 2-代数与差 $A_\infty$-代数

问题陈述
本文旨在将差算子（满足 $d(ab) = d(a)b + ad(b) + d(a)d(b)$的前向与后向差算子的代数抽象）的概念推广至更高阶代数结构。尽管普通结合代数（差代数）上的差算子及其上同调理论已确立，但将其扩展至范畴化结构（结合 2-代数）和同伦结构（$A_\infty$-代数）尚需系统发展。核心问题在于定义这些高阶结构上的差算子，建立其范畴框架，并阐明差代数的范畴化（2-代数）版本与同伦化（$A_\infty$）版本之间的关系。

方法论
作者结合了范畴代数、算子理论和同伦理论。方法论按以下步骤展开：

1. 差算子的范畴化：本文首先定义了差结合 2-代数。这涉及一个配备线性函子 $D$ 和自然同构的结合 2-代数（带有双线性函子和自然结合子的 2-向量空间），该自然同构对差算子恒等式进行了范畴化。相干条件通过涉及结合子与差算子自然同构的交换图来强制实施。
2. 通过 Maurer-Cartan 元素进行同伦化：为了在 $A_\infty$-代数上定义差算子，作者利用了 Maurer-Cartan 刻画。通过 Voronov 的导出括号构造，从 $A_\infty$-结构构建一个 $L_\infty$-代数，将差算子定义为该导出 $L_\infty$-代数中的一个 Maurer-Cartan 元素。
3. 限制于 2-项结构：研究聚焦于"2-项”结构，即底层分次向量空间集中在 0 次和 1 次。这使得高阶运算和相干律能够用显式的代数描述。
4. 等价性证明：本文在差结合 2-代数范畴与 2-项差 $A_\infty$-代数范畴之间构建了函子，证明了它们是等价的。
5. 刻画与构造：本文利用上同调数据（3-上循环）和叉积模刻画了特定的子范畴（骨架型和严格型）。此外，引入了差代数上的“同伦意义下的 2-项双模”，通过半直积构造新示例。

主要贡献与结果

• 差结合 2-代数的定义：本文引入了结合 2-代数上差算子的概念，记为元组 $((C, \bullet, A), D, \mathcal{D})$，其中 $D$ 是线性函子，$\mathcal{D}$ 是满足相干律的自然同构（定义 3.1）。这些对象的集合构成一个范畴 $\text{DiffAss}_2$。
• 差 $A_\infty$-代数的定义：利用 Maurer-Cartan 刻画，作者将 $A_\infty$-代数上的差算子定义为满足特定无穷和条件的元素 $D$，该条件涉及关联 $L_\infty$-代数的导出括号（定义 4.6）。
• 等价性定理：主要结果（定理 4.10）建立了 $\text{DiffAss}_2$（差结合 2-代数）与 $\text{2TermDiff}A_\infty$（2-项差 $A_\infty$-代数）之间的范畴等价。这将结合 2-代数与 2-项 $A_\infty$-代数之间已知的等价性推广到了差算子的语境中。
• 特殊情形的刻画：
  • 骨架型：证明了骨架型 2-项差 $A_\infty$-代数（其中微分 $\delta=0$）与由差代数、其上的双模以及一个 3-上循环组成的三元组之间存在一一对应（定理 5.1）。
  • 严格型：证明了严格型 2-项差 $A_\infty$-代数（其中结合子 $\mu=0$ 且差算子分量 $d_2=0$）与差代数的叉积模之间存在双射对应（定理 5.4）。
• 同伦意义下的 2-项双模：本文定义了差代数上的“同伦意义下的 2-项双模”，推广了同伦表示。证明了差代数与这种双模的半直积产生一个 2-项差 $A_\infty$-代数（命题 5.8），进而对应于一个差结合 2-代数（命题 5.9）。

意义与主张
本文声称提供了一个研究高阶代数语境中差算子的统一框架。通过建立范畴化（2-代数）视角与同伦化（$A_\infty$）视角之间的等价性，该工作表明，当配备差算子时，范畴化（结合 2-代数）和同伦理论（$A_\infty$-代数）所引入的灵活性会产生等价的结构。

作者明确指出，该工作将 Baez 和 Crans（关于李 2-代数和 $L_\infty$-代数）以及 Zhang 和 Liu（关于 Rota-Baxter 算子）的结果推广到了差算子的设定中。分别通过 3-上循环和叉积模对骨架型和严格型的刻画，为构造和分析这些高阶结构提供了具体的代数工具。通过同伦意义下的 2-项双模构造半直积，提供了一种生成非平凡差 $A_\infty$-代数示例的方法。

本文不声称具有实验应用或具体的物理模型，而是将其定位为差算子、上同调及高阶范畴理论代数理论的基础性贡献。