[论文解读] Finite $W$-superalgebras and the dimensional lower bounds for the representations of basic Lie superalgebras

Yang Zeng, Bin Shu|arXiv (Cornell University)|Dec 21, 2014

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

一句话总结

本文提出了关于复数域上有限 $W$-超代数的极小维表示的一个猜想，表明在该假设下，王-赵先前提出的关于正特征下基本超代数模表示的下界是可实现的。关键结果表明，这些极小维表示可通过从子代数诱导得到，从而在该猜想下证实了超 Kac-Weisfeiler 估计的最优性。

ABSTRACT

In this paper we formulate a conjecture about the minimal dimensional representations of the finite $W$-superalgebra $U(\mathfrak{g}_\bbc,e)$ over the field of complex numbers and demonstrate it with examples including all the cases of type $A$. Under the assumption of this conjecture, we show that the lower bounds of dimensions in the modular representations of basic Lie superalgebras are attainable. Such lower bounds, as a super-version of Kac-Weisfeiler conjecture, were formulated by Wang-Zhao in \cite{WZ} for the modular representations of a basic Lie superalgebra ${\ggg}_{\bbk}$ over an algebraically closed field $\bbk$ of positive characteristic $p$.

研究动机与目标

• 提出关于复数域上有限 $W$-超代数极小维表示的猜想，特别基于 $\dim \mathfrak{g}(-1)_{\bar{1}}$ 的奇偶性。
• 在 $A$ 型及其他情形下验证该猜想，为模表示理论奠定基础。
• 在该猜想下，证明正特征下基本超代数模表示的下界是可实现的。
• 通过从子代数诱导的模，实现约化包络代数 $U_\xi(\mathfrak{g}_\mathds{k})$ 的极小维不可约表示。

提出的方法

• 根据 $d_1 = \dim \mathfrak{g}(-1)_{\bar{1}}$ 的奇偶性，对有限 $W$-超代数的一维和二维表示提出一个猜想。
• 利用文献 [40] 中的 PBW 型结构定理，证明当 $d_1$ 为偶数时，有 $\operatorname{gr} U(\mathfrak{g},e) \cong S(\mathfrak{g}^e)$；当 $d_1$ 为奇数时，有 $\cong S(\mathfrak{g}^e) \otimes \mathbb{C}[\Theta]$。
• 将 $U_\xi(\mathfrak{l}_\mathds{k})$ 的不可约表示构作为 $V \boxtimes W$，其中 $V$ 是 $U_\xi(\bigoplus_{i=1}^r (\mathfrak{g}_\mathds{k})_i)$ 的不可约表示，$W$ 是 $U_0(\mathfrak{t}'_\mathds{k})$ 的一维表示。
• 利用抛物子代数 $\mathfrak{p}_\mathds{k}$ 将 $U_\xi(\mathfrak{l}_\mathds{k})$-模诱导到 $U_\xi(\mathfrak{g}_\mathds{k})$，并通过引理 5.4 确保不可约性。
• 利用同构关系 $U_\xi(\mathfrak{p}_\mathds{k}) \cong U_\xi(\bigoplus_{i=1}^r (\mathfrak{g}_\mathds{k})_i) \otimes U_0(\mathfrak{t}'_\mathds{k})$，将 Levi 子代数的表示理论与完整代数的表示理论联系起来。
• 通过分析 $\sum (d_1)_i$ 与 $d_1$ 的奇偶性，验证诱导模的维数与超 Kac-Weisfeiler 下界一致。

实验结果

研究问题

• RQ1 该关于有限 $W$-超代数极小维表示的猜想是否对所有基本超代数（特别是 $A$ 型）成立？
• RQ2 正特征下基本超代数模表示的下界是否可作为不可约模的实际维数实现？
• RQ3 在该猜想下，诱导得到的 $U_\xi(\mathfrak{g}_\mathds{k})$-模的维数是否等于超 Kac-Weisfeiler 下界？
• RQ4 $\dim \mathfrak{g}(-1)_{\bar{1}}$ 的奇偶性如何影响 $U(\mathfrak{g},e)$ 及其表示的结构？

主要发现

• 在关于 $U(\mathfrak{g},e)$ 的一维与二维表示的猜想下，王- Zhao 的超 Kac-Weisfeiler 猜想所预测的极小维数是可实现的。
• 通过诱导构造的不可约 $U_\xi(\mathfrak{g}_\mathds{k})$-模的维数为 $p^{d_0/2} 2^{d_1/2 + (\lfloor \sum (d_1)_i/2 \rfloor - \sum (d_1)_i/2)}$，与下界完全一致。
• 诱导模是不可约的，这由引理 5.4 保证，前提是 $V$ 和 $W$ 分别是其对应子代数上的不可约表示。
• 该构造证实了文献 [35, 定理 5.6] 中的下界 $p^{d_0/2} 2^{d_1/2}$ 在 $\sum (d_1)_i$ 与 $d_1$ 奇偶性相同时是最优的。
• 在关于 $U(\mathfrak{g},e)$ 的猜想下，该结果对所有基本超代数（除 $D(2,1;a)$ 型外）均成立。