No label defined (Q4370152)

The algebras of the title are defined as follows. Let \(k\) be a field, let \(n\) be a positive integer, and let \({\mathbf q}=(q_{ij})\) be a multiplicatively antisymmetric \(n\times n\) matrix over \(k\) -- that is, \(q_{ij}=q^{-1}_{ji}\) and \(q_{ii}=1\). Then \(O_{\mathbf q}(k^n)\) is the \(k\)-algebra generated by \(x_1,\dots,x_n\), subject to the relations \(x_ix_j=q_{ij}x_jx_i\) for all \(i\) and \(j\). This paper gives a detailed description of the prime and primitive spectra of \(O_{\mathbf q}(k^n)\). There is a natural finite stratification of these spectra (parametrized by subsets \(J\) of \(\{1,2,\dots,n\}\)), whereby each stratum is homeomorphic to the spectrum of the algebra got from \(O_{\mathbf q}(k^n)\) by factoring out \(\{x_i:i\in J\}\) and inverting the remaining variables. Thus to study the strata, one studies algebras defined like \(O_{\mathbf q}(k^n)\) but with generators \(\{x^{\pm 1}_i:1\leq i\leq n\}\) -- algebras known variously in the literature as McConnell-Pettit algebras, crossed products of finitely generated free Abelian groups over fields, and quantum tori. Thus the authors proceed by first studying the prime and primitive spectrum of a quantum torus, then apply their results to \(O_{\mathbf q}(k^n)\). In this way they obtain, for example, formulae for the Gelfand-Kirillov dimension and Goldie rank of a primitive factor, and deduce a version of the Dixmier-Moeglin equivalence for these algebras. Special cases of the above stratification had been noted earlier, by \textit{C. De Concini}, \textit{V. Kac} and \textit{C. Procesi} [Commun. Math. Phys. 157, No. 2, 405-427 (1993; Zbl 0795.17006)] and by \textit{K. A. Brown} and \textit{K. R. Goodearl} [Trans. Am. Math. Soc. 348, No. 6, 2465-2502 (1996; Zbl 0857.16026)]. For the entire collection see [Zbl 0879.00041].