[論文レビュー] Classification of simple $W_n$-modules with finite-dimensional weight spaces

Yuly Billig, Vyacheslav Futorny|arXiv (Cornell University)|Apr 19, 2013

Algebraic structures and combinatorial models参考文献 23被引用数 20

ひとこと要約

この論文は、有限次元の重み空間を持つすべての単純 $W_n$-加群を分類し、Eswara Raoの予想である、このような加群が最高重み型であるか、トーラス上のテンソル場加群の商であることを証明する。証明は、$W_n$-加群から $AW_n$-加群への $A$-カバー関手の構成と、$W_1$ の普遍包あらわし代数における新しい二次的恒等式の確立に依拠しており、これにより、cuspidal 加群がこの構成のもとで cuspidal のままであることが保証される。

ABSTRACT

We classify all simple $W_n$-modules with finite-dimensional weight spaces. Every such module is either of a highest weight type or is a quotient of a module of tensor fields on a torus, which was conjectured by Eswara Rao. This generalizes the classical result of Mathieu on simple weight modules for the Virasoro algebra. In our proof of the classification we construct a functor from the category of cuspidal $W_n$-modules to the category of $W_n$-modules with a compatible action of the algebra of functions on a torus. We also present a new identity for certain quadratic elements in the universal enveloping algebra of $W_1$, which provides important information about cuspidal $W_1$-modules.

研究の動機と目的

• 有限次元重み空間を持つすべての単純 $W_n$-加群を分類し、Virasoro代数加群の Mathieu の分類を拡張すること。
• このような加群が最高重み型であるか、トーラス上のテンソル場加群の商であるという Eswara Rao の予想を解決すること。
• coinduction 関手を介して $AW_n$-加群と関連付けることにより、cuspidal $W_n$-加群の構造を理解すること。
• cuspidal $W_1$-加群の振る舞いを制御する、$W_1$ の普遍包あらわし代数における新しい代数的恒等式を確立すること。

提案手法

• トーラス上の関数代数 $A$ を用いて、$W_n$-加群から $AW_n$-加群への coinduction 関手を構成し、$M$ を $\mathrm{Hom}(A,M)$ に写す。
• $W_n$-加群 $M$ の $A$-カバー $\widehat{M}$ を、$\psi(x,u)(f) = (fx)u$ の形の要素 $\psi(x,u)$ で生成される $AW_n$-部分加群として定義する。
• 新しい $U(W_1)$ 内の二次的恒等式を用いて、cuspidal $W_n$-加群の $A$-カバーが常に cuspidal のままであることを証明する： $\sum_{i,j} (-1)^{i+j} \binom{m}{i}\binom{m}{j} \{\Omega^{(m)}_{k-i,s-j}, \Omega^{(m)}_{q+i,p+j}\} - \{\Omega^{(m)}_{k-i,q-j}, \Omega^{(m)}_{s+i,p+j}\} = (q-s)(p-k+2m)\Omega^{(4m)}_{k+p+2m,s+q-2m}$。
• $A$-カバー構成を用いて、単純 cuspidal $W_n$-加群の分類を、既に知られている単純 cuspidal $AW_n$-加群の分類に還元する。
• $A$-カバー関手を適用して、任意の単純 cuspidal $W_n$-加群が、あるテンソル場加群 $T(U,\beta)$ の商であるか、de Rham複体 $d\Omega^k(\beta)$ の部分加群であることを示す。
• $W_n$ が $A$ に作用することを活用し、$W_n M = M$ の条件下で $\widehat{M} \to M$ が全射となることを示し、これにより $AW_n$-加群の分類への還元が可能になる。

実験結果

リサーチクエスチョン

• RQ1 Eswara Rao が予想したように、有限次元重み空間を持つすべての単純 $W_n$-加群は、最高重み型か、トーラス上のテンソル場加群の商であるかのいずれかであるか。
• RQ2 関手的構成を用いて、単純 cuspidal $W_n$-加群の分類を、単純 cuspidal $AW_n$-加群の分類に還元できるか。
• RQ3 $U(W_1)$ 内のどの代数的構造が、cuspidal $W_1$-加群の振る舞いを制御し、$A$-カバーのもとでの重み空間の有限性を保証するか。
• RQ4 $A$-カバー構成は、$W_n$-加群に対して cuspidal 性質をどのように保つのか。また、その構成が全射である条件は何か。
• RQ5 最高重み型の単純加群の正確な構造は何か。また、それらは $W_{n-1}$-加群とどのように関係しているか。

主な発見

• 有限次元重み空間を持つすべての単純 $W_n$-加群は、最高重み型であるか、テンソル場加群 $T(U,\beta)$ の単純商である。これは Eswara Rao の予想を確認する。
• $W_n$-加群の $A$-カバーは、常に cuspidal であり、重み空間が有限次元であるため、$AW_n$-加群の分類への還元が可能になる。
• $U(W_1)$ 内の新しい二次的恒等式により、$\Omega_{k,s}^{(m)} = \sum_{a=0}^m (-1)^a \binom{m}{a} e_{k-a} e_{s+a}$ を含む恒等式が、十分大きな $m$ に対して任意の cuspidal $W_1$-加群を零化することを示唆する。
• 単純 cuspidal $W_n$-加群は、$\bigwedge^k \mathbb{C}^n$ に同型でない有限次元単純 $gl_n$-加群 $U$ に対して $T(U,\beta)$ に同型であるか、$0 \leq k < n$ に対して $d\Omega^k(\beta) \subset \Omega^{k+1}(\beta)$ に同型であるか、または自明な1次元加群に同型である。
• 最高重み型の単純加群は、有限次元単純 $gl_{n-1}$-加群 $U$、$\beta \in \mathbb{C}^{n-1}$、$\gamma \in \mathbb{C}$、$g \in GL_n(\mathbb{Z})$ に対して $L(U,\beta,\gamma)^g$ に同型であり、$L(U,\beta,\gamma)$ は一般化 Verma 加群である。