[论文解读] A proof of a cyclic version of Deligne's conjecture via Cacti

Ralph M. Kaufmann|ArXiv.org|Mar 21, 2004

Algebraic structures and combinatorial models参考文献 8被引用 14

一句话总结

本文通过使用标准化的蛛网（normalized cacti）构建带框架的小圆盘操作律的链模型，证明了德利涅猜想的循环版本，表明具有非退化、对称、不变内积的单位结合代数的标准化霍赫希尔德上同调链复形构成一个同伦BV代数。关键结果是，霍赫希尔德上同调上的诱导Gerstenhaber括号与标准Gerstenhaber括号一致，通过带装饰的树上的操作律相关函数确立了同伦BV结构。

ABSTRACT

In this note, we show that the normalized Hochschild co--chains of an associative algebra with a non--degenerate, symmetric, invariant inner product are an algebra over a chain model of the framed little discs operad which is given by cacti. In particular, in this sense they are a BV algebra up to homotopy and the Hochschild cohomology of such an algebra is a BV algebra whose induced bracket coincides with Gerstenhaber's bracket. To show this, we use a cellular chain model for the framed little disc operad in terms of normalized cacti. This model is given by tensoring our chain model for the little discs operad in terms of spineless cacti with natural chain models for $(S^1)^{ imes n}$ adapted to cacti.

研究动机与目标

• 建立具有非退化、对称、不变内积的单位结合代数的标准化霍赫希尔德上同调链复形上的同伦BV代数结构。
• 将此前基于无轴蛛网的小小圆盘操作律的链模型，扩展为使用标准化蛛网的带框架小小圆盘操作律的链模型。
• 证明该链模型作用于霍赫希尔德上同调链复形，实现一个同伦BV代数结构。
• 证明霍赫希尔德上同调上的诱导括号与Gerstenhaber括号一致。
• 通过平面带根的黑白双色带脊树（带脊），提供带框架小小圆盘操作律的组合式、胞腔描述，该描述与操作律相关函数相容。

提出的方法

• 通过将标准化无轴蛛网链复形与基于 $S^1$ 的操作律链复形的张量积，构建带框架小小圆盘操作律的胞腔链模型。
• 对半直积进行细化的胞腔分解，整合由蛛网的叶结构诱导的 $S^1$ 因子上的胞腔结构。
• 引入带装饰的平面带根黑白双色带脊树，以编码局部零点的位置并追踪操作律运算。
• 在这些带装饰的树上定义操作律相关函数，以描述带框架小小圆盘链复形对霍赫希尔德上同调链复形的作用。
• 通过将 $\mathcal{A}rc$ 操作律中的关系翻译并应用 [K1, KLP] 中的方法，验证微分与操作律结构的相容性。
• 利用叶面算子和树方向的对偶性，确保作用尊重构造所需的对称、不变配对。

实验结果

研究问题

• RQ1 能否使用标准化蛛网构建带框架小小圆盘操作律的链模型，从而扩展无轴蛛网模型？
• RQ2 该链模型对标准化霍赫希尔德上同调链复形的作用是否使其具备同伦BV代数结构？
• RQ3 霍赫希尔德上同调上的Gerstenhaber括号是否可作为该同伦BV结构的诱导括号被恢复？
• RQ4 操作律相关函数如何在带装饰的树上组合描述，以刻画该作用？
• RQ5 该框架能否推广至循环复形和带装饰的边界曲面模空间？

主要发现

• 通过带框架小小圆盘链模型，证明了具有非退化、对称、不变内积的单位结合代数的标准化霍赫希尔德上同调链复形构成一个同伦BV代数。
• 霍赫希尔德上同调上的诱导括号与Gerstenhaber的标准括号完全一致，确认了同伦BV结构。
• 带框架小小圆盘操作律的链模型被实现为标准化无轴蛛网链复形与基于 $S^1$ 的操作律链复形的张量积，其细化的胞腔分解容纳了所有必要的运算。
• 该作用通过带脊的平面带根黑白双色带脊树上的操作律相关函数来描述，其中脊结构追踪局部零点，且线性序与平面序不同。
• 通过将 $\mathcal{A}rc$ 操作律中的关系翻译，并将微分定义与霍赫希尔德复形的微分对齐，验证了微分的相容性。
• 该构造可推广至循环复形和带装饰的边界曲面模空间，提示可通过模空间的伪胞腔实现弦拓扑运算。