Modules over a Weyl quantum algebra (Q1345678)

The author considers the Wess-Zumino complex \(\Omega_R\) and quantum Weyl algebra \(D_R\). One describes two filtrations on \(D\). It is proved that \(\text{gr}^r D\) coincides with the algebra \(K_m= k[z_1, \dots, z_m]\overset \text{def} {=} k\langle z_1, \dots, z_m \rangle/ (z_i z_j- z_j z_i)\), where \(z_{ij}\in k^*\), \(z_{ii}= z_{ij} z_{ji} =1\). It is also proved that the algebra \(D\) is Noetherian from the left and from the right. Theorem. Let \(M=\oplus_{i\geq 0} M_i\) be a left finitely generated module over the algebra \(K_m\), \(\deg (z_i) =d_i\). Then 1) there exists a unique polynomial \(H_M (t)\) such that \(\dim (\sum_{i\leq s} M_i)= H_M(s)\) for \(s\gg 0\); 2) \(d_M \geq n\), where \(d_M\) is the dimension of \(M\) (Bernstein inequality). Finally the author introduces the notion of holonomic module, formulates some properties and considers some examples of such modules.