Recall the definition of a group representation:

Definition · Representation

A representation of a group on a complex vector space (with a chosen basis identifying is a homomorphism

This is just a set of by matrices, one for each group element, satisfying the multiplication rules of the group elements. is called the dimension of the representation.

We are mainly interested in the case of a Lie group, where is a differentiable manifold of some dimension. In such a case we will restrict attention to representations given by differentiable maps . As a space, is the space of all by complex matrices, with the locus of non-invertible (zero determinant) elements removed. Choosing local coordinates on will be given by real functions on and the condition that is a differentiable manifold means that the derivative of is consistently defined. Our focus will be not on the general case, but on the study of certain specific Lie groups and representations which are of central interest in quantum mechanics. For these representations one will be able to readily see that the maps are differentiable.

To understand the representations of a group , one proceeds by first identifying the irreducible ones:

Definition · Irreducible representation

A representation is called irreducible if it is has no subrepresentations, meaning non-zero proper subspaces such that is a representation. A representation that does have such a subrepresentation is called reducible.

Given two representations, their direct sum is defined as:

Definition · Direct sum representation

Given representations and of dimensions and , there is a representation of dimension called the direct sum of the two representations, denoted by . This representation is given by the homomorphism

In other words, representation matrices for the direct sum are block diagonal matrices with and giving the blocks. For unitary representations

Theorem

Theorem 2.1. Any unitary representation can be written as a direct sum

where the are irreducible.

Proof

Proof. If is not irreducible there exists a non-zero such that is a representation, and

Here is the orthogonal complement of in (with respect to the Hermitian inner product on ). is a subrepresentation since, by unitarity, the representation matrices preserve the Hermitian inner product. The same argument can be applied to and , and continue until is decomposed into a direct sum of irreducibles. □

Note that non-unitary representations may not be decomposable in this way. For a simple example, consider the group of upper triangular 2 by 2 matrices, acting on . The subspace of vectors proportional to is a subrepresentation, but there is no complement to in that is also a subrepresentation (the representation is not unitary, so there is no orthogonal complement subrepresentation).

Finding the decomposition of an arbitrary unitary representation into irreducible components can be a very non-trivial problem. Recall that one gets explicit matrices for the of a representation only when a basis for is chosen. To see if the representation is reducible, one can’t just look to see if the are all in block-diagonal form. One needs to find out whether there is some basis for for which they are all in such form, something very non-obvious from just looking at the matrices themselves.

The following theorem provides a criterion that must be satisfied for a representation to be irreducible:

Theorem

Theorem (Schur’s lemma). If a complex representation is irreducible, then the only linear maps commuting with all the are , multiplication by a scalar .

Proof

Proof. Assume that commutes with all the . We want to show that irreducible implies . Since we are working over the field (this doesn’t work for ), we can always solve the eigenvalue equation

to find the eigenvalues of . The eigenspaces

are non-zero vector subspaces of and can also be described as the kernel of the operator . Since this operator and all the commute, we have

so is a representation of . If is irreducible, we must have either or . Since is an eigenvalue, , so and thus as a linear operator on . □

More concretely Schur’s lemma says that for an irreducible representation, if a matrix commutes with all the representation matrices , then must be a scalar multiple of the unit matrix. Note that the proof crucially uses the fact that eigenvalues exist. This will only be true in general if one works with and thus with complex representations. For the theory of representations on real vector spaces, Schur’s lemma is no longer true.

An important corollary of Schur’s lemma is the following characterization of irreducible representations of when is commutative.

Theorem

Theorem 2.2. If is commutative, all of its irreducible representations are one dimensional.

Proof

Proof. For commutative, , any representation will satisfy

for all . If is irreducible, Schur’s lemma implies that, since they commute with all the , the matrices are all scalar matrices, i.e., for some . is then irreducible when it is the one dimensional representation given by □


来源与版本

正文:英文 · 原著转录

核对状态:AI 辅助转录核对,未作人工审阅

原书 PDF · 印刷页 14、15、16

来源版本:2025-10-20

来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837