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
editSuppose 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
edit- Dixmier, Jacques (1963), "Représentations irréductibles des algèbres de Lie nilpotentes", Anais da Academia Brasileira de Ciências, 35: 491–519, ISSN 0001-3765, MR 0182682
- Dixmier, Jacques (1966), "Représentations irréductibles des algèbres de Lie résolubles", Journal de Mathématiques Pures et Appliquées, Neuvième Série, 45: 1–66, ISSN 0021-7824, MR 0200393
- Dixmier, Jacques (1996) [1974], Enveloping algebras, Graduate Studies in Mathematics, vol. 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2, MR 0498740
- "Dixmier_mapping", Encyclopedia of Mathematics, EMS Press, 2001 [1994]