[論文レビュー] Engel subalgebras of Leibniz algebras

Donald W. Barnes|ArXiv.org|Oct 16, 2008

Dendrimers and Hyperbranched Polymers参考文献 6被引用数 6

ひとこと要約

この論文は、十分に多くの元を持つ体上の有限次元Leibniz代数におけるエンゲル部分代数が、Lie代数におけるそれらと同様の主要な構造的性質を有することを確立する。この条件下で、Cartan部分代数が最小エンゲル部分代数とちょうど一致することを証明し、Cartan部分代数がLie代数理論の古典的結果をLeibnizの文脈に一般化するエンゲルの不変性の類似性を満たすことを示している。

ABSTRACT

Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A primitive Leibniz algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.

研究の動機と目的

• Lie代数におけるエンゲル部分代数理論をLeibniz代数へ拡張すること。
• エンゲル部分代数を用いたLeibniz代数におけるCartan部分代数の特徴付け。
• すべての極大部分代数が右イデアルであるLeibniz代数が必ずべき零であることの証明。
• 原始的Leibniz代数がその最小イデアルに沿って分解可能であり、すべての補完が互いに共役であることの証明。
• Cartan部分代数に対するLeibniz版の不変性の確立。

提案手法

• エンゲル部分代数を $ E_A(u) = \{ x \in A \mid \exists n, \, L_u^n(x) = 0 \} $ として定義し、Lie代数における概念を一般化する。
• 左乗作用 $ L_a $ の構造とそれらのLie代数的作用を用いてべき零性と正規化群を分析する。
• 線形変換のLie代数に対するモジュール理論を適用し、合成因子と自明作用を研究する。
• 体に少なくとも $ \dim(A)+1 $ 個の元があるという条件を用いて、固有値の議論に適した線形結合の存在を保証する。
• $ L_{u_0 + t u_1} $ における特性多項式の議論によりエンゲル部分代数の最小性を証明し、商空間におけるべき零性を示す。
• エンゲル部分代数の共通部分 $ \bigcap_{c \in C} E_A(c) $ を用いて正規化群とモジュール分解を分析する。

実験結果

リサーチクエスチョン

• RQ1 Leibniz代数におけるエンゲル部分代数がLie代数におけるそれらと同様に振る舞うのはどのような条件下か？
• RQ2 Leibniz代数におけるCartan部分代数が最小エンゲル部分代数となるのはいつか？
• RQ3 すべての極大部分代数が右イデアルであるLeibniz代数は、必ずべき零か？
• RQ4 原始的Leibniz代数がその最小イデアルに沿って分解可能であり、すべての補完が互いに共役であることを示せるか？
• RQ5 Cartan部分代数に対するLeibniz代数版の不変性とは何か？

主な発見

• すべての極大部分代数が右イデアルであるLeibniz代数はべき零である。
• 原始的Leibniz代数はその最小イデアルに沿って分解可能であり、最小イデアルへのすべての補完は互いに共役である。
• 体に少なくとも $ \dim(A)+1 $ 個の元があるとき、Leibniz代数 $ A $ のCartan部分代数はちょうど最小エンゲル部分代数である。
• 任意のCartan部分代数 $ C $ とイデアル $ K \trianglelefteq A $ に対して、商 $ C + K / K $ は $ A/K $ のCartan部分代数である。
• Cartan部分代数は次のように不変性に類似した性質を満たす：$ C $ がイデアル $ N \trianglelefteq A $ のCartan部分代数であるとき、$ N + \mathcal{N}_A(C) = A $ が成り立つ。
• 任意の $ u_0 \in U $ に対して、$ E_A(u_0) $ が $ \{ E_A(u) \mid u \in U \} $ の中で最小であり、$ U \subseteq E_A(u_0) $ ならば、すべての $ u \in U $ に対して $ E_A(u) \supseteq U $ が成り立ち、これは $ U $ がべき零であり、ゆえにCartan部分代数であることを意味する。