[論文レビュー] Classification of simple bounded weight modules of the Lie algebra of vector fields on $\C^n$

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

Algebraic structures and combinatorial models参考文献 22被引用数 11

ひとこと要約

この論文は、$ℂ^n$ 上のベクトル場のリー代数 $W_n^+$ のすべての単純有界重量モジュールを分類する。$A_n^+$-カバー理論および Weyl代数 $K_n^+$ と $χτ}_n(ℂ)$ の表現論を用いて、任意のこのようなモジュールが、$K_n^+$ 上の単純重量モジュール $P$ と、有限次元単純 $τ}_n$-モジュール $M$ のテンソル積 $F(P,M) = P \otimes M$ の単純商に同型であるか、または $1 \leq l \leq n$ の場合の特定の部分モジュール $L_n(P,l)$ に同型であることを証明する。これは、高ランクのウィット代数の表現論における長年の未解決問題を解決する。

ABSTRACT

Let $W_n^+$ be the Lie algebra of the Lie algebra of vector fields on $\C^n$. In this paper, we classify all simple bounded weight $W_n^+$ modules. Any such module is isomorphic to the simple quotient of a tensor module $F(P,M)=P\otimes M$ for a simple weight module $P$ over the Weyl algebra $K_n^+$ and a finite dimensional simple $\gl_n$ module $M$.

研究の動機と目的

• 複素数 $\mathbb{C}^n$ 上のベクトル場のリー代数 $W_n^+$ のすべての単純有界重量モジュールを分類するという長年の未解決問題を解決すること。
• $W_1^+$ および $W_2^+$ に対する以前の分類結果を、任意の $n \geq 2$ に拡張すること。
• テンソル積および部分モジュールを用いて、このようなモジュールの構造を完全かつ明示的に記述すること。
• $A_n^+$-カバー理論および Weyl代数の表現論に基づく、有界重量モジュールを分析するための枠組みを確立すること。

提案手法

• $W_n^+$ モジュールに対して $A_n^+$-カバー理論を構築し、表現を上げてその構造を分析する。
• 単純有界重量 $AW_n^+$ モジュールの分類（定理 3.9 を用いて）を、$P$ が $K_n^+$ 上の単純重量モジュールで、$M$ が有限次元単純 $τ}_n$-モジュールであるテンソルモジュール $F(P,M) = P \otimes M$ として得ること。
• 合成系列および有界性の理論を適用し、任意の単純有界 $W_n^+$-モジュールがそのようなテンソルモジュールの商であることを示す。
• 帰納法およびリー括弧の恒等式を用いて、特定の元がモジュール準同型の核または像に属することを証明し、$W_n^+$ の作用に関して閉じていることを保証する。
• 部分モジュール $L_n(P,l) = \mathrm{span}\left\{\sum_{i=1}^n (\partial_i v) \otimes (e_i^T \wedge u) \mid v \in P, u \in V(\delta_{k-1},k-1)\right\}$（$1 \leq l \leq n$）を導入・分析し、主要なモジュールクラスとして扱う。
• $K_n^+$-モジュールが形式 $\lambda' + X$（$X = X_1 \times \cdots \times X_n$、$X_i \in \{\mathbb{Z}_+, -\mathbb{Z}_+\}$）の完全な補助集合を持つことを利用して、重量空間の補助集合を制御する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 2$ のとき、$W_n^+$ のすべての単純有界重量モジュールの完全な分類は何か？
• RQ2 このようなモジュールの構造は、Weyl代数 $K_n^+$ および $τ}_n(\mathbb{C})$ 上のモジュールのテンソル積を用いて一様に記述可能か？
• RQ3 標準的テンソルモジュール $F(P,M)$ 以外に、例外的な単純有界モジュールは存在するか？ もしあるならば、それらはどのように特徴づけられるか？
• RQ4 $A_n^+$-カバー構成は、$K_n^+$ および $τ}_n$ の既知の表現に分類問題を還元するためにどのように役立つか？
• RQ5 部分モジュール $L_n(P,l)$ は完全な分類において果たす役割は何か？ なぜそれが必要不可欠なのか？

主な発見

• すべての単純有界重量 $W_n^+$ モジュールは、Weyl代数 $K_n^+$ 上の単純重量モジュール $P$ と、有限次元単純 $τ}_n(\mathbb{C})$-モジュール $M$ のテンソル積 $F(P,M) = P \otimes M$ の単純商に同型である。
• 分類には3つの異なるタイプが含まれる：1次元自明モジュール、$M$ が任意の $V(\delta_l,l)$（$l=0,1,\dots,n$）に同型でない場合のテンソルモジュール $F(P,M)$、および $1 \leq l \leq n$ の場合の部分モジュール $L_n(P,l)$。
• 任意の有界重量 $W_n^+$-モジュールの $A_n^+$-カバーは有界であり、$AW_n^+$-モジュールとして有限長であるため、有限合成系列が存在する。
• 任意の単純有界 $W_n^+$-モジュールの補助集合は、あるコセット $\lambda + \mathbb{Z}^n$ に含まれ、重量空間の次元は一様に有界である。
• 部分モジュール $L_n(P,l)$ は、微分作用素とウェッジ積を含む特定の縮約の張りから自然に生じる。$M = V(\delta_l,l)$ のとき、これらは標準的テンソルモジュールと非同型であり、かつ既約である。
• 分類は完全かつ明示的である：任意の単純有界重量 $W_n^+$-モジュールは、自明、$M \not\cong V(\delta_l,l)$ の場合の $F(P,M)$ の商、またはある $l \in \{1,\dots,n\}$ に対して $L_n(P,l)$ に同型である。