[论文解读] Multivariable cochain operations and little n-cubes

James E. McClure, Jeffrey H. Smith|ArXiv.org|Jun 4, 2001

Advanced Algebra and Logic参考文献 9被引用 9

一句话总结

本文构建了一个小而显式描述的 $E_∞$ 链操作律 $Σ$，其自然作用于拓扑空间的标准化上链 $S^*X$，为 $E_\infty$-结构提供了一个有限型模型。此外，本文进一步定义了子操作律 $Σ_n$，其与小 $n$-立方体操作律的标准化奇异链复形 quasi-isomorphic，通过 $Σ_2$ 的简化作用，为 Deligne 的 Hochschild 上同调猜想提供了一个简洁、整数系数的证明。

ABSTRACT

This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $§$ which acts naturally on the normalized cochains $S^*X$ of a topological space. We also construct, for each $n$, a suboperad $§_n$ which is quasi-isomorphic to the normalized singular chains of the little $n$-cubes operad. The case $n=2$ leads to a substantial simplification of our earlier proof of Deligne's Hochschild cohomology conjecture.

研究动机与目标

• 构建一个小型、有限型的 $E_\infty$ 链操作律 $Σ$，使其自然作用于拓扑空间的标准化上链 $S^*X$。
• 对每个 $n$，定义子操作律 $Σ_n \subset \mathcal{S}$，使其与小 $n$-立方体操作律的标准化奇异链复形 quasi-isomorphic。
• 通过 $Σ_2$ 在 Hochschild 复形上的作用，以更短且更显式的方式证明 Deligne 的 Hochschild 上同调猜想，且在整数环上成立。
• 为小 $n$-立方体操作律提供一种新的、计算上可及的链模型，简化了先前的构造，并为广义 Deligne 猜想的证明提供可能。

提出的方法

• 操作律 $Σ$ 通过有序集合的重叠分划定义的多变量上链运算来构建，推广了 cup-$i$ 乘积。
• 操作律 $Σ$ 的结构映射通过标准单纯形之间的仿射映射定义，并采用源自余边界公式 $d(x) = -(-1)^{|x|}x \circ \partial$ 的符号约定。
• 子操作律 $Σ_n$ 定义为 $Σ$ 的子复形，由特定类型的运算生成，对应于具有 $n$ 重对称性的重叠分划。
• 通过 Berger 的方法，建立了 $Σ_n$ 与小 $n$-立方体操作律的标准化奇异链复形之间的 quasi-isomorphism，利用特殊图示和唯一有序双射验证链级结构。
• $Σ_2$ 在 Hochschild 上链复形上的作用通过多变量运算显式定义，符号和定义域条件确保与微分的相容性。
• 主定理的证明依赖于验证同调上诱导映射满足所需的 $E_\infty$-关系，利用对重叠分划数据的组合控制。

实验结果

研究问题

• RQ1 能否构建一个小型、有限型的 $E_\infty$ 链操作律，使其自然作用于标准化上链 $S^*X$？
• RQ2 是否存在子操作律 $Σ_n \subset \mathcal{S}$，使其与小 $n$-立方体操作律的标准化奇异链复形 quasi-isomorphic？
• RQ3 能否以更简短、更显式的方式在整数环上证明 Deligne 的 Hochschild 上同调猜想？
• RQ4 所构造的 $Σ_2$ 操作律是否为 Hochschild 上链复形提供了有效的 $E_\infty$-结构？
• RQ5 该小 $n$-立方体操作律的新模型能否促进 Kontsevich 广义 Deligne 猜想的证明？

主要发现

• 操作律 $Σ$ 显式构造为一个作用于 $S^*X$ 的有限型链操作律，其描述清晰，基于重叠分划与仿射映射。
• 子操作律 $Σ_n$ 在 $\mathbb{Z}$-值链操作律范畴中，被证明与小 $n$-立方体操作律的标准化奇异链复形 quasi-isomorphic，确立了一个新的极小链模型。
• $Σ_2$ 在 Hochschild 上链复形上的作用为 Deligne 的 Hochschild 上同调猜想提供了解决方案，该解在整数环上成立，且远短于以往的证明。
• $Σ_n$ 的 quasi-isomorphism 证明使用了 Berger 的方法，依赖于从重叠分划和商映射构造特殊图示，以确保所需的同调相容性。
• $Σ_2$ 操作律同构于作者先前工作中定义的操作律 $χ$，但本文提供了更显式的描述，以及其与小 2-立方体链操作律 quasi-isomorphism 的更简明证明。
• 该构造与 Mandell 在 $\overline{\mathbb{F}}_p$ 上的定理相容，意味着连通 $p$-完备幂零空间的有限型同伦范畴可嵌入到 $Σ$-代数的同伦范畴中。