On primitive ideals. (Q1416737)

The set of primitive ideals of an associative algebra \(A\), equipped with the Jacobson topology, called the primitive spectrum of \(A\), is an important invariant of \(A\). It is completely understood in some very special cases only. The motivation of the paper under review comes from one of these cases, namely when \(A={\mathcal U}{\mathfrak g}\) is the universal enveloping algebra of a complex semisimple Lie algebra \(\mathfrak g\). The purpose is to show that, quite surprisingly, two very important results on primitive ideals in \({\mathcal U}{\mathfrak g}\) have natural generalizations to much wider classes of algebras. The first result is the theorem of Duflo stating that any primitive ideal in \({\mathcal U}{\mathfrak g}\) is the annihilator of a simple highest weight module. The generalization is to an arbitrary algebra \(A\) with a triangular structure, i.e. with a pair of ``opposite'' subalgebras \(A^\pm\) such that \(A\) is an \((A^+,A^-)\)-bimodule of finite type, with some additional technical conditions. The second result is a generalization of the theorem which states that the associated variety of a primitive ideal in \({\mathcal U}{\mathfrak g}\) is irreducible and coincides with the closure of a nilpotent conjugacy class of \(\mathfrak g\). The results of the paper can be considered as a first step in the study of the primitive ideals of a new important class of algebras, the symplectic reflection algebras, recently introduced by the author and Etingof. More precisely, they give new information for the primitive ideals of the rational Cherednik algebras which appeared as a rational degeneration of the double affine Hecke algebras introduced by Cherednik.