[Math] Representation Theory of Lie Groups: Reference Request

lie-algebraslie-groupsreference-request

I am looking for a reference that describes the correspondence between the (finite-dimensional) representations of (real) Lie groups and the representations of their Lie algebras. More precisely, does anyone know of a text that contains proofs of statements below (modulo some assumptions):

  • If G is a compact, simply-connected Lie group, then its (finite dimensional) representations are in correspondence with those of the complexification of its Lie algebra;

  • If H is a (compact) Lie group with the same Lie algebra as G, then it is a quotient of G by a subgroup of the centre; the (finite dimensional) representations of H are precisely those for G that factor through the quotient.

I understand the representation theory of (finite-dimensional, complex, semisimple) Lie algebras, and have a (working) knowledge of differential geometry and algebraic topology; references that only consider matrix Lie groups are not preferred, though it would be nice if any particularly high-powered differential geometry\topology is kept to a minimum.

Best Answer

Neither statement requires compactness as a hypothesis. The key result to both, and the only place where any work is needed, is the following:

If $G$ is a connected Lie group and $H$ is a Lie group, then the differentiation map

$$\text{Hom}(G, H) \to \text{Hom}(\mathfrak{g}, \mathfrak{h})$$

is injective (straightforward). If $G$ is simply connected, it is bijective (takes work).

Both statements you want are exercises assuming this result.

For the connection between representations of a simply connected Lie group and its Lie algebra, take $H = \text{GL}_n(\mathbb{C})$ and use the fact that complexification is left adjoint to the forgetful functor from complex to real Lie algebras.

For the connection between Lie groups having the same Lie algebra, if $G$ is a simply connected Lie group and $H$ is a connected Lie group with the same Lie algebra, then there is an isomorphism $\mathfrak{g} \sim \mathfrak{h}$, and by the above it lifts to a map $G \to H$ which is a local diffeomorphism and hence (with a bit of work) a covering map. It's an exercise to show that a covering map between connected topological groups is a quotient by a discrete subgroup of the center. Since $G \to H$ is surjective, a representation of $H$ is determined by the corresponding representation of $G$, and the only condition to check is that it factors.

The key result should be in any book that discusses the relationship between Lie groups and Lie algebras; to give two random examples, it is proven in Section 8.3 of Fulton and Harris, and it is Theorem 3.27 in Warner's Foundations of Differentiable Manifolds and Lie Groups.