Representations of Compact Lie Groups

⚡ Key Takeaways

Representations of compact Lie groups are continuous homomorphisms from a compact Lie group $G$ into the group of invertible linear operators on a (finite-dimensional) vector space. The central result is that every such representation is completely reducible into a direct sum of irreducibles, each irreducible appears in the regular representation, and the irreducibles are classified by highest weights lying in a dominant Weyl chamber. Applies across harmonic analysis, particle physics, number theory, and differential geometry. Developed by Schur, Weyl, Cartan, and Peter (1890s–1930s).

💡 The Core Insight

Compactness = unitarity = decomposability. Averaging over a compact group with its finite-total-mass Haar measure converts any representation into a unitary one. Unitarity makes orthogonal complements of invariant subspaces invariant, so representations break into irreducible "atoms." These atoms are then organized by the weights of a maximal torus: every irreducible has a unique highest weight, and the dominant integral weights enumerate all irreducibles without repetition. The continuous, infinite object $G$ is thereby reduced to discrete data on a lattice.

DefinitionCompact Lie Group and Representation

A compact Lie group $G$ is a group that is also a compact smooth manifold, with smooth multiplication and inversion. A (finite-dimensional, complex) representation is a smooth homomorphism

1

\quad \rho: G \longrightarrow GL(V), \qquad V \cong \mathbb{C}^n,

Derivation hint: A homomorphism preserves products, $\rho(gh)=\rho(g)\rho(h)$ ; smoothness is automatic from continuity by a theorem of von Neumann for Lie groups. Two representations $(\rho,V)$ , $(\sigma,W)$ are equivalent if there is a linear isomorphism $T: V \to W$ with $T\rho(g) = \sigma(g)T$ for all $g$ . A representation is irreducible if $V$ has no $G$ -invariant subspace other than $0$ and $V$ . The symbols: $V$ is the representation space, $n = \dim V$ the dimension, and $GL(V)$ the invertible linear maps.

DefinitionHaar Measure

On a compact Lie group there exists a unique bi-invariant Haar measure $\mu$ normalized so that $\mu(G) = 1$ :

2

\quad \int_G f(hg)\, d\mu(g) = \int_G f(gh)\, d\mu(g) = \int_G f(g)\, d\mu(g),

Derivation hint: Build a left-invariant top-degree form from a basis of the Lie algebra, transport it by left translation; compactness gives finite mass, and bi-invariance follows since the modular function of a compact group is trivial.

TheoremUnitarizability and Complete Reducibility

Every finite-dimensional representation $(\rho, V)$ of a compact Lie group $G$ admits a $G$ -invariant Hermitian inner product, making $\rho$ unitary. Consequently $V$ decomposes as an orthogonal direct sum of irreducible subrepresentations:

3

\quad V \cong \bigoplus_{i} V_i, \qquad V_i \ \text{irreducible}.

Derivation hint: Average any inner product over the group using Haar measure; orthogonal complement of an invariant subspace is invariant; induct on dimension.

TheoremSchur's Lemma

If $(\rho,V)$ and $(\sigma,W)$ are irreducible and $T: V \to W$ is an intertwiner ( $T\rho(g)=\sigma(g)T$ ), then either $T=0$ or $T$ is an isomorphism. Moreover, any self-intertwiner of an irreducible complex representation is a scalar:

4

\quad T\rho(g) = \rho(g)T \ \ \forall g \ \implies \ T = \lambda \,\mathrm{Id}, \quad \lambda \in \mathbb{C}.

Derivation hint: $\ker T$ and $\operatorname{im} T$ are invariant; irreducibility forces them to be trivial. For the scalar claim, an eigenvalue $\lambda$ of $T$ gives invariant kernel $T - \lambda$ , which must be all of $V$ .

TheoremPeter–Weyl

Let $\widehat{G}$ be the set of equivalence classes of irreducible unitary representations of $G$ . The matrix coefficients $g \mapsto \langle \rho(g) v, w\rangle$ for $\rho \in \widehat{G}$ span a dense subspace of $L^2(G)$ , and

5

\quad L^2(G) \cong \widehat{\bigoplus_{\rho \in \widehat{G}}} \, V_\rho \otimes V_\rho^*, \qquad \dim(\rho\text{-isotypic block}) = (\dim V_\rho)^2.

Derivation hint: The convolution operator by a continuous function is compact and self-adjoint (when the function is suitable); the spectral theorem decomposes $L^2(G)$ into finite-dimensional eigenspaces, each carrying irreducible bi-representations of $G\times G$ .

TheoremTheorem of the Highest Weight

Let $T \subset G$ be a maximal torus with weight lattice $\Lambda \subset \mathfrak{t}^*$ and choose a set of positive roots determining a dominant chamber. Then equivalence classes of irreducible representations of a compact connected $G$ are in bijection with dominant integral weights $\lambda \in \Lambda^+$ :

6

\quad \widehat{G} \ \xleftrightarrow{\ 1:1\ } \ \Lambda^+ = \{\lambda \in \Lambda : \langle \lambda, \alpha^\vee\rangle \ge 0 \ \text{for all simple } \alpha\}.

Derivation hint: Restrict an irreducible to $T$ ; its weights are a Weyl-invariant set with a unique extreme (highest) weight $\lambda$ ; show $\lambda$ is dominant integral and uniquely recovers the representation via Verma-module / Borel–Weil construction.

ProofComplete Reducibility via Averaging

Step 1 — Build an invariant inner product. Start with any Hermitian inner product $\langle\cdot,\cdot\rangle_0$ on $V$ . Define

7

\quad \langle v, w\rangle := \int_G \langle \rho(g)v, \rho(g)w\rangle_0 \, d\mu(g).

Derivation hint: The integrand is continuous in $g$ and $G$ is compact, so the integral converges; positivity is preserved because the integrand is positive for $v\ne 0$ .

Step 2 — Verify invariance. For fixed $h\in G$ , substitute $g \mapsto gh$ and use right-invariance of $\mu$ :

8

\quad \langle \rho(h)v, \rho(h)w\rangle = \int_G \langle \rho(gh)v, \rho(gh)w\rangle_0\, d\mu(g) = \langle v,w\rangle.

Derivation hint: $\rho(g)\rho(h) = \rho(gh)$ ; right-invariance of Haar measure absorbs the shift.

Step 3 — Orthogonal complement is invariant. If $W \subseteq V$ is invariant, then for $w^\perp \in W^\perp$ , $v\in W$ , and any $g$ : $\langle \rho(g)w^\perp, v\rangle = \langle w^\perp, \rho(g^{-1})v\rangle = 0$ since $\rho(g^{-1})v \in W$ . Hence $W^\perp$ is invariant.

Step 4 — Induct. Decompose $V = W \oplus W^\perp$ and recurse on each factor until only irreducibles remain. Finite dimension guarantees termination. $\blacksquare$

∎

ProofOrthogonality of Characters

Define the character $\chi_\rho(g) = \operatorname{tr}\rho(g)$ . Using Schur's lemma and the averaging operator $P = \int_G \rho(g)\otimes \sigma(g)^*\, d\mu(g)$ projecting onto invariants of $\operatorname{Hom}(W,V)$ , one obtains

9

\quad \int_G \chi_\rho(g)\,\overline{\chi_\sigma(g)}\, d\mu(g) = \dim \operatorname{Hom}_G(\sigma,\rho) = \begin{cases} 1, & \rho \cong \sigma,\\ 0, & \rho \not\cong \sigma.\end{cases}

Derivation hint: $\dim\operatorname{Hom}_G(W,V) = \operatorname{tr}P = \int_G \chi_\rho \overline{\chi_\sigma}$ ; Schur's lemma makes this $1$ for equivalent irreducibles, $0$ otherwise. Thus the irreducible characters form an orthonormal set in $L^2(G)$ , and by Peter–Weyl they are an orthonormal basis of the space of class functions. $\blacksquare$

∎

mathematician · Hermann Weyl | 1885–1955

Weyl unified Cartan's structural Lie algebra theory with Hurwitz's averaging trick into the modern representation theory of compact groups. In a celebrated 1925–1926 series of papers he proved complete reducibility globally (the "unitarian trick"), derived the Weyl character formula and dimension formula, and (with Fritz Peter) established the completeness theorem for $L^2(G)$ . Weyl insisted that the global group, not merely the Lie algebra, carried the essential information — a viewpoint that anticipated harmonic analysis on homogeneous spaces and the entire Langlands program. His book The Classical Groups (1939) became the canonical text.

🧠 Intuition

Think of a compact Lie group as a "smoothed-out finite group." For a finite group, you average by summing over elements and dividing by the order; for a compact Lie group you integrate against Haar measure of total mass $1$ . Everything finite-group representation theory gives you survives. The maximal torus $T$ is the group's "diagonalizable core" — like simultaneously diagonalizing commuting unitary matrices, restricting to $T$ splits $V$ into one-dimensional weight spaces labeled by characters of $T$ . The Weyl group $W = N(T)/T$ permutes these weights, imposing a symmetry. The highest weight is simply the most extreme weight in the dominant chamber — a single point that "generates" all the others by lowering operators, exactly as the highest-spin state of an $SU(2)$ multiplet generates the rest by applying $J_-$ .

TS

The SU(2) Paradigm

In quantum mechanics, angular momentum is representation theory of $SU(2)$ (the double cover of $SO(3)$ ). The irreducible representations $V_j$ are labeled by spin $j \in \{0, \tfrac12, 1, \tfrac32, \dots\}$ — precisely the dominant weights of $SU(2)$ , which is a single nonnegative half-integer. The dimension $2j+1$ counts the magnetic quantum numbers $m = -j, \dots, +j$ , which are the weights. The ladder operators $J_\pm$ are the root vectors, raising and lowering $m$ by $1$ . Clebsch–Gordan coefficients are nothing but the decomposition of tensor products $V_{j_1}\otimes V_{j_2} = \bigoplus_{j=|j_1-j_2|}^{j_1+j_2} V_j$ into irreducibles. Every word a physicist says about angular momentum is a sentence in compact group representation theory.

Figure

Root system

A_2

of

SU(3)

with dominant Weyl chamber and fundamental weights

ExampleIrreducibles of SU(2) and a Tensor Decomposition

Given: $G = SU(2)$ , maximal torus $T = \{\operatorname{diag}(e^{i\theta}, e^{-i\theta})\}$ . Weights are integers $m$ via $\operatorname{diag}(e^{i\theta},e^{-i\theta}) \mapsto e^{im\theta}$ . We want to decompose $V_1 \otimes V_1$ , where $V_1$ is the spin-1 (adjoint, 3-dimensional) representation.

Step 1 — Identify weights of $V_1$ . Spin $j=1$ has weights $\{-2, 0, 2\}$ in the integer normalization (equivalently $m=-1,0,1$ ). Character:

10

\quad \chi_1(\theta) = e^{2i\theta} + 1 + e^{-2i\theta}.

Derivation hint: Character of $V_j$ is the sum of $e^{im\theta}$ over the weights; here three weights.

Step 2 — Multiply characters.

11

\quad \chi_1(\theta)^2 = \left(e^{2i\theta}+1+e^{-2i\theta}\right)^2 = e^{4i\theta} + 2e^{2i\theta} + 3 + 2e^{-2i\theta} + e^{-4i\theta}.

Derivation hint: Expand the square term by term and collect powers of $e^{i\theta}$ .

Step 3 — Subtract highest characters greedily. The top weight $e^{4i\theta}$ forces a spin- $2$ factor ( $\chi_2 = e^{4i\theta}+e^{2i\theta}+1+e^{-2i\theta}+e^{-4i\theta}$ ). The remainder is $\chi_1 + \chi_0$ :

12

\quad \chi_1^2 = \chi_2 + \chi_1 + \chi_0.

Derivation hint: Peel off the irreducible character with the highest remaining weight, repeat until zero.

Boxed answer: $\boxed{V_1 \otimes V_1 \cong V_2 \oplus V_1 \oplus V_0}$ (dimensions $9 = 5+3+1$ , the spin-1 ⊗ spin-1 = spin-2 ⊕ spin-1 ⊕ spin-0 of physics).

ExampleWeyl Dimension Formula for SU(3)

Given: $G = SU(3)$ , type $A_2$ . Simple roots $\alpha_1, \alpha_2$ ; fundamental weights $\omega_1, \omega_2$ . Compute the dimension of the irreducible with highest weight $\lambda = \omega_1 + \omega_2$ (the adjoint representation).

Step 1 — Weyl dimension formula.

13

\quad \dim V_\lambda = \prod_{\alpha > 0} \frac{\langle \lambda + \delta, \alpha^\vee\rangle}{\langle \delta, \alpha^\vee\rangle}, \qquad \delta = \tfrac12\sum_{\alpha>0}\alpha = \omega_1 + \omega_2.

Derivation hint: Take the ratio of the Weyl character formula's numerator and denominator and evaluate the limit at the identity using L'Hôpital / Weyl's specialization argument.

Step 2 — List positive roots of $A_2$ . $\alpha_1,\ \alpha_2,\ \alpha_1+\alpha_2$ . Pair $\lambda+\delta = 2\omega_1 + 2\omega_2$ against each coroot. Using $\langle \omega_i, \alpha_j^\vee\rangle = \delta_{ij}$ :

14

\quad \langle \lambda+\delta, \alpha_1^\vee\rangle = 2, \quad \langle \lambda+\delta, \alpha_2^\vee\rangle = 2, \quad \langle \lambda+\delta, (\alpha_1+\alpha_2)^\vee\rangle = 2+2 = 4.

Derivation hint: $(\alpha_1+\alpha_2)^\vee$ pairs with $\omega_i$ as the sum of the individual pairings in simply-laced type.

Step 3 — Denominator with $\delta = \omega_1+\omega_2$ . $\langle\delta,\alpha_1^\vee\rangle=1,\ \langle\delta,\alpha_2^\vee\rangle=1,\ \langle\delta,(\alpha_1+\alpha_2)^\vee\rangle=2$ .

Step 4 — Form the product.

15

\quad \dim V_{\omega_1+\omega_2} = \frac{2}{1}\cdot\frac{2}{1}\cdot\frac{4}{2} = 8.

Derivation hint: Multiply the three ratios from Steps 2–3.

Boxed answer: $\boxed{\dim V_{\omega_1+\omega_2} = 8}$ — the adjoint representation of $SU(3)$ , the "eightfold way" octet of Gell-Mann.

⚠️ Common mistake

Compactness is essential, not cosmetic. For non-compact groups (e.g., $SL(2,\mathbb{R})$ ), finite-dimensional representations need not be unitary or completely reducible, and the interesting unitary representations are infinite-dimensional. The averaging argument breaks because Haar measure has infinite total mass. Do not transplant complete reducibility to non-compact settings.

"Irreducible over $\mathbb{R}$ " $\ne$ "irreducible over $\mathbb{C}$ ." A real representation can be irreducible over $\mathbb{R}$ yet split when complexified (e.g., the 2-dimensional rotation representation of $SO(2)$ is $\mathbb{R}$ -irreducible but $\mathbb{C}$ -reducible into $\pm1$ characters). The highest-weight theory is a complex theory.

Weights are not eigenvalues of group elements directly — they are characters of the maximal torus, i.e., homomorphisms $T \to U(1)$ , encoded as elements of the weight lattice $\Lambda \subset \mathfrak{t}^*$ .

Counterexample

Consider the additive group $\mathbb{R}$ (a non-compact abelian Lie group) acting on $\mathbb{C}^2$ by

16

\quad \rho(t) = \begin{pmatrix} 1 & t \\ 0 & 1 \end{pmatrix}.

Derivation hint: Check $\rho(s+t) = \rho(s)\rho(t)$ by matrix multiplication; the off-diagonal entries add. This representation is not completely reducible: the subspace spanned by $e_1$ is invariant, but it has no invariant complement (any complement would have to be a $\rho$ -stable line, and the only $\rho$ -stable line is $\mathbb{C}e_1$ ). The Jordan block cannot be diagonalized. This is impossible for a compact group precisely because there is no invariant inner product — illustrating why the compactness hypothesis in [3] cannot be dropped.

connection

Representation theory of compact Lie groups sits at a crossroads. Via the unitarian trick it is equivalent to the Representation Theory of Complex Semisimple Lie Algebras: each compact $G$ has a complexified Lie algebra $\mathfrak{g}_\mathbb{C}$ , and finite-dimensional reps of $G$ ↔ finite-dimensional reps of $\mathfrak{g}_\mathbb{C}$ . The classification by highest weights mirrors Verma Modules and the Borel–Weil–Bott geometric realization on flag varieties. Harmonic analysis generalizes Fourier Analysis: Peter–Weyl is the nonabelian Fourier transform, with characters playing the role of $e^{2\pi i n x}$ . The combinatorial backbone — Root Systems and the Weyl Group — links to Coxeter Groups and Lie Algebra Cohomology. Tensor product decompositions connect to Schur–Weyl Duality and the Symmetric Group via Young tableaux.

🔬 Where this appears

⏳ History

- 1888–1894 — Wilhelm Killing and Élie Cartan classify simple complex Lie algebras via root systems, producing the

A,B,C,D,E,F,G

types.

- 1897 — Adolf Hurwitz introduces invariant integration over

SO(n)

and

U(n)

— the seed of the averaging/Haar trick.

- 1905 — Issai Schur develops the orthogonality relations and "Schur's lemma" in the context of

GL_n

.

- 1913 — Cartan proves the theorem of the highest weight for complex semisimple Lie algebras, classifying finite-dimensional irreducibles.

- 1925–1926 — Hermann Weyl proves global complete reducibility (unitarian trick), the character formula, and the dimension formula for compact semisimple groups.

- 1927 — Fritz Peter and Hermann Weyl prove the completeness theorem for

L^2(G)

— the Peter–Weyl theorem.

- 1933 — Alfred Haar constructs invariant measure on general locally compact groups; John von Neumann proves uniqueness for compact groups.

- 1950s — Harish-Chandra and others extend the theory to non-compact semisimple groups via the unitarian trick and infinite-dimensional representations.

- 1957 — Raoul Bott completes the Borel–Weil–Bott theorem, realizing irreducibles as cohomology of line bundles on flag manifolds.

open-problem

While the finite-dimensional representation theory of compact Lie groups is completely solved, several deep questions extend beyond it. Tensor product multiplicities (Littlewood–Richardson and their generalizations to all types, computed by Littelmann paths and crystal bases) remain combinatorially intricate; the saturation conjecture for general types and the geometry of the eigenvalue/Horn problem connect to algebraic geometry and remain active. The transition to non-compact and infinite-dimensional representations (the unitary dual of a general reductive group) is far from complete — the classification of the unitary dual is open for many real reductive groups, central to the Langlands program. For infinite-dimensional (compact-type) groups such as loop groups and their affine Lie algebra representations, positive-energy representation theory is rich but the full picture (e.g., for higher-dimensional current groups) is unresolved.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also