[論文レビュー] Simple weight modules with finite-dimensional weight spaces over Witt superalgebras

Yaohui Xu, Rencai Lü|arXiv (Cornell University)|Jan 13, 2020

Algebraic structures and combinatorial models参考文献 17被引用数 8

ひとこと要約

本稿は、Witt超代数 $W_{m,n}$ 上の有限次元重量空間をもつ単純な重量モジュールを分類し、それらがすべて、あるテンソルモジュール $\Gamma(\lambda, V)$ の単純な商モジュールであるか、または最高重量型モジュール $L(G, e_m, X)^B$ であることを示している。この分類は、リー代数の手法を超代数へと拡張し、クリスタル・モジュール理論と $A_{m,0}$-カバー技法を活用している。

ABSTRACT

Let $A_{m,n}$ be the tensor product of the Laurient polynomial algebra in $m$ even variables and the exterior algebra in $n$ odd variables over the complex field $\bC$, and the Witt superalgebra $W_{m,n}$ be the Lie superalgebra of superderivations of $A_{m,n}$. In this paper, we classify the simple weight $W_{m,n}$ modules with finite-dimensional weight spaces with respect to the standard Cartan algebra of $W_{m,0}$. Every such module is either a simple quotient of a tensor module or a module of highest weight type.

研究の動機と目的

• Witt超代数 $W_{m,n}$ 上の有限次元重量空間をもつ単純な重量モジュールを分類し、リー代数の場合の結果を一般化すること。
• 既存の技法の超代数版を用いて、$W_{m,0}$ におけるクリスタル・モジュールの分類を $W_{m,n}$ に拡張すること。
• $W_{m,n}$ 上の非クリスタル単純重量モジュールが、最高重量型かテンソルモジュールの商であることを確立すること。
• $GL_m(\mathbb{Z})$-ねじれを介して、すべてのこのようなモジュールがテンソル構成または最高重量構造から生じることを証明すること。
• 超代数に適応された $A_{m,0}$-カバー法を用いて、これらのモジュールの完全な構造的分類を提供すること。

提案手法

• リー代数から超代数への拡張を図るため、$W_{m,0}$ における $A_{m,0}$-カバー法を $W_{m,n}$ に適応し、クリスタル・モジュールを分類する。
• 標準的カルタン部分代数 $D_m = \text{span}\{t_i\partial/\partial t_i\}$ を用いて、$D_m$ の対角的作用により重量モジュールを定義する。
• $\lambda \in \mathbb{C}^m$ および有限次元単純 $\mathfrak{gl}(m,n)$-モジュール $V$ に対してテンソルモジュール $\Gamma(\lambda, V)$ を定義し、これにより構成要素を提供する。
• $G = \mathbb{Z}e_1 + \cdots + \mathbb{Z}e_{m-1}$ に対して、クリスタル $W_G$-モジュールを $GL_m(\mathbb{Z})$-ねじれにより変形し、最高重量型モジュール $L(G, e_m, X)^B$ を構成する。
• 補助的補題を用いて、補集合と重量空間構造を分析し、非クリスタルモジュールが二つの標準的タイプのいずれかに帰着されることを証明する。
• 支持集合の条件 $\text{Supp}(M) \subseteq \lambda + \mathbb{Z}^m$ と $\mathbb{Z}$-基底の性質を用いて、矛盾を導くことで、病理的配置を除外する。

実験結果

リサーチクエスチョン

• RQ1 Witt超代数 $W_{m,n}$ 上の有限次元重量空間をもつ単純な重量モジュールの完全な分類は何か？
• RQ2 $W_{m,0}$ の分類結果が $n > 0$ の超代数の場合 $W_{m,n}$ にどのように拡張されるか？
• RQ3 $A_{m,0}$-カバー法を $W_{m,n}$ 上のクリスタル・モジュールの分類に適応できるか？
• RQ4 $W_{m,n}$ 上のすべての非クリスタル単純重量モジュールは、テンソルモジュールの商か最高重量型であるか？
• RQ5 $GL_m(\mathbb{Z})$-ねじれの役割は、これらのモジュールの構成と分類においてどのように果たすか？

主な発見

• すべての有限次元重量空間をもつ単純な重量 $W_{m,n}$-モジュールは、いずれかがテンソルモジュール $\Gamma(\lambda, V)$ の単純な商モジュールであるか、最高重量型 $L(G, e_m, X)^B$ である。
• クリスタル $W_{m,n}$-モジュールの分類は、超代数に適応された $A_{m,0}$-カバー法を用いて達成され、これにより定理 3.11 が得られた。
• 拡張されたWitt超代数 $\tilde{W}_{m,n}$ を用いることで、$W_{m,n}$-ケースに基づき、定理 4.4 によりクリスタル・モジュールの分類が可能になった。
• 非クリスタル・モジュールは、$G = \mathbb{Z}e_1 + \cdots + \mathbb{Z}e_{m-1}$ に対して、$W_G$-モジュール $\Gamma(\lambda, V)$ の単純な商 $X$ を用いて、$L(G, e_m, X)^B$ に同型であることが示された。
• モジュールの支持構造は、$\mathbb{Z}$-基底と内積を用いて分析され、非標準的配置を仮定すると矛盾が生じる。
• 証明は、特定の重量集合が有限次元性と重量空間条件の下で同時に存在できないことを示すことに依拠しており、これによりすべてのモジュールが二つの標準的タイプに分類される。