[論文レビュー] Whittaker Modules For The W-algebra W(2,2)

Bin Wang, Junbo Li|ArXiv.org|Feb 10, 2009

Algebraic structures and combinatorial models参考文献 15被引用数 10

ひとこと要約

この論文は、中心的特徴（central characters）を用いて、W代数 $W(2,2)$ の単純なホイットAKERモジュールを分類し、半単純リー代数に対するコスタントの結果に類似した対応を確立する。任意の普遍ホイットAKERモジュールの部分モジュールがホイットAKERベクトルを含むことを証明し、任意のホイットAKERモジュールを、対称代数 $S(z)$ 内のホイットAKERベクトルによって生成される、非分解的成分に分解する。

ABSTRACT

In this paper, Whittaker modules for the W-algebra W(2,2) are studied. We obtain analogues to several results from the classical setting and the case of the Virasoro algebra, including a classification of simple Whittaker modules by central characters and composition series for general Whittaker modules.

研究の動機と目的

• 有限次元リー代数およびバーラソ・代数から、無限次元の $W(2,2)$ 代数へのホイットAKERモジュール理論の拡張を図ること。
• 半単純リー代数に対するコスタントの分類を一般化して、$W(2,2)$ の単純ホイットAKERモジュールを中心的特徴を用いて分類すること。
• 任意のホイットAKERモジュールの構造、特にその部分モジュールおよび合成系列を特徴づけること。
• 普遍ホイットAKERモジュールの任意の部分モジュールがホイットAKERベクトルを含むことを示し、有限生成でない代数に対しても適用可能な方法を用いること。

提案手法

• 普遍的ホイットAKERモジュール $M_\varphi$ を、中心的特徴 $\varphi$ で定義される両側イデアルによる、普遍包あらわし代数 $\mathcal{U}(\mathcal{W})$ の商として構成する。
• ピカール・バーキョフ・ワイトの定理を用いて、$\mathcal{U}(\mathcal{W})$ が対称代数 $S(z)$ 上で基底をもつことを確立する。
• $\mathcal{W}$ に次数を導入し、$\mathcal{W}_-$, $\mathcal{W}_0$, $\mathcal{W}_+$ を定義することで、ヴェルマ型モジュールの構成を可能にする。
• 補題 3.3 の新しい証明を用い、有限次元の場合に依存しない形で、普遍ホイットAKERモジュールの任意の非ゼロ部分モジュールが非ゼロホイットAKERベクトルを含むことを示す。
• $S(z)$-モジュールの構造と $z$ の作用を用いて、非分解的モジュールにおける零化因子とホイットAKERベクトルを分析する。
• 定理 5.1.2 を適用して、$M/M^\prime$ を、商におけるホイットAKERベクトルによって生成されるモジュール $\overline{M_i}$ の直和に分解する。

実験結果

リサーチクエスチョン

• RQ1 無限次元の $W(2,2)$ 代数に対するホイットAKERモジュールは、半単純リー代数に対するコスタントの分類に類似した形で、中心的特徴を用いてどのように分類できるか？
• RQ2 普遍ホイットAKERモジュールの任意の部分モジュールが非ゼロホイットAKERベクトルを含むか？ そして、有限次元性に依存せずにこの事実を証明できるか？
• RQ3 任意のホイットAKERモジュール $W(2,2)$ の構造は何か？ また、非分解的成分にどのように分解できるか？
• RQ4 ホイットAKERモジュールの部分モジュールはどのように生成されるか？ また、対称代数 $S(z)$ はこの生成にどのような役割を果たすか？

主な発見

• $W(2,2)$ の単純ホイットAKERモジュールの分類は、中心的特徴を用いて達成され、各既約ホイットAKERモジュールは中心における極大イデアルに対応する。
• 普遍ホイットAKERモジュールの任意の非ゼロ部分モジュールは非ゼロホイットAKERベクトルを含む。この結果は、有限次元の設定を超えて一般化可能な方法で証明されている。
• タイプ $\varphi$ の任意のホイットAKERモジュール $V$ は、各成分が巡回ホイットAKERベクトルによって生成される非分解的ホイットAKERモジュール $V_i$ の直和に分解可能である。
• 任意のホイットAKERモジュールの部分モジュールは、再びホイットAKERモジュールであり、ホイットAKERベクトルの集合 $Wh(V)$ 内の要素によって生成される。この集合は、巡回ホイットAKERベクトル $w$ に対して $S(z)w$ に等しい。
• ホイットAKERモジュール $V$ が巡回ホイットAKERベクトル $w$ を持ち、$\mathrm{Ann}_{S(z)}(w) = 0$ であるならば、$V \simeq M_\varphi$、すなわち普遍ホイットAKERモジュールに同型である。
• $M = M_\varphi$ および $M^\prime = \mathcal{U}(\mathcal{W})p(z)w$ のとき、$M/M^\prime$ の合成系列は $\overline{M_1} \oplus \cdots \oplus \overline{M_r}$ に分解され、各 $\overline{M_i}$ は商におけるホイットAKERベクトルによって生成される。