[论文解读] Natural operations on the Hochschild complex of commutative Frobenius algebras via the complex of looped diagrams

Angela Klamt|arXiv (Cornell University)|Sep 19, 2013

Algebraic structures and combinatorial models参考文献 15被引用 9

一句话总结

本文引入了一类环状图的微分graded范畴，以在交换Frobenius dg代数的Hochschild复形上构造自然运算。通过证明环状图复形实现了链级别的悬垂仙人掌操作代数，从而统一并计算了该设定下所有形式运算，恢复了已知运算——包括Loday的λ运算、Sullivan弦图作用，以及悬垂BV代数结构。

ABSTRACT

We define a dg-category of looped diagrams which we use to construct operations on the Hochschild complex of commutative Frobenius dg-algebras. We show that we recover the operations known for symmetric Frobenius dg-algebras constructed using Sullivan chord diagrams as well as all formal operations for commutative algebras (including Loday's lambda operations) and prove that there is a chain level version of a suspended Cactus operad inside the complex of looped diagrams. This recovers the suspended BV algebra structure on the Hochschild homology of commutative Frobenius algebras defined by Abbaspour and proves that it comes from an action on the Hochschild chains.

研究动机与目标

• 为交换Frobenius dg代数的Hochschild复形构造一个组合的、可计算的运算复形。
• 统一已知运算，如Sullivan弦图运算、Loday的λ运算以及悬垂BV结构。
• 在链级别实现作用于Hochschild链的悬垂仙人掌操作代数。
• 将Hochschild同调上的BV代数结构恢复为链上的作用，而不仅限于上同调。
• 建立一个可计算框架，以计算先前已知运算之间的关系。

提出的方法

• 引入环状图的概念：即带有标记叶节点的交换Sullivan图，且在前 $ n_1 $ 个标记叶节点处有 $ n_1 $ 个环。
• 定义环状图的dg范畴，其微分由边界退化和环分裂诱导。
• 构造子复形如 $ pl\tilde{\frak{D}}_{\text{Com}} $ 和 $ pl\frak{D}_{\text{cact}} $，以分离相关的拓扑与代数结构。
• 使用度数平移 $ -d \times \chi(\Gamma, \partial_{\text{out}}) $ 来调整亏格与边界分量的影响。
• 应用Connes边界算子与Loday的混洗运算，将其与交换代数上的已知形式运算关联。
• 证明环状图复形到交换Frobenius dg代数形式运算复形的映射是拟同构。

实验结果

研究问题

• RQ1 是否存在一个单一的组合复形，能够捕捉交换Frobenius dg代数的Hochschild复形上所有自然运算？
• RQ2 环状图复形是否实现了悬垂仙人掌操作代数在Hochschild链上的链级别作用？
• RQ3 Sullivan弦图运算、Loday的λ运算与BV结构在统一框架下如何关联？
• RQ4 正边界条件与不可约性在分离有意义运算中起何精确作用？
• RQ5 环状图复形能否计算已知运算间的关系，如混洗积与Goresky-Hingston积之间的关系？

主要发现

• 环状图复形为悬垂仙人掌操作代数提供了链级别模型，实现了Hochschild同调上BV代数结构作为链上作用。
• 所有交换Frobenius dg代数的形式运算均被恢复，包括Loday的 $ \lambda $-运算与混洗积。
• 该构造恢复了Sullivan弦图的运算，并将其推广至Hochschild链级别。
• 子复形 $ pl\frak{D}_{\text{cact}} $ 对应于不可约、平面、连通的环状图，每个亏格含一个常数环，编码仙人掌操作代数结构。
• 环状图复形到形式运算复形的映射是拟同构，从而提供了一个可计算的模型。
• 该框架允许计算运算间的关系，例如Goresky-Hingston积与BV算子之间的关系。