[论文解读] Generalised Jantzen filtration of Lie superalgebras II: the exceptional cases

Yucai Su, R. B. Zhang|arXiv (Cornell University)|Mar 20, 2013

Algebraic structures and combinatorial models参考文献 23被引用 3

一句话总结

本文证明了例外李超代数 $D(2,1;a)$、$F_4$ 和 $G_3$ 上抛物Verma模的Jantzen滤子即为唯一的Loewy滤子，其分解数由反Kazhdan-Lusztig多项式确定。研究提供了有限维单模的显式子模格结构、特征标与维数公式，并通过 ${\mathfrak{u}}^{-}$-同调计算上同调群，将此前在I型李超代数中的结果推广至例外情形。

ABSTRACT

Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finite dimensional simple modules are obtained.

研究动机与目标

• 将Jantzen滤子理论从I型李超代数推广至例外李超代数，包括 $D(2,1;a)$、$F_4$ 和 $G_3$。
• 确定这些例外超代数在抛物范畴 $\mathcal{O}^\mathfrak{p}$ 中抛物Verma模的子模格结构。
• 推导这些超代数上有限维单模的显式特征标与维数公式。
• 利用抛物Verma模的结构，计算有限维单模与Kac模的一阶与二阶上同调群。

提出的方法

• 通过形变技巧在抛物范畴 $\mathcal{O}^\mathfrak{p}$ 中的抛物Verma模 $V(\lambda)$ 上构造Jantzen型滤子。
• 利用本原权图与抛物Verma模的结构定理，对子模进行分类并确定完整的子模格。
• 利用子模格结构计算单模的 ${\mathfrak{u}}^{-}$-同调群，这对确定分解数至关重要。
• 通过将分解数与反Kazhdan-Lusztig多项式的系数关联，应用广义Kazhdan-Lusztig理论。
• 利用滤子结构与反Kazhdan-Lusztig多项式推导特征标与维数公式。
• 应用文献[33]中关于 $\mathfrak{osp}_{k|2}$ 的结果，将Jantzen滤子结果推广至 $\mathfrak{osp}_{m|2}$，并利用超对偶性在高阶情形中获得进一步洞察。

实验结果

研究问题

• RQ1 例外李超代数上抛物Verma模的Jantzen滤子是否与唯一的Loewy滤子重合？
• RQ2 在例外情形下，Jantzen滤子各层的分解数是否由反Kazhdan-Lusztig多项式的系数决定？
• RQ3 在 $D(2,1;a)$、$F_4$ 与 $G_3$ 的抛物范畴 $\mathcal{O}^\mathfrak{p}$ 中，抛物Verma模的子模格的显式结构为何？
• RQ4 能否为这些例外超代数上的有限维单模推导出显式的特征标与维数公式？
• RQ5 这些超代数上有限维单模与Kac模的一阶与二阶上同调群为何？

主要发现

• 在 $D(2,1;a)$、$F_4$ 与 $G_3$ 上，抛物Verma模的Jantzen滤子即为唯一的Loewy滤子，意味着所有商层均为半单且滤子长度最小。
• Jantzen滤子各层的分解数由反Kazhdan-Lusztig多项式的系数给出，推广了I型超代数的结果。
• 所有例外李超代数的抛物Verma模 $V(\lambda)$ 在 $\mathcal{O}^\mathfrak{p}$ 中的子模格在定理5.6中被显式描述。
• 利用滤子结构与反Kazhdan-Lusztig多项式，推导出有限维单模的特征标与维数公式，显式表达式见公式 (7.1) 与 (7.2)。
• 一阶与二阶上同调群 $H^1({\mathfrak{g}}, L(\lambda))$、$H^1({\mathfrak{g}}, K(\lambda))$、$H^2({\mathfrak{g}}, L(\lambda))$ 与 $H^2({\mathfrak{g}}, K(\lambda))$ 已计算得出，且仅在特定最高权 $\lambda = \Lambda^1, \Lambda^2, \Lambda^3, \Lambda^4$ 时非零，如定理7.2所指定。
• 在例外情形下，反典型度不再控制Jantzen滤子的长度，与I型超代数情形形成根本性差异，表明表示理论存在本质不同。