The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras (Q4699641)

The Diximier-Moeglin equivalence of the title identifies the primitive ideals among the prime ideals of an affine algebra \(A\) over a field \(k\) by showing that the primitivity property of a prime ideal \(P\) of \(A\) coincides with two other properties, namely: \(P\) is primitive if and only if the centre of the Goldie quotient ring of \(A/P\) is an algebraic field extension of \(k\), if and only if \(P\) is a locally closed point in the prime spectrum of \(A\). The name derives from the fact that the equivalence was shown to hold when \(A\) is the enveloping algebra of a finite dimensinal complex Lie algebra, by \textit{J. Dixmier} [J. Algebra 48, 96-112 (1977; Zbl 0366.17007)] and by \textit{C. Moeglin} [J. Math. Pures Appl., IX. Sér. 59, 265-336 (1980; Zbl 0454.17006)]. However, not all affine Noetherian \(k\)-algebras satisfy the equivalence -- see \textit{R. S. Irving} [in Sémin. d'Algèbre Paul Dubriel, 31ème Année, Paris 1977/78, Lect. Notes Math. 740, 80-87 (1979; Zbl 0423.16003)]. In the present paper the equivalence is shown to hold in a setting which includes many quantised algebras (for parameter values which are not roots of unity). The key feature which allows the equivalence to be proved in the cases treated here is the presence of a connected algebraic group \(\mathcal H\) acting rationally as automorphisms of \(A\), in such a way that the set of \(\mathcal H\)-invariant prime ideals of \(A\) is finite.