[论文解读] Schunck classes of soluble Leibniz algebras

Donald W. Barnes|arXiv (Cornell University)|Jan 16, 2011

Advanced Topics in Algebra参考文献 6被引用 9

一句话总结

本文将先前针对可解李代数发展的Schunck类理论扩展至可解Leibniz代数，证明在此背景下，Schunck构型保持对称与反对称本原代数之间的对偶性。关键贡献在于证明：对于一个Schunck构型，其所有投影算子均为内变当且仅当该类在$Φ$-闭条件下封闭，且通过反例表明此闭包假设是必要的。

ABSTRACT

I set out the theory of Schunck classes and projectors for soluble Leibniz algebras, parallel to that for Lie algebras. Primitive Leibniz algebras come in pairs, one (Lie) symmetric, the other antisymmetric. A Schunck formation containing one member of a pair also contains the other. Projectors for a Schunck formation are intravariant.

研究动机与目标

• 将Schunck类、构型及投影算子的理论从可解李代数推广至可解Leibniz代数。
• 研究本原Leibniz代数的行为，其以对称与反对称对的形式出现。
• 确定可解Leibniz代数中${\mathfrak{H}}$-投影算子为内变的条件。
• 阐明在确保投影算子内变性时，构型假设的必要性。
• 以投影算子的内变性为条件，对$Φ$-闭Schunck类进行表征。

提出的方法

• 通过左乘法的导出性质，将现有Schunck类理论从李代数适配至Leibniz代数。
• 定义Leibniz核$\operatorname{Leib}(L) = \langle x^2 \mid x \in L \rangle$，并证明其为双边理想。
• 通过维数归纳法证明：${\mathfrak{H}}$-投影算子为内变当且仅当${\mathfrak{H}}$为$\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-闭。
• 应用关于合成因子与模作用（对称/反对称）的结果，分析正规化子与投影算子。
• 采用相对于模的内、外合成因子概念，以处理本原代数中的对偶性。
• 利用关于幂零理想及其和的已知结果，证明有限维Leibniz代数中幂零理想的和仍是幂零的。

实验结果

研究问题

• RQ1 可解李代数中Schunck类与投影算子的理论如何推广至可解Leibniz代数？
• RQ2 在Schunck构型中，对称与反对称本原Leibniz代数之间存在何种关系？
• RQ3 在可解Leibniz代数中，${\mathfrak{H}}$-投影算子在何种条件下为内变？
• RQ4 若Schunck类为构型的假设对投影算子为内变是否必要？
• RQ5 在何种精确条件下，$\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-闭性可推出投影算子的内变性？

主要发现

• 在任意Leibniz代数$L$中，Leibniz核$\operatorname{Leib}(L) = \langle x^2 \mid x \in L \rangle$为双边理想，此结果此前未被充分强调。
• 本原Leibniz代数以对偶对形式出现：一个对称，一个反对称；若一个Schunck构型包含其中一种，则必包含另一种。
• 对于Schunck构型$\mathfrak{H}$，其任意可解Leibniz代数$L$的${\mathfrak{H}}$-投影算子$H$均为内变。
• 不能省略$\mathfrak{H}$为构型的假设；反例表明，若无$\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-闭性，则内变性不成立。
• Schunck类$\mathfrak{H}$为$\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-闭当且仅当其所有${\mathfrak{H}}$-投影算子均为内变。
• 对于Schunck构型，$\mathfrak{F}$-正规化子在更大的代数中为内变，从而将内变性性质扩展至整个可解Leibniz代数。