Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-42/4/ii/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 42 4 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
The Proper orthochronous Lorentz group is the connected Lorentz group in the question. Its double cover is , viewed as a real Lie group. Identify a spacetime vector with the Hermitian matrixThe action for preserves this determinant and hence the Minkowski metric. The group is connected, so its image is proper and orthochronous. Its kernel consists of : a matrix in the kernel first preserves , hence is unitary, and then commutes with every Hermitian matrix, so is scalar; determinant one forces the two signs. Matrices in 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 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 , and . Thus the chiral decomposition of the complex Lorentz algebra isComplexification matters: the real Lorentz algebra is not the compact real algebra .
Each spin- homogeneous polynomial representation of SU2 extends from to as . Its complex-conjugate extension uses . 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 factors gives exactly these tensor products. This constructs all finite-dimensional complex Lorentz representations.
Again acts by . 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 and four-vector descend. The left and right Weyl spinors, and , do not. Their direct sum is a Dirac spinor, reducible under the connected group; parity exchanges its two chiral summands. The group representations and describe the two complex chiral parts of an antisymmetric tensor. On the rotation subgroup, self-duality of irreducibles identifies the conjugate spin space with the usual spin space, so the Clebsch-Gordan decomposition for SU2 gives the same spin range 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 would give an invariant positive-definite form on that algebra. Invariance and the boost brackets would then force , impossible for positive-definite . 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 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 , with , and unitary characters on its diagonal , trivial on its unipotent part. In the compact picture this uses functions on satisfyingExpanding functions into 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 , so the even- 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.
New to topics? Read the docs here!