Prime and primitive ideals of a class of iterated skew polynomial rings (Q5952285): Difference between revisions

Let \(R=R_n^{(C,\Lambda)}(k)\) be the iterated Ore extension defined by \textit{S.-Q. Oh} [Commun. Algebra 25, No. 1, 37--49 (1997; Zbl 0872.16018)] (\(k\) is a field), where some products of parameters are not roots of unity. This algebra is generated by \(2n\) variables \(\{y_1,x_1,\dots,y_n,x_n\}\). Let \(z_i=dx_iy_i-y_ix_i\) for \(1\leq i\leq n\) and \(z_0=du\) where \(d,u\) are some parameters in \(k\). There is an algebraic torus \(H\) acting rationally on \(R\). This action provides an \(H\)-stratification of the prime spectrum. \(H\)-strata are represented by certain subsets of \(\{z_1,y_1,x_1,\dots,z_n,y_n,x_n\}\) called admissible sets. These admissible sets generate polynormal prime ideals (Theorem 1.8) invariant under \(H\). Once an admissible set \(T\) is fixed, the \(H\)-stratum associated to \(T\) (\(\text{Spec}_T(R)\)) is proved to be homeomorphic to the spectrum of the center of a McConnell-Petit algebra defined in terms of \(T\) as follows: localize \(R\) by the right Ore set generated by some \(y_i\) and factor this new algebra by the extension of the prime ideal generated by \(T\); this factor algebra is isomorphic to a localization of a quantum space which is embedded in a McConnell-Petit algebra \(P(Q_T)\) via a new localization; this map from \(R\) to \(P(Q_T)\) provides a homeomorphism from \(\text{Spec}(P(Q_T))\) to \(\text{Spec}_T(R)\) (Theorem 3.4); finally in [\textit{K. R. Goodearl} and \textit{E. S. Letzter}, CMS Conf. Proc. 22, 39--58 (1998; Zbl 0904.16001)] the homeomorphism between \(\text{Spec}(P(Q_T))\) and \(\text{Spec}(Z(P(Q_T)))\) is proved. As a consequence of previous homeomorphism, the authors show that the primes of \(R\) are parameterized by pairs \((T,p)\) where \(T\) is an admissible set and \(p\) is a prime ideal in \(Z(P(Q_T))\). Moreover, if \(p\) is maximal then the corresponding prime is primitive. In order to draw the picture of the spectrum a basis of \(Z(P(Q_T))\) is used. Such a basis is computed in three instances of this class of algebras: quantum Weyl algebras and coordinate rings of quantum symplectic spaces and quantum Euclidean spaces. The symplectic case was previously studied by \textit{J. Gómez-Torrecillas, L. El Kaoutit} and \textit{L. Benyakoub} [Commun. Algebra 29, No. 7, 3179--3197 (2001; Zbl 0999.16001)]. In the quantum Weyl algebra the authors study the highest admissible set, since the others were previously studied by different authors. Finally the quantum Euclidean spaces are studied via the solutions of certain quantum linear systems associated to admissible sets. If \(k\) is algebraically closed, a picture of the prime spectrum can be done. Such picture is drawn for low dimensional cases of the coordinate ring of quantum Euclidean space, with the additional support of an epimorphism defined by \textit{S.-Q. Oh} [loc. cit.].