[论文解读] On resolutions of diagrams of algebras

Martin Doubek|arXiv (Cornell University)|Jul 7, 2011

Advanced Topics in Algebra参考文献 6被引用 6

一句话总结

本文通过将 $\mathcal{A}$ 的最小解析式与范畴 $\mathsf{C}$ 的纤维化解析式结合，构造了描述 $\mathcal{A}$-代数在范畴 $\mathsf{C}$ 上的 $\sigma$-型图的彩色操作 $\sigma_{\mathsf{C}}$ 的最小解析式，从而证明了 Markl 关于代数图的解析式之受限版本的猜想。关键结果是对解析式 $\mathcal{D}_{\infty}$ 的生成元和微分主部的显式描述，并推测其与 Gerstenhaber-Schack 图上同调复形存在联系。

ABSTRACT

We prove a restricted version of a conjecture by M. Markl on resolutions of an operad describing diagrams of algebras. We discuss a particular case related to the Gerstenhaber-Schack diagram cohomology.

研究动机与目标

• 为了解析描述范畴 $\mathsf{C}$ 上 $\mathcal{A}$-代数图的彩色操作 $\mathcal{A}_{\mathsf{C}}$，特别是当 $\mathcal{A}$ 为单 arity 生成的 Koszul 操作时。
• 证明 Markl 关于 $\mathcal{A}_{\mathsf{C}}$ 的最小解析式之存在性与结构的受限版本猜想。
• 通过结合 $\mathcal{A}$ 的最小解析式与范畴 $\mathsf{C}$ 的纤维化解析式，显式构造解析式 $\mathcal{D}_{\infty}$，并描述其生成元与主微分部分。
• 将所得解析式与 Gerstenhaber-Schack 图上同调复形联系起来，推测其作为 $\mathcal{A}_{\mathsf{C}}$-代数的形变复形。

提出的方法

• 将 $\mathcal{D}_{\infty}$ 构造为 $\mathcal{A}_{\infty}$（即 $\mathcal{A}$ 的最小解析式）与 $\mathsf{C}_{\infty}$（即范畴 $\mathsf{C}$ 的纤维化解析式）的类似张量积的粘合，同时保持操作结构。
• 在 $\mathsf{C}_{\infty}$ 上定义 $[\![-]\!]_n$ 映射，作为由 $\mathsf{C}_{\infty}$ 上的余乘积诱导的组合结构，确保其与解析式微分的相容性。
• 使用 dg $k$-模的复合积的 Künneth 型公式来计算同调，并促进解析式中的同调计算。
• 为 bar-cobar 解析式 $\mathcal{C}_{\infty} = \Omega\mathrm{B}\mathcal{C}$ 赋予（彩色）dg 双代数结构，以显式表达 $[\![-]\!]_n$ 映射。
• 通过显式计算验证 $\mathcal{D}_{\infty}$ 上微分 $\partial$ 的主部是良定义的，并且与 $[\![-]\!]_n$ 映射相容，特别在 $\mathcal{A} = \mathcal{A}ss$ 的情形下。
• 推测当 $\mathcal{A} = \mathcal{A}ss$ 时，形变复形 $\mathop{\mathrm{Der}}^*(\mathcal{D}_{\infty}, \mathcal{E}nd_W)$ 同构于 Gerstenhaber-Schack 复形 $(C^*_{\mathrm{GS}}(D,D), \delta_{\mathrm{GS}})$。

实验结果

研究问题

• RQ1 对于任意 Koszul 操作 $\mathcal{A}$（其生成运算位于单一 arity 与度数）与任意范畴 $\mathsf{C}$，是否存在 $\mathcal{A}_{\mathsf{C}}$ 的最小解析式 $\mathcal{D}_{\infty}$？
• RQ2 能否通过 $\mathcal{A}_{\infty}$ 与 $\mathsf{C}_{\infty}$ 的粘合构造，显式描述 $\mathcal{D}_{\infty}$ 的生成元与微分主部？
• RQ3 $\mathsf{C}_{\infty}$ 上的 $[\![-]\!]_n$ 映射结构是否由余乘积诱导？该结构是否在 $\mathcal{C}_{\infty}$ 上诱导出（彩色）dg 双代数结构？
• RQ4 所得解析式 $\mathcal{D}_{\infty}$ 是否能导出 Gerstenhaber-Schack 图上同调复形作为其形变复形？
• RQ5 能否将 $\mathcal{A}_{\mathsf{C}}$-代数的形变复形上的 $L_{\infty}$-结构修正，使其与 Hochschild 复形（带 Gerstenhaber 李括号）一致，如 Cohomology Comparison Theorem 所暗示？

主要发现

• 本文证明了 Markl 关于代数图解析式的受限猜想，确立了当 $\mathcal{A}$ 为单 arity 生成的 Koszul 操作时，$\mathcal{A}_{\mathsf{C}}$ 存在最小解析式 $\mathcal{D}_{\infty}$。
• 解析式 $\mathcal{D}_{\infty}$ 通过粘合 $\mathcal{A}$ 的最小解析式 $\mathcal{A}_{\infty}$ 与范畴 $\mathsf{C}$ 的纤维化解析式 $\mathsf{C}_{\infty}$ 构造而成，且其生成元与微分主部有显式描述。
• $\mathsf{C}_{\infty}$ 上的 $[\![-]\!]_n$ 映射被证明是由 $\mathsf{C}_{\infty}$ 上的余乘积诱导的，从而建立了与（彩色）dg 双代数结构的联系。
• 对于 bar-cobar 解析式 $\mathcal{C}_{\infty} = \Omega\mathrm{B}\mathcal{C}$，通过在 $C_*(I) \otimes \mathcal{C}$ 上使用张量积余乘积，显式表达了 $[\![-]\!]_n$ 映射，并给出了涉及排列与符号的具体公式。
• 推测当 $\mathcal{A} = \mathcal{A}ss$ 时，形变复形 $\mathop{\mathrm{Der}}^*(\mathcal{D}_{\infty}, \mathcal{E}nd_W)$ 同构于 Gerstenhaber-Schack 复形 $(C^*_{\mathrm{GS}}(D,D), \delta_{\mathrm{GS}})$，表明 $\mathcal{D}_{\infty}$ 实现了图形变的正确上同调理论。
• 本文为理解图形变复形上的 $L_{\infty}$-结构提供了框架，并对修正 Cohomology Comparison Theorem 以关联图形变与单代数形变具有重要意义。