[論文レビュー] Solvable Leibniz algebra with non-Lie and non-split naturally graded filiform nilradical and its rigidity

M. Ladra, K. K. Masutova+1 more|arXiv (Cornell University)|Feb 23, 2016

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

ひとこと要約

この論文は、非リーで非分裂な自然に階数付きフィルフォーム的ネイルラジカルをもつ複素可解Leibniz代数の分類に関する、以前に発表された誤りを是正する。著者らは、ネイルラジカルが $F_n^1$ である一意的な $(n+2)$-次元可解Leibniz代数 $R(F_n^1)$ を構成し、自身への係数をとる第二ホモロジー群が自明であることを示すことにより、その剛性を証明する。これにより、複素Leibniz代数の族における剛性代数としての同定が確認される。

ABSTRACT

The description of complex solvable Leibniz algebras whose nilradical is a naturally graded filiform algebra is already known. Unfortunately, a mistake was made in that description. Namely, in the case where the dimension of the solvable Leibniz algebra with nilradical $F_n^1$ is equal to $n+2$, it was asserted that there is no such algebra. However, it was possible for us to find a unique $(n+2)$-dimensional solvable Leibniz algebra with nilradical $F_n^1$. In addition, we establish the triviality of the second group of cohomology for this algebra with coefficients in itself, which implies its rigidity.

研究の動機と目的

• 文献[6]で主張された、ネイルラジカルが $F_n^1$ である $(n+2)$-次元可解Leibniz代数が存在しないという主張の誤りを是正すること。
• 非リーで非分裂な自然に階数付きフィルフォーム的ネイルラジカル $F_n^1$ をもつ一意的な $(n+2)$-次元可解Leibniz代数 $R(F_n^1)$ を構成し、その性質を特定すること。
• 第二ホモロジー群 $H^2(R(F_n^1), R(F_n^1))$ が自明であることを証明し、代数の剛性を確立すること。
• $R(F_n^1)$ が複素Leibniz代数の族において剛性代数であることを確認することにより、その軌道が族の既約成分をなすことの裏付けを提供すること。

提案手法

• 著者らは、フィルフォーム的ネイルラジカルをもつ可解Leibniz代数の分類に関する先行研究における誤りを特定し是正する。
• 基底 $e_1, \dots, e_n, x_1, x_2$ を用い、構造定数を介してLeibniz括弧を定義することで、ネイルラジカルが $F_n^1$ である一意的な $(n+2)$-次元可解Leibniz代数 $R(F_n^1)$ を明示的に構成する。
• Chevalley-Eilenberg複体を用いて、第二ホモロジー群 $H^2(R(F_n^1), R(F_n^1))$ を計算し、コサイクル条件 $d^2\varphi = 0$ から導かれる一次方程式系を解く。
• 2-コサイクル $\varphi$ の成分を構造定数 $a_{i,j}^k$ の関数として求め、すべての基底三重組に対して $d^2\varphi$ が消えることを検証する。
• 基底要素のすべての組み合わせ、特に $ (e_i, e_j, x_k) $、$ (e_i, x_j, e_k) $、$ (x_i, x_j, x_k) $ に対してコサイクル条件から制約を導出し、一次方程式系を構成する。
• 最終的な結果として、$\dim H^2(R(F_n^1), R(F_n^1)) = 0$ が得られ、[4]の基準により、第二ホモロジー群が自明であることから剛性が保証される。

実験結果

リサーチクエスチョン

• RQ1 文献[6]の主張とは対照的に、ネイルラジカルが $F_n^1$ である $(n+2)$-次元可解Leibniz代数は存在するのか？
• RQ2 一意的な代数 $R(F_n^1)$ の構造は何か？ そのLeibniz括弧はどのように定義されるのか？
• RQ3 第二ホモロジー群 $H^2(R(F_n^1), R(F_n^1))$ は自明であるか？ これは代数の剛性にどのような意味を持つのか？
• RQ4 コホモロジー的基準を用いて、代数 $R(F_n^1)$ が剛性をもつことを示せるか？ また、これはLeibniz代数の族における既約成分をなすのか？

主な発見

• この論文は、以前の主張とは対照的に、ネイルラジカルが $F_n^1$ である一意的な $(n+2)$-次元可解Leibniz代数 $R(F_n^1)$ が存在することを証明し、誤りを是正する。
• 代数 $R(F_n^1)$ は基底 $\{e_1, \dots, e_n, x_1, x_2\}$ をもち、構造定数を用いた特定のLeibniz括弧関係により明示的に定義される。
• 第二ホモロジー群 $H^2(R(F_n^1), R(F_n^1))$ は自明である、すなわち $\dim H^2(R(F_n^1), R(F_n^1)) = 0$ であることが、コサイクル条件からの方程式系の解法により示された。
• 第二ホモロジー群の自明性は、$R(F_n^1)$ が複素Leibniz代数の族において剛性代数であることを意味する。
• 代数 $R(F_n^1)$ は剛性をもち、$\mathrm{GL}_n(\mathbb{C})$-作用におけるその軌道が開集合であり、その閉包が $(n+2)$-次元Leibniz代数の族の既約成分をなす。
• 2-コサイクル空間の次元は $\dim ZL^2(R(F_n^1), R(F_n^1)) = (n+2)^2 - 3$ であるが、コホモロジーが消えることから、剛性が確認される。