[论文解读] Rota-Baxter Operators on pre-Lie superalgebras and beyond

El-Kadri Abdaoui, Sami Mabrouk+1 more|arXiv (Cornell University)|Dec 25, 2015

Advanced Topics in Algebra参考文献 34被引用 4

一句话总结

本文研究了在特征为零的域上，结合代数、李代数、预李代数和 $L$-dendriform 超代数上的 Rota-Baxter 算子与超 $/mathcal{O}$-算子，建立了这些结构之间的联系。它对复数域上维数为 2 和 3 的预李超代数的所有零权 Rota-Baxter 算子进行了分类，给出了此类算子的显式族，并通过 Rota-Baxter 构造框架将它们与 $L$-dendriform 超代数构造联系起来。

ABSTRACT

In this paper, we study Rota-Baxter operators and super $\mathcal{O}$-operator of associative superalgebras, Lie superalgebras, pre-Lie superalgebras and $L$-dendriform superalgebras. Then we give some properties of pre-Lie superalgebras constructed from associative superalgebras, Lie superalgebras and $L$-dendriform superalgebras. Moreover, we provide all Rota-Baxter operators of weight zero on complex pre-Lie superalgebras of dimensions $2$ and $3$.

研究动机与目标

• 研究在特征为零的域上，结合代数、李代数、预李代数和 $L$-dendriform 超代数上的 Rota-Baxter 算子与超 $/mathcal{O}$-算子。
• 利用 Rota-Baxter 算子与 $/mathcal{O}$-算子建立这些超代数类型之间的结构关系，特别是展示结合超代数上的 Rota-Baxter 算子如何诱导出预李超代数结构。
• 对复数域上维数为 2 和 3 且偶部维数指定的预李超代数的所有零权 Rota-Baxter 算子进行分类。
• 通过导出的算子结构，从 Rota-Baxter 预李超代数构造 $L$-dendriform 超代数。
• 为低维预李超代数的每个同构类提供显式的 Rota-Baxter 算子族，包括参数化解。

提出的方法

• 引入结合代数、李代数和预李代数上的超 $/mathcal{O}$-算子概念，作为 Rota-Baxter 算子的推广。
• 使用零权 Rota-Baxter 恒等式：对超代数中的齐次元素 $x, y$，有 $ R(x)R(y) = R(R(x)y + xR(y)) $。
• 应用构造方法：给定结合超代数 $\mathcal{A}$ 上的 Rota-Baxter 算子 $R$，通过 $ x \circ y = R(x)y - (-1)^{|x||y|} yR(x) $ 定义预李超代数乘法。
• 利用 Zhang 和 Bai 对复数域上维数为 2 和 3 的预李超代数的分类，分析每个同构类上可能的 Rota-Baxter 算子。
• 使用矩阵表示和参数化解来描述 Rota-Baxter 算子，其中包含参数 $a_i$ 及约束条件如 $a_2 \neq 0$。
• 应用推论 2.4，通过算子构造将 Rota-Baxter 预李超代数提升为 $L$-dendriform 超代数。

实验结果

研究问题

• RQ1 结合超代数上的零权 Rota-Baxter 算子如何诱导出预李超代数结构？
• RQ2 所有复数域上维数为 2 且偶部维数为 1 的预李超代数的零权 Rota-Baxter 算子的完整分类是什么？
• RQ3 维数为 3 且偶部维数为 2 的预李超代数上的 Rota-Baxter 算子，其结构与参数依赖性如何因代数结构而异？
• RQ4 预李超代数上的 Rota-Baxter 算子与 $L$-dendriform 超代数构造之间存在何种关系？
• RQ5 哪些预李超代数允许非平凡的 Rota-Baxter 算子？这些算子如何参数化？

主要发现

• 对于具有 $k \in \mathbb{C}^*$ 的二维预李超代数 $\widehat{A}_{9,2}$，所有零权 Rota-Baxter 算子由下式给出：$ R_1(e_1) = a_1e_1 + a_2e_2 $，$ R_1(e_2) = -\frac{a_1^2}{a_2}e_1 - a_1e_2 $，$ R_1(e_3) = 0 $，其中 $ a_2 \neq 0 $，以及 $ R_2(e_1) = 0 $，$ R_2(e_2) = a_3e_1 $，$ R_2(e_3) = 0 $，和零算子。
• 对于三维预李超代数 $\widehat{A}_{10_{h},1} $，其中 $ h \neq 0 $，Rota-Baxter 算子依赖于参数 $k$：若 $k=0$，则 $ R_1(e_2) = a_1e_1 $，$ R_1(e_3) = a_2e_3 $；若 $k \in \mathbb{C}^*$，则 $ R_3(e_2) = a_1e_1 $，其中 $ a_1 \neq 0 $，以及零算子。
• 预李超代数 $\widehat{A}_{11,1} $ 和 $\widehat{A}_{11,2} $ 具有相同的 Rota-Baxter 算子：当 $k=0$ 或 $k \in \mathbb{C}^*$ 时，$ R_1(e_2) = a_1e_1 $，其中 $ a_1 \neq 0 $，以及零算子。
• 分类结果表明，非平凡 Rota-Baxter 算子仅在 $R$ 的像位于 $e_1$ 和 $e_2$ 张成的子空间中，且核通常包含 $e_3$ 时存在。
• 对于正交辛李超代数 $osp(1,2)$，作者显式计算了所有零权 Rota-Baxter 算子，展示了该方法在具体李超代数上的应用。
• 通过推论 2.4 可行且系统地从 Rota-Baxter 预李超代数构造 $L$-dendriform 超代数，从而能够从已知的 Rota-Baxter 数据生成新的 $L$-dendriform 结构。