[论文解读] Non-alternating Hamiltonian Lie algebras in characteristic 2.I

A. V. Kondrateva, М. И. Кузнецов+1 more|arXiv (Cornell University)|Dec 28, 2018

Algebraic structures and combinatorial models参考文献 10被引用 7

一句话总结

该论文通过构造在旗自同构群作用下非交替对称双线性型的完整不变量系，对特征为2的完美域上的分级非交替哈密顿李代数进行了分类。证明了除变量数为2、3或4，或某些变量高度为1的情况外，此类代数在过滤形变下是刚性的，并通过关联型的不变量建立了同构判别准则。

ABSTRACT

The classification of graded non-alternating Hamiltonian Lie algebras over perfect field of characteristic 2 is obtained. It is shown that the filtered deformations of such algebras correspond to non-alternating Hamiltonian forms with polynomial coefficients in divided powers. It is proved that graded non-alternating Hamiltonian algebras are rigid with respect to filtered deformations except for some cases when the number of variables is 2, 3, 4 or when the heights of some variables are equal to 1.

研究动机与目标

• 发展特征为2的域上非交替哈密顿李代数的一般理论。
• 利用在旗自同构群作用下对称双线性型的不变量，对分级非交替哈密顿李代数进行分类。
• 确定此类代数的过滤形变何时对应于分次幂多项式系数的非交替哈密顿型。
• 分析这些代数在过滤形变下的刚性，识别例外情况。
• 描述过滤和分级非交替哈密顿李代数的导子与自同构。

提出的方法

• 在特征为2的完美域上，针对非交替对称双线性型，在旗自同构群作用下构造完整的不变量系。
• 采用余诱导模与斯宾塞上同调的框架，借鉴S.M. 斯基宾关于卡坦型李代数过滤形变的方法。
• 应用嵌入定理与塞尔的对合性准则，分析过滤形变及其与哈密顿型的对应关系。
• 利用由子代数 $σ\mathscr{L}_0$ 定义的自然过滤，证明不变性与同构性质。
• 分析小 $n$ 和变量高度 $m_i$ 下关联李代数 $P(n,\overline{m},\omega)$ 的结构，以识别例外情况。
• 运用舒尔引理及 $L_{-1}$ 作为 $L_0$-模的绝对不可约性，建立分级代数之间的同构条件。

实验结果

研究问题

• RQ1 在特征为2的完美域上，分级非交替哈密顿李代数的完整分类是什么？
• RQ2 此类代数的过滤形变在何种条件下对应于分次幂多项式系数的非交替哈密顿型？
• RQ3 分级非交替哈密顿李代数在何种条件下于过滤形变下是刚性的？
• RQ4 这些代数的自同构与导子行为如何，特别是在例外情况下？
• RQ5 非交替哈密顿李代数的同构不变量是什么？它们如何决定代数的结构？

主要发现

• 若两个由同一旗 $\mathscr{F}$ 定义的分次非交替哈密顿李代数（定义在分次幂代数上）的对应双线性型的不变量相同，则它们同构。
• 分级非交替哈密顿李代数的过滤形变对应于分次幂多项式系数的非交替哈密顿型，除非 $n=2,3,4$ 或某些 $m_i=1$。
• 当变量数大于4，或变量高度超过1时，分级非交替哈密顿李代数在过滤形变下是刚性的。
• 当 $n=3$ 时，若 $b \neq 0$ 或 $c \neq 0$ 或 $m_3 > 1$，则代数 $P(3,\overline{m},\omega_1)$ 是单代数，维数为 $2^m - 1$；若 $b=c=0$，$m_3=1$，且 $(m_1,m_2) \neq (1,1)$，则维数为 $2^m - 2$。
• 当 $n=3$ 时，若 $(a,b,c) \neq (t,t,t)$ 对某个 $t \in K$，或 $\overline{m} \neq \overline{1}$，则 $P(3,\overline{m},\omega_2)$ 是单代数，维数为 $2^m - 1$。
• 当 $n=3$ 时，若 $(m_1,m_3) \neq (1,1)$ 或 $b \neq 0$ 或 $a \neq c$，则 $P(3,\overline{m},\omega_3)$ 是单代数，维数为 $2^m - 1$；否则当 $a=c$，$b=0$，$(m_1,m_3)=(1,1)$，且 $m_2 \neq 1$ 时，其导出代数是维数为 $2^m - 2$ 的单代数。