[論文レビュー] Deforms of Lie algebras in characteristic 2: Semi-trivial for Jurman algebras, non-trivial for Kaplansky algebras

Sofiane Bouarroudj, Alexei Lebedev+2 more|arXiv (Cornell University)|Jan 13, 2013

Advanced Topics in Algebra被引用数 3

ひとこと要約

本稿は特徴2の代数的構造において、ヤコビ代数の変形を調査し、特にタイプ2およびタイプ4のカプランスキー代数に対して、根に関して非線形な新しい $\mathbb{Z}/2$-順序を用いて非自明な変形を同定する。この研究は、グリシュコフの主張を裏付けるものであり、導来交代ハミルトニアン代数の半自明な変形としてジュルマン代数が得られることを示し、単純なモジュラー代数の分類を進める。

ABSTRACT

Of four types of Kaplansky algebras, type-2 and type-4 algebras have previously unobserved $\mathbb{Z}/2$-gradings: nonlinear in roots. A method assigning a simple Lie superalgebra to every $\mathbb{Z}/2$-graded simple Lie algebra in characteristic 2 is illustrated by seven new series. Type-2 algebras and one of the two type-4 algebras are demystified as nontrivial deforms (the results of deformations) of the alternate Hamiltonian algebras. The type-1 Kaplansky algebra is recognized as the derived of the nonalternate version of the Hamiltonian Lie algebra, the one that preserves a tensorial 2-form, not an exterior one. Deforms corresponding to nontrivial cohomology classes can be isomorphic to the initial algebra, e.g., we confirm Grishkov's implicit claim and explicitly describe the Jurman algebra as such a semitrivial deform of the derived of the alternate Hamiltonian Lie algebra. This paper helps to sharpen the formulation of a conjecture describing all simple finite-dimensional Lie algebras over any algebraically closed field of nonzero characteristic and supports a conjecture of Dzhumadildaev and Kostrikin stating that all simple finite-dimensional modular Lie algebras are either of standard type or deforms thereof. In characteristic 2, we give sufficient conditions for the known deformations to be semitrivial.

研究の動機と目的

• 特徴2における単純な有限次元ヤコビ代数の変形理論を明確化すること。
• 特にタイプ2およびタイプ4のカプランスキー代数の非自明な変形を同定し、分類すること。
• グリシュコフの暗黙の主張、すなわちジュルマン代数が導来交代ハミルトニアン代数の半自明な変形として生じることを確認すること。
• すべての単純なモジュラー代数が標準型またはその変形であるという予想を支持すること。
• 特徴2における既知の変形が半自明であるための十分条件を提示すること。

提案手法

• 特徴2における $\mathbb{Z}/2$-順序単純ヤコビ代数から単純ヤコビスーパー代数を割り当てる手法を適用すること。
• Lie代数の $\mathbb{Z}/2$-順序から、7つの新しい単純ヤコビスーパー代数の系列を構成すること。
• 特に非自明なコホモロジー類に注目して、変形を解析するためのコホモロジー的技術を用いること。
• 交代でないハミルトニアンヤコビ代数がテンソリアル2形式を保存する性質を持つ、タイプ1カプランスキー代数の構造を分析すること。
• 特定の変形が元の代数と同型である場合、それらは半自明であると示すこと。
• コホモロジー的データに基づいて、変形が半自明であるための十分条件を提示すること。

実験結果

リサーチクエスチョン

• RQ1 特徴2におけるカプランスキー代数に非自明な変形は存在するか？ もし存在するならば、どのように分類できるか？
• RQ2 ジュルマン代数は、導来交代ハミルトニアンヤコビ代数の半自明な変形として実現可能か？
• RQ3 $\mathbb{Z}/2$-順序が根に関して非線形であることは、新しいヤコビスーパー代数の構成において果たす役割は何か？
• RQ4 非交代ハミルトニアンヤコビ代数の変形は、タイプ1カプランスキー代数とどのように関係するか？
• RQ5 特徴2におけるヤコビ代数の変形が半自明であるためのコホモロジー的条件は何か？

主な発見

• タイプ2およびタイプ4のカプランスキー代数は、根に関して非線形な以前に観察されていなかった $\mathbb{Z}/2$-順序を持つことが判明した。
• 特徴2において $\mathbb{Z}/2$-順序法を用いて、7つの新しい単純ヤコビスーパー代数の系列が構成された。
• タイプ2代数および1つのタイプ4代数が、交代ハミルトニアンヤコビ代数の非自明な変形であることが示された。
• ジュルマン代数が導来交代ハミルトニアンヤコビ代数の半自明な変形として明示的に確認され、グリシュコフの暗黙の主張が正当化された。
• タイプ1カプランスキー代数は、テンソリアル2形式を保存する非交代ハミルトニアンヤコビ代数の導来代数として特定された。
• コホモロジー的データに基づいて、特徴2における変形が半自明であるための十分条件が提示された。