[论文解读] Operads of natural operations I: Lattice paths, braces and Hochschild cochains

Michael Batanin, Clemens Berger+1 more|arXiv (Cornell University)|Jun 22, 2009

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

一句话总结

本文引入并比较了结合代数的Hochschild上循环的自然运算的operad，重点关注格路operad、brace运算及其与Hochschild上同调的联系。本文建立了格路operad与brace operad之间的拟同构，表明两者均控制Hochschild上循环上的自然运算，并为非交换几何中的形变理论提供了同伦框架。

ABSTRACT

In this first paper of a series we study various operads of natural operations on Hochschild cochains and relationships between them.

研究动机与目标

• 通过operad结构理解并比较结合代数的Hochschild上循环上的自然运算。
• 引入格路operad作为自然运算的组合模型。
• 通过显式链映射建立格路operad与brace operad之间的同伦等价。
• 阐明这些operad在Hochschild上同调与形变理论中的作用。
• 为系列论文中关于代数拓扑与同调代数中自然运算的后续研究提供基础框架。

提出的方法

• 利用平面上格路的组合数据构造格路operad。
• 通过格路operad的作用在Hochschild上循环上定义运算。
• 使用bar构造和cobar对偶性将格路operad与brace operad联系起来。
• 通过显式链映射在格路operad与brace operad之间建立拟同构。
• 应用同调代数技术比较两种operad在Hochschild上循环上的上同调作用。
• 利用对称单幕范畴中operad的理论形式化自然运算。

实验结果

研究问题

• RQ1 如何通过operad编码Hochschild上循环上的自然运算？
• RQ2 格路operad与brace operad之间的精确关系是什么？
• RQ3 格路operad与brace operad是否在Hochschild上循环上诱导等价作用？
• RQ4 格路operad能否作为自然运算同伦理论的组合模型？
• RQ5 这些operad与结合代数的Hochschild上同调有何关联？

主要发现

• 格路operad与brace operad拟同构，建立了两种自然运算模型之间的同伦等价。
• 自然运算由格路operad与brace operad共同控制。
• 格路operad为brace operad的同伦类型提供了组合显式模型。
• 格路operad在Hochschild上循环上的作用与Gerstenhaber代数结构相容。
• 格路operad与brace operad之间的拟同构在上同调上诱导同构，保持了自然运算的结构。
• 本研究为通过operad方法研究非交换几何中的形变量子化与高阶结构奠定了基础。