[论文解读] A symmetric version of Kontsevich graph complex and Leibniz homology

Emily Burgunder|ArXiv.org|Apr 13, 2008

Topological and Geometric Data Analysis参考文献 11被引用 5

一句话总结

本文引入了Kontsevich图复形的对称版本，配备对称群作用，以计算辛向量场李代数的Leibniz同调。它建立了该代数的Leibniz同调与连通对称图复形同调的张量代数之间的同构，并证明该同构保持Zinbiel-结合双代数结构。

ABSTRACT

Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the homology of a variant of the graph complex endowed with an action of the symmetric groups. The resulting isomorphism is shown to be a Zinbiel-associative bialgebra isomorphism.

研究动机与目标

• 计算辛向量场李代数 $\mathfrak{sp}(\mathrm{Com})$ 的Leibniz同调。
• 构造Kontsevich图复形的一个变体，带有对称群作用，称为对称图复形。
• 建立 $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 与连通对称图复形同调的张量代数之间的同构。
• 证明该同构与两边的Zinbiel-结合双代数结构相容。
• 通过商掉对称群作用，作为推论恢复Kontsevich原始的李同调结果。

提出的方法

• 定义一个对称图复形，其中每个维数 $n$ 均带有对称群 $\Sigma_n$ 的作用，其商复形即为标准的Kontsevich图复形。
• 构造一个带有对称群作用的弦图链复形，利用Koszul技巧将其与图联系起来。
• 对辛李代数应用余不变量理论，以分析 $\mathfrak{sp}(\mathrm{Com})$ 的Leibniz复形。
• 使用Kontsevich图构造的对称版本，从弦图到带标签图构造一个映射。
• 通过标准图同调技巧，将同调计算约化为不含二价顶点的图。
• 通过检查与乘法和余乘法的相容性，验证所得同构保持Zinbiel-结合双代数结构。

实验结果

研究问题

• RQ1 能否使用Kontsevich图复形的对称变体来计算 $\mathfrak{sp}(\mathrm{Com})$ 的Leibniz同调？
• RQ2 $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 上是否存在自然的Zinbiel-结合双代数结构，使其与图同调的张量代数结构相匹配？
• RQ3 通过对称群作用商掉后，对称图复形与原始Kontsevich图复形有何关系？
• RQ4 Leibniz同调与对称图同调张量代数之间的同构是否保持双代数结构？
• RQ5 该框架能否如作者后续计划所示推广到其他操作子？

主要发现

• 辛向量场李代数 $\mathfrak{sp}(\mathrm{Com})$ 的Leibniz同调同构于连通对称图复形同调的张量代数：$HL_*(\mathfrak{sp}(\mathrm{Com})) \cong T(H_*(\text{连通对称图复形}))$。
• 该同构是Zinbiel-结合双代数的同构，保持结合乘法与Zinbiel余乘法。
• 通过商掉对称群作用，标准Kontsevich定理由该同构作为推论恢复。
• $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 的Zinbiel-结合双代数的本原部分，通过张量代数构造生成了整个同调。
• 对辛李代数成功应用了余不变量理论于Leibniz复形，使同调计算得以约化为图论数据。
• 证明依赖于Kontsevich原始图构造的对称化版本，扩展至包含标签与对称群作用，确保与Leibniz结构相容。