The simple modules of certain generalized crossed products

DOI10.1006/JABR.1997.7038MaRDI QIDQ1368044zbMATH OpenOpenAlexFDO

Authors V. V. Bavula, Fred Van Oystaeyen

Publication date 17 October 1999

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://repository.uantwerpen.be/docman/irua/9fb8c3/5123.pdf

generalized Weyl algebras maximal ideals quantum Weyl algebras simple modules skew Laurent polynomial rings skew polynomial rings

Mathematics Subject Classification ID

Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Twisted and skew group rings, crossed products (16S35) Ordinary and skew polynomial rings and semigroup rings (16S36) Graded rings and modules (associative rings and algebras) (16W50)

Review text

The authors classify simple modules for a class of graded rings of the form \(R=\bigoplus_{i\in\mathbb{Z}}R_i\) where \(R_0=D\) is a commutative Dedekind domain, each \(R_i=Dv_i\) is a free left \(D\)-module of rank one, \(v_0=1\) and, for \(a,b\in D\), \(av_ibv_j=a\sigma^i(b)c(i,j)v_{i+j}\) for an automorphism \(\sigma\) of \(D\) and a \(2\)-cocycle \(c\). This class includes the generalized Weyl algebra or GWA \(D(\sigma,a)\) where \(0\neq a\in D\) and \(\sigma\) is an automorphism of \(D\). This is the ring extension of \(D\) generated by \(X\) and \(Y\) subject to the relations \(XY=a\), \(YX=\sigma(a)\) and, for all \(d\in D\), \(Xd=\sigma(d)X\) and \(Yd=\sigma^{-1}(d)Y\). In the above notation, \(v_i=X^i\) if \(i>0\) and \(v_i=Y^{-i}\) if \(i<0\). The first author [Ukr. Mat. Zh. 44, No. 12, 1628-1644 (1992; Zbl 0810.16003), CMS Conf. Proc. 14, 83-107 (1993; Zbl 0806.17023) and Algebra Anal. 4, No. 1, 75-97 (1992; Zbl 0807.16027)], classified the simple modules of \(D(\sigma,a)\) in the case where no maximal ideal of \(D\) is invariant under a positive power of \(\sigma\) and the present paper generalizes this classification. One example, to which a section is devoted, is the quantum Weyl algebra \(A_1(q)\) over a field \(k\), which is the GWA \(D(\sigma,H)\) where \(\sigma(H)=q^{-1}(H-1)\). There is a \(\sigma\)-invariant maximal ideal of \(D\) which, if \(q\) is not a root of unity, is the unique maximal ideal of \(D\) invariant under a positive power of \(\sigma\). As in the previous work of the first author and in earlier work of \textit{R. E. Block} [Lect. Notes Math. 740, 69-79 (1979; Zbl 0414.16017)], on the Weyl algebra \(A_1\), the classification is in terms of the irreducible elements of the Euclidean ring \(B=K[X^{\pm 1};\sigma]\), where \(K\) is the quotient field of \(D\). The ring \(B\) is obtained from \(R\) by localization at \(D\setminus\{0\}\). The simple \(R\)-modules which are torsion with respect to \(D\setminus\{0\}\) are analysed separately from those which are torsion-free. It is shown that there are no torsion-free simple modules if and only if there are infinitely many maximal ideals of \(D\) invariant under positive powers of \(\sigma\). One interesting example to which the results are applied and which is not a GWA is a factor \(V\) of the enveloping algebra of the Virasoro-Lie algebra. Here \(D=k[H]\), \(\sigma(H)=H-1\), \(v_iv_j=(H-i-1)v_{i+j}\) if \(i+j\neq 0\) and \(v_{-i}v_i=(H+i-1)(H-1)\). The authors also consider the positively graded case and give a similar classification of simple modules, with the skew polynomial ring \(K[X;\sigma]\) replacing the skew Laurent polynomial ring \(B\) and with some modifications described as not entirely innocent. An example is given to show that the above result on the existence of torsion-free simple modules no longer holds.

Recommendations

Cites work

Cited in

(50)

This page was built for publication: The simple modules of certain generalized crossed products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368044)