[论文解读] 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-型的分类与双线性型的等价类联系起来。
• 将结果推广至超空间与李超代数，包括 pe(k) 与 oΠΠ(n₀|n₁) 的导代数结构。
• 通过提供典范形式与结构数据，解决特征2下单李代数与超代数分类中的开放问题。

提出的方法

• 使用双线性型的矩阵表示，通过等价关系识别出典范矩阵，如 $J_{2n}$、$Π_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}(k)$ 的 $\mathfrak{pe}^{(1)}(k)$、$\mathfrak{pe}^{(2)}(k)$ 与 $\mathfrak{pe}^{(3)}(k)$。
• 利用迹条件与主对角线为零的条件，识别理想，并证明导代数模去中心后的单性。

实验结果

研究问题

• RQ1 在特征为2的域上，非退化双线性型（包括非对称型）的完整等价类是什么？
• RQ2 哪些李代数保持这些型，且其导代数在模去中心后何时是单的？
• RQ3 1-型的分类如何与双线性型的等价类相关联？
• RQ4 保持奇对称型的李超代数 $\mathfrak{pe}(k)$ 在维数为 $(k|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$ 为零矩阵的矩阵构成，而 $\mathfrak{pe}^{(2)}(k)$ 进一步要求 $\operatorname{tr} A = 0$（当 $k \geq 3$ 时），且 $\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$ 若尔当代数块构成。