Dixmier mapping

In mathematics, the Dixmier mapping describes the space Prim(U(g)) of primitive ideals of the universal enveloping algebra U(g) of a finite-dimensional solvable Lie algebra g over an algebraically closed field of characteristic 0 in terms of coadjoint orbits. More precisely, it is a homeomorphism from the space of orbits g*/G of the dual g* of g (with the Zariski topology) under the action of the adjoint group G to Prim(U(g)) (with the Jacobson topology). The Dixmier map is closely related to the orbit method, which relates the irreducible representations of a nilpotent Lie group to its coadjoint orbits. Dixmier (1963) introduced the Dixmier map for nilpotent Lie algebras and then in (Dixmier 1966) extended it to solvable ones. Dixmier (1996, chapter 6) describes the Dixmier mapping in detail.

Construction

Suppose that g is a completely solvable Lie algebra, and f is an element of the dual g*. A polarization of g at f is a subspace h of maximal dimension subject to the condition that f vanishes on [h,h], that is also a subalgebra. The Dixmier map I is defined by letting I(f) be the kernel of the twisted induced representation Ind~(f|h,g) for a polarization h.

References

This article is issued from Wikipedia - version of the Sunday, August 09, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.