[论文解读] On Lie Algebras in the Category of Yetter-Drinfeld Modules

Bodo Pareigis|ArXiv.org|Dec 17, 1996

Algebraic structures and combinatorial models参考文献 5被引用 32

一句话总结

本文在具有双射反向元的霍普夫代数 $K$ 上的雅泰-德林菲尔德模的辫子张量范畴中，引入了李代数的广义概念。它证明了该范畴中霍普夫代数的幂零元素构成此类广义李代数，并构造了一个在相同范畴中为霍普夫代数的普遍包络代数，从而将经典李理论推广至辫子设定。

ABSTRACT

The category of Yetter-Drinfeld modules over a Hopf algebra (with bijektive antipode over a field) is a braided monoidal category. Given a Hopf algebra in this category then the primitive elements of this Hopf algebra do not form an ordinary Lie algebra anymore. We introduce the notion of a (generalized) Lie algebra in the category of Yetter-Drinfeld modules such that the set of primitive elements of a Hopf algebra is a Lie algebra in this sense. It has n-ary partially defined Lie multiplications on certain symmetric submodules of n- fold tensor products. They satisfy antisymmetry and Jacobi identities. Also the Yetter-Drinfeld module of derivations of an associative algebra in the category of Yetter- Drinfeld modules is a Lie algebra. Furthermore for each Lie algebra in the category of Yetter-Drinfeld modules there is a universal enveloping algebra which turns out to be a (braided) Hopf algebra in this category.

研究动机与目标

• 将经典李代数概念推广至辫子张量范畴，特别是霍普夫代数 $K$ 上的雅泰-德林菲尔德模范畴。
• 通过引入与辫子相容的广义李代数结构，解决辫子范畴中幂零元素无法形成普通李代数的问题。
• 为该范畴中的每个广义李代数构造普遍包络代数，证明其继承了霍普夫代数结构。
• 在单一框架内统一并推广已知结构，如李超代数、李色彩代数以及 $(G,\chi)$-李代数。

提出的方法

• 在范畴 ${\cal Y}{\cal D}^{K}_{K}$ 中引入广义李代数结构，对每个 $n$ 及每个 $n$ 次单位根 $\zeta$ 定义 $n$-元括号。
• 施加考虑范畴中辫子的广义对称性与雅可比恒等式，取代标准的反对称性与雅可比恒等式。
• 利用 braid 群作用与辫子同构定义并验证张量幂上 $n$-元括号的一致性。
• 应用余模理论技术，特别是有限生成模的函子 ${\mathop{\mathrm{Hom}}}_{A}(P, -)$，在 Hom 空间上构造余模结构。
• 利用张量幂上的 braid 群表示定义迭代括号运算，并通过辫子关系验证其良定性。
• 将普遍包络代数构造为 ${\cal Y}{\cal D}^{K}_{K}$ 中张量代数的商代数，并配备与辫子范畴相容的霍普夫代数结构。

实验结果

研究问题

• RQ1 能否将经典李代数结构在幂零元素上推广至辫子张量范畴，如 ${\cal Y}{\cal D}^{K}_{K}$？
• RQ2 广义李代数在辫子范畴中需满足何种条件，以确保普遍包络代数的存在性？
• RQ3 辫子结构与雅泰-德林菲尔德模结构如何影响括号运算的对称性与雅可比恒等式？
• RQ4 广义李代数在 ${\cal Y}{\cal D}^{K}_{K}$ 中的普遍包络代数是否自然地成为同一范畴中的霍普夫代数？
• RQ5 已知结构如李超代数与 $(G,\chi)$-李代数能否作为此广义框架的特例被恢复？

主要发现

• 任何在范畴 ${\cal Y}{\cal D}^{K}_{K}$ 中的霍普夫代数 $H$ 的幂零元素集合 $P(H)$ 在新定义下构成一个广义李代数。
• ${\cal Y}{\cal D}^{K}_{K}$ 中广义李代数的普遍包络代数是同一范畴中的霍普夫代数。
• 普遍包络代数的构造涉及对张量代数模去由辫子 $n$-元括号导出的关系，确保与辫子的相容性。
• $n$-元括号运算良定且通过 braid 群在张量幂上的作用满足广义雅可比恒等式。
• 广义李代数结构统一并扩展了经典情形，如李超代数、李色彩代数以及 $(G,\chi)$-李代数。
• 迭代括号良定性的证明依赖于 braid 群表示及性质 $\tau_i^2 = \zeta^2$（其中 $\zeta$ 为 $n$ 次单位根），确保在辫子设定下的一致性。