[论文解读] Infinitesimal deformations of symmetric simple modular Lie algebras and Lie superalgebras

Sofiane Bouarroudj, Pavel Grozman+1 more|arXiv (Cornell University)|Jul 18, 2008

Algebraic structures and combinatorial models参考文献 18被引用 9

一句话总结

本文研究了在代数闭域的正特征下，对称简单模李代数与李超代数的无穷小形变，使用 SuperLie Mathematica 软件包。结果表明，所有奇类胞状（odd cocycles）均给出可积形变，而偶类胞状（even cocycles）并不总是可积；当它们可积时，全局形变关于参数是线性的。在特征 2 的情况下，三维简单李代数允许一个连续的一族非同构形变，且某些 G(2) 的变体被证明源自于 Chebochko 之前发现的 20 个无穷小形变所导出的两个全局形变。

ABSTRACT

Abstract. Over algebraically closed fields of positive characteristic, infinitesimal deformations of simple finite dimensional symmetric (the ones that with every root have its opposite of the same multiplicity) Lie algebras and Lie superalgebras are described for small ranks. The results are obtained by means of the Mathematica based code SuperLie. The infinitesimal deformation given by any odd cocycle is integrable. The moduli of the deformations form, in general, a supervariety. Not each even cocycle is integrable; but for those that are integrable, the global deforms (the results of deformations) are linear with respect to the parameter. In characteristic 2, the simple 3-dimensional Lie algebra admits a parametric family of non-isomorphic simple deforms. Some of Shen’s ”variations of G(2) theme ” are interpreted as two global deforms corresponding to the several of the 20 infinitesimal deforms first found by Chebochko; we give their explicit form. 1.

研究动机与目标

• 对代数闭域正特征下小秩的对称简单有限维李代数与李超代数的无穷小形变进行分类。
• 确定哪些无穷小形变是可积的，并描述由此产生的形变代数的全局结构。
• 将已知的 G(2) 变体解释为源自先前识别的无穷小形变的全局形变。
• 分析形变的模空间，表明其通常构成一个超流形（supervariety）。

提出的方法

• 本研究采用在 Mathematica 中实现的 SuperLie 计算机代数系统，计算对称模李代数与超代数的上同调与形变数据。
• 通过李代数在伴随模上的上同调分析无穷小形变，重点关注奇类与偶类胞状。
• 通过检查形变是否可延拓为形式幂级数形变，评估胞状的可积性。
• 研究形变模空间的结构，表明其通常为超流形，这是由于奇参数的存在。
• 为可积偶类胞状对应的全局形变推导出显式形式，证明其关于形变参数为线性。
• 通过将已知的 G(2) 变体与源自 Chebochko 的 20 个无穷小形变的两个特定全局形变相匹配，重新解释其为全局形变。

实验结果

研究问题

• RQ1 哪些对称模李代数与超代数的无穷小形变是可积的？其对应的全局形变结构如何？
• RQ2 形变模空间的行为如何？为何其通常构成超流形？
• RQ3 已知的 G(2) 变体能否系统地从先前识别的无穷小形变中导出为全局形变？
• RQ4 在对称模李代数的形变理论中，奇类与偶类胞状各自起什么作用？
• RQ5 在特征 2 下，特别是低秩情形下，可能产生何种类型的连续非同构简单形变族？

主要发现

• 所有源自奇类胞状的无穷小形变都是可积的，确保了这些情形下全局形变的存在性。
• 对于可积的偶类胞状，其对应的全局形变关于形变参数为线性，表明其具有简单的代数结构。
• 在特征 2 下，三维简单李代数允许一个连续的一参数族非同构简单形变。
• 形变模空间通常为超流形，反映了形变参数的超代数性质。
• Shen 的若干‘G(2) 主题变体’被明确证明对应于源自 Chebochko 的 20 个无穷小形变的两个全局形变。
• 提供了实现这些与 G(2) 相关变体的两个全局形变的显式形式，确认了其代数结构。