[论文解读] Co-rings over operads characterize morphisms

Kathryn Hess, Paul-Eugène Parent+1 more|ArXiv.org|May 26, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 11

一句话总结

本文引入了在操作子上定义的共环（co-rings），作为编码代数对象之间高阶同伦结构的框架，尤其在链复形的语境下。通过构造一个折射函子（diffracting functor），该函子能从链余代数的对称序列生成半自由共环，作者们以纯粹操作子的方式表征了此前通过巴尔（bar）与柯巴尔（cobar）构造定义的范畴 DASH 与 DCSH，其关键在于使用结合操作子的两面 Koszul 重排（two-sided Koszul resolution）作为核心共环，从而借助可 acyclic 模型方法实现同伦论构造。

ABSTRACT

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in the category of P-bimodules. The co-ring R induces a natural ``fattening'' of the category of P-(co)algebras, expanding the morphism sets while leaving the objects fixed. Co-rings over operads are thus ``relative operads,'' parametrizing morphisms as operads parametrize (co)algebras. Let A denote the associative operad in the category of chain complexes. We define a ``diffracting'' functor that produces A-co-rings from symmetric sequences of chain coalgebras, leading to a multitude of ``fattened'' categories of (co)associative chain (co)algebras. In particular, we obtain a purely operadic description of the categories DASH and DCSH first defined by Gugenheim and Munkholm, via an A-co-ring that has the two-sided Koszul resolution of A as its underlying A-bimodule. The diffracting functor plays a crucial role in enabling us to prove existence of higher, ``up to homotopy'' structure of morphisms via acyclic models methods. It has already been successfully applied in this sense in a number of recent articles and preprints.

研究动机与目标

• 开发一个通用框架，利用操作子上的共环来编码 (co)代数之间态射的高阶同伦结构。
• 提供对范畴 DASH 与 DCSH 的纯粹操作子描述，此前这些范畴依赖于巴尔与柯巴尔构造。
• 确立在链代数或余代数之间的态射可提升为它们的巴尔或柯巴尔构造之间态射的条件。
• 使可 acyclic 模型技术可用于证明态射范畴中高阶同伦结构的存在性。
• 通过从链余代数的对称序列出发的自然“折射”函子 Φ，推广 DASH- 与 DCSH 类型结构的构造。

提出的方法

• 引入操作子上的共环作为给定操作子上双模范畴中的余单子（comonoids），作为“相对操作子”，用于参数化态射。
• 定义一个折射函子 Φ，为任意链余代数的对称序列赋予一个 A-共环，从余代数数据生成半自由共环。
• 构造关键的 A-共环 F = Φ(J)，其中 J 是操作子结构的单位，其底层双模由结合操作子 A 的两面 Koszul 重排给出。
• 利用所得的半自由共环 F，将范畴 DASH 与 DCSH 表征为配备有共环作用的 A-(co)代数范畴。
• 应用 acyclic 模型方法，证明自然的、乘法的变换可将链映射 τ:UX→UY 扩展为高阶同伦态射。
• 通过柯巴尔构造的归纳法，将态射从 ΩX 提升至 Ω²X，从而在 DCSH 设置中实现高阶同伦结构。

实验结果

研究问题

• RQ1 如何利用操作子上的共环作为参数化 (co)代数的推广，来编码 (co)代数之间的态射？
• RQ2 DASH 与 DCSH 范畴能否完全以操作子共环的形式表征，而无需依赖巴尔与柯巴尔构造？
• RQ3 结合操作子的两面 Koszul 重排在构造参数化 DASH 与 DCSH 态射的共环中起什么作用？
• RQ4 如何应用 acyclic 模型技术来证明链 (co)代数之间态射的高阶同伦结构的存在性？
• RQ5 折射函子 Φ 是否可用于从链余代数的对称序列构造高阶同伦态射的参数化族？

主要发现

• 范畴 DASH 被表征为配备有 A-共环 F 作用的、连通的、带单位的结合链代数范畴，其中 F 是结合操作子 A 的两面 Koszul 重排。
• 范畴 DCSH 同样被表征为配备有同一 A-共环 F 作用的、带单位的、连通的余结合链余代数范畴。
• 折射函子 Φ 从任意链余代数的对称序列 X 生成一个半自由 A-共环 Φ(X)，且 Φ(J) = F 是 DASH 与 DCSH 的关键共环。
• 当源为自由且全局连通、目标为 acyclic 时，通过 acyclic 模型可保证自然的、乘法的变换能将链映射 τ:UX→UY 扩展为链映射。
• 通过共环作用的归纳法，在 Ω²X 和 Ω²Y 上建立了高阶同伦结构，从而得到一个扩展 s⁻¹τ 的态射 Θ:Ω²X→Ω²Y。
• 该构造解释了弱等价 Ω²C* (EK) → C*(G²EK) 作为 DCSH 态射的自然性，推广了关于环路空间与有理同伦论的早期结果。