[论文解读] Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k|2)

Yucai Su, R. B. Zhang|arXiv (Cornell University)|Nov 4, 2009

Algebraic structures and combinatorial models参考文献 17被引用 5

一句话总结

本文确定了正交symplectic李超代数 𝔬𝔰𝔭(k|2) 的广义 Verma 模的构成因子及其重数，从而导出了有限维不可约模的显式特征标和维数公式。利用这些结果，本文计算了该超代数在不可约模和 Kac 模上的第一与第二上同调群，为这一类表示提供了完整的结构与上同调描述。

ABSTRACT

The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules.

研究动机与目标

• 确定 𝔬𝔰𝔭(k|2) 的广义 Verma 模中构成因子及其重数。
• 为 𝔬𝔰𝔭(k|2) 上的有限维不可约模导出显式的特征标与维数公式。
• 计算 𝔬𝔰𝔪(k|2) 的第一与第二李超代数上同调群，系数为有限维不可约模与 Kac 模。
• 将正交symplectic 李超代数表示理论的理解拓展至有限维模范畴之外。

提出的方法

• 使用本原权图及其对偶图分析广义 Verma 模的结构。
• 应用李超代数表示理论中的技术，包括最高权模与抛物诱导。
• 利用正合列与上同调论证计算 H¹ 与 H² 群。
• 利用由移除唯一奇数单根得到的特殊 Borel 子代数与极大抛物子代数。
• 利用 Kac 模作为广义 Verma 模的最大有限维商模的结构。
• 依赖早期关于 Kac 模与上同调的工作结果，特别是 [21, 26]，以推导上同调结果。

实验结果

研究问题

• RQ1 广义 Verma 模在 𝔬𝔰𝔭(k|2) 下的构成因子及其重数是什么？
• RQ2 能否为有限维不可约 𝔬𝔰𝔭(k|2)-模导出显式的特征标与维数公式？
• RQ3 在不可约模与 Kac 模上，𝔬𝔰𝔭(k|2) 的第一与第二上同调群是什么？
• RQ4 上同调群如何与 Kac 模及广义 Verma 模的结构相关联？

主要发现

• 广义 Verma 模在 𝔬𝔰𝔭(k|2) 下的构成因子已完全确定，重数在定理 3.16 中明确给出。
• 有限维不可约模的显式特征标与维数公式已构造为类似于 Weyl 公式的有限和，如定理 3.17 所述。
• 第一上同调群 H¹(𝔤, K_λ) 仅在 λ = Λ⁽²⁾ 与 λ = Λ⁽³⁾ 时非零，且 H¹(𝔤, K_Λ⁽³⁾) ≅ ℂ，H¹(𝔤, K_Λ⁽²⁾) = 0。
• 第二上同调群 H²(𝔤, L_λ) 仅在 λ = Λ⁽⁰⁾, Λ⁽¹⁾, 与 Λ⁽³⁾ 时非零，且 H²(𝔤, L_Λ⁽¹⁾) ≅ ℂ，H²(𝔤, L_Λ⁽⁰⁾) = 0。
• 对于 Kac 模，H²(𝔤, K_λ) ≠ 0 仅当 λ = Λ⁽¹⁾ 与 λ = Λ⁽⁴⁾，且通过不可约模的构造确立了 H²(𝔤, K_Λ⁽⁴⁾) ≅ ℂ。
• 第二上同调群 H²(𝔤, ℂ) 为零，此结论通过正合列论证及中间上同调群的消失性得到证明。