[论文解读] The normal shapes of the symplectic and contact forms over algebras of divided powers

Serge Skryabin|arXiv (Cornell University)|Jun 27, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 5

一句话总结

本文在正特征下对分幂代数上的辛形式与接触形式进行分类，通过半线性代数与旗相容结构，确立了一类和二类辛形式及接触形式的正规形式。关键结果是：在等价关系下，不可约一类辛形式的完全分类被建立，其参数化形式为周期性或有限整数序列，正规形式显式依赖于半线性自同态。

ABSTRACT

This text is the English translation of a 1986 manuscript which gives the classification of the differential forms parametrizing the finite-dimensional Lie algebras of hamiltonian and contact Cartan types over fields of positive characteristic. The results of this paper have not been previously published in full.

研究动机与目标

• 对正特征下分幂代数上的辛形式与接触微分形式进行分类，扩展 Tyurin 与 Wilson 对体积形式的分类工作。
• 解决一类辛形式分类的开放问题，该问题需要交替双线性型、旗结构与半线性同构之间复杂相互作用。
• 在特征 $ p > 0 $ 的卡坦型李代数背景下，对辛形式与接触形式实现完全的正规形状分类。
• 在指定等价关系下，建立不可约一类辛形式的等价类与整数序列商集之间的一一对应关系。

提出的方法

• 分类依赖于群 $ G'(F) $ 在辛形式与接触形式上的作用分析，将问题约化为有限维向量空间上的半线性代数问题。
• 论文使用向量空间 $ E $ 的旗相容基，为每个不定元 $ x_i $ 分配高度 $ m_i $，从而确定分幂代数 $ O(F) $ 的结构。
• 对于一类辛形式，分类问题约化为包含两个有限维向量空间、交替双线性型、两个空间上的旗结构，以及旗因子之间半线性同构的系统。
• 形式的正规形状表示为 $ \sum_{i<j} \left(a_{ij} + b_{ij}x_i^{(p^{m_i}-1)}x_j^{(p^{m_j}-1)} \right) dx_i \wedge dx_j $，其中 $ (a_{ij}) $ 与 $ (b_{ij}) $ 为具有指定结构的矩阵。
• 矩阵 $ (b_{ij}) $ 的分类由序列 $ \overline{k}, \overline{\ell} $ 决定，这些序列为有限或无限周期序列，等价关系由公式 (6.45)–(6.47) 定义。
• 在代数闭域上，矩阵 $ (b_{ij}) $ 取规范的若尔当代数形式（6.55）或（6.56），具体取决于序列元素之和，等价性由底层半线性自同态决定。

实验结果

研究问题

• RQ1 在正特征下，分幂代数上一类辛形式的完全正规形状是什么？
• RQ2 辛形式与接触形式在群 $ G'\left(\fF\right) $ 作用下的轨道如何分解？哪些不变量可对它们进行分类？
• RQ3 旗因子空间之间半线性同构在一类辛形式分类中起什么作用？
• RQ4 二类辛形式与接触形式的正规形状与一类形式有何不同？
• RQ5 对不可约一类辛形式进行分类的等价关系是什么？其结构如何编码于形式矩阵系数中？

主要发现

• 一类辛形式的分类约化为包含两个向量空间、交替双线性型、旗结构以及旗因子之间半线性同构的系统分类，该问题在第 §6 节中已解决。
• 不可约一类辛形式与商集 $ \mathfrak{P}/\sim $ 的元素之间存在一一对应关系，其中 $ \mathfrak{P} $ 由两对序列 $ (\overline{k}, \overline{\ell}) $ 构成，且两序列均为有限或无限周期序列。
• 正规形式中矩阵 $ (b_{ij}) $ 由序列对决定：有限序列时由 (6.54) 给出，无限周期序列（周期为 $ t $）时依元素之和分别由 (6.55) 或 (6.56) 给出。
• 在代数闭域上，若 $ \sum k_i = \sum \ell_i $，则矩阵 $ (b_{ij}) $ 为若尔当代数块（6.55）；否则为 $ 2t \times 2t $ 矩阵（6.56），形式的等价性由底层半线性自同态的等价性决定。
• 二类辛形式的正规形状可快速分类，仅依赖于旗结构与形式系数。
• 接触形式的分类方式类似，其正规形状由类似不变量决定，等价类通过相同的半线性代数框架定义。