[论文解读] 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$-轨道分解为子范畴，其中 $G$ 是由 $\sigma_i$ 生成的群，作用于 $\text{max } D$。
• 对每个轨道 $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$-模上的作用。
• 关键技术工具是等价函子 $F'_{EG}$，它将 $Q_1$ 或 $Q_2$（$D/m$ 的商）上的有限维模上拉至 $A_n$ 上的权模，从而通过轨道与断裂结构实现分类。

实验结果

研究问题

• RQ1 . 在任意域上，威莱代数 $A_n$ ($n \leq \infty$) 的简单权模的完整分类是什么？
• RQ2 . 局部有限权模范畴中 $A_n$ 的块的表示类型如何依赖于 $\text{max } D$ 在自同构群 $G$ 作用下的轨道结构？
• RQ3 . 局部有限权模范畴中 $A_n$ 的驯服块内，不可约模的显式族是什么？
• RQ4 . $A_\infty$ 的简单权模如何导出非零中心荷的无限维海森堡李代数的 $\mathbb{Z}$-分次模？
• RQ5 . 最大断裂在分类驯服块中不可约模的过程中起什么作用？

主要发现

• . 在特征 0 的域上，所有 $A_n$ ($n \leq \infty$) 的简单权模均通过轨道类型与最大断裂分类，且以商式 $A(m)/N(m)$ 的形式显式构造。
• . 对于非退化轨道，唯一的不可约局部有限权模是简单模，且同构于 $A/A(m, x_i)$，其中 $m$ 为极大理想。
• . 当相对于 $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]$。
• . 分类通过等价函子 $F'_{EG}$ 实现，该函子将 $Q_1$ 或 $Q_2$ 上的有限维模上拉至权模，从而建立 $W^\text{lf}_O(A_n) \cong \text{mod}_{\text{fd}}(A(D/m, \Sigma))$。
• . 该构造产生了非零中心荷的无限维海森堡李代数的显式例子，其同调分量为无限维，来源于 $A_\infty$ 的简单权模。