[论文解读] \vS{a}povalov elements and the Jantzen sum formula for contragredient Lie superalgebras

Ian M. Musson|arXiv (Cornell University)|Oct 28, 2017

Algebraic structures and combinatorial models参考文献 25被引用 7

一句话总结

本文证明了在对偶的李超代数中，对根存在且唯一地存在ˇSapovalov元，给出了其系数的次数界，并利用这些结果构造了具有预设特征标的新的最高权模。对于类型A，证明了Jantzen求和公式，并给出了ˇSapovalov元的闭式表达式，通过范畴等价和gl(2,1)与gl(2,2)的低维分析，推广了Carter与Lusztig的结果。

ABSTRACT

If $\mathfrak{g}$ is a contragredient Lie superalgebra and $γ$ is a root of $\mathfrak{g},$ we prove the existence and uniqueness of Šapovalov elements for $γ$ and give upper bounds on the degrees of their coefficients. Then we use Šapovalov elements to define some new highest weight modules. If $X$ is a set of orthogonal isotropic roots and $λ\in \mathfrak{h}^*$ is such that $λ+ρ$ is orthogonal to all roots in $X$, we construct a highest weight module $M^X(λ)$ with character $ε^λ{p}_X$. Here $p_X$ is a function that counts partitions not involving roots in $X$. Examples of such modules can be constructed via parabolic induction provided $X$ is contained in the set of simple roots of some Borel subalgebra. However our construction works without this condition and provides a highest weight module for the distinguished Borel subalgebra. The main results are analogs of the Šapovalov determinant and the Jantzen sum formula for $M^X(λ)$ when $\mathfrak{g}$ has type A.For the proof it is enough to study the behavior for certain "relatively general" highest weights. Using an equivalence of categories due to Cheng, Mazorchuk and Wang, the information we require is deduced from the behavior of the modules $M^X(λ)$ when $\mathfrak{g}=\mathfrak{gl}(2,1)$ or $\mathfrak{gl}(2,2)$. These low dimensional cases are studied in detail in an appendix.

研究动机与目标

• 建立对偶李超代数中根的ˇSapovalov元的存在性与唯一性，并给出其系数的次数界。
• 定义新的最高权模M^X(λ)，其特征标为e^λp_X，其中p_X表示避开集合X中各非直积根的分拆计数。
• 将ˇSapovalov行列式与Jantzen求和公式推广至对偶李超代数，特别是类型A。
• 研究ˇSapovalov元在Borel子代数改变及Verma模的商模中的行为。
• 通过非交换行列式与范畴等价，提出一种新方法，重新获得并扩展Carter与Lusztig [CL74] 的结果。

提出的方法

• 使用ˇSapovalov元——普遍包络代数中的特殊元素——来构造Verma模之间的同态。
• 当λ + ρ与一组正交的非直积根X正交时，通过ˇSapovalov元构造最高权模M^X(λ)。
• 借助Cheng、Mazorchuk与Wang [CMW13] 提供的范畴等价，将研究简化为低维情形：gl(2,1)与gl(2,2)。
• 附录中通过sl(2)理论与g0-模分解，对子模结构与特征标进行详细分析。
• 应用非交换行列式，显式表达类型A中的ˇSapovalov元，从而获得闭式公式。
• 通过特征标计算与模分解，基于ˇSapovalov元在商模中的行为，证明Jantzen求和公式。

实验结果

研究问题

• RQ1 在对偶李超代数中，给定根的ˇSapovalov元在何种条件下存在且唯一？
• RQ2 ˇSapovalov元如何用于构造具有预设特征标的最高权模，特别是当根系不包含包含非直积根的Borel子代数时？
• RQ3 在超代数设定下，特别是类型A中，最高权模的Jantzen求和公式具有何种结构？
• RQ4 ˇSapovalov元在Borel子代数改变及Verma模的商模中如何变化？
• RQ5 能否通过ˇSapovalov元在超代数背景下重新获得并扩展Carter与Lusztig [CL74] 关于行列式与同态的结果？

主要发现

• 对任意对偶李超代数中的根γ，均存在唯一一个与之关联的ˇSapovalov元，且其系数的次数有界。
• 当X为一组正交的非直积根，且λ + ρ与X中所有根正交时，即使X不包含于一个单根系中，仍可构造出特征标为e^λp_X的最高权模M^X(λ)。
• 在类型A中，通过非交换行列式给出了ˇSapovalov元的闭式表达式，推广了Carter与Lusztig的早期结果。
• 在类型A中，证明了M^X(λ)的Jantzen求和公式，其求和的真子模特征标可通过M^X(λ)的特征标与其最大子模的特征标表达。
• MY(0)的唯一极大子模是单模，且同构于MX(0)，且MY(0)的长度为2，尽管其与RY(0)不互相同构，但具有相同的特征标。
• 对于gl(2,1)与gl(2,2)，详细的分解定理（如定理B.38、定理B.40）表明，通过ˇSapovalov元构造的模N是具有特征标e^κ(1 + e^α+β)(1 + e^{-β-γ})/∏_{σ∈Δ⁺₀}(1 - e^{-σ})的单最高权模。