[論文レビュー] Simple Witt modules that are finitely generated over the cartan subalgebra

Xiangqian Guo, Genqiang Liu+2 more|arXiv (Cornell University)|May 9, 2017

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

ひとこと要約

この論文は、カルタン部分代数上での有限生成性を満たす単純Witt代数加群を分類し、それらが単純$\pi$-加群と有限次元単純$\rho\mathfrak{gl}_d$-加群のテンソル積の商として生じることを示している。主な貢献は、$\mathcal{F}(P,V)$の一般化された構成を用いて、このような加群を完全に特徴づけることであり、$F^\alpha_b(V)$加群に関する先行研究を拡張し、単純$\mathcal{K}_d$-加群およびカルタン部分代数上で有限生成な適応的$\widetilde{W}_d$-加群の構造を完全に記述している。

ABSTRACT

Let $d\ge1$ be an integer, $W_d$ and $\mathcal{K}_d$ be the Witt algebra and the weyl algebra over the Laurent polynomial algebra $A_d=\mathbb{C} [x_1^{\pm1}, x_2^{\pm1}, ..., x_d^{\pm1}]$, respectively. For any $\mathfrak{gl}_d$-module $M$ and any admissible module $P$ over the extended Witt algebra $\widetilde W_d$, we define a $W_d$-module structure on the tensor product $P\otimes M$. We prove in this paper that any simple $W_d$-module that is finitely generated over the cartan subalgebra is a quotient module of the $W_d$-module $P \otimes M$ for a finite dimensional simple $\mathfrak{gl}_d$-module $M$ and a simple $\mathcal{K}_d$-module $P$ that are finitely generated over the cartan subalgebra. We also characterize all simple $\mathcal{K}_d$-modules and all simple admissible $\widetilde W_d$-modules that are finitely generated over the cartan subalgebra.

研究の動機と目的

• 高ランクリー代数の表現論における中心的問題である、カルタン部分代数$\mathfrak{h}$上で有限生成な単純$W_d$-加群を分類すること。
• $F^\alpha_b(V)$加群の構成を、$\widetilde{W}_d$-加群と$\mathfrak{gl}_d$-加群のテンソル積を用いて、より広いクラスの$W_d$-加群へと拡張すること。
• カルタン部分代数上で有限生成なすべての単純$\mathcal{K}_d$-加群および単純適応的$\widetilde{W}_d$-加群を完全に特徴づけ、このカテゴリーにおける構造的分類を完成させること。
• このような単純$W_d$-加群が$U(\mathfrak{h})$- torsion-free であり、適切な$P$と$V$に対して$\mathcal{F}(P,V)$の商として生じることを確立し、$W_d$における重み加群プログラムにおける重要な構造的問題を解決すること。

提案手法

• $\mathfrak{gl}_d$-加群$M$および適応的$\widetilde{W}_d$-加群$P$に対して、$P \otimes M$に$W_d$-加群構造を定義し、$F^\alpha_b(V)$構成を一般化する。
• $U(\widetilde{W}_d)$からウェーラー代数$\mathcal{K}_d$への自然な代数準同型を用いて、$\mathcal{K}_d$-加群を$\widetilde{W}_d$-加群とみなす。
• $M$を有限次元単純$\mathfrak{gl}_d$-加群とするとき、$\mathcal{F}(P,V) = P \otimes M$を$W_d$-加群として構成する。
• カルタン部分代数$\mathfrak{h}$上で有限生成な単純$\mathcal{K}_d$-加群を、$f_i$が$U(\mathfrak{h})$に係数をもつ$x_i$に関するローレンツ多項式である$S_{f_1,\dots,f_d} = \mathcal{K}_d / \sum \mathcal{K}_d f_i$の商として特徴づける。
• カルタン部分代数$\mathfrak{h}$上で有限生成な任意の単純$W_d$-加群が、単純$\mathcal{K}_d$-加群$P$および$V(\delta_k,k)$に同型でない有限次元単純$\mathfrak{gl}_d$-加群$V$に対して$\mathcal{F}(P,V)$の商であることを証明する。
• $\mathfrak{L}_d(P,k) \subseteq \widetilde{\mathfrak{L}}_d(P,k) \subseteq \mathcal{F}(P,V(\delta_k,k))$のフィルトレーションと、写像$\pi_{k-1}$を用いて、完全性と構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 カルタン部分代数$\mathfrak{h}$上で有限生成な単純$W_d$-加群のうち、有限次元単純$\mathfrak{gl}_d$-加群$V$および単純$\mathcal{K}_d$-加群$P$に対して$\mathcal{F}(P,V)$の商として実現可能なものはどれか？
• RQ2 カルタン部分代数$\mathfrak{h}$上で有限生成な単純$\mathcal{K}_d$-加群の完全な分類は何か？
• RQ3 $\mathfrak{L}_d(P,k)$および$\widetilde{\mathfrak{L}}_d(P,k)$は、$\mathcal{F}(P,V)$の完全性とどのように関係するか？
• RQ4 $V$が有限次元単純$\mathfrak{gl}_d$-加群であるとき、$\mathcal{F}(P,V)$が完全になる条件は何か？
• RQ5 カルタン部分代数$\mathfrak{h}$上で有限生成な任意の単純$W_d$-加群が、$P$を$\mathcal{K}_d$-加群および$V$が$V(\delta_k,k)$に同型でない有限次元単純$\mathfrak{gl}_d$-加群として、$\mathcal{F}(P,V)$の商として実現可能か？

主な発見

• カルタン部分代数$\mathfrak{h}$上で有限生成な任意の単純$W_d$-加群は、有限次元単純$\mathfrak{gl}_d$-加群$V$および$\mathfrak{h}$上で有限生成な単純$\mathcal{K}_d$-加群$P$に対して$\mathcal{F}(P,V)$の商と同型である。
• $U(\mathfrak{h})$-自由かつ有限ランクの単純$W_d$-加群は、$P$が$U(\mathfrak{h})$-自由かつ有限ランクで、$V$が任意の$k=1,\dots,d$に対して$V(\delta_k,k)$に同型でないとき、$\mathcal{F}(P,V)$と同型である。
• カルタン部分代数$\mathfrak{h}$上で有限生成なすべての単純$\mathcal{K}_d$-加群は、$f_i$が$U(\mathfrak{h})$に係数をもつ$x_i$に関するローレンツ多項式である$S_{f_1,\dots,f_d} = \mathcal{K}_d / \sum \mathcal{K}_d f_i$の商である。
• $\mathcal{K}_d$-加群$S_{f_1,\dots,f_d}$は有限合成長を持ち、その任意の商は$U(\mathfrak{h})$-有限生成加群である。
• $k=1,\dots,d$に対して、$\mathfrak{L}_d(P,k)$は単純$W_d$-加群であり、$\mathcal{F}(P,V(\delta_{k-1},k-1))$と$\mathcal{F}(P,V(\delta_k,k))$の間の写像$\pi_{k-1}$の核として生じる。
• $U(\mathfrak{h})$-自由かつ有限ランクの単純$W_d$-加群はすべて、$P$が$U(\mathfrak{h})$-自由かつ有限ランクで、$V$が$V(\delta_k,k)$に同型でない$\mathcal{F}(P,V)$の商として実現可能であり、このような加群の完全な構成が得られる。