[论文解读] Lie elements in pre-Lie algebras, trees and cohomology operations

Martin Markl|ArXiv.org|Sep 13, 2005

Advanced Topics in Algebra参考文献 9被引用 17

一句话总结

本文通过基于平面树构建的分次预李代数上的微分映射的核，给出了自由预李代数中李元素的新表征。关键结果将由向量空间 V 生成的李子代数表征为映射 d: pL(V) → pL¹(V) 的核，该映射对应于一个简单的树层级操作，为理解李代数上同调复形中的自然操作提供了组合与范畴论框架。

ABSTRACT

We give a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. We explain how this result is related to natural operations on the Chevalley-Eilenberg complex of a Lie algebra. We also indicate a possible relation to Loday's theory of triplettes.

研究动机与目标

• 通过分次预李代数上的微分映射，提供自由预李代数中李元素的新颖且简洁的表征。
• 将此表征与李代数的 Chevalley-Eilenberg 复形中自然操作的结构联系起来。
• 探索与 Loday 的范畴三元组理论及 brace 代数上的 Deligne 猜想之间的潜在联系。
• 建立自然操作的同伦类型与李范畴之间的联系，支持 Tamarkin 的猜想。
• 将结果推广至其他二次型 Koszul 范畴，暗示此类范畴上自由代数中李元素的普遍表征。

提出的方法

• 定义自由预李代数 pL(V) 及其关联的李代数 pL(V)ₗ，重点关注由 V 生成的李元素子代数 L(V)。
• 构造一个带有度数 +1 虚拟生成元 ∘ 的分次预李代数 pL⁎(V,∘)，并在其度数 +1 分量上定义微分映射 d: pL(V) → pL¹(V)。
• 将映射 d 与平面有根树上的组合操作对应起来，具体为对所有在内部顶点插入 ∘ 的方式取带符号的和。
• 利用范畴论形式化与 cobar 构造理论，将 d 的核与 V 上的自由李代数联系起来。
• 通过展示 d 的核对应于建模自然操作的复形的零阶上同调，将结果应用于 Chevalley-Eilenberg 复形。
• 将构造与 Loday 的范畴三元组概念联系起来，特别分析 (C, ⋆, Ass, Lie) 是否构成良好的三元组，并表明核条件推广了经典的原始元素表征。

实验结果

研究问题

• RQ1 自由预李代数中的李元素能否被表征为分次预李代数上自然微分映射的核？
• RQ2 此核条件如何与李代数 Chevalley-Eilenberg 复形中自然操作的结构相关？
• RQ3 是否存在一个通用的范畴论框架——通过 Loday 的三元组——使得此类微分的核恢复李范畴？
• RQ4 此核条件是否可推广至其他二次型 Koszul 范畴，如结合或交换范畴？
• RQ5 定义微分 d 的复形能否被解释为某个余代数的 cobar 构造？其上同调为何？

主要发现

• 自由预李代数 pL(V) 中李元素的子代数 L(V) 同构于 V 上的自由李代数，第 3 节提供了新的简短证明。
• 李元素被表征为微分映射 d: pL(V) → pL¹(V) 的核，其中 pL¹(V) 是由 V 和一个度数 +1 虚拟变量 ∘ 生成的自由分次预李代数的度数 +1 分量。
• 映射 d 对应于一个简单的树层级操作：对所有在平面有根树内部顶点插入 ∘ 的方式取带符号的和，如命题 4.8 与推论 4.9 所形式化。
• 此表征意味着 H⁰(rpL⁎) ≅ Lie，支持 Tamarkin 的猜想：Chevalley-Eilenberg 复形上自然操作的范畴具有李范畴的同伦类型。
• 该结果暗示一个推广：对任意二次型 Koszul 范畴 P，映射 d: S⁰ₚ∞ → S¹ₚ∞ 的核同构于李范畴，如 (3) 和 (1.5) 所猜想。
• 该构造为理解上同调复形中内在李括号提供了新的组合框架，对 Deligne 猜想及 brace 代数的结构具有潜在影响。