[论文解读] On Kontsevich's Hochschild cohomology conjecture

Po Hu, Kriz, I.+1 more|ArXiv.org|Sep 22, 2003

Algebraic structures and combinatorial models参考文献 1被引用 5

一句话总结

本文证明了 Kontsevich 的猜想：对于 $Π_k$-代数（即小 $k$-立方体操作族上的代数），其 Hochschild 上同调复形自然具有 $Π_{k+1}$-代数结构。作者通过一种导出几何原理建立该结果：当 $Π_k$-结构与 $Π_1$-结构可交换时，可诱导出 $Π_{k+1}$-结构，其中 Hochschild 上同调对象被实现为 $Π_k$-代数模范畴中的导出映射对象。该结果在任意域或集合上成立，无需特征限制，并将 Deligne 的原始猜想作为 $k=1$ 的情形包含在内。

ABSTRACT

Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.

研究动机与目标

• 将 Kontsevich 提出的关于小 $k$-立方体操作族上代数的 Hochschild 上同调的推广，推广 Deligne 的原始猜想。
• 为 $Π_k$-代数提供一种自然且特征无关的 Hochschild 上同调定义，避免依赖 Quillen 上同调或对域特征的假设。
• 证明对于拟纤维化 $Π_k$-代数 $R$，导出映射对象 $RHom_{(Π_k,R)}(R,R)$ 自然地携带 $Π_{k+1}$-代数结构。
• 证明 $R$ 上的 $Π_k$-结构与 $RHom$ 上的 Yoneda 乘积结构通过 Boardman-Vogt $□$-积共同诱导出 $Π_{k+1}$-结构。
• 证明在同伦范畴中 $Π_k\Box\u03a0_1 \simeq \u03a0_{k+1}$ 的同构，使得 $Π_{k+1}$-结构可被转移到 Hochschild 上同调对象上。

提出的方法

• 定义 $(Π_k, R)$-模，并在闭对称张量范畴 $\mathcal{B}$ 的单纯对象同伦范畴中构造导出映射对象 $RHom_{(Π_k,R)}(M,N)$。
• 引入在给定操作族 $\mathcal{C}$ 上纤维化的操作族（在单纯集范畴中）的概念，特别关注“特殊”纤维化操作族。
• 利用 Boardman-Vogt $□$-积将 $\u03a0_k\Box\u03a0_1$ 与 $\u03a0_{k+1}$ 关联，借助单纯版本的 Dunn 定理关于操作族积的结论。
• 先构造 $\u03a0_k$-上的拟代数结构，再通过两步导出过程将其转化为弱等价操作族 $\overline{\u03a0}_k$ 上的严格代数结构。
• 为该拟代数结构赋予竖直范畴结构，从而构造出 $\overline{\u03a0}_k\Box\u03a0_1$-代数，证明其同伦等价于 $\u03a0_{k+1}$-代数。
• 将该通用方法应用于主要例子：$\u03a0_k$-代数的 Hochschild 上同调对象，证明其通过 $\u03a0_k$-与 $\u03a0_1$-结构的可交换性，自然继承了 $\u03a0_{k+1}$-代数结构。

实验结果

研究问题

• RQ1 Hochschild 上同调复形是否如 Kontsevich 所猜想的那样，自然地携带 $\u03a0_{k+1}$-代数结构？
• RQ2 能否为 $\u03a0_k$-代数提供一种特征无关且自然的 Hochschild 上同调定义，独立于 Quillen 上同调或对域特征的假设？
• RQ3 在 $R$ 上的 $\u03a0_k$-代数结构与 $RHom(R,R)$ 上的 Yoneda 乘积结构之间，如何共同诱导出导出映射对象上的 $\u03a0_{k+1}$-代数结构？
• RQ4 在单纯操作族的同伦范畴中，$\u03a0_k\Box\u03a0_1$ 是否同构于 $\u03a0_{k+1}$？
• RQ5 能否利用小立方体配置空间的导出几何，构造出 Hochschild 上同调上的自然 $\u03a0_{k+1}$-代数结构，而无需依赖形式性或 Koszul 对偶性？

主要发现

• 对于拟纤维化 $\u03a0_k$-代数 $R$，导出映射对象 $RHom_{(\u03a0_k,R)}(R,R)$ 自然地携带 $\u03a0_{k+1}$-代数结构。
• $\u03a0_k$-结构在 $R$ 上与 Yoneda 乘积在 $RHom$ 上的 $\u03a0_1$-结构通过 Boardman-Vogt $□$-积共同诱导出 $\u03a0_{k+1}$-结构。
• 在单纯操作族的同伦范畴中，同构 $\u03a0_k\Box\u03a0_1 \simeq \u03a0_{k+1}$ 成立，使得 $\u03a0_{k+1}$-结构可被转移至 Hochschild 上同调对象。
• 该构造在任意域或集合范畴上均成立，无需特征零或形式性假设。
• 该证明推广了 Deligne 的原始猜想（即 $k=1$ 的情形），并将其作为特例包含在内，且对基环或域无任何限制。
• 作者为 $\u03a0_k$-代数提供了自然且内在的 Hochschild 上同调定义，避免了在特征 $p$ 下 Quillen 上同调方法的局限性。