[论文解读] Symplectic operad geometry and graph homology

Swapneel Mahajan|ArXiv.org|Nov 29, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 3

一句话总结

本文在可逆操作代数的一般设定下，通过切割与配对的图示演算，形式化了Kontsevich定理中李代数同调与图同调之间的关系。它从一个配对物种Q构造出李代数QA∞和图复形(QG, ∂E)，证明了它们的同调是同构的，从而通过辛操作代数几何，统一并推广了Kontsevich对交换、结合与李代数的原始结果。

ABSTRACT

A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.

研究动机与目标

• 将Kontsevich定理中李代数同调与图同调的关系推广至三个经典情形（交换、结合、李代数）之外。
• 在可逆操作代数的自然设定下，使用范畴与配对范畴的语言，形式化这一联系。
• 将李代数QA∞构造为辛操作代数流形上哈密顿函数的结构，并定义相应的图复形(QG, ∂E)。
• 证明QA∞的同调与图复形(QG, ∂E)的同调同构，将Kontsevich的结果扩展至更广泛的操作代数类。

提出的方法

• 引入从可逆操作代数到范畴的配对函子，将可逆操作代数P映射到范畴Q，作为构造QA∞与(QG, ∂E)的基础。
• 使用切割与配对的图示演算，将李代数QA∞定义为李代数QAn的直接极限。
• 通过一个关于乘法µ是导子的边界映射∂E，定义图复形(QG, ∂E)，并引入一个二阶括号[ , ] = ∂Hµ − µ∂H，以度量∂H与µ不交换的失败程度。
• 通过引入G[[t]]的平凡形变的规范等价形变，应用形变理论，使用映射D(n) = A−1 ◦ M(n)定义D = D0 + tD1 + t²D2 + ...，其中D0为恒等映射。
• 利用该形变证明，∂H与括号[ , ]在同调上诱导零映射，其中D1与µ1作为链同伦。
• 通过配对M(n)的伴随性质及形变中图表的交换性，证明∂H与[ , ]在同调上是平凡的，即有∂1 = −∂H与[ , ] = ∂Eµ1 − µ1∂E。

实验结果

研究问题

• RQ1 Kontsevich定理中李代数同调与图同调的关系如何推广至三个经典情形（交换、结合、李代数）之外？
• RQ2 可逆操作代数与配对范畴在统一李代数与图复形构造中起到何种作用？
• RQ3 切割与配对的图示演算如何促进李代数QA∞与图复形(QG, ∂E)的构造？
• RQ4 形变理论如何为证明∂H与括号[ , ]在同调上平凡提供概念性框架？
• RQ5 图复形(QG, ∂E)的结构能否通过配对范畴构造推广至其他代数对象（如群）？

主要发现

• 李代数QA∞被构造为李代数QAn的直接极限，其同调携带霍普夫代数结构。
• 图复形(QG, ∂E)通过一个关于乘法µ是导子的边界映射∂E来定义，确保与代数结构的相容性。
• 二阶括号[ , ] = ∂Hµ − µ∂H度量了∂H与µ不交换的失败程度，且在同调上诱导零映射。
• 映射∂H在同调上诱导零映射，其中D1提供链同伦，该结论通过形变理论与规范等价性得到证明。
• 由形变映射D(n)导出的乘法µ1满足[ , ] = ∂Eµ1 − µ1∂E，证明括号在同调上是平凡的。
• 在∂E下保持不变的G的余乘法∆，但在∂H下不保持，且余括号θ = ∂H∆ − ∆∂H也在同调上诱导零映射。