[Paper Review] Weyl algebra modules

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

Algebraic structures and combinatorial models11 references3 citations

TL;DR

This paper classifies simple weight modules for finite and infinite-dimensional Weyl algebras $A_n$ ($n \leq \infty$) over any field, using generalized Weyl algebra structures and orbit decomposition under the action of automorphisms. It provides a complete classification of indecomposable locally-finite weight modules in tame representation type blocks, identifying explicit families of modules via module constructions over quotient algebras and Veronese subalgebras, particularly in characteristic 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.

Motivation & Objective

• . The paper aims to classify all simple weight modules for Weyl algebras $A_n$ ($n \leq \infty$) over an arbitrary field.
• It investigates the representation type of blocks in the category of locally-finite weight modules.
• It provides a complete description of indecomposable modules in tame blocks of the locally-finite weight module category.
• It establishes connections between simple weight modules for $A_\infty$ and simple $\mathbb{Z}$-graded modules for infinite-dimensional Heisenberg Lie algebras with nonzero central charge.
• The work extends prior classifications by unifying methods from generalized Weyl algebras, representation theory, and module category decomposition.

Proposed method

• . The authors realize the Weyl algebra $A_n$ as a generalized Weyl algebra $D(\sigma, a)$, where $D = K[t_1, \dots, t_n]$ is the polynomial algebra generated by $t_i = \partial_i x_i$, and $\sigma_i$ are shift automorphisms with $\sigma_i(t_j) = t_j - \delta_{ij}$.
• They decompose the category of weight modules $W(A)$ into subcategories indexed by $G$-orbits on $\text{max } D$, where $G$ is the group generated by the $\sigma_i$.
• For each orbit $O$, the category $W^\text{lf}_O(A_n)$ of locally-finite weight modules is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra $A(D/m, \Sigma)$, depending on the orbit type and maximal breaks.
• The classification relies on constructing modules via induced modules $A \otimes_{A[p]} V_m$ and analyzing maximal submodules $N(m)$ that trivially intersect $D/m$, leading to $V \cong A(m)/N(m)$.
• For orbits with maximal breaks of order 1 or 2, the authors define explicit modules $S(O, m)$, $M(O, x_i)$, $M(O, \partial_i)$, and further families $M(O, n, p, \ell)$, $M(O, f, s)$ using quotient structures and actions on $D/n$-modules.
• The key technical tool is the equivalence functor $F'_{EG}$, which lifts finite-dimensional modules over $Q_1$ or $Q_2$ (quotients of $D/m$) to weight modules over $A_n$, enabling classification via orbit and break structure.

Experimental results

Research questions

• RQ1 . What is the complete classification of simple weight modules for the Weyl algebra $A_n$ ($n \leq \infty$) over an arbitrary field?
• RQ2 . How do the representation types of blocks in the category of locally-finite weight modules for $A_n$ depend on the orbit structure of $\text{max } D$ under the automorphism group $G$?
• RQ3 . What are the explicit families of indecomposable modules in tame blocks of the locally-finite weight module category for $A_n$?
• RQ4 . How do simple weight modules for $A_\infty$ give rise to $\mathbb{Z}$-graded modules for the infinite-dimensional Heisenberg Lie algebra with nonzero central charge?
• RQ5 . What is the role of maximal breaks in classifying indecomposable modules in tame blocks?

Key findings

• . All simple weight modules for $A_n$ ($n \leq \infty$) over a field of characteristic 0 are classified via orbit types and maximal breaks, with explicit constructions in terms of quotients $A(m)/N(m)$.
• . For nondegenerate orbits, the unique indecomposable locally-finite weight module is simple, and is isomorphic to $A/A(m, x_i)$ for a maximal ideal $m$.
• . In the case of a maximal break of order 1 with respect to $i$, the indecomposable locally-finite weight modules are: $S(O, m)$, $S(O, \sigma_i(m))$, $M(O, x_i)$, and $M(O, \partial_i)$, forming a complete, nonisomorphic list.
• . For a maximal break of order 2 with respect to $i$ and $j$, the indecomposable modules are: $S(O, p)$, $M(O, p)$, $M(O, n, p, 0)$, $M(O, n, p, 1)$, $M(O, f, 1)$, and $M(O, f, 2)$, where $p \in B_O$, $n > 1$, and $f \in \text{Ind}_0(D/m)[x]$.
• . The classification is achieved via an equivalence functor $F'_{EG}$ that lifts finite-dimensional modules over $Q_1$ or $Q_2$ to weight modules, establishing $W^\text{lf}_O(A_n) \cong \text{mod}_{\text{fd}}(A(D/m, \Sigma))$.
• . The construction yields explicit examples of simple $\mathbb{Z}$-graded modules with infinite-dimensional homogeneous components for the infinite-dimensional Heisenberg Lie algebra with nonzero central charge, arising from simple weight modules of $A_\infty$.