[论文解读] A rigidity theorem for preLie algebras

Muriel Livernet|ArXiv.org|Apr 14, 2005

Advanced Topics in Algebra参考文献 7被引用 10

一句话总结

本文通过引入一种新结构——满足分配律的连通、非结合、置换性余乘法，建立了预李代数的刚性定理。该文证明，任何此类类似霍普夫的预李代数必然是一个自由预李代数，其证明基于根树的组合学以及预李代数范畴中余群对象的联系。

ABSTRACT

In this paper we prove a ``Leray theorem'' for preLie algebras. We define a notion of ''Hopf'' preLie algebra: it is a preLie algebra together with a non associative permutative coproduct D and a compatibility relation between the preLie product and the coproduct D. A nonassociative permutative algebra is a vector space together with a product satisfying the relation (ab)c=(ac)b. A non associative permutative coalgebra is the dual notion. We prove that any such graded connected "Hopf" preLie algebra is a free preLie algebra. It uses the description of preLie algebras in term of rooted trees developped by Chapoton and the author. We interpret also this theorem by way of cogroups in the category of preLie algebras.

研究动机与目标

• 将经典的刚性定理（如勒勒伊定理）推广至预李代数的语境。
• 定义并研究一种新代数结构——‘霍普夫’预李代数，将预李代数与非结合置换余代数相结合。
• 建立此类代数与预李代数范畴中余群对象之间的联系。
• 证明任何连通的霍普夫预李代数作为预李代数必然是自由的，推广了结合代数与枝形双代数的结果。
• 通过操作子与范畴论框架（特别是弗雷斯关于操作子范畴中余群的理论）解释该结果。

提出的方法

• 利用根树的组合学来描述预李代数，建立在夏波顿与利沃内特的工作基础上。
• 引入一个满足 (ab)c = (ac)b 的非结合置换代数结构及其余代数对偶。
• 定义预李乘积与余乘法之间的分配律：Δ(a∘b) = Δ(a)∘b + a⊗b。
• 使用一个基本引理，涉及一个幂等自同态，其作用是将可分解元素空间 L² 映为零。
• 应用操作子技术，特别是操作子上自由代数的理论，以刻画代数结构。
• 建立预李代数范畴中余群结构的存在性与代数自由性之间的等价关系。

实验结果

研究问题

• RQ1 能否为预李代数建立类似于勒勒伊或洛代-隆科的刚性定理？
• RQ2 何种结构可确保一个预李代数作为代数是自由的？
• RQ3 预李乘积与非结合置换余乘法之间的相互作用如何强制代数的自由性？
• RQ4 此类代数在预李代数范畴中作为余群对象的范畴论解释是什么？
• RQ5 通过原形元素与包络代数，卡蒂埃-米勒-莫泽定理在多大程度上可推广至预李代数？

主要发现

• 任何配备有满足分配律 Δ(a∘b) = Δ(a)∘b + a⊗b 的非结合置换余乘法的连通预李代数，必然是一个自由预李代数。
• 基本引理识别出一个幂等自同态，其作用是将可分解元素空间 L² 映为零，从而为自由性证明提供了关键支持。
• 该定理建立了范畴等价关系：一个分次连通预李代数是自由的，当且仅当它在预李代数范畴中具有余群结构。
• 该结果被解释为一种卡蒂埃-米勒-莫泽型定理，其中原形部分是一个无额外结构的向量空间。
• 余乘法 Δ 满足余结合性，并满足关系 Δ(a·b) = a⊗b + a·b₁⊗b₂ + a₁⊗a₂·b，该关系源自余群态射。
• 通过弗雷斯的操作子理论，建立了作为自由预李代数与作为预李代数范畴中阿贝尔余群的等价性。