[論文レビュー] Generalized double extension and descriptions of qadratic Lie superalgebras

Ignacio Bajo, Saı̈d Benayadi+1 more|ArXiv.org|Dec 3, 2007

Algebraic structures and combinatorial models参考文献 15被引用数 19

ひとこと要約

本稿は、特性0の代数的に閉じた体上の有限次元の二次的リーヒューパーアルジブラを帰納的に記述するための一般化された二重拡張構成を導入する。すべてのこのようなヒューパーアルジブラが逐次的直交和および一般化された二重拡張によって得られることを証明し、可解な場合を完全に特徴づける。具体的には、$T^*$-拡張または$T^*$-拡張の余次元1のイデアルとして記述され、古典的なリーリング代数の結果をヒューパーアルジブラの文脈に一般化する。

ABSTRACT

A Lie superalgebra endowed with a supersymmetric, even, non-degenerate, invariant bilinear form is called a quadratic Lie superalgebra. In this paper we give inductive descriptions of quadratic Lie superalgebras in terms of generalized double extensions.

研究の動機と目的

• 代数的に閉じた体の特性0における有限次元の二次的リーヒューパーアルジブラの完全な帰納的分類を提供すること。
• 古典的二重拡張では、奇数部に非自明な中心を持つヒューパーアルジブラを記述できないという限界を克服すること。
• すべての可解な二次的リーヒューパーアルジブラを完全に記述できるように、$T^*$-拡張構成を一般化すること。
• 古典的二重拡張と$T^*$-拡張を統一する枠組みとしての一般化された二重拡張を確立すること。
• すべての可解な二次的リーヒューパーアルジブラが、$T^*$-拡張またはその非退化的イデアル（余次元1）に等長同型であることを確立すること。

提案手法

• 古典的二重拡張と$T^*$-拡張を包含する統一的構成としての一般化された二重拡張の概念を導入する。
• $T^*$-拡張構成（一般化された半直積に基づく）を用いて、より小さい代数から可解な二次的リーヒューパーアルジブラを構築する。
• コホノロジー的技法と不変な双線形形式の理論を用いて、計量の不変性と非退化性を保証する。
• 問題を商ヒューパーアルジブラに還元するために、次元$[\dim \mathfrak{g}/2]$の最大の自己同型的グレーディングされたイデアル$\mathfrak{I}$を構成する。
• 非退化な不変双線形形式の存在を用いて、商から元の代数への構造の等長同型による還元を実現する。
• 基底体の代数的閉包性を活用し、$\mathfrak{I}$の補空間上で計量を標準化することで、$T^*$-拡張への等長同型を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての二次的リーヒューパーアルジブラは、単一の一般化された拡張機構によって帰納的に構成可能か？
• RQ2 古典的二重拡張構成は、奇数部に中心を持つ特定の可解な二次的リーヒューパーアルジブラを記述できないのか？
• RQ3 $T^*$-拡張構成を、特定の部分クラスに限らず、すべての可解な二次的リーヒューパーアルジブラを記述できるように拡張可能か？
• RQ4 すべての可解な二次的リーヒューパーアルジブラは、$T^*$-拡張またはそのような拡張の余次元1のイデアルに等長同型か？
• RQ5 可解な場合における最大の自己同型的グレーディングされたイデアルの存在を保証する、中心および導来代数の構造的性質は何か？

主な発見

• 特性0の代数的に閉じた体上の有限次元の二次的リーヒューパーアルジブラは、すべて逐次的直交和および一般化された二重拡張によって構成可能である。
• すべての可解な二次的リーヒューパーアルジブラは、1次元のリーヒューパーアルジブラによる一般化された二重拡張の系列によって得られる。
• すべての可解な二次的リーヒューパーアルジブラは、次元$[\dim \mathfrak{g}/2]$の最大の自己同型的グレーディングされたイデアル$\mathfrak{I}$による商$\mathfrak{g}/\mathfrak{I}$の$T^*$-拡張に等長同型である。
• もし$\dim \mathfrak{g}$が偶数であれば、ヒューパーアルジブラは$\mathfrak{g}/\mathfrak{I}$の$T^*$-拡張に等長同型である。奇数であれば、そのような$T^*$-拡張内の非退化的グレーディングされたイデアル（余次元1）に等長同型である。
• 非退化性と不変性を持つ双線形形式のおかげで、可解な場合に最大の自己同型的グレーディングされたイデアル$\mathfrak{I}$（自己同型部分空間として最大のもの）の存在が保証される。
• 構成は、基底体の代数的閉包性を活用し、$\mathfrak{I}$の補空間上で計量を正規化することで、$T^*$-拡張への等長同型を保証する。