Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-42/2/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 42 2 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
Use anti-Hermitian gauge potentials and the convention for the gauge covariant derivative. Commuting these operators defines the gauge field strength:It is antisymmetric in its two spacetime indices, so and . In two dimensions there is therefore only one independent component, although that component is itself Lie-algebra valued.
Put and . Differentiating gives . Equality of mixed derivatives then gives the right Maurer-Cartan equationConsequently the scaled right Maurer-Cartan gauge potential has curvatureThus and give zero curvature for every smooth . At zero the potential is zero. At minus one it is a pure gauge potential: transforming the zero connection by gives . If the gauge Lie algebra is abelian, the commutator vanishes for every . If it contains with , choose ; at the origin and . Thus in that case the two displayed values are the only choices flat for every . If the potential is instead defined using and field components , the same calculation reads and the nonzero pure-gauge value is . The sign convention must be specified.
For the specified SU(2) exponential, let and, away from the origin, . The Pauli matrix multiplication law gives , so summing the exponential series yieldsThe continuous extension at the origin is . For , the second term is zero precisely when , and henceThese are infinitely many distinct circles.
At the origin, differentiating the exponential at zero gives and . Since , the gauge field strength there isTo evaluate it on the circles, use polar coordinates. On the angular derivative of vanishes, while . Therefore and commute, and everywhere on every such circle, for every .
One can also see these circular curvature zeros for a planar SU2 exponential from a formula valid away from the origin. Write , , and , . Direct differentiation givesand henceBoth coefficients vanish at the positive circle radii, and the expression tends to at the origin, agreeing with the direct calculation.
New to topics? Read the docs here!