[論文レビュー] Structure of nilpotent Lie algebra by its multiplier

Peyman Niroomand|arXiv (Cornell University)|Mar 8, 2010

Finite Group Theory Research参考文献 17被引用数 15

ひとこと要約

本稿では、s(L) = 2 であることに応じたシュール乗数次元を有するすべての有限次元ノルム的リーモデルを特徴づけ、s(L) = 0 および s(L) = 1 の場合の先行分類を拡張する。シュール乗数の次元公式および構造的分解を用いて、このようなリーモデルが、L(3,4,1,4)、L(4,5,2,4)⊕A(1)、または m≥2 に対して H(m)⊕A(n−2m−1) のいずれかの族に同型であることを証明する。

ABSTRACT

For a finite dimensional Lie algebra $L$, it is known that $s(L)=\f{1}{2}(n-1)(n-2)+1-\mathrm{dim} M(L)$ is non negative. Moreover, the structure of all finite nilpotent Lie algebras is characterized when $s(L)=0,1$ in \cite{ni,ni4}. In this paper, we intend to characterize all nilpotent Lie algebra while $s(L)=2.$

研究の動機と目的

• s(L) = 2 であるすべての有限次元ノルム的リーモデルを分類すること。これは、s(L)=0 および s(L)=1 の場合の先行分類を拡張する。
• dim M(L) = ½(n−1)(n−2) − 1 を満たすノルム的リーモデルの正確な同型型を特定すること。
• p-群の分類法に類似した方法で、ノルム的リーモデルの構造的特徴づけを統一的かつ簡略化すること。
• 導来代数および中心の次元に基づいて、s(L)=2 であるノルム的リーモデルの同型類を完全に列挙すること。

提案手法

• n次元リーモデルに対して、s(L) ≥ 0 を満たす不変量 s(L) を定義するための公式 dim M(L) = ½(n−1)(n−2) + 1 − s(L) を用いる。
• 中央的イデアルによる商をとる場合のシュール乗数次元の上限を求めるために、Corollary 2.2 を適用し、不等式 dim M(L) + dim(L² ∩ K) ≤ dim M(H) + dim M(K) + dim(H/H² ⊗ K) を利用する。
• 直積に関して、Theorem 2.3 を用いる：dim M(L₁ ⊕ L₂) = dim M(L₁) + dim M(L₂) + dim((L₁/L₁²) ⊗ (L₂/L₂²))。
• dim L² および dim Z(L) に基づく場合分けを行い、ハイゼンベルク代数 H(m) およびアーベル代数 A(k) に関する既知の結果を活用する。
• Lemma 2.1 を用いて、dim M(H(1)) = 2 および m ≥ 2 のとき dim M(H(m)) = 2m² − m − 1 を計算する。
• 背理法を用いて、dim L² ≥ 3 または特定の次元仮定下で L² ≠ Z(L) となる構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 どのノルム的リーモデルが s(L) = 2、すなわち dim M(L) = ½(n−1)(n−2) − 1 を満たすか？
• RQ2 s(L) による不変量を用いて、ノルム的リーモデルの構造を完全に特徴づけられるか？これは、s(L) = 0 および s(L) = 1 の既知の結果を拡張するものである。
• RQ3 n次元ノルム的リーモデルで s(L) = 2 かつ dim L² = 1, 2, または ≥3 を満たす場合の同型型は何か？
• RQ4 シュール乗数次元が、s(L) の値が小さいノルム的リーモデルの可能な構造をどのように制約するか？
• RQ5 既知の直積および商代数に関する結果を用いて、s(L) を用いたノルム的リーモデルの分類を簡略化・統一できるか？

主な発見

• すべての s(L) = 2 であるノルム的リーモデルは、L(3,4,1,4)、L(4,5,2,4)⊕A(1)、または m ≥ 2 に対して H(m)⊕A(n−2m−1) のいずれかの族に同型である。
• Lie代数 L(3,4,1,4) は、s(L) = 2 を満たす唯一の4次元ノルム的リーモデルである。
• n ≥ 5 かつ dim L² = 2 の場合、可能なのは L(4,5,2,4)⊕A(1) または n=4 のときの L(3,4,1,4) のみである。
• dim L² = 1 の場合、s(L) = 2 を満たすノルム的リーモデルは H(m)⊕A(n−2m−1)（m ≥ 2）に限られる。
• dim L² ≥ 3 であるノルム的リーモデルは、すべて s(L) = 2 を満たせない。これは、乗数次元の上限に関する矛盾を引き起こすためである。
• m ≥ 2 のとき、H(m)⊕A(n−2m−1) のシュール乗数次元は正確に ½(n−1)(n−2) − 1 に等しく、s(L) = 2 であることが確認される。