[論文レビュー] Abelian ideals of maximal dimension for solvable Lie algebras

Dietrich Burde, Manuel Ceballos|arXiv (Cornell University)|Nov 16, 2009

Advanced Topics in Algebra参考文献 18被引用数 35

ひとこと要約

本稿では、特性が0の代数的に閉じた体上の有限次元可解リー代数について、アーベル部分代数の最大次元（$\alpha(\mathfrak{g})$）が、アーベルイデアルの最大次元（$\beta(\mathfrak{g})$）に等しいことを確立する。著者らはこの等式を証明し、すべての複素数のノルム的リー代数（次元 $n \leq 7$）について $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ を計算し、$\alpha(\mathfrak{g}) = n-2$ を満たすノルム的リー代数において、余次元2のアーベルイデアルを明示的に構成する。主な貢献は、これらの条件下で、最大アーベル部分代数と最大アーベルイデアルの間の構造的同値性を特定することにある。

ABSTRACT

We compare the maximal dimension of abelian subalgebras and the maximal dimension of abelian ideals for finite-dimensional Lie algebras. We show that these dimensions coincide for solvable Lie algebras over an algebraically closed field of characteristic zero. We compute this invariant for all complex nilpotent Lie algebras of dimension n less than 8. Furthermore we study the case where there exists an abelian subalgebra of codimension 2. Here we explicitly construct an abelian ideal of codimension 2 in case of nilpotent Lie algebras.

研究の動機と目的

• 代数的に閉じた体の特性が0である可解リー代数において、アーベル部分代数の最大次元（$\alpha(\mathfrak{g})$）がアーベルイデアルの最大次元（$\beta(\mathfrak{g})$）に等しいかどうかを特定すること。
• $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ をすべての次元 $n \leq 7$ の複素ノルム的リー代数について計算すること。
• $\alpha(\mathfrak{g}) = n-2$ であるノルム的リー代数において、余次元2のアーベルイデアルを明示的に構成すること、特に一般分類が存在しない状況においても同様に可能であることを示すこと。

提案手法

• 代数的に閉じた体の特性が0である可解リー代数について、リーマン分解とアーベル部分代数・イデアルの性質を用いて $\alpha(\mathfrak{g}) = \beta(\mathfrak{g})$ を証明する。
• リーマン分解 $\mathfrak{g} = \mathfrak{s} \ltimes \mathfrak{r}$ を用い、$\alpha(\mathfrak{g}) \leq \alpha(\mathfrak{s}) + \alpha(\mathfrak{r})$ を境界づけ、根基と半単純部分の構造を分析する。
• $\alpha(\mathfrak{g}) = n-1$ の場合、その代数はほとんどアーベル的であり、2段階可解であるため、余次元1のアーベルイデアルを構成する。
• $\alpha(\mathfrak{g}) = n-2$ の場合、すべての非可解な複素リー代数を分類し、可解な場合がノルム的であるか、または $\mathfrak{sl}_2(\mathbb{C}) \oplus \mathbb{C}^\ell$ に同型であることを示し、ノルム的ケースにおいて余次元2のアーベルイデアルを明示的に構成する。
• 既知の分類と構造的解析を用いて、次元 $n \leq 7$ のすべての複素ノルム的リー代数について $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ を体系的に計算する。
• 得られた結果をリー代数の退化に適用し、これらの不変量が退化のもとで保存されること、およびコhomology的考察において有用であることに注目する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体の特性が0である可解リー代数において、アーベル部分代数の最大次元は、アーベルイデアルの最大次元に等しいか？
• RQ2 $\alpha(\mathfrak{g}) = n-2$ であるノルム的リー代数において、余次元2のアーベルイデアルを明示的に構成できるか？
• RQ3 すべての次元 $n \leq 7$ の複素ノルム的リー代数について、$\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ の値は何か？
• RQ4 リー代数の退化において、不変量 $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ はどのように振る舞うか、特にコホモロジーの文脈において。

主な発見

• すべての代数的に閉じた体の特性が0である可解リー代数において、$\alpha(\mathfrak{g}) = \beta(\mathfrak{g})$ が成り立つ。これは、すべての最大アーベル部分代数が最大アーベルイデアルに関連していることを意味する。
• この等式 $\alpha(\mathfrak{g}) = \beta(\mathfrak{g})$ は一般に実数体上では成り立たない。反例によって示されている。
• $\alpha(\mathfrak{g}) = n-2$ であるノルム的リー代数において、余次元2のアーベルイデアルを明示的に構成可能であり、特徴的ノルム的構造が存在しても同様に可能である。
• 本稿では、次元 $n \leq 7$ のすべての複素ノルム的リー代数について $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ を計算し、$\mathfrak{g}_{7,3.11}$、$\mathfrak{g}_{7,3.12}$、$\mathfrak{g}_{7,4.1}$ のような特定の代数について $\alpha(\mathfrak{g}) = 6$ を示している。
• 次元 $n \leq 7$ のノルム的リー代数の中で、$\alpha(\mathfrak{g}) = n-1$ を満たすものはほとんどアーベル的であり、余次元1のアーベルイデアルを有する。
• $\alpha(\mathfrak{g})$ と $\beta(\mathfrak{g})$ の不変量はリー代数の退化のもとで保存され、コホモロジーおよび変形理論の研究において有用なツールである。