[論文レビュー] Classification of simple strong Harish-Chandra $W(m,n)$-modules

Yuly Billig, Vyacheslav Futorny+2 more|arXiv (Cornell University)|Jun 10, 2020

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

ひとこと要約

この論文は、リー超代数 $W(m,n)$ のすべての単純な強いハリシュ＝チャンドラモジュールを分類し、それらがいずれかのテンソルモジュールの商（強くカスピダル）であるか、一般化されたヴェルマモジュールから誘導される最高重み型モジュールであることを証明する。分類は、有限次元 $gl(m,n)$-モジュールによってパラメトライズされるテンソルモジュールの構成に依拠し、すべての単純な強くカスピダルモジュールがそれらの商として現れることを示す。一方、最高重み型モジュールは、$W(m-1,n)$-テンソルモジュールから誘導される一般化されたヴェルマモジュールの商として実現される。

ABSTRACT

We classify all simple strong Harish-Chandra modules for the Lie superalgebra $W(m,n)$. We show that every such module is either strongly cuspidal or a module of the highest weight type. We construct tensor modules for $W(m,n)$, which are parametrized by simple finite-dimensional $gl(m,n)$-modules and show that every simple strongly cuspidal $W(m,n)$-module is a quotient of a tensor module. Finally, we realize modules of the highest weight type as simple quotients of the generalized Verma modules induced from tensor modules for $W(m-1,n)$.

研究の動機と目的

• Lie超代数 $W(m,n)$ のすべての単純な強いハリシュ＝チャンドラモジュールを分類すること。
• 強くカスピダルモジュールの構造を理解し、それらが $W(m,n)$-テンソルモジュールの商としてどのように実現されるかを明らかにすること。
• $W(m-1,n)$-テンソルモジュールから誘導される一般化されたヴェルマモジュールの商として、最高重み型モジュールを実現すること。
• 単純な強いハリシュ＝チャンドラモジュールのカテゴリを、強くカスピダル型と最高重み型という二つの明確に異なる族に完全に分解すること。

提案手法

• 有限次元単純 $gl(m,n)$-モジュール $V$ および $\lambda \in \mathbb{C}^m$ を用いて、$W(m,n)$ に対するテンソルモジュール $T(V,\lambda) = \mathcal{A} \otimes V$ を構成し、微分作用素 $d_j$、$\partial_\alpha$、および右微分作用素 ${}^*\partial_\alpha$ を含む明示的な作用公式を与える。
• ${\mathcal{AV}}$-カバー構成を用いて重みの多重度を解析し、強くカスピダル ${\mathcal{AV}}$-モジュールがテンソルモジュールであることを証明する。
• $W(m+1,n)$ に $\mathrm{ad}(d_0)$ を用いた ${\mathbb{Z}}$-次数を定義し、三角分解 $\mathcal{V} = \mathcal{V}_- \oplus \mathcal{V}_0 \oplus \mathcal{V}_+$ を得る。ここで $\mathcal{V}_0 = W(m,n) \ltimes \mathcal{A}d_0$ である。
• $T$ を $\mathcal{V}_0$-単純強くカスピダルモジュールとするとき、一般化されたヴェルマモジュール $M(T) = \mathrm{Ind}_{\mathcal{V}_0 \oplus \mathcal{V}_+}^{\mathcal{V}} T \cong U(\mathcal{V}_-) \otimes T$ を誘導する。
• $M^{\mathrm{rad}}$ を $T$ と自明に交わる最大部分モジュールと定義し、$L(T) = M(T)/M^{\mathrm{rad}}$ とおくことで、単純な最高重み型モジュールが得られる。
• $\mathrm{GL}_{m+1}(\mathbb{Z})$ に属する自己同型 $\theta$ を用いて $L(T)$ をねじる操作を施し、すべての最高重み型モジュールがこの方法で得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 $W(m,n)$ の単純な強いハリシュ＝チャンドラモジュールの完全な分類は何か？
• RQ2 強くカスピダルモジュールは、$W(m,n)$ 上のテンソルモジュールとしてどのように実現できるか？
• RQ3 最高重み型モジュールは、部分代数からの誘導および一般化されたヴェルマモジュールを用いて構成可能か？
• RQ4 ${\mathcal{AV}}$-カバーと多項式次数が、重みの多重度の有界性を示す際に果たす役割は何か？
• RQ5 これらのモジュールの台集合と重み構造は、元の $gl(m,n)$-モジュールパラメータとどのように関係しているか？

主な発見

• すべての単純な強いハリシュ＝チャンドラ $W(m+1,n)$-モジュールは、有限次元単純 $gl(m+1,n)$-モジュール $V$ および $\lambda \in \mathbb{C}^{m+1}$ を用いてパラメトライズされるテンソルモジュール $T(V,\lambda)$ の商、または最高重み型のいずれかである。
• すべての単純な強くカスピダル $W(m,n)$-モジュールは、有限次元単純 $gl(m,n)$-モジュールによってパラメトライズされるテンソルモジュール $T(V,\lambda)$ の商である。
• 最高重み型モジュールは、$W(m,n)\ltimes\mathcal{A}d_0$-テンソルモジュールから誘導される一般化されたヴェルマモジュールの単純な商 $L(T)$ として実現される。
• ${\mathcal{AV}}$-カバーは、単純な強くカスピダルモジュールのもの自身が強くカスピダルであり、多項式次数を持つため、重みの多重度が一様に有界であることが保証される。
• $W(m+1,n)$ の一般化されたヴェルマモジュール $M(T)$ は $m > 0$ のときハリシュ＝チャンドラでないが、その商 $L(T)$ は強いハリシュ＝チャンドラモジュールである。
• 分類は完全である：すべての単純な強いハリシュ＝チャンドラ $W(m+1,n)$-モジュールは、最高重み型モジュールのねじれ $L(T)^\theta$ またはテンソルモジュールの商に同型である。