[论文解读] Character formulae in category $\mathcal O$ for exceptional Lie superalgebras $D(2|1;ζ)$

Shun‐Jen Cheng, Weiqiang Wang|arXiv (Cornell University)|Apr 4, 2017

Algebraic structures and combinatorial models参考文献 11被引用 6

一句话总结

本文为例外李超代数 $D(2|1;\theta)$ 的 BGG 类别 $\mathcal{O}$ 中不可约表示建立了显式特征公式，利用了倾斜模与投影模的 Verma 标准列重数。该研究完整分类了所有整权情形下 $\mathcal{O}$ 中 Verma 模的合成因子，解决了该类超代数在所有复参数 $\zeta$ 下的不可约特征问题。关键贡献在于通过转移函子与 Verma 标准列分析，系统地构造了倾斜模，适用于有理与无理 $\zeta$ 两种情形，并在由 $k \in \mathbb{Z}_{\geq 0}$ 参数化的块中导出了显式公式。

ABSTRACT

We establish character formulae for representations of the one-parameter family of simple Lie superalgebras $D(2|1;ζ)$. We provide a complete description of the Verma flag multiplicities of the tilting modules and the projective modules in the BGG category $\mathcal O$ of $D(2|1;ζ)$-modules of integral weights, for any complex parameter $ζ$. The composition factors of all Verma modules in $\mathcal O$ are then obtained.

研究动机与目标

• 解决例外李超代数 $D(2|1;\zeta)$ 在 BGG 类别 $\mathcal{O}$ 中整权情形下的不可约特征公式问题。
• 根据 $\zeta \notin \mathbb{Q}$ 或 $\zeta \in \mathbb{Q} \setminus \{0,-1\}$ 的情况，对 $\mathcal{O}$ 中所有非典型块的单对象与 Verma 标准列重数进行分类。
• 为 $\mathcal{O}$ 中所有 Verma 模的合成因子提供显式公式，从而确定不可约特征。
• 通过转移函子与 Verma 标准列分析，在反典型序下建立倾斜模的系统归纳构造方法。
• 证明当 $\zeta = 1$ 时，投影模与倾斜模在某些块中重合，通过显式同构关系实现。

提出的方法

• 使用转移函子 $\mathcal{E}$ 将已知的倾斜模 $T_\mu$ 映射为具有受控 Verma 标准列的模 $\mathcal{E}T_\mu$。
• 将倾斜模 $T_\lambda$ 构造为不可约模，其中 Verma 模 $M_\lambda$ 以重数一出现，且所有其他 Verma 模满足 $\nu \prec \lambda$ 的 Bruhat 序关系。
• 验证 $\mathcal{E}T_\mu$（除一个例外外）的不可约性，以确认其即为所需的倾斜模 $T_\lambda$。
• 对 $\zeta \in \mathbb{Q}_{\geq 2}$ 的块 $\mathcal{B}_k$ 与 $\zeta = 1$ 时的 $\mathcal{B}_1$ 进行分类，以非负整数 $k$ 参数化。
• 当 $\zeta = 1$ 时，通过标志结构的匹配，显式计算 $\mathcal{B}_1$ 中投影模与倾斜模的 Verma 标准列重数。
• 通过与已知的倾斜/投影模比较并应用 $\mathcal{O}$ 中的标准特征理论，推导出 Verma 模的合成因子公式。

实验结果

研究问题

• RQ1 在 $D(2|1;\zeta)$ 的 BGG 类别 $\mathcal{O}$ 中，整权情形下倾斜模与投影模的 Verma 标准列重数为何？
• RQ2 当 $\zeta \in \mathbb{Q}_{\geq 2}$ 时，$\mathcal{O}$ 中每个非典型块 $\mathcal{B}_k$ 的单对象如何参数化？
• RQ3 当 $\zeta = 1$ 时，$\mathcal{B}_1$ 中 Verma 模的合成因子结构如何？
• RQ4 在 $\zeta = 1$ 时，投影模与倾斜模在 $\mathcal{B}_1$ 中于何种条件下重合？
• RQ5 在 $\zeta \notin \mathbb{Q}$ 与 $\zeta \in \mathbb{Q}_{\geq 2}$ 两种情形下，$D(2|1;\zeta)$ 的特征公式有何不同？

主要发现

• 当 $\zeta \notin \mathbb{Q}$ 时，仅存在一个非典型块，即主块 $\mathcal{B}_0$，且 $\mathcal{B}_0$ 中的所有单对象均已分类。
• 当 $\zeta \in \mathbb{Q}_{\geq 2}$ 时，非典型块 $\mathcal{B}_k$ 由 $k \in \mathbb{Z}_{\geq 0}$ 参数化，且每个 $\mathcal{B}_k$ 中的单对象均已完全分类。
• 当 $\zeta = 1$ 时，$\mathcal{B}_1$ 中投影模 $P_0^{\circ++}$、$P_0^{\circ+-}$、$P_0^{\circ-+}$ 与 $P_0^{\circ--}$ 的 Verma 标准列重数已显式计算，其标志中最多包含 10 个 Verma 模。
• 当 $\zeta = 1$ 时，倾斜模 $T_{-1}^{+\circ+}$、$T_{-1}^{+\circ-}$、$T_{-1}^{-\circ+}$ 与 $T_{-1}^{-\circ-}$ 的 Verma 标准列重数范围为 1 至 6。
• 在 $\mathcal{B}_1$ 中当 $\zeta = 1$ 时，$M_0^{\circ--}$ 的合成因子包含 5 个不同的单模：$L_0^{\circ--}$、$L_1^{--\circ}$、$L_2^{---}$、$L_{-1}^{-\circ-}$ 与 $L_{-2}^{---}$。
• 当 $\zeta = 1$ 时，同构关系 $T_{-1}^{+\circ+} \cong P_{-1}^{-\circ-}$、$T_1^{++\circ} \cong P_1^{--\circ}$ 与 $T_n^{+++} \cong P_n^{---}$ 对所有 $n \in \mathbb{Z} \setminus \{0, \pm1\}$ 成立，且 $\mathcal{B}_1$ 中无其他投影倾斜模。