Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 42 / 4

Start with the classification of finite-dimensional representations of SU2. Its irreducible complex group representations are the spin-$j$ spacesThe central element $-I$ acts on $V_j$ as $(-1{)}^{2j}$. These facts follow also by realizing $V_j$ as homogeneous polynomials of degree $2j$ in two variables: the raising and lowering operators connect all of their one-dimensional weight spaces, and the highest-weight classification supplies every irreducible.

Identify Euclidean four-space with the quaternions. The unit quaternions, each a copy of $SU(2)$, act byThe norm is multiplicative, so this is an orthogonal action. It preserves orientation because the acting group is connected. If it fixes every $q$, setting $q=1$ first gives $a=b$, and then this quaternion must commute with every quaternion; a real unit quaternion is $\pm 1$. The kernel is therefore $\{(1,1),(-1,-1)\}$.

For completeness, the differential is injective: if imaginary quaternions $u,v$ satisfy $uq-qv=0$ for every $q$, then $u=v$ is central and imaginary, hence zero. Both Lie algebras have dimension six. Thus the image contains a neighbourhood of the identity and is an open subgroup of the connected SO(4) group, so it is the whole group. This proves the Spin(4) double coverThe covering group is simply connected since each $SU(2)$ is a three-sphere.

The irreducible representations of a product of compact groups are tensor products of irreducibles of its two factors. One way to see this is to decompose an irreducible space into isotypic components for the first factor; the second commutes with the first, so only one isotypic component can occur. The multiplicity space must then be irreducible for the second factor. Hence the covering-group irreducibles are $V_{j_L}\otimes V_{j_R}$. By central parity on SU2 tensor products, the kernel element acts as $(-1{)}^{2j_L+2j_R}$. The group representation descends to $SO(4)$ precisely when that sign is positive. The representations of SO(4) from two SU2 spins are thereforeEvery finite-dimensional irreducible complex group representation of $SO(4)$ is obtained this way. Since the group is compact, these are also all its continuous irreducible unitary group representations, up to equivalence.

The Lie-algebra version makes the two spin labels visible locally. Choose rotation generators $J_i$ and generators $K_i$ mixing the fourth direction with the first three, normalized so thatThen $A_i=(J_i+K_i)/2$ and $B_i=(J_i-K_i)/2$ obey two commuting copies of $\mathfrak{su}(2)$. The quaternion quotient determines which Lie algebra representations integrate to the actual group, rather than only to its cover.

For example, $(0,0)$ is the scalar, $(1/2,1/2)$ is the four-vector, and $(1,0)$ and $(0,1)$ are the three-dimensional self-dual and anti-self-dual two-form group representations. The half-spin spaces $(1/2,0)$ and $(0,1/2)$ belong to the cover and do not descend to $SO(4)$. Restricting to rotations fixing the real quaternion axis gives the diagonal $SU(2)$, and the Clebsch-Gordan decomposition for SU2 yieldswith steps of one. For a descended group representation these diagonal spins are integers, as required for the spatial $SO(3)$ subgroup.

The Proper orthochronous Lorentz group is the connected Lorentz group in the question. Its double cover is $SL(2,\mathbb{C})$, viewed as a real Lie group. Identify a spacetime vector with the Hermitian matrixThe action $X\mapsto SX{S}^{†}$ for $S\in SL(2,\mathbb{C})$ preserves this determinant and hence the Minkowski metric. The group is connected, so its image is proper and orthochronous. Its kernel consists of $\pm I$: a matrix in the kernel first preserves $I$, hence is unitary, and then commutes with every Hermitian matrix, so is scalar; determinant one forces the two signs. Matrices in $SU(2)$ generate spatial rotations, and positive Hermitian determinant-one matrices generate boosts. Rotations and boosts generate the connected Lorentz group, so the action is onto. Polar decomposition also gives $SL(2,\mathbb{C})\cong SU(2)\times {\mathbb{R}}^3$ as a manifold, proving that it is simply connected. This establishes the Lorentz spinor double cover.

In an anti-Hermitian rotation-generator convention, the Lorentz algebra brackets areThe negative sign in the last bracket distinguishes boosts from Euclidean four-dimensional rotations. After complexification, setA direct bracket calculation gives $[A_i,A_j]={ϵ}_{ijk}{A}_k$, $[B_i,B_j]={ϵ}_{ijk}{B}_k$ and $[A_i,B_j]=0$. Thus the chiral decomposition of the complex Lorentz algebra isComplexification matters: the real Lorentz algebra is not the compact real algebra $\mathfrak{su}(2)\oplus \mathfrak{su}(2)$.

Each spin-$j$ homogeneous polynomial representation of SU2 extends from $SU(2)$ to $SL(2,\mathbb{C})$ as $D_j(S)={\mathrm{Sym}}^{2j}S$. Its complex-conjugate extension uses $\overline{S}$. The finite-dimensional irreducible complex group representations of the covering group are thereforeThe two separate complexified Lie-algebra factors act irreducibly on the two spin spaces, so their tensor product is irreducible. Conversely an invariant complex subspace for the real group is invariant under its complexified Lie algebra; the highest-weight classification for the two ${\mathfrak{sl}}_2$ factors gives exactly these tensor products. This constructs all finite-dimensional complex Lorentz representations.

Again $-I\in SL(2,\mathbb{C})$ acts by $(-1{)}^{2j_L+2j_R}$. Therefore the irreducible representations of the connected Lorentz group itself, in this finite-dimensional complex category, areIf the sum is a half-integer, the group representation is a group representation of the spin cover, or a projective group representation of the Lorentz group, and is not an ordinary single-valued group representation of the group named in the question.

The scalar $(0,0)$ and four-vector $(1/2,1/2)$ descend. The left and right Weyl spinors, $(1/2,0)$ and $(0,1/2)$, do not. Their direct sum is a Dirac spinor, reducible under the connected group; parity exchanges its two chiral summands. The group representations $(1,0)$ and $(0,1)$ describe the two complex chiral parts of an antisymmetric tensor. On the rotation subgroup, self-duality of $SU(2)$ irreducibles identifies the conjugate spin space with the usual spin space, so the Clebsch-Gordan decomposition for SU2 gives the same spin range $|j_L-j_R|,\dots ,j_L+j_R$ as in part (i).

These are group representations used for fields, and they need not be unitary for a positive-definite inner product. Indeed no nontrivial finite-dimensional group representation of this group is unitary: if it were, its differential would embed the simple real Lorentz algebra into an algebra of skew-Hermitian matrices. The trace form $-\mathrm{tr}(XY)$ would give an invariant positive-definite form $b$ on that algebra. Invariance and the boost brackets would then force $-b(J_3,J_3)=b([K_1,K_2],J_3)=b(K_1,[K_2,J_3])=b(K_1,K_1)$, impossible for positive-definite $b$. Equivalently nontrivial boosts in these polynomial group representations have real exponential rather than phase eigenvalues.

The qualification about dimension is necessary because a noncompact group also has infinite-dimensional unitary group representations. They too can be built using $SU(2)$ spin spaces, but not by a single finite pair. For example, the rotation content of induced Lorentz representations is obtained from normalized induced representations of the upper triangular subgroup of $SL(2,\mathbb{C})$, with $n\in \mathbb{Z}$, $\rho \in \mathbb{R}$ and unitary characters $(a/|a|{)}^n|a{|}^{2i\rho }$ on its diagonal $(a,a^{-1})$, trivial on its unipotent part. In the compact picture this uses functions on $SU(2)$ satisfyingExpanding functions into $SU(2)$ matrix coefficients selects a single right-torus weight from each spin space, giving the rotation contentNormalized induction supplies the boost action, coupling these infinitely many rotation spaces. The central sign is $(-1{)}^n$, so the even-$n$ family descends to the connected Lorentz group and has integer rotation spins. This explains both the finite-dimensional field construction and why a classification of unitary group representations cannot simply be identified with the finite two-spin labels.