[論文レビュー] On Classification of Finite Dimensional Complex Filiform Leibniz Algebras (PartI)

Ural Bekbaev, I. S. Rakhimov|ArXiv.org|Dec 28, 2006

Advanced Topics in Algebra参考文献 6被引用数 9

ひとこと要約

本稿では、構造定数に基づく代数的不変量を用いて同型を決定することで、直接計算を避ける、有限次元複素フィルフォルムLeイブニッツ代数の分類のための新しい不変量に基づく手法を提示する。主な貢献は、次元6から8の第一類のフィルフォルムLeイブニッツ代数の完全な分類であり、同型類を完全に特徴付ける明示的な有理関数 $\rho_i$ が得られている。

ABSTRACT

The paper is devoted to classification problem of finite dimensional complex none Lie filiform Leibniz algebras. The motivation to write this paper is an unpublished yet result of J.R.Gomez, B.A.Omirov on necessary and sufficient conditions for two finite dimensional complex filiform Leibniz algebras to be isomorphic. We suggest another approach to this problem. The approach that we use for classification is in terms of invariants. In fact, utilizing this method for any given low dimensional case all filiform Leibniz algebras can be classified. Moreover, the results can be used for geometrical classification of orbits of such algebras. Key-Words: filiform Leibniz algebra, invariant, function, isomorphism.

研究の動機と目的

• 代数的不変量を用いて、有限次元複素非リー型フィルフォルムLeイブニッツ代数を体系的に分類すること。
• 高次元において誤りを伴いやすく複雑になる直接計算手法の限界を克服すること。
• 構造定数の不変関数に基づいた、フィルフォルムLeイブニッツ代数間の同型基準を確立すること。
• 今後の研究として示唆された幾何的不変量理論の観点からの軌道の幾何的分類の基盤を築くこと。
• 次元6、7、8における第一類のフィルフォルムLeイブニッツ代数の完全な分類を、導出された不変量を用いて提示すること。

提案手法

• $n$次元のLeイブニッツ代数を、その構造定数 $\gamma_{ij}^k$ を用いて $\mathrm{Alg}_n(\mathbb{C}) \cong \mathbb{C}^{n^3}$ の点として表現する。
• $GL_n(\mathbb{C})$ の $\mathrm{Alg}_n(\mathbb{C})$ への作用を用いて、同型類を群作用の軌道として定義する。
• 同型変換に対して不変である関数 $\rho_i$ を定義し、構造定数の比から構成する。
• 第一類のフィルフォルムLeイブニッツ代数に対して、$\alpha_3, \alpha_4, \alpha_5, \ldots, \theta$ に依存する明示的な有理関数不変量 $\rho_i$ を導出する。
• 不変量 $\rho_i$ を用いて同型を特徴づける：2つの代数が同型であるための必要十分条件は、それらの $\rho_i$ 値が一致することである。
• 任意の $n$-重の複素数値が、その族に属するある代数によって実現可能であることを確認し、分類の完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元複素フィルフォルムLeイブニッツ代数間の同型を判定するための完全かつ計算可能な基準は何か？
• RQ2 構造定数から体系的に不変関数を導出し、直接軌道計算を避けて同型類を分類することは可能か？
• RQ3 低次元におけるフィルフォルムLeイブニッツ代数の分類をどのように体系的かつ誤りのない方法で行えるか？
• RQ4 次元6、7、8における第一類のフィルフォルムLeイブニッツ代数の同型類を完全に特徴付ける明示的な不変量は何か？
• RQ5 提案された不変量手法を、幾何的不変量理論の意味での軌道の幾何的分類に拡張可能か？

主な発見

• 次元 $n=5$（$\dim L=6$）の場合、同型類は1つの不変量 $\rho_4 = \frac{\alpha_4(\alpha_4^2\theta - \alpha_4^3\alpha_3 - 3\alpha_5^3)}{\alpha_5^3}$ によって完全に決定される。
• 次元 $n=6$（$\dim L=7$）の場合、2つの不変量 $\rho_4 = \frac{\alpha_4(\alpha_6 + 3\alpha_4^2)}{\alpha_5^2} - 3$ および $\rho_5 = \left(\frac{\alpha_4}{\alpha_5}\right)^4(\theta - \alpha_6) + \frac{\alpha_4(\alpha_6 + 3\alpha_4^2)}{\alpha_5^2} - 3$ が同型類を完全に分類する。
• 次元 $n=7$（$\dim L=8$）の場合、3つの不変量 $\rho_4$, $\rho_5$, および $\rho_6$ が必要であり、それぞれ $\rho_4 = \frac{\alpha_4(\alpha_6 + 3\alpha_4^2)}{\alpha_5^2} - 3$, $\rho_5 = \frac{\alpha_4^2(\alpha_7 + 7\alpha_4\alpha_5)}{\alpha_5^3} - 7$, および $\rho_6 = \left(\frac{\alpha_4}{\alpha_5}\right)^5(\theta - \alpha_7) + \frac{\alpha_4^2(\alpha_7 + 7\alpha_4\alpha_5)}{\alpha_5^3} - 7$ である。
• 不変量 $\rho_i$ は構造定数の有理関数であり、同型変換に対して不変である。
• $n \geq 5$ に対して、任意の2つの代数が第一類に属する場合、$i=4$ から $n-1$ までについて $\rho_i$ の値が一致するときかつそのときに限り同型である。
• 任意の $n-4$ 重の複素数の組に対して、その不変量 $\rho_i$ がその組と一致する第一類のフィルフォルムLeイブニッツ代数が存在する。これは分類の完全性を示している。