[论文解读] On the Lie envelopping algebra of a pre-Lie algebra

Jean-Michel Oudom, Daniel Guin|ArXiv.org|Apr 26, 2004

Advanced Topics in Algebra被引用 10

一句话总结

本文建立了预李代数 $ L $ 的对称代数 $ S(L) $（配备一种卷积型乘积 $ * $）与由 $ L $ 导出的李代数 $ L_{\text{Lie}} $ 的普遍包络代数之间的典范同构。该构造为组合学中的若干霍普夫代数（包括康内斯-克雷默与格罗斯曼-拉森代数）提供了统一的代数框架，通过根树上的预李结构实现，并表明对称扶梯代数与预李代数通过相同的乘积结构等价。

ABSTRACT

We construct an associative product on the symmetric module S(L) of any pre-Lie algebra L. Then we proove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. We also show that symmetric brace algebras and pre-Lie algebras are the same. Finally, using brace algebras instead of pre-Lie algebras, we give a similar interpretation of Foissy's Hopf algebra of planar rooted trees.

研究动机与目标

• 建立一个通用的代数构造，通过对称代数将预李代数与李包络代数联系起来。
• 证明康内斯和克雷默构造的根树霍普夫代数是根树预李代数的包络代数的对偶。
• 展示对称扶梯代数通过 $ * $-乘积构造与预李代数等价。
• 在基于预李代数与扶梯代数的单一框架下，统一各种组合霍普夫代数（如布罗德、福伊西与格罗斯曼-拉森的代数）。

提出的方法

• 在预李代数 $ L $ 的对称代数 $ S(L) $ 上定义双线性乘积 $ * $，利用预李乘积 $ \circ $ 与对称代数结构。
• 证明 $ (S(L), *, \Delta) $，其中 $ \Delta $ 为去连接余乘积，同构于李代数 $ L_{\text{Lie}} $ 的普遍包络代数。
• 在 $ X $-着色根树的预李代数的对称代数上显式构造 $ * $-乘积。
• 利用 $ * $ 与 $ \circ $ 乘积，通过将扶梯运算识别为 $ S(L) $ 上的 $ * $-乘积，证明对称扶梯代数与预李代数等价。
• 将该构造应用于扶梯代数 $ V $ 的张量代数 $ T(V) $，证明其支持霍普夫代数结构。
• 通过将适合的扶梯代数 $ V $ 的 $ T(V) $ 上的霍普夫代数实现，表明福伊西的平面根树霍普夫代数可纳入此一般设定中。

实验结果

研究问题

• RQ1 如何从预李代数 $ L $ 的对称代数显式构造出李代数 $ L_{\text{Lie}} $ 的普遍包络代数？
• RQ2 康内斯-克雷默与格罗斯曼-拉森根树霍普夫代数之间的精确代数关系是什么？它如何从预李结构中产生？
• RQ3 能否通过涉及 $ * $-乘积的通用构造，将对称扶梯代数表征为预李代数？
• RQ4 布罗德、康内斯-克雷默与福伊西引入的根树霍普夫代数，如何与基于预李代数与扶梯代数的对称代数与张量代数的一般构造相关联？
• RQ5 是否存在一个统一的框架，通过预李代数与扶梯代数解释形变理论、运算子与组合学中霍普夫代数结构的出现？

主要发现

• 配备由预李乘积 $ \circ $ 定义的 $ * $-乘积的预李代数 $ L $ 的对称代数 $ S(L) $，同构于李代数 $ L_{\text{Lie}} $ 的普遍包络代数。
• 在 $ S(L) $ 上构造 $ * $-乘积，为普遍包络代数提供了新的显式实现，推广了形变理论中已知的构造。
• 对于 $ X $-着色根树的预李代数，$ S(L) $ 上的 $ * $-乘积对应于康内斯-克雷默霍普夫代数的对偶，从而为康内斯-克雷默与格罗斯曼-拉森霍普夫代数之间的对偶性提供了新证明。
• 通过对称代数 $ S(L) $ 上的 $ * $-乘积识别扶梯运算，证明了对称扶梯代数与预李代数等价，从而统一了两种代数结构。
• 福伊西的平面根树霍普夫代数被实现为扶梯代数 $ V $ 的张量代数 $ T(V) $ 上的霍普夫代数，使其置于本文构造的一般框架之内。
• 本文确立了根树霍普夫代数（康内斯-克雷默、格罗斯曼-拉森、福伊西）均源于基于预李代数与扶梯代数的单一代数机制，通过对称代数与张量代数构造产生。