Definition

Let g\mathfrak g be a over a kk, and let U(g)U(\mathfrak g) be its . The center of the universal enveloping algebra is

Z(U(g))={zU(g):zu=uz for every uU(g)}.Z(U(\mathfrak g))=\{z\in U(\mathfrak g):zu=uz\text{ for every }u\in U(\mathfrak g)\}.

Because U(g)U(\mathfrak g) is generated as an algebra by g\mathfrak g, it is enough to require zx=xzzx=xz for every xgx\in\mathfrak g. This center is a commutative unital subalgebra of U(g)U(\mathfrak g), distinct from the center of the Lie algebra g\mathfrak g itself.

Action on modules

Every zZ(U(g))z\in Z(U(\mathfrak g)) acts on a U(g)U(\mathfrak g)-module by a module endomorphism. A module has a central character when this action is scalar through an Z(U(g))kZ(U(\mathfrak g))\to k; in real-reductive representation theory this scalar action is called an . Scalar action is automatic only under appropriate irreducibility and endomorphism hypotheses, not for an arbitrary module.

Semisimple structure

When g\mathfrak g is complex semisimple, the center is much larger than the scalars. The identifies it with the Weyl-invariant part of a polynomial algebra on a . In particular, Z(U(g))Z(U(\mathfrak g)) is a polynomial algebra on rankg\operatorname{rank}\mathfrak g algebraically independent generators. The quadratic is the most familiar generator in rank one.

Filtration

The standard filtration of U(g)U(\mathfrak g) 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
  1. Jacques Dixmier, Enveloping Algebras, Graduate Studies in Mathematics 11, American Mathematical Society, 1996. DOI record. Relevant: Chapter 7 on centers and central characters.
  2. Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002. DOI record. Relevant: Chapter V, §5.