[論文レビュー] Non-degenerate bilinear forms in characteristic 2, related contact forms, simple Lie algebras and superalgebras

Alexei Lebedev|ArXiv.org|Jan 22, 2006

Advanced Algebra and Geometry参考文献 19被引用数 8

ひとこと要約

本稿は、非非退化な双一次形式（非対称形式を含む）を特徴2の体上で分類し、それらを保存するリー代数を特定する。これらのリー代数の導来代数が中心を除いて単純であることを示しており、特徴2における単純リー代数および超代数の分類への重要な一歩を提供する。古典的および超代数的ケースの両方について、明示的な標準形と構造的結果が得られている。

ABSTRACT

Non-degenerate bilinear forms over fields of characteristic 2, in particular, non-symmetric ones, are classified with respect to various equivalences, and the Lie algebras preserving them are described. Although it is known that there are two series of distinct finite simple Chevalley groups preserving the non-degenerate symmetric bilinear forms on the space of even dimension, the description of simple Lie algebras related to the ones that preserve these forms is new. The classification of 1-forms is shown to be related to one of the considered equivalences of bilinear forms. A version of the above results for superspaces is also given.

研究の動機と目的

• 特徴2の体上の非非退化な双一次形式（非対称形式を含む）を、さまざまな同値関係の下で分類すること。
• これらの形式を保存するリー代数、特にその導来代数および単純性の性質を記述すること。
• 1-形式の分類が双一次形式の同値類とどのように関係するかを明らかにすること。
• 結果を超空間およびリー超代数に拡張し、特に $\mathfrak{pe}(k)$ および $\mathfrak{o}_{\Pi\Pi}(n_0|n_1)$ の導来代数の構造を明らかにすること。
• 単純リー代数および超代数の分類における未解決問題を、標準形と構造的データの提供によって解決すること。

提案手法

• 双一次形式の行列表現を用い、同値関係の下で $J_{2n}$, $\Pi_n$, $S(n)$, $Z(2k)$ などの標準行列を同定する。
• 同値条件 $B = ACA^T$ を用いて、$GL(V)$-共役の下での形式の分類を実行する。
• 形式 $B$ を保存するリー代数 $L(B) = \{F \in \text{End}\,V \mid B(Fx,y) + B(x,Fy) = 0\}$ を分析し、その導来系列を計算する。
• 超代数に対しても同様の枠組みを適用し、超行列と次数を用いて、奇対称および非対称な超形式を保存するリー超代数を定義する。
• 直接計算と構造的解析を用いて、$\mathfrak{pe}^{(1)}(k)$, $\mathfrak{pe}^{(2)}(k)$, および $\mathfrak{pe}^{(3)}(k)$ を決定する。
• トレースおよび対角成分がゼロである条件を用いて、イデアルを同定し、中心を除いた導来代数の単純性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特徴2の体上の非非退化な双一次形式（非対称形式を含む）の完全な同値類は何か？
• RQ2 どのリー代数がこれらの形式を保存するのか？ また、その導来代数はいつ中心を除いて単純になるか？
• RQ3 1-形式の分類は、双一次形式の同値類とどのように関係するか？
• RQ4 次元 $(k|k)$ の超空間上で奇対称形式を保存するリー超代数 $\mathfrak{pe}(k)$ の導来系列の構造は何か？
• RQ5 非対称な奇超形式を保存するリー超代数の導来代数が単純になる条件は何か？

主な発見

• 特徴2における非非退化な対称双一次形式は、スプリット型とノンスプリット型に分類され、それらを保存するリー代数は同型でない。
• 形式 $\Pi_n$ を保存するリー代数 $\mathfrak{o}_\Pi(n)$ の導来代数 $\mathfrak{o}_\Pi^{(1)}(n)$ は中心 $Z \cong \mathbb{K}$ を除いて単純であり、$n$ が偶数のとき $\mathfrak{o}_\Pi^{(2)}(n)$ は単純である。
• ペリプレクティック超代数 $\mathfrak{pe}(k)$ に対して、$\mathfrak{pe}^{(1)}(k)$ は行列の対角成分がゼロのブロック $B$ と $C$ を持つ行列からなる。$k \geq 3$ のとき $\mathfrak{pe}^{(2)}(k)$ はさらに $\operatorname{tr} A = 0$ を要請し、$\mathfrak{pe}^{(3)}(k) = \mathfrak{pe}^{(2)}(k)$ である。
• $\mathfrak{o}_{\Pi\Pi}^{(2)}(n_0|n_1)$ は、$k = n_0 + n_1$ が偶数のときのみ中心を除いて単純であり、その中心は $\mathbb{K}$ に同型である。
• 1-形式の分類が、$GL(V)$ の作用によって誘導される双一次形式の同値関係と等価であることが示され、微分幾何的障害が代数的分類と結びついた。
• 奇非退化非対称超形式に対して、行列 $\left(\begin{smallmatrix} 0 & 1_k \\ J & 0 \end{smallmatrix}\right)$ を保存するリー超代数の導来代数は、$J$ が $1 \times 1$ チョウルスブロックからなるときのみ中心を除いて単純である。