[论文解读] Groebner-Shirshov basis of the universal enveloping Rota-Baxter algebra of a Lie algebra

Vsevolod Gubarev, P. S. Kolesnikov|arXiv (Cornell University)|Feb 24, 2016

Advanced Topics in Algebra参考文献 13被引用 5

一句话总结

本文利用格罗布纳-希施沃夫基底，通过李代数上算子的组合-钻石引理，建立了李代数的普遍包络罗塔-巴克斯特代数的非结合性类比庞加莱-伯克霍夫-维尔（PBW）定理。证明了普遍包络罗塔-巴克斯特李代数的伴随分次代数同构于具有罗塔-巴克斯特算子的李代数范畴中的普遍包络代数，通过李代数算子的组合-钻石引理，将经典PBW型结果推广至罗塔-巴克斯特结构。

ABSTRACT

Consider the class RBLie of Lie algebras equipped with a Rota---Baxter operator. Then the forgetful functor RBLie --> Lie has a left adjoint one denoted by $U_{RB}(\cdot)$. We prove an "operator" analogue of the Poincare---Birkhoff---Witt theorem for $U_{RB}(L)$, where $L$ is an arbitrary Lie algebra, by means of Gröbner---Shirshov bases theory for Lie algebras with an additional operator.

研究动机与目标

• 建立任意李代数的普遍包络罗塔-巴克斯特代数的PBW型定理。
• 利用格罗布纳-希施沃夫基底描述普遍包络罗塔-巴克斯特李代数的组合结构。
• 证明$U_{RB}(L)$的伴随分次代数同构于具有罗塔-巴克斯特算子的李代数范畴中的普遍包络代数。
• 通过构造滤子并分析其伴随分次结构，将经典PBW结果推广至罗塔-巴克斯特代数的设定。

提出的方法

• 作者使用了专为配备额外算子（罗塔-巴克斯特算子）的李代数量身定制的组合-钻石引理版本。
• 他们通过涉及李代数及其在罗塔-巴克斯特算子下像的归纳自由积构造方法，构建了普遍包络罗塔-巴克斯特代数$U_{RB}(L)$。
• 该证明依赖于构造中连续阶段之间典范同态$\tau_n$的单射性，从而确保滤子的良定义性。
• 格罗布纳-希施沃夫基底被用于比较$U_{RB}(L)$与伴随分次代数$\mathrm{gr}\,U_{RB}(L)$中的关系，表明它们的首项部分一致，且高阶项受到控制。
• 该方法利用了[8]和[14]关于自由代数及非结合结构组合学的结果。
• 关键技术工具是识别出普遍包络罗塔-巴克斯特李代数的格罗布纳-希施沃夫基底，从而实现关系的比较以及伴随分次代数的同构。

实验结果

研究问题

• RQ1 李代数的普遍包络罗塔-巴克斯特代数是否具有PBW型滤子，其伴随分次代数同构于具有罗塔-巴克斯特算子的李代数范畴中的普遍包络代数？
• RQ2 能否通过格罗布纳-希施沃夫基底组合地描述$U_{RB}(L)$的结构？
• RQ3 在$U_{RB}(L)$与伴随分次代数$\mathrm{gr}\,U_{RB}(L)$中，关系如何比较？
• RQ4 在结合与交换罗塔-巴克斯特代数的范畴中，是否同样成立相同的PBW型同构？
• RQ5 组合-钻石引理能否有效应用于具有额外算子（如罗塔-巴克斯特或尼坚奈斯映射）的李代数？

主要发现

• 伴随分次代数$\mathrm{gr}\,U_{RB}(L)$同构于具有罗塔-巴克斯特算子的李代数范畴中的普遍包络代数$U_{RA}(L)$。
• 对$U_{RB}(L)$的滤子由嵌套罗塔-巴克斯特算子应用的次数所诱导，格罗布纳-希施沃夫基底的比较表明，$U_{RB}(L)$与$\mathrm{gr}\,U_{RB}(L)$中关系的首项部分完全相同。
• 该证明确立了归纳构造中典范同态$\tau_n$的单射性，从而确保代数结构在每一阶段均被保持。
• 在结合与交换罗塔-巴克斯特代数的范畴中，相同的PBW型结果成立，具有类似的滤子和伴随分次代数的同构。
• 该方法可扩展至其他算子（如尼坚奈斯算子），在相应范畴中，伴随分次代数与普遍包络代数之间存在类似的同构。
• 对于交换罗塔-巴克斯特代数，$U_{RB}(A)$的线性基底被显式描述为形如$R^{s_1}(x_1 R^{s_2}(x_2 \cdots R^{s_n}(x_n)\cdots))$的元素，其中$s_1 \geq 0$，$s_2,\dots,s_n > 0$，且$x_i$属于$A$的基。