[論文レビュー] Enveloping algebras of solvable Malcev algebras of dimension five

Murray R. Bremner, Marina Tvalavadze|arXiv (Cornell University)|Aug 11, 2010

Advanced Topics in Algebra参考文献 2被引用数 3

ひとこと要約

本稿では、5次元の可解なマルツェフ代数の1パラメータ族に対する普遍非可換および非可換代数的包あらわし代数の明示的な構造定数を構成する。普遍包あらわし代数の中心を特定し、それがパラメータγが有理数である場合にのみ非自明であることを示し、これらのマルツェフ代数が代数的包あらわし代数への埋め込みによって特別であることを証明する。

ABSTRACT

We study the universal enveloping algebras of the one-parameter family of solvable 5-dimensional non-Lie Malcev algebras. We explicitly determine the universal nonassociative enveloping algebras (in the sense of Perez-Izquierdo and Shestakov) and the centers of the universal enveloping algebras. We also determine the universal alternative enveloping algebras.

研究の動機と目的

• 5次元可解マルツェフ代数の普遍非可換包あらわし代数$ U(M) $および普遍代数的包あらわし代数$ A(M) $の明示的構造定数を計算すること。
• 普遍包あらわし代数$ U(M) $の中心を特定し、それが非自明となる条件を同定すること。
• 1パラメータ族の5次元可解マルツェフ代数が特別であること、すなわち代数的代数の交換子代数に埋め込めるということを証明すること。
• マルツェフ代数をその交換子代数の部分代数として含む、より小さい無限次元代数的代数$ \mathbb{A}_\gamma $を構成すること。
• 有限次元特別マルツェフ代数が必ず有限次元代数的包あらわし代数をもつのかどうかを検討し、分野における未解決問題を提示すること。

提案手法

• マルツェフ恒等式と交換子構造を記述する関係によって生成されるイデアルで、$ M $の基底上の自由非可換代数を割ることで$ U(M) $を構成する。
• 非減少多重指数に添えられた左タップド単項式$ \overline{a}_I $を用い、$ U(M) $の基底を構成し、$ M $上の多項式代数とのPBW型同型を保証する。
• 構造定数と結合子恒等式を用いて、$ U(M) $における交換子$ [x,s] $および左乗法$ sx $を計算する再帰的公式（補題2.3）を導出する。
• すべての結合子$ (x,y,z) $によって生成されるイデアル$ I(M) $を定義し、$ A(M) = U(M)/I(M) $を普遍代数的商として構成する。
• 基底$ \{a^r, b, c, d, e \mid r \geq 1\} $を持つ明示的な代数的代数$ \mathbb{A}_\gamma $を構成し、$ a^r \cdot a^s = a^{r+s} $および$ e \cdot a^r = (-\gamma)^r e $により積を定義し、結合子の消滅によって代数的性を検証する。
• $ \mathbb{I}_\gamma = \mathrm{span}\{a^t - a^s\} $による商の議論を用い、$ \mathbb{A}_\gamma' / \mathbb{I}_\gamma $が代数的であることを示し、すべての基底結合子が消えることを確認することで、これを全体$ \mathbb{A}_\gamma $に拡張する。

実験結果

リサーチクエスチョン

• RQ1 5次元可解マルツェフ代数$ \mathbb{M}_\gamma $の普遍非可換包あらわし代数$ U(M) $の明示的構造定数は何か？
• RQ2 中心$ U(M) $の構造は何か？ そしてどのγの値に対して非自明か？
• RQ3 普遍代数的包あらわし代数$ A(M) $は有限次元か、無限次元か？
• RQ4 マルツェフ代数$ \mathbb{M}_\gamma $は、有限次元代数的代数の交換子代数に埋め込めるか？
• RQ5 すべての有限次元特別マルツェフ代数は、有限次元代数的包あらわし代数をもつのか？

主な発見

• 5次元可解マルツェフ代数$ \mathbb{M}_\gamma $の普遍非可換包あらわし代数$ U(M) $は、左タップド単項式の明示的基底と、再帰的交換子公式から導かれる構造定数を持つ。
• 中心$ U(M) $は、パラメータγが有理数である場合にのみ非自明であり、結合子恒等式を用いて明示的な中心的元が構成される。
• 普遍代数的包あらわし代数$ A(M) $は無限次元であり、$ I(M) $を生成する結合子イデアルによる商$ U(M)/I(M) $として実現される。
• マルツェフ代数$ \mathbb{M}_\gamma $は特別である：無限次元代数的代数$ \mathbb{A}_\gamma $の交換子代数の部分代数として埋め込める。
• $ \mathbb{A}_\gamma $は代数的である：すべての基底結合子が消えることが直接計算と$ \mathbb{I}_\gamma $による商の議論で確認された。
• 代数$ \mathbb{A}_\gamma $の構成により、$ U(M) $よりも小さい無限次元代数的包あらわし代数が得られ、代数的性はすべての基底要素について$ (x,y,z) = (y,x,z) $および$ (x,y,z) = (x,z,y) $が成り立つことによって確認された。