Wild torsion modules over Weyl algebras and general torsion modules over HNPs (Q1891490)

The central result of this very interesting paper shows that the representation theory of the first Weyl algebra \(A_1\) over a field \(F\) of characteristic 0 is wild, in the following sense: Let \(R\) be any (say) countably generated \(F\)-algebra. Then there is an exact embedding \({\mathcal T}_R\) of the category of right \(R\)-modules into the category of right \(A_1\) modules, such that \({\mathcal T}_R\) preserves endomorphism groups and such that \({\mathcal T}_R(M)\) has code length 2 for all non-zero \(M\). Moreover, if \(R\) is a finitely generated \(F\)-algebra then \({\mathcal T}_R (M)\) has finite length for all finite dimensional \(M\). Various examples exploiting and illustrating this result are given, and the paper concludes with a pretty result completing the structure theory of finitely generated modules over HNP rings, as begun by \textit{D. Eisenbud} and \textit{J. C. Robson} [J. Algebra 16, 86-104 (1970; Zbl 0211.05701)].