[论文解读] On Lie-central extensions of Leibniz algebras

J. M. Casas, Emzar Khmaladze|arXiv (Cornell University)|Apr 10, 2015

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

一句话总结

本文引入并研究了相对于李代数子范畴的李代数的 $σ$-中心扩张，使用半阿贝尔范畴中的范畴同调工具。它建立了涉及李化函子的六项精确同调序列，并利用该序列刻画了 $σ$-唯一中心、$σ$-可及、$σ$-可解和 $σ$-幂零李代数，最终给出了 $σ$-幂零性的斯达林类型同调刻画。

ABSTRACT

Basing ourselves on the categorical notions of central extensions and commutators in the framework of semi-abelian categories relative to a Birkhoff subcategory, we study central extensions of Leibniz algebras with respect to the Birkhoff subcategory of Lie algebras, called Lie-central extensions. We obtain a six-term exact homology sequence associated to a Lie-central extension. This sequence, together with the relative commutators, allows us to characterize several classes of Lie-central extensions, such as Lie-trivial, Lie-stem and Lie-stem cover, to introduce and characterize Lie-unicentral, Lie-capable, Lie-solvable and Lie-nilpotent Leibniz algebras.

研究动机与目标

• 为相对于李代数子范畴的李代数中的中心扩张建立相对范畴框架。
• 利用相对换位子和同调定义并研究 $σ$-中心、$σ$-平凡和 $σ$-初等扩张。
• 引入并刻画李代数的新结构性质，包括 $σ$-唯一中心性、$σ$-可及性、$σ$-可解性和 $σ$-幂零性。
• 为 $σ$-中心扩张建立六项精确同调序列，实现代数性质的同调刻画。
• 为李代数的 $σ$-幂零性提供斯达林类型同调准则。

提出的方法

• 利用半阿贝尔范畴的范畴框架及一个伯克霍夫子范畴，将李化函子 $(-)_{\mathsf{Lie}}$ 作为李代数到李代数的包含映射的左伴随函子。
• 应用相对换位子理论和第二同调的霍普夫公式 $HL^{\mathsf{Lie}}_2(-)$，为 $σ$-中心扩张构造六项精确序列。
• 利用下 $σ$-中心列和相对中心构造，定义李代数中的 $σ$-幂零性和 $σ$-可解性。
• 利用六项精确序列推导出同调准则，特别是在 $σ$-幂零代数的背景下。
• 应用归纳法和拉回论证，证明若李化和第二同调映射是同构/满同态，且商映射是同构，则原映射是同构。
• 利用下 $σ$-中心列的消失性与包含于相对中心的等价性，刻画 $σ$-幂零性。

实验结果

研究问题

• RQ1 如何将中心扩张的概念从绝对情形（如阿贝尔群）推广到相对于李代数的李代数的相对情形？
• RQ2 与 $σ$-中心扩张相关的同调序列的结构是什么？它如何与所涉及代数的代数性质相关联？
• RQ3 相对换位子和李化函子在定义 $σ$-唯一中心、$σ$-可及、$σ$-可解和 $σ$-幂零李代数方面起到何种作用？
• RQ4 能否利用相对同调为李代数的 $σ$-幂零性建立斯达林型定理？
• RQ5 在何种条件下，李代数同态在诱导映射于李化和第二同调上为同构/满同态时，成为同构？

主要发现

• 为任意 $σ$-中心扩张 $0 \to \mathfrak{n} \to \mathfrak{g} \to \mathfrak{q} \to 0$ 建立了六项精确同调序列，形式为 $\mathfrak{n} \otimes \mathfrak{g}_{\mathsf{Lie}} \to HL^{\mathsf{Lie}}_2(\mathfrak{g}) \to HL^{\mathsf{Lie}}_2(\mathfrak{q}) \to \mathfrak{n} \to \mathfrak{g}_{\mathsf{Lie}} \to \mathfrak{q}_{\mathsf{Lie}} \to 0$。
• 获得了 $σ$-幂零性的同调刻画：一个李代数是 $σ$-幂零的，当且仅当其下 $σ$-中心列终止于零，且这等价于存在有限 $k$ 使得 $\mathfrak{g}^{[k]} = 0$。
• 证明了若同态 $\varphi: \mathfrak{g} \to \mathfrak{q}$ 在李化上诱导同构，在第二同调上诱导满同态，且在商上诱导同构，则 $\varphi$ 是同构。
• 推论 6.4 表明，若李代数 $\mathfrak{q}$ 及其李化 $\mathfrak{q}_{\mathsf{Lie}}$ 均为 $σ$-幂零，则 $\mathfrak{q} \cong \mathfrak{q}_{\mathsf{Lie}}$，即 $\mathfrak{q}$ 实际上是一个李代数。
• 本文证明了 $\mathfrak{n}^{[i]} \subseteq \mathcal{Z}_k^{\mathsf{Lie}}(\mathfrak{q})$ 当且仅当 $\mathfrak{n}^{[i+1]} \subseteq \mathcal{Z}_{k-1}^{\mathsf{Lie}}(\mathfrak{q})$，为刻画 $σ$-中心列提供了关键等价关系。
• 引入并刻画了 $σ$-初等覆盖的概念，将绝对情形下的初等覆盖概念推广到相对设定中。