[論文レビュー] Derived length and nildecomposable Lie algebras

Dietrich Burde|arXiv (Cornell University)|Dec 13, 2012

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

ひとこと要約

本稿は、与えられた導来長 $k$ を持つ特性 0 の体上の可解および冪単 Lie 環の最小次元を調査し、$ \mathfrak{g} = \mathfrak{a} + \mathfrak{b}$ と表される nildecomposable Lie 環 $\mathfrak{g}$ において、$\mathfrak{a}$ と $\mathfrak{b}$ が冪単部分環である場合に注目する。14次元の有理数係数冪単 Lie 環で導来長 4 を持つものを構成し、$\alpha(4)$ の新たな下界を確立した。また、$\mathfrak{g}$ の導来長が $c(\mathfrak{a}) + c(\mathfrak{b})$ で有界かどうかは、一般の場合には未解決のまま残っている。

ABSTRACT

We study the minimal dimension of solvable and nilpotent Lie algebras over a field of characteristic zero with given derived length $k$. This is motivated by questions on nildecomposable Lie algebras $\Lg=\La+\Lb$, arising in the context of post-Lie algebra structures. The question is, how the derived length of $\Lg$ can be estimated in terms of the derived length and nilpotency classes of the two nilpotent subalgebras $\La$ and $\Lb$.

研究の動機と目的

• 特性 0 の体上の有限次元冪単および可解 Lie 環の導来長 $k$ を与えたときの最小次元を特定すること。
• 導来長が $k=4$ である冪単 Lie 環の最小次元 $\alpha(4)$ を新たに下界で与えるために、14次元の有理数係数冪単 Lie 環を構成すること。
• $\mathfrak{g} = \mathfrak{a} + \mathfrak{b}$ と表される nildecomposable Lie 環 $\mathfrak{g}$ における導来長を調査すること。ここで $\mathfrak{a}$ と $\mathfrak{b}$ は冪単部分環である。
• $\mathfrak{g}$ の導来長 $d(\mathfrak{g})$ が、$\mathfrak{a}$ と $\mathfrak{b}$ の冪単クラス $c(\mathfrak{a})$ と $c(\mathfrak{b})$ の和 $c(\mathfrak{a}) + c(\mathfrak{b})$ で有界かどうかを評価すること。
• 特に、nildecomposable 群の文脈における群論的類似と post-Lie 代数構造との関係を検討すること。

提案手法

• 導来長 4 を持つ冪単 Lie 環の最小次元 $\alpha(4)$ の新たな下界を確立するために、14次元の有理数係数冪単 Lie 環を構成する。
• 導来系列および下部中心系列に関する既知の結果を応用し、可解および冪単 Lie 環の構造を分析する。
• 包含関係 $\mathfrak{g}^{(k)} \subseteq \mathfrak{g}^{2^k - 1}$ を用いて、導来長と冪単クラスの関係を明らかにする。
• 最大の冪単クラスを持つとされる filiform 冪単 Lie 環の概念を用い、極端な場合を探索する。
• 特に、nildecomposable 群に関する既知の結果を Lie 代数の文脈に適応する。
• アーベル部分環とクラス 2 の冪単部分環の和として得られる Lie 環の導来長を分析し、先行研究からの境界を引用する。

実験結果

リサーチクエスチョン

• RQ1 特性 0 の体上の導来長 $k=4$ を持つ冪単 Lie 環の最小次元は何か？
• RQ2 nildecomposable Lie 環 $\mathfrak{g} = \mathfrak{a} + \mathfrak{b}$ の導来長 $d(\mathfrak{g})$ は、$\mathfrak{a}$ と $\mathfrak{b}$ の冪単クラスの和 $c(\mathfrak{a}) + c(\mathfrak{b})$ で有界になるか？
• RQ3 有限次元の nildecomposable Lie 環について、不等式 $d(\mathfrak{g}) \leq c(\mathfrak{a}) + c(\mathfrak{b})$ に対して反例は存在するか？
• RQ4 $\mathfrak{a}$ がアーベルで $\mathfrak{b}$ が冪単クラス 2 のとき、Lie 環 $\mathfrak{g} = \mathfrak{a} + \mathfrak{b}$ の導来長はどのように振る舞うか？
• RQ5 $\mathfrak{a}$ と $\mathfrak{b}$ の導来長または冪単クラスに関して、$\mathfrak{g}$ の導来長をどの程度まで有界化できるか？

主な発見

• 本稿は、導来長 4 を持つ有理数係数冪単 Lie 環の最小次元 $\alpha(4)$ の新たな下界を確立するため、14次元の有理数係数冪単 Lie 環を構成した。
• 任意の $k \geq 3$ に対して、導来長 $k$ を持つ可解な有理数係数 Lie 環を次元 $2^{k-1}$ で構成した。これにより、$k$ に関して指数関数的に増加する次元で導来長 $k$ を持つような可解 Lie 環が存在することが示された。
• 次元 15、導来長 5 の可解 Lie 環を構成し、制御された次元でより高い導来長を持つ Lie 環が存在することを示した。
• $\mathfrak{a}$ がアーベルで $\mathfrak{b}$ が冪単クラス 2 の場合、$d(\mathfrak{g}) \leq 10$ を示す結果を引用したが、この境界は最良ではないとされている。
• $d(\mathfrak{g}) \leq c(\mathfrak{a}) + c(\mathfrak{b})$ の予想は、特性 0 の体上の有限次元 nildecomposable Lie 環について未解決のままであり、反例も知られていない。
• もし $\mathfrak{b}$ が $\mathfrak{g} = \mathfrak{a} + \mathfrak{b}$ のイデアルであれば、$d(\mathfrak{g}) \leq c(\mathfrak{a}) + c(\mathfrak{b})$ が成り立つが、一般の場合の成立は未解決のままである。