[論文レビュー] 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})$ の最小次元の非可約表現を実現すること。

提案手法

• 一様および二様の表現に関する $U(\mathfrak{g},e)$ に対する予想を、$d_1 = \dim \mathfrak{g}(-1)_{\bar{1}}$ が偶数か奇数かに応じて定式化すること。
• [40] の PBW型構造定理を用い、$d_1$ が偶数のとき $\operatorname{gr} U(\mathfrak{g},e) \cong S(\mathfrak{g}^e)$、奇数のとき $\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})$ の同型を用い、リーヴィ部分代数の表現論と全代数との関係を確立すること。
• $\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)$ の一様および二様表現に関する予想のもとで、王＝チョウの超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$ が同じ偶奇を持つとき最適であることが確認された。
• タイプ $D(2,1;a)$ を除くすべての基本的リーヒルベルト超代数において、$U(\mathfrak{g},e)$ に関する予想のもとで結果が成り立つ。