[論文レビュー] Low dimensional nilpotent n-Lie algebras

Mehdi Eshrati, Farshid Saeedi+1 more|arXiv (Cornell University)|Oct 9, 2018

Advanced Topics in Algebra参考文献 11被引用数 5

ひとこと要約

この論文は、任意の体上での(n+3)次元の冪零n-リーブラケット代数および(n+4)次元のクラス2の冪零n-リーブラケット代数を分類する。構造的解析と基底変換を用いて、著者たちは7つの同型類を特定した：$A_{n+3,1}$ から $A_{n+3,8}$、$A_{n+4,1}$、$A_{n+4,2}$、$A_{n+4,3}$、および $L_{6,22}(\theta)$。これらは明示的な非ゼロ乗法則を有する。この分類は、低次元n-リーブラケット代数に関する先行研究を拡張し、同型を除いて完全なリストを提供する。

ABSTRACT

In this paper, nilpotent n-Lie algebras of dimension n + 3 as well as nilpotent n-Lie algebras of class 2 and dimension n + 4 are classified.

研究の動機と目的

• 任意の体上での(n+3)次元の冪零n-リーブラケット代数をすべて分類すること。
• 任意の体上での(n+4)次元のクラス2の冪零n-リーブラケット代数をすべて分類すること。
• 次元がn+1およびn+2のときの既知の結果を超えて、低次元n-リーブラケット代数の分類を拡張すること。
• 構造的不変量と基底変換を用いて、これらの代数の同型型の完全なリストを提供すること。
• 商代数がヘイゼンベルク代数または他の既知のn-リーブラケット代数に同型となる場合を解消し、同型型を逃すことがないことを保証すること。

提案手法

• 分類は、導来代数 $A^2$ と中心 $Z(A)$ を分析し、冪零クラスと次元の制約を用いる。
• 構造的分解は、商代数 $A/\text{span}{e_{n+3}}$ や $A/\text{span}{e_{n+4}}$ を考え、関係を $A$ に戻して持ち上げることで行う。
• 線形結合やスケーリングを含む基底変換が、構造定数の正規化と余分なパラメータの削除に用いられる。
• 特殊ヘイゼンベルクn-リーブラケット代数および $\text{dim } A^2 = 1$ または $2$ の代数に関する既知の結果を用いて、場合を削減する。
• 同型型は非ゼロ乗法則および $\text{dim } Z(A)$ や $\text{dim } A^2$ などの不変量によって区別され、一意性が保証される。
• n=2 の場合、代数 $L_{6,22}(\theta)$ は、特性が2でない体上のリー代数分類から生じる特別なケースとして含まれる。

実験結果

リサーチクエスチョン

• RQ1 任意の体上での(n+3)次元の冪零n-リーブラケット代数の同型類は何か？
• RQ2 任意の体上での(n+4)次元のクラス2の冪零n-リーブラケット代数は、どのように分類できるか？
• RQ3 次元 $n+3$ または $n+4$ のn-リーブラケット代数のうち、$H(n,1)$ や $A_{n+2,3}$ のような既知の代数の拡張として得られるものは何か？
• RQ4 構造定数と中心的要素は、低次元の冪零n-リーブラケット代数の同型型をどのように決定するか？
• RQ5 商代数 $A/\text{span}{e_{n+4}}$ は、高次元の冪零n-リーブラケット代数の分類においてどのような役割を果たすか？

主な発見

• (n+3)次元の冪零n-リーブラケット代数の分類により、8つの同型型が得られた：$A_{n+3,1}$ から $A_{n+3,8}$ で、それぞれ異なる非ゼロ乗法則を有する。
• (n+4)次元のクラス2の冪零n-リーブラケット代数については、7つの同型型が得られた：$A_{n+4,1}$、$A_{n+4,2}$、$A_{n+4,3}$、$H(n,1)\oplus F(3)$、$H(2,2)\oplus F(1)$、$H(3,2)$、および $L_{6,22}(\theta)$。
• 代数 $A_{n+4,1}$ は $[e_1,\ldots,e_n] = e_{n+3}$ および $[e_2,\ldots,e_{n+1}] = e_{n+4}$ で定義され、基底変換により $A_{n+4,3}$ に同型である。
• 代数 $A_{n+4,2}$ は $n \geq 3$ の場合にのみ存在し、$[e_1,\ldots,e_n] = e_{n+3}$ および $[e_3,\ldots,e_{n+2}] = e_{n+4}$ で定義される。
• 代数 $L_{6,22}(\theta)$ は $n=2$ の場合に特別なケースとして現れ、$\text{dim } Z(A) = 2$ かつ $\text{dim } A^2 = 2$ である6次元の冪零リー代数であり、$H(2,1)\oplus F(2)$ とは同型でない。
• すべての代数はその非ゼロ乗法則によって完全に特徴付けられており、リストにない他の同型型は存在しない。