[论文解读] Lie algebra configuration pairing

Ben Walter|arXiv (Cornell University)|Oct 22, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 4

一句话总结

本文通过从结合代数、preLie代数和图代数的连续商构造李余代数，利用非交换多项式中的系数提取，提出了一套李代数构型配对的代数框架。该框架表明图表示可简化李余代数中的关系，从而实现高效计算，并为自由李余代数是具有指定初等元的反交换余代数这一结果提供了平凡证明。

ABSTRACT

We give an algebraic construction of the topological graph-tree configuration pairing of Sinha and Walter beginning with the classical presentation of Lie coalgebras via coefficients of words in the associative Lie polynomial. Our work moves from associative algebras to preLie algebras to graph complexes, justifying the use of graph generators for Lie coalgebras by iteratively expanding the set of generators until the set of relations collapses to two simple local expressions. Our focus is on new computational methods allowed by this framework and the efficiency of the graph presentation in proofs and calculus involving free Lie algebras and coalgebras. This outlines a new way of understanding and calculating with Lie algebras arising from the graph presentation of Lie coalgebras.

研究动机与目标

• 提供李代数与图之间构型配对的纯代数、非拓扑构造。
• 通过从结合代数到preLie代数再到图代数的迭代扩展生成元，证明李余代数使用图生成元的合理性。
• 利用图表示简化自由李代数与余代数中的证明与微积分。
• 提出一种从李括号的结合多项式中提取系数的新计算方法。
• 确立自由李余代数等价于具有正确初等元集的反交换余代数。

提出的方法

• 通过类似普遍包络映射的方式，将李余代数构造为结合代数、preLie代数和图余代数的商。
• 将代数构型配对定义为李括号表达式在非交换多项式中某个字的系数。
• 通过带顶点标签的根preLie树引入组合构型配对。
• 利用从图代数到preLie代数和结合代数的商映射，传递结构性质。
• 应用余理想理论与余代数同态性质，分析核与生成的余理想。
• 利用李代数与图表示之间的对偶性，推导出新的计算工具。

实验结果

研究问题

• RQ1 如何在无拓扑输入的前提下，完全通过代数方法构造李代数与图之间的构型配对？
• RQ2 preLie代数在连接结合代数与图表示的李余代数中扮演何种角色？
• RQ3 与结合代数或preLie表示相比，图生成元如何简化李余代数的表示？
• RQ4 图框架能否提供更高效的李余代数结构结果的证明？
• RQ5 李括号在结合多项式中的系数与图配对之间的确切关系是什么？

主要发现

• 李余代数的图表示将关系集合简化为两个局部表达式，极大简化了证明。
• 李代数与图之间的构型配对等价于结合代数上非交换多项式中李括号的系数。
• 利用图框架，为自由李余代数是具有正确初等元的反交换余代数这一结果提供了平凡证明。
• 通过组合构型配对（命题3.27）推导出一种从李括号的结合多项式中计算系数的新方法。
• 确立了从图普遍包络代数到结合普遍包络代数的单射，证实了图表示的忠实性。
• 余代数同态下核与原像的余理想结构得以保持，从而可通过对偶性实现结构分析。