[论文解读] Finite dimensional special odd contact superalgebras over a field of prime characteristic

Wende Liu, Jixia Yuan|ArXiv.org|Nov 18, 2009

Advanced Topics in Algebra参考文献 9被引用 8

一句话总结

本文研究了在特征为 p > 3 的域上的有限维特殊奇接触超代数，确定了其生成集、单性、维数公式、超导子代数及一阶上同调群。主要贡献在于证明这些超代数与其它已知的Cartan型模李超代数不构同构，通过上同调与导子代数不变量确立了其独特的结构。

ABSTRACT

This paper considers a family of finite dimensional simple Lie superalgebras of Cartan type over a field of characteristic $p>3$, the so-called special odd contact superalgebras. First, the spanning sets are determined for the Lie superalgebras and their relatives. Second, the spanning sets are used to characterize the simplicity and to compute the dimension formulas. Third, we determine the superderivation algebras and the first cohomology groups. Finally, the dimension formulas and the first cohomology groups are used to make a comparison between the special odd contact superalgebras and the other simple Lie superalgebras of Cartan type.

研究动机与目标

• 刻画在特征为 p > 3 的域上的有限维特殊奇接触超代数。
• 确定这些超代数的生成集、单性条件及维数公式。
• 计算超导子代数与一阶上同调群。
• 通过上同调与结构不变量，将这些超代数与其它Cartan型模李超代数进行比较。

提出的方法

• 利用除幂代数与外代数，将这些超代数构造为广义Witt超代数的子代数。
• 通过涉及哈密顿型算子与接触形式的特定导子映射定义奇接触超代数。
• 利用除幂与Grassmann变量的单项式生成集，分析代数结构。
• 应用上同调技术计算一阶上同调群，并确定外导子。
• 通过换位子关系与奇偶性分析，确立外导子的线性无关性。
• 将这些超代数的超导子代数与一阶上同调群与其他模李超代数（如 S、HO、K）进行比较，以检测不构同构性。

实验结果

研究问题

• RQ1 在特征为 p > 3 的素数时，有限维特殊奇接触超代数的维数公式是什么？
• RQ2 这些超代数的超导子代数与其它Cartan型模李超代数的超导子代数相比如何？
• RQ3 这些超代数的一阶上同调群的结构是什么？
• RQ4 特殊奇接触超代数是否与其它已知的模李超代数族（如 S、HO 或 K）构同构？
• RQ5 哪些不变量可将特殊奇接触超代数与其他模李超代数区分开？

主要发现

• 特殊奇接触超代数的外导子代数的维数由二项式系数之和与涉及 δ′_{nλ,−1} 的修正项给出，具体为 dim Der_out(g) = Σ_{k∈S₀(λ,n)} (n choose k) + Σ_{k∈S₂(λ,n)} (n choose k) + |t| − n + 1 + δ′_{nλ,−1}。
• 一阶上同调群已计算，并用作区分特殊奇接触超代数与其他模李超代数的不变量。
• 超导子代数被证明同构于一个李超代数 L，其显式生成元与关系由换位子恒等式导出。
• 超代数 SKO(p+2,p+3; (p−1)/2, r) 对任意 m,n > 2, r ∈ ℕ^{p+2}, t ∈ ℕ^m，均不构同于 S(m,n;t)、HO(m,m;t) 或 K(m,n;t)。
• 通过除幂与Grassmann变量的单项式显式构造了生成集，从而推导出单性与维数公式。
• 特殊奇接触超代数的结构比非模情形更复杂，在Cartan型有限维模李代数中无对应类比。