Let g be a complex semisimple Lie algebra, b be a Borel subalgebra of g, n be the nilradical of b, and U (n) be the universal enveloping algebra of n. We study primitive ideals of U (n). Almost all primitive ideals are centrally generated, i.e., are generated by their intersections with the center Z(n) of U (n). We present an explicit characterization of the centrally generated primitive ideals of U (n) in terms of the Dixmier map and the Kostant cascade in the case when g is a simple algebra of exceptional type. (For classical simple Lie algebras, a similar characterization was obtained by Ivan Penkov and the first author.) As a corollary, we establish a classification of centrally generated primitive ideals of U (n) for an arbitrary semisimple algebra g.It was proved in [IP, Theorem 3.1] and [Ig1, Theorem 2.4] that, when Φ is of classical type (i.e., Φ = A n−1 , B n , C n or D n ), J ∈ Prim U (n) is centrally generated if and only if J = J(f ) for a certain Kostant form f . In this paper, we prove that this fact is also true when Φ is of exceptional type, i.e., Φ = E 6 , E 7 , E 8 , F 4 or G 2 . Namely, let ∆ β , β ∈ B, be the set of canonical generators of Z(n) (see Section 2). Let J be a primitive ideal of U (n). Since J is the annihilator of a simple n-module, given β ∈ B, there exists the unique c β ∈ C such that ∆ β − c β ∈ J. Our main result, Theorem 5.1, claims that the following conditions are equivalent: i) J is centrally generated;ii) all scalars c β , β ∈ B \ ∆, are nonzero;iii) J = J(f ) for a Kostant form f .If these conditions are satisfied, then we present an explicit way how to reconstruct f by J. As a corollary, we conclude that the same is true for arbitrary (probably, reducible) root system.The paper is organized as follows. In Section 2, we briefly recall the Kostant's characterization of Z(n) and present a (more or less) explicit description of the canonical generators of Z(n) based on A. Panov's work [Pa2]. Using this description, in Section 3 we prove that certain centrally generated ideals are primitive (in fact, it is the key ingredient in the proof of the main result, see Proposition 3.3). Section 4 is devoted to some particular classes of coadjoint orbits. Namely, we prove that certain orbits are disjoint, see Proposition 4.3. Finally, in Section 5, combining our results form two previous sections, we prove the main result, Theorem 5.1. As an immediate corollary, we obtain that the similar result is true for an arbitrary semisimple Lie algebra, see Theorem 5.2.
The center of U(n)Theorem 3.2. Suppose Φ is an irreducible root system of classical type, i.e., Φ = A n−1 , B n , C n or D n . The following conditions on a primitive ideal J ⊂ U (n) are equivalent : i) J is centrally generated (or, equivalently, J = J c );ii) the scalars c β , β ∈ B \ ∆, are nonzero;iii) J = J(f ξ ) for a Kostant form f ξ ∈ n * .If these conditions are satisfied, then the map ξ can be reconstructed by J.