[論文レビュー] On Lie-central extensions of Leibniz algebras

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

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

ひとこと要約

この論文は、Lie代数のBirkhoff部分カテゴリに関して、Leibniz代数の$σ$-中心拡張を導入し、半アーベル圏における圏論的ホモロジー的道具を用いて研究する。Liezation関手を含む六項完全ホモロジー列を確立し、$σ$-一意中心的、$σ$-能力的、$σ$-可解的、$σ$-冪零的Leibniz代数を特徴付ける。最終的に、$σ$-冪零性のStallings型ホモロジー的特徴付けを提示する。

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.

研究の動機と目的

• Lie代数の部分カテゴリに関して、Leibniz代数における中心拡張の相対的圏論的枠組みを構築すること。
• 相対的交換子とホモロジーを用いて、$σ$-中心的、$σ$-自明的、$σ$-スタム拡張を定義し、それらを研究すること。
• Leibniz代数の新たな構造的性質、特に$σ$-一意中心的、$σ$-能力的、$σ$-可解的、$σ$-冪零的を導入し、特徴付けること。
• Leibniz代数における$σ$-中心拡張に関連する六項完全ホモロジー列を確立し、代数的性質のホモロジー的特徴付けを可能にすること。
• Leibniz代数における$σ$-冪零性のStallings型ホモロジー的基準を提供すること。

提案手法

• 半アーベル圏におけるBirkhoff部分カテゴリの圏論的枠組みを用い、Lie代数からLeibniz代数への包含関手の左随伴としてLiezation関手$(-)_{\mathsf{Lie}}$を適用する。
• 相対的交換子理論および第二ホモロジーのHopf公式$HL^{\mathsf{Lie}}_2(-)$を用いて、$σ$-中心拡張のための六項完全列を構成する。
• 下位$σ$-中心系列と相対的中心構成を用いて、Leibniz代数における$σ$-冪零性と$σ$-可解性を定義する。
• 六項完全列を用いて、特に$σ$-冪零代数の文脈において、同型のホモロジー的基準を導出する。
• 帰納法とプルバックの議論を用いて、Liezationおよび第二ホモロジー写像が同型／エピモルフィズムであり、商が同型であるならば、元の写像も同型であることを証明する。
• 下位$σ$-中心系列の消滅と相対的中心への包含の同値性を活用し、$σ$-冪零性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 アーベル群などの絶対的ケースから、Lie代数に関する相対的ケースへの中心拡張の概念をどのように一般化できるか？
• RQ2 Leibniz代数における$σ$-中心拡張に関連するホモロジー列の構造は何か？また、関与する代数の代数的性質とどのように関係するか？
• RQ3 相対的交換子とLiezation関手は、$σ$-一意中心的、$σ$-能力的、$σ$-可解的、$σ$-冪零的Leibniz代数の定義をどのように可能にするか？
• RQ4 相対的ホモロジーを用いて、Leibniz代数における$σ$-冪零性のStallings型定理を確立できるか？
• RQ5 Leibniz代数の準同型写像が、Liezationおよび第二ホモロジーに誘導される写像が同型／エピモルフィズムであるとき、どのような条件下で元の写像が同型になるか？

主な発見

• 任意の$σ$-中心拡張$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$として与えられる。
• $σ$-冪零性のホモロジー的特徴付けが得られた：Leibniz代数が$σ$-冪零であることは、その下位$σ$-中心系列が0で終わることと同値であり、これは有限の$k$が存在して$\mathfrak{g}^{[k]} = 0$となることと同値である。
• 準同型写像$\varphi: \mathfrak{g} \to \mathfrak{q}$がLiezationで同型を誘導し、第二ホモロジーでエピモルフィズムを誘導し、商に誘導される写像が同型であるならば、$\varphi$は同型であることが証明された。
• 系6.4では、Leibniz代数$\mathfrak{q}$とそのLiezation$\mathfrak{q}_{\mathsf{Lie}}$が両方$σ$-冪零であれば、$\mathfrak{q} \cong \mathfrak{q}_{\mathsf{Lie}}$が成り立ち、すなわち$\mathfrak{q}$は実際にLie代数であることが示された。
• 論文は、$\mathfrak{n}^{[i]} \subseteq \mathcal{Z}_k^{\mathsf{Lie}}(\mathfrak{q})$ if and only if $\mathfrak{n}^{[i+1]} \subseteq \mathcal{Z}_{k-1}^{\mathsf{Lie}}(\mathfrak{q})$が成り立つことを示し、$σ$-中心系列を特徴付ける重要な同値関係を提供した。
• $σ$-スタムカバーの概念が導入され、絶対的ケースにおけるスタムカバーの概念を相対的設定に一般化して特徴付けた。