Nilpotent group case Let
G be a
connected,
simply connected nilpotent Lie group. Kirillov proved that the equivalence classes of
irreducible unitary representations of
G are parametrized by the
coadjoint orbits of
G, that is the orbits of the action
G on the dual space \mathfrak{g}^* of its Lie algebra. The
Kirillov character formula expresses the
Harish-Chandra character of the representation as a certain integral over the corresponding orbit.
Compact Lie group case Complex irreducible representations of
compact Lie groups have been completely classified. They are always finite-dimensional, unitarizable (i.e. admit an invariant positive definite
Hermitian form) and are parametrized by their
highest weights, which are precisely the dominant integral weights for the group. If
G is a compact
semisimple Lie group with a
Cartan subalgebra h then its coadjoint orbits are
closed and each of them intersects the positive Weyl chamber
h*+ in a single point. An orbit is
integral if this point belongs to the weight lattice of
G. The highest weight theory can be restated in the form of a bijection between the set of integral coadjoint orbits and the set of equivalence classes of irreducible unitary representations of
G: the highest weight representation
L(
λ) with highest weight
λ∈
h*+ corresponds to the integral coadjoint orbit
G·
λ. The
Kirillov character formula amounts to the character formula earlier proved by
Harish-Chandra. == See also ==