[论文解读] Koszul duality of operads and homology of partition posets

Benoît Fresse|ArXiv.org|Jan 31, 2003

Advanced Topics in Algebra参考文献 47被引用 73

一句话总结

本文建立了操作符的 Koszul 对偶性与分划偏序集同调之间的深刻联系，表明二次操作符的 Koszul 复形计算了分划格的约化同调。通过 bar 与 cobar 构造，本文构建了操作符的纤维上同调解析，并证明了分划偏序集的同调同交换操作符的 Koszul 同调同构，从而通过 Barratt-Eccles 操作符与对称群的经典 bar 构造，为 E∞-代数提供了同伦解释。

ABSTRACT

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition poset. A classical theorem asserts that $\bar{K}(r)$ is equivalent to a wedge of $r-1$-dimensional spheres. In addition, the poset of partitions is equipped with a natural action of the symmetric group in $r$ letters. Consequently, the associated homology modules are representations of the symmetric groups. One observes that the $r-1$th homology modules of $\bar{K}(r)$, where $r = 1,2,...$, are dual to the Lie representation of the symmetric groups. In this article, we would like to point out that this theorem occurs a by-product of the theory of \emph{Koszul operads}. For that purpose, we improve results of V. Ginzburg and M. Kapranov in several directions. More particularly, we extend the Koszul duality of operads to operads defined over a field of positive characteristic (or over a ring). In addition, we obtain more conceptual proofs of theorems of V. Ginzburg and M. Kapranov.

研究动机与目标

• 通过分划偏序集的同调，建立操作符 Koszul 对偶性的同调解释。
• 证明 {1,…,r} 的分划格的约化同调同交换操作符的 Koszul 同调同构。
• 利用 bar 与 cobar 构造，特别是针对交换操作符，构建操作符的纤维上同调解析。
• 阐明 Barratt-Eccles 操作符作为 E∞-代数模型的作用，通过拟同构与导出等价性。
• 证明交换代数的 Γ-同调源于由分划偏序集同调与对称群 bar 构造构建的 Koszul 型复形。

提出的方法

• 使用约化 bar 构造，通过操作符的余操作符对偶的 cobar 构造，解析 dg-操作符，特别是交换操作符。
• 应用双复形的谱序列分析操作符上自由模的同调。
• 构建从单纯 bar 构造到按层级标记的树复形的层级化态射，实现显式计算。
• 依赖树的结构及其复合积，描述带系数的 bar 构造中的微分。
• 利用对称群的古典 bar 构造，构建交换操作符的解析，从而导出 Barratt-Eccles 操作符。
• 建立交换操作符的 Koszul 复形与分划偏序集的标准化链复形之间的拟同构。

实验结果

研究问题

• RQ1 分划偏序集 {1,…,r} 的同调与操作符的 Koszul 对偶性有何关系？
• RQ2 分划格的约化同调能否作为某个二次操作符的 Koszul 同调来计算？
• RQ3 Barratt-Eccles 操作符在实现 E∞-代数中的作用是什么？它与交换操作符的纤维上同调解析有何关联？
• RQ4 当操作符非纤维上同调时，代数上的导出函子与同伦范畴之间有何关系？
• RQ5 交换代数的 Γ-同调复形的精确形式是什么？它与分划偏序集的同调有何关联？

主要发现

• 分划偏序集 {1,…,r} 的约化同调同构于交换操作符的 Koszul 同调，其中同调群 H_{r-1}(\tilde{K}(\text{Com})) 同构于权重 r 下交换操作符的 Koszul 同调。
• 对称群 Σ_r 的经典 bar 构造，记为 𝔈(r)，构成平凡模的 Σ_r-投影解析，张量积 Σ^{-1}K(Com)(r) ⊗ 𝔈(r) 提供了 Koszul 对偶模的投影解析。
• Barratt-Eccles 操作符上的代数等价于 E∞-代数，其在同伦范畴之间的导出扩张与限制函子构成伴随等价。
• 交换代数 A 的 Γ-同调由复形 ⨁_{r≥0} (M(r) ⊗ A^⊗r)_{Σ_r} 计算，其中 M(r) = Σ^{-1}K(Com)(r) ⊗ 𝔈(r)，在特征 0 下证实了 Kontsevich 与 Soibelman 的一个猜想。
• 带系数的 cobar 构造给出交换操作符的拟自由解析，所得到的复形通过 bar 构造计算了分划偏序集的同调。
• 从单纯 bar 构造到带层级的树复形的层级化态射诱导出一个拟同构，使得分划偏序集的同调可作为 Koszul 复形的同调来计算。