Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 42 2 Solution 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.