K. R. Goodearl — Page 4

arXiv1999

Prime ideals in certain quantum determinantal rings

The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.

math.QA↗

arXiv1999

Prime spectra of quantized coordinate rings

This paper is partly a report on current knowledge concerning the structure of (generic) quantized coordinate rings and their prime spectra, and partly propaganda in support of the conjecture that since these algebras share many common properties, there must be a common basis on which to treat them. The first part of the paper is expository. We survey a number of classes of quantized coordinate rings, as well as some related algebras that share common properties, and we record some of the basic properties known to occur for many of these algebras, culminating in stratifications of the prime spectra by the actions of tori of automorphisms. As our main interest is in the generic case, we assume various parameters are not roots of unity whenever convenient. In the second part of the paper, which is based on joint work with E. S. Letzter in [The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras (to appear in Trans. Amer. Math. Soc.)], we offer some support for the conjecture above, in the form of an axiomatic basis for the observed stratifications and their properties. At present, the existence of a suitable supply of normal elements is taken as one of the axioms; the search for better axioms that yield such normal elements is left as an open problem.

math.QA↗