Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 70 3 Solution Created 2026-10-03 Updated 2026-10-14
The topological degree assigns an integer to a continuous map between closed, connected, oriented manifolds of the same dimension . Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map definesFor a smooth map and a regular value , its equivalent local description iswhere the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and is regular. This is a signed count; opposite-orientation preimages cancel. If is a normalized target volume form with , the pullback of a differential form gives the equivalent integral .
The homotopy invariance of mapping degree follows because homotopic maps induce the same homology map. In the smooth description, apply Stokes theorem to a homotopy :since a top-dimensional form on is closed. Thus degree cannot change during a smooth deformation preserving the relevant boundary conditions. Degrees multiply under composition, and a nonzero-degree map is surjective: a missed target point would give a regular value with an empty preimage and hence degree zero.
For maps , the homotopy group is completely detected by degree. This supplies integer topological sectors for many classical field-theory solitons. It is important to distinguish two ways spheres arise. In a nonlinear sigma model with the field approaching one fixed target value at infinity, compactify all of to and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere surrounding the core and map it into the vacuum manifold. This is the vacuum-boundary degree as a defect charge. An asymptotic limit is a boundary hypothesis; finite energy alone in every possible model need not imply one.
For an Abelian Higgs vortex, the phase at infinity defines . Its degree is the winding numberNonzero forces a zero of the Higgs field inside: a nowhere-vanishing field would extend its normalized phase through the disk and make the boundary loop contractible. This is also the flux classification of the Bogomolny vortex equations.
For a 't Hooft-Polyakov monopole, the normalized adjoint Higgs field gives . With outward orientation its degree isThe integrand is the normalized target area form, so the hedgehog ansatz for a monopole has degree one. Nonzero degree obstructs extending the normalized Higgs direction through the ball; the full Higgs field must leave the vacuum manifold, normally vanishing in its core. The asymptotic unbroken Abelian magnetic flux measures the same integer with a convention-dependent sign.
For the Skyrme model, a field with at infinity gives , because SU(2) as the three-sphere identifies the target. A choice of orientations gives its topological baryon number in the Skyrme model as the winding integral ; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in , measured by its Chern charge.
A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in , rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is . A kink has , an antikink ; they cannot individually deform to vacuum while their endpoints are fixed.
Degree classifies topology, rather than every solution. Smooth motion or local perturbations with fixed boundary data preserve it, and a nonzero degree obstructs decay to the vacuum within that class. It does not guarantee existence of a smooth energy minimizer, a fixed size, uniqueness, or dynamical stability. The degree and energetic stability of a field configuration are distinct: a field can shrink towards a singular limit at fixed degree, as Derrick's theorem diagnoses in many two-derivative theories. Moreover degree need not classify all homotopy classes for an arbitrary target; other homotopy groups or invariants may be needed. Within one degree there can be continuous moduli spaces and several stationary solutions.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with is a zero-energy critical point of an energy functional in every dimension. Assume the potential is smooth, so the classical Euler-Lagrange equation is well defined. Write the two nonnegative energy terms asFor the admissible Derrick scaling ,Stationarity at gives the Derrick virial identityFor , both terms have nonpositive sign, forcing and hence a constant vacuum. For , scaling alone only proves ; the gradient term is scale invariant, so it must not simply be declared zero.
The two-dimensional flat-target Derrick obstruction supplies that remaining step. Since and its integral is zero, continuity gives everywhere; smooth nonnegative has at those values. The field equation therefore becomes . Each is an entire harmonic function in . Its mean value property and the Cauchy-Schwarz inequality give, for every radius ,Let to get . Thus also has only constant stationary field configurations of finite energy. The unconstrained real scalar target is essential in this argument; the spherical target in Question 2 has different field equations.
In the field equation is . Multiplication by gives the first integralFinite energy makes an integrable nonnegative function, so along some sequence it tends to zero. Evaluating the constant first integral on that sequence gives . ChooseConsequently andFor a nonconstant entire solution the sign is fixed. Indeed a finite- zero of would have ; uniqueness of the smooth second-order equation with initial data would make the solution the constant vacuum. Thus never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies wherever it is nonconstant.
Under the usual soliton boundary conditions as , with in the vacuum manifold , the two endpoint components label the topological sector. For isolated scalar-field vacua this is an ordered pair of vacuum labels, not necessarily one universally normalized integer. More explicitly, for any smooth , the topological currentis identically conserved, taking and boundary conditions fixed during evolution. The choices and give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink givesThe first-order critical solution saturates this Bogomolny bound. A nonzero difference between endpoint vacuum components prevents continuous deformation to a vacuum while those boundary conditions remain fixed. Finite energy alone need not give finite endpoint values for arbitrary potentials, so these topological labels use the stated vacuum boundary conditions.
To evade the scalar-only obstruction, introduce a gauge field and a charged, generally multicomponent Higgs field. For a Yang-Mills-Higgs energy write , where contains and contains . Rescale and . Then scales by , while scales by , soThe magnetic term supplies the missing opposing scaling power. In the relation is , permitting Abelian Higgs vortices; in it is , permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit , achieves . Also, asymptotic ordinary derivatives need not vanish when a Higgs phase winds: the relevant vanishing quantity is the gauge covariant derivative. This allows nontrivial boundary winding with finite energy. Merely appending a gauge potential to a neutral one-component real field would not by itself furnish that Higgs mechanism.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 47 4 Solution Created 2026-10-03 Updated 2026-10-14
For a gauge-field configuration, spatial symmetry means symmetry up to gauge transformation: the pullback of the fields by a spatial isometry lies in their original gauge orbit. In the anti-Hermitian convention,The potential and charged fields need not be strictly fixed in a particular gauge; their gauge-invariant observables must be fixed.
For example, the Abelian potential describes a uniform magnetic field. Translating by adds , a gauge change, although the potential itself changes. For an axially symmetric vortex , , rotation through multiplies by ; a constant transformation compensates. These illustrate why literal invariance of the representative is too strong.
For the 't Hooft-Polyakov monopole, a spatial rotation has an lift with adjoint action . The two lifts differ by a central sign and act identically on adjoint fields. The hedgehog ansatz for a monopole satisfiesThe second identity follows from invariance of under simultaneous rotations of all three indices. Thus the pulled-back fields are obtained by the constant gauge transformation ; applying restores the representative. In particular and the energy density are radial even though is not literally invariant under rotating space alone.
For the field equations, use the invariant inner product with . Since , a variation , givesHere the scalar kinetic contribution to the gauge variation uses
. The Euler-Lagrange field equations for the energy actually printed areThe PDF has , without a square. This is not the usual nonnegative monopole potential with vacuum . If the usual were intended, only the scalar equation would change toThe final requested proof at is identical for either interpretation; we do not silently alter the printed energy.
. The Euler-Lagrange field equations for the energy actually printed areThe PDF has , without a square. This is not the usual nonnegative monopole potential with vacuum . If the usual were intended, only the scalar equation would change toThe final requested proof at is identical for either interpretation; we do not silently alter the printed energy.
To derive the covariant derivative of the radial fields, first differentiate the Higgs profile:The commutator term isAdding the two terms gives exactly
The radial eigenvalue of the supplied magnetic tensor is , while that of this covariant derivative is . Its transverse coefficients are respectively and . Consequently reduces toEquivalently, the hedgehog monopole equations in radial profile variables with areThese are two equations rather than an overdetermined system: radial and transverse projections span the two invariant tensor structures. For a regular monopole in this hedgehog sector, smoothness at the origin gives , , while the normalized vacuum conditions give , at infinity; solving the ODEs is not needed here.
Finally, prove that the Bogomolny monopole equations imply Yang-Mills-Higgs equations, without restricting to the radial ansatz. The three-dimensional gauge-theory Bianchi identity is . If , thenwhich is the scalar equation at . For the gauge equation,In the second line antisymmetry eliminates the symmetric derivative part; the curvature commutator is . The next equality uses
and . These are exactly both field equations at , so every smooth Bogomolny solution satisfies them, not merely those of the hedgehog form.
and . These are exactly both field equations at , so every smooth Bogomolny solution satisfies them, not merely those of the hedgehog form.
For finite-energy monopoles, the associated energy argument is also transparent:The gauge-theory Bianchi identity converts into this boundary term. At fixed asymptotic magnetic charge, saturates the Bogomolny bound. This complements the local differential proof above and explains the energy-minimizing role of the first-order equations.