[論文レビュー] Weyl algebra modules

Viktor Bekkert, Georgia Benkart+1 more|ArXiv.org|Feb 21, 2002

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

ひとこと要約

この論文は、任意の体上の有限次元および無限次元のウェイル代数 $A_n$ ($n \leq \infty$) の単純な重み加群を、一般化ウェイル代数構造と自己同型の作用による軌道分解を用いて分類する。特に対象は、ねんみん型表現型のブロックにおける、局所的有限重み加群の完全な分類を提供し、商代数およびヴェロネーゼ部分代数上の加群構成により明示的な加群族を同定する。特に特徴的0の体において成立する。

ABSTRACT

We investigate weight modules for finite and infinite Weyl algebras, classifying all such simple modules. We also study the representation type of the blocks of locally-finite weight module categories and describe indecomposable modules in tame blocks.

研究の動機と目的

• この論文の目的は、任意の体上の有限次元および無限次元のウェイル代数 $A_n$ ($n \leq \infty$) のすべての単純重み加群を分類することである。
• 局所的有限重み加群の圏におけるブロックの表現型を調査することである。
• 局所的有限重み加群の圏におけるねんみん型ブロックにおける分解不能加群の完全な記述を提供することである。
• $A_\infty$ の単純重み加群と、非ゼロ中心電荷を持つ無限次元ヘイゼンベルクリー代数の単純 $\mathbb{Z}$-順序加群との間の関係を確立することである。
• 一般化ウェイル代数、表現論、加群圏の分解の手法を統合することで、先行研究の分類を拡張することである。

提案手法

• 著者たちは、ウェイル代数 $A_n$ を一般化ウェイル代数 $D(\sigma, a)$ として実現する。ここで $D = K[t_1, \dots, t_n]$ は $t_i = \partial_i x_i$ で生成される多項式代数であり、$\sigma_i$ は $\sigma_i(t_j) = t_j - \delta_{ij}$ を満たすシフト自己同型である。
• 彼らは重み加群の圏 $W(A)$ を、$G$ が $\sigma_i$ で生成する群であるとき、$\text{max } D$ 上の $G$-軌道によってインデックス付けられた部分圏に分解する。
• 各軌道 $O$ に対して、局所的有限重み加群の圏 $W^\text{lf}_O(A_n)$ は、軌道の型と最大のブレークに依存する有限次元代数 $A(D/m, \Sigma)$ の有限次元加群の圏と同値である。
• 分類は、誘導加群 $A \otimes_{A[p]} V_m$ を用いた加群の構成と、$D/m$ と自明に交わらない最大部分加群 $N(m)$ の解析に依存し、$V \cong A(m)/N(m)$ が得られる。
• 最大ブレークの位数が1または2である軌道に対して、著者たちは明示的な加群 $S(O, m)$、$M(O, x_i)$、$M(O, \partial_i)$、およびさらに $M(O, n, p, \ell)$、$M(O, f, s)$ のような加群族を、商構造と $D/n$-加群への作用を用いて定義する。
• 主な技術的道具は、$Q_1$ や $Q_2$（$D/m$ の商）上の有限次元加群を $A_n$ 上の重み加群へと持ち上げる同値関手 $F'_{EG}$ であり、これにより軌道とブレーク構造を介した分類が可能となり、$W^\text{lf}_O(A_n) \cong \text{mod}_{\text{fd}}(A(D/m, \Sigma))$ が確立される。

実験結果

リサーチクエスチョン

• RQ1 任意の体上のウェイル代数 $A_n$ ($n \leq \infty$) の単純重み加群の完全な分類は何か？
• RQ2 局所的有限重み加群の圏における $A_n$ のブロックの表現型は、自己同型群 $G$ による $\text{max } D$ 上の軌道構造にどのように依存するか？
• RQ3 $A_n$ の局所的有限重み加群の圏におけるねんみん型ブロックにおける分解不能加群の明示的族は何か？
• RQ4 $A_\infty$ の単純重み加群は、非ゼロ中心電荷を持つ無限次元ヘイゼンベルクリー代数の $\mathbb{Z}$-順序加群をどのように生じさせるか？
• RQ5 最大ブレークは、ねんみん型ブロックにおける分解不能加群の分類において果たす役割は何か？

主な発見

• 特徴的0の体上では、すべての $A_n$ ($n \leq \infty$) の単純重み加群が、軌道型と最大ブレークを用いて分類され、商 $A(m)/N(m)$ を用いた明示的構成がなされる。
• 非退化軌道に対しては、唯一の分解不能局所的有限重み加群は単純であり、最大イデアル $m$ に対して $A/A(m, x_i)$ に同型である。
• $i$ に関して最大ブレークの位数が1である場合、分解不能局所的有限重み加群は $S(O, m)$、$S(O, \sigma_i(m))$、$M(O, x_i)$、$M(O, \partial_i)$ であり、これらは完全で非同型なリストを形成する。
• $i$ および $j$ に関して最大ブレークの位数が2である場合、分解不能加群は $S(O, p)$、$M(O, p)$、$M(O, n, p, 0)$、$M(O, n, p, 1)$、$M(O, f, 1)$、$M(O, f, 2)$ である。ここで $p \in B_O$、$n > 1$、$f \in \text{Ind}_0(D/m)[x]$ である。
• 分類は、$Q_1$ や $Q_2$ 上の有限次元加群を重み加群へ持ち上げる同値関手 $F'_{EG}$ を用いて達成され、$W^\text{lf}_O(A_n) \cong \text{mod}_{\text{fd}}(A(D/m, \Sigma))$ が確立される。
• この構成により、非ゼロ中心電荷を持つ無限次元ヘイゼンベルクリー代数の、無限次元の同次成分をもつ単純 $\mathbb{Z}$-順序加群の明示的例が得られる。これは $A_\infty$ の単純重み加群から生じる。