Cyclicity of finitely generated torsion modules over the Weyl algebra A_n

Determine whether every finitely generated torsion module over the nth Weyl algebra A_n is cyclic, i.e., generated by a single element as an A_n-module.

Background

In Theorem 3.7 of the survey (summarizing Stafford’s results), it is shown that any finitely generated torsion module over A_n can be generated by two elements. Motivated by this bound and by the fact that all holonomic A_n-modules (which are torsion) are known to be cyclic, Stafford proposed strengthening the two-generator result to the assertion that every finitely generated torsion A_n-module is actually cyclic.

The survey notes that this conjecture appears in slightly stronger form in Stafford’s original paper and emphasizes that, to the author’s knowledge, it has not been resolved.