[論文レビュー] Multiparameter Weyl Algebras

Georgia Benkart|arXiv (Cornell University)|Jun 3, 2013

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

ひとこと要約

本稿は、$2n$ 個の生成子と多パrameter交換関係を用いて一般化された古典的ウェイリ algebra である multiparameter Weyl algebra $σ_{ε},σ_{ε}}(n)$ を導入する。単純な重みモジュールおよびホイットakerモジュールを、代数作用下でのローレンツ多項式空間として完全に分類し、パラメータが非退化条件を満たす場合、すべてのホイットakerモジュールが単純であり、普遍的構成と同型であることを示している。

ABSTRACT

We introduce a family of unital associative algebras A which are multiparameter analogues of the Weyl algebras and determine the simple weight modules and the Whittaker modules for them. All these modules can be regarded as spaces of (Laurent) polynomials with certain A-actions on them. This paper was written in February 2008 and some copies of it were distributed, but it has never been posted or published. We thank Bryan Bischof and Jason Gaddis for their interest in the work and for encouraging us to make the paper more widely available. The references in this posted version have been updated, and some cosmetic changes made; in particular, some typos have been corrected. The investigations have been generalized by V. Futorny and J. Hartwig to the context of multiparameter twisted Weyl algebras (see Journal of Algebra 357 (2012), 69-93).

研究の動機と目的

• 多パラメータ交換関係を用いて古典的ウェイリ代数を一般化する単位的結合代数 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ の導入と研究を行う。
• 体 $\mathbb{K}$ が代数的に閉であり、$r_i^p = s_i^q$ の唯一の解が $(p,q)=(0,0)$ であるとき、$\mathsf{A}_{\underline{r},\underline{s}}(n)$ の単純な重みモジュールの構造を特定する。
• 同じ非退化仮定のもとで、$\mathsf{A}_{\underline{r},\underline{s}}(n)$ のホイットakerモジュールを分類し、すべてのホイットakerモジュールが単純であり、普遍的ホイットakerモジュールと同型であることを示す。
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ と一般化ウェイリ代数との関係を確立し、基本代数におけるイデアル論理を用いたモジュール理論的分類を可能にする。

提案手法

• 代数 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ は体 $\mathbb{K}$ 上で定義され、生成子 $\rho_i, \rho_i^{-1}, \sigma_i, \sigma_i^{-1}, x_i, y_i$ を持ち、パラメータ $r_i, s_i$ を含む特定の交換関係およびウェイリ型関係を満たす。
• Verma モジュールが $\mathsf{A}_{\underline{r},\underline{s}}(n)$ に対して構成され、$n$ 変数の多項式代数が代数作用の下で Verma モジュールであることが示された。
• 単純な重みモジュールの分類は、$\mathsf{A}_{\underline{r},\underline{s}}(n)$ が $\mathsf{D}(\underline{\phi}, \underline{t})$ という一般化ウェイリ代数として実現されることに依存しており、ここで $\mathsf{D}$ は $\rho_i, \sigma_i$ で生成される部分代数であり、非退化仮定により非自明な $\phi$-不変イデアルが存在しないことを保証する。
• ホイットakerモジュールは一般化ウェイリ代数の枠組みを用いて分析された：普遍ホイットakerモジュール $\mathfrak{W}(\xi)$ は $\mathsf{A} \otimes_{\mathbb{K}[X]} \mathbb{K}w_\xi$ として構成され、$X_i w_\xi = \xi_i w_\xi$ を満たす。作用は $\rho_i^{k_i}\sigma_j^{\ell_j}$ のモナドの基底上で明示的に計算された。
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ の基底ベクトル $w(\underline{k}, \underline{\ell})$ における $x_i$ および $y_i$ の作用は、$r_i, s_i$ およびパラメータ $\xi_i$ を含む明示的な式で与えられ、モジュール構造がこれらの関係によって完全に決定されることを示した。
• 主な技術的道具は、ホイットaker対の同型類と $\mathsf{D}$ 内の $\phi$-不変イデアルとの間の全単射であり、非退化仮定のもとで、すべてのホイットakerモジュールが単純であることを示している。

実験結果

リサーチクエスチョン

• RQ1 非退化条件 $r_i^p = s_i^q \Rightarrow (p,q)=(0,0)$ の下で、multiparameter Weyl algebra $\mathsf{A}_{\underline{r},\underline{s}}(n)$ の単純な重みモジュールの構造は何か？
• RQ2 同じ条件下で、$\mathsf{A}_{\underline{r},\underline{s}}(n)$ のホイットakerモジュールはどのように分類可能であり、その単純性はどのような状態にあるか？
• RQ3 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ はどのようにして古典的ウェイリ代数およびHayashiの $q$-アナログを一般化するのか？また、一般化ウェイリ代数とはどのような関係にあるか？
• RQ4 $n$ 変数の多項式代数は自然に $\mathsf{A}_{\underline{r},\underline{s}}(n)$ の Verma モジュールとして実現可能か？これはモジュール圏にどのような意味を持つのか？
• RQ5 $\rho_i, \sigma_i$ の自己同型は、重み空間分解およびモジュール作用を定義する上で果たす役割は何か？

主な発見

• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ は、与えられた関係のもとで、$\mathsf{D} = \bigotimes_{i=1}^n \mathbb{K}[\rho_i^{\pm 1}, \sigma_i^{\pm 1}]$ である一般化ウェイリ代数 $\mathsf{D}(\underline{\phi}, \underline{t})$ に同型である。
• 非退化仮定のもとで、$\mathsf{A}_{\underline{r},\underline{s}}(n)$ のすべての単純な重みモジュールは分類され、特定の $\mathsf{A}_{\underline{r},\underline{s}}(n)$-作用をもつローレンツ多項式空間として実現される。
• $n$ 変数の多項式代数は $\mathsf{A}_{\underline{r},\underline{s}}(n)$ の Verma モジュールであり、最高重量ベクトルは定数多項式に対応する。
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ のタイプ $\xi$ のすべてのホイットakerモジュールは単純であり、普遍的ホイットakerモジュール $\mathfrak{W}(\xi) = \mathsf{A} \otimes_{\mathbb{K}[X]} \mathbb{K}w_\xi$ と同型である。基底は $w(\underline{k}, \underline{\ell}) = \prod \rho_i^{k_i} \prod \sigma_j^{\ell_j} \otimes w_\xi$ で与えられる。
• $x_i$ の作用は、$\xi_i \prod_j r_j^{-k_j} s_j^{-\ell_j}$ によるスカラー倍乗算として与えられ、$y_i$ の作用は $r_i^2, s_i^2$ に依存する係数をもつ $\rho_i$ および $\sigma_i$ のインデックスにおけるシフトの線形結合として与えられる。
• すべてのホイットakerモジュールの単純性は、非退化仮定のもとで基本代数 $\mathsf{D}$ に非自明な $\phi$-不変イデアルが存在しないことから生じ、普遍的ホイットakerモジュールが単純であり、すべてのホイットakerモジュールがその商であることを示している。