Definition
Center of the universal enveloping algebra
The commutative subalgebra of enveloping-algebra elements that commute with every element.
Definition
Let be a Lie algebra over a field , and let be its universal enveloping algebra. The center of the universal enveloping algebra is
Because is generated as an algebra by , it is enough to require for every . This center is a commutative unital subalgebra of , distinct from the center of the Lie algebra itself.
Action on modules
Every acts on a -module by a module endomorphism. A module has a central character when this action is scalar through an algebra homomorphism ; in real-reductive representation theory this scalar action is called an infinitesimal character. Scalar action is automatic only under appropriate irreducibility and endomorphism hypotheses, not for an arbitrary module.
Semisimple structure
When is complex semisimple, the center is much larger than the scalars. The Harish–Chandra isomorphism identifies it with the Weyl-invariant part of a polynomial algebra on a Cartan subalgebra. In particular, is a polynomial algebra on algebraically independent generators. The quadratic Casimir element is the most familiar generator in rank one.
Filtration
The standard filtration of restricts to its center. Under the Poincaré–Birkhoff–Witt associated-graded map, leading terms of central elements become adjoint-invariant polynomial functions. This filtered viewpoint explains why invariant polynomial theory governs the center, although the precise algebra isomorphism requires the Harish–Chandra shift.
References
- Jacques Dixmier, Enveloping Algebras, Graduate Studies in Mathematics 11, American Mathematical Society, 1996. DOI record. Relevant: Chapter 7 on centers and central characters.
- Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002. DOI record. Relevant: Chapter V, §5.