[論文レビュー] Semisimple Leibniz algebras and their derivations and automorphisms

Shavkat Ayupov, Karimbergen Kudaybergenov+2 more|arXiv (Cornell University)|Aug 27, 2017

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

ひとこと要約

この論文は、有限次元複素半単純Leibniz代数の完全な分類を提供し、それらが半単純Lie代数と平方で生成されるイデアルの直和に分解されることを示している。導分作用素と自己同型の構造を完全に記述し、自己同型群が構造を保存する自己同型と、加群準同型から誘導される単型自己同型からなる正規部分群の半直積であることが明らかになった。

ABSTRACT

The present paper is devoted to the description of finite-dimensional semisimple Leibniz algebras over complex numbers, their derivations and automorphisms.

研究の動機と目的

• 有限次元複素半単純Leibniz代数を分類すること。
• そのような代数の導分作用素と自己同型の構造を特定すること。
• 半単純Leibniz代数の自己同型群が単純Leibniz代数のそれとどのように異なるかを明確にすること。
• 半単純Leibniz代数の自己同型群の正確な記述を、Lie代数自己同型と加群準同型の観点から確立すること。

提案手法

• Barnesの分解を用いて、任意の半単純Leibniz代数を半単純Lie代数 𝒮 と平方で生成されるイデアル 𝒫 の直和として表現する。
• Schurの補題と半単純Lie代数の表現論を用いて、𝒮 が 𝒫 に作用する様子を解析する。
• 導分作用素を 𝒮 と 𝒫 に作用する成分に分解することで特徴づけ、導分作用素が分解を保存することを示す。
• 行列表現を用いて自己同型群を記述し、𝒮、𝒫、または両方を保存する部分群を区別する。
• 自己同型群が構造を保存する自己同型と、単型自己同型からなる正規部分群の半直積であることを証明する。
• 加群準同型の加法的群と、単型部分の自己同型の乗法的群との間の同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限次元複素半単純Leibniz代数はどのように完全に分類できるか？
• RQ2 半単純Leibniz代数の導分作用素代数の構造は何か？
• RQ3 半単純Leibniz代数の自己同型群は単純Leibniz代数のそれとどのように異なるか？
• RQ4 半単純Leibniz代数の自己同型群の正確な群論的構造は何か？
• RQ5 半単純Lie代数 𝒮 の自己同型群が、全Leibniz代数の自己同型群と同型となる条件は何か？

主な発見

• 任意の有限次元複素半単純Leibniz代数は、𝒯 が半単純Lie代数で 𝒫 が平方で生成されるイデアルである直和 𝒮 ⨁ 𝒫 に分解される。
• 半単純Leibniz代数の導分作用素代数は、その非分解成分の導分作用素代数の直和と同型である。
• 半単純Leibniz代数の自己同型群は、半単純Lie代数部分を保存する自己同型群と、単型自己同型からなる正規部分群の半直積と同型である。
• 単型自己同型は、𝒮-加群準同型の空間からパラメトライズされる。
• 半単純Lie代数 𝒮 にタイプ A_l、D_l、または E_6 の単純成分が存在しない場合、𝒮 の自己同型群は、全Leibniz代数の自己同型群と同型であり、かつ 𝒮 を保存する。
• 全Leibniz代数の自己同型群は、構造を保存する自己同型と単型自己同型によって生成され、後者は正規部分群をなす。