[论文解读] Universal enveloping algebras and Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras

Li Guo, Bin Zhang+1 more|arXiv (Cornell University)|Jul 20, 2016

Advanced Topics in Algebra参考文献 12被引用 8

一句话总结

本文通过在同态模上构造一个新的显式自由对合同态结合代数，构建了对合同态李代数的普遍包络代数，实现了Poincaré-Birkhoff-Witt（PBW）定理，为包络代数提供了典范基。关键贡献在于证明了从同态李代数到其包络代数的映射的单射性，验证了对合情形下的一个猜想。

ABSTRACT

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.

研究动机与目标

• 为解决由于基于树的构造难以处理，导致在同态李代数背景下缺乏普遍包络代数的构造性方法的问题。
• 提供在同态模上自由对合同态结合代数的显式构造，从而为普遍包络代数提供新方法。
• 为对合同态李代数建立Poincaré-Birkhoff-Witt定理，为包络代数提供典范基。
• 验证从对合同态李代数到其普遍包络代数的典范映射的单射性，确认文献中的一个猜想。

提出的方法

• 通过先前为由集合生成的自由对合同态结合代数所用构造的改进版本，在同态模上构造自由对合同态结合代数。
• 将此自由代数构造应用于定义对合同态李代数的普遍包络代数，作为该自由对合同态结合代数的商代数。
• 在张量代数中引入由关系 $x \bullet y - y \bullet x - [x,y]_{\frak{g}}$ 生成的同态理想 $I_{\frak{g},\beta}$ 的张量表示。
• 利用同态雅可比恒等式并基于张量长度进行归纳，发展参数化的PBW分解，以证明有序基元素的单项式构成基。
• 利用同态结合性及同态映射的对合性（$\alpha^2 = \mathrm{id}$）确保与代数结构的兼容性。
• 使用在张量单项式上定义良好的线性映射 $L$，证明同态理想与自由代数的交集为平凡，从而确认PBW基的正确性。

实验结果

研究问题

• RQ1 能否为对合同态李代数的普遍包络代数构造一个典范基？
• RQ2 从对合同态李代数到其普遍包络代数的典范映射是否保持单射性，如同经典情形一样？
• RQ3 能否通过自由对合同态结合代数的构造，在同态李代数背景下建立PBW定理？
• RQ4 如何在张量代数中表示并分解由换位子关系生成的同态理想，以证明基的性质？
• RQ5 同态映射的对合性（$\alpha^2 = \mathrm{id}$）在实现PBW型基中起到什么作用？

主要发现

• 本文在同态模上构造了自由对合同态结合代数，为普遍包络代数的构造提供了基础工具。
• 通过将自由对合同态结合代数模去特定同态理想，建立了对合同态李代数普遍包络代数的新构造。
• 为对合同态李代数证明了Poincaré-Birkhoff-Witt定理，表明在同态李代数基中有序单项式构成包络代数的基。
• 证明了从同态李代数到其普遍包络代数的典范映射是单射的，确认了文献中的一项猜想。
• 该证明依赖于在张量单项式上定义良好的线性映射 $L$，并表明同态理想 $I_{\frak{g},\beta}$ 与自由代数的交集为平凡，从而确保了基的独立性。
• PBW分解是参数化的，并通过利用同态雅可比恒等式和归纳法加以证明，从而确认了基的结构。