Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 55 4 Solution Created 2026-10-03 Updated 2026-10-14
For the adjoint covariant derivative , the gauge curvature isThe matrix-valued wedge product gives one commutator in each coefficient; follows directly. The given trace defines a real positive inner product on the anti-Hermitian algebra .
The additional terms in , compared with ordinary differentiation, areThus trace cyclicity proves the compatibility identityWith compactly supported variations, this gives covariant integration by parts without boundary contributions.
Use , so . Write the independent variations as and . The curvature and Higgs derivative variations areThe variation of the Yang-Mills theory magnetic energy isFor the Higgs field derivative energy, trace cyclicity also gives . HenceArbitrariness of the variations proves the Euler-Lagrange field equationsThe gauge equation can equivalently be written , where . This equivalent form also checks the sign of the commutator source.
Now suppose the positive-sign Bogomolny equations hold. The gauge-theory Bianchi identity implies , and therefore . For the gauge equation,Consequently . Thus the first-order Bogomolny equations imply both second-order field equations. The negative-sign convention works as well, with both occurrences of that sign tracked consistently.
Finally differentiate the norm twice, using the trace compatibility identity at each step:The second term vanishes, and for the Bogomolny equations. Thus the Higgs norm identity for a Bogomolny monopole givesThere is no extra factor 2 multiplying : the printed energy density already contains both equal terms without an overall .
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 40 2 Solution Created 2026-10-03 Updated 2026-10-14
A BPS state is a state whose mass saturates a lower bound set by conserved charges in the Super-Poincaré algebra. Saturation leaves some linear combinations of supercharges unbroken and produces a shortened massive supermultiplet. Both statements follow from the positivity of the physical Hilbert-space norm, rather than from an assumed classical field configuration.
For four-dimensional extended supersymmetry, choose the normalizationThe conjugate algebra is obtained by Hermitian conjugation. The antisymmetry of the central charge in supersymmetry matrix follows because the anticommutator is symmetric in the combined labels while is antisymmetric. These central charges commute with momentum and supercharges, so their eigenvalues are fixed in an irreducible massive representation. In the rest frame, and .
For any operator and physical state ,Apply this to , where is unitary. This is the rest-frame version of the positive operator constructed from . Summing over spinor and internal labels givesThe two diagonal terms each contribute , because ; each mixed term contains . For , write and choose . Then , so . The factor of one-half reflects the stated convention with , rather than , in the equal-chirality anticommutator.
To obtain the sharp general bound and exhibit the shortening, use unitary skew-diagonalization of an antisymmetric matrix to put into two-by-two blocks , with a possible zero row and column for odd . In one block, relabel its two internal indices and write . DefineDirect substitution, using , givesand all annihilator-annihilator anticommutators vanish. The minus operators must have nonnegative norm in every block, hence the BPS bound in supersymmetry isEquivalently, defining gives . Applying the positive construction to each block gives the same bound; applying only its full trace need not isolate the largest block. For and no central charge saturation, each operator can be normalized by to an ordinary fermionic annihilation operator. The unmatched internal index, if any, contributes two more such operators.
There are consequently complex creation operators in a generic massive supermultiplet. Starting with a spin- Clifford vacuum, each creation operator can be occupied zero or one times, so the long representation contains states. If precisely central-charge blocks saturate , then the two and their adjoints have zero anticommutator. The norm identity forces each of them to annihilate every physical state in that representation. Removing these complex oscillators givesThus a massive BPS supermultiplet is half-BPS. For , its four states consist of two spin-zero states and a spin-one-half doublet, instead of the sixteen states of a long representation. A charged representation generally needs its conjugate for CPT completion of a supermultiplet, doubling this four-state count; this yields the eight states of a full charged hypermultiplet. For , one saturated block gives a quarter-BPS representation and two give a half-BPS representation. This rest-frame argument assumes ; massless multiplets follow instead from the null-momentum algebra.
The same bound has a geometric realization for solitons. Consider a static magnetic monopole in an gauge theory with an adjoint Higgs field , asymptotic magnitude , vanishing scalar potential and magnetic field . For magnetic charge , the energy can be writtenThe second equality uses the covariant magnetic Bianchi identity to turn the cross term into the surface integral . Choosing its sign proves the Bogomolny bound . Equality gives the first-order Bogomolny equations . In a suitable supersymmetric embedding, the surface charge is the appropriate central charge and the soliton obeys precisely the algebraic BPS bound in supersymmetry. Its fermionic variation vanishes for the preserved supersymmetry parameters, while the broken supercharges supply its fermionic zero modes.
Shortening is useful because an isolated short multiplet cannot continuously acquire the additional states of a long representation. While the state exists and stays short, its exact mass is determined by the exact central charge, so masses of strongly interacting solitons can be found without computing a generic interacting-particle self-energy. This does not mean that its numerical mass is independent of coupling or vacuum expectation values: those can enter the central charge itself. Supersymmetric indices and the reduced fermionic state content provide ways to count protected states, subject to possible recombination or continuum effects.
For example, in rank-one Seiberg–Witten theory the electric and magnetic charges enter through periods . In the normalization above, , so a BPS state has . A magnetic monopole can become massless where , even though the original electric description is strongly coupled. Including this light magnetic hypermultiplet supplies a useful local description there; states with both electric and magnetic charge are dyons. Thus the protected spectrum identifies important singularities of the vacuum space and tests electric-magnetic dual descriptions.
The charge bound also controls stability. For any proposed decay with additive complex charges , each daughter satisfies . A BPS parent satisfiesEnergy conservation permits decay only if both inequalities are equalities: all daughters must be BPS and their nonzero complex charges must have the same phase. With nonaligned phases the parent lies strictly below the multiparticle threshold. A wall of marginal stability is a locus where such phases align, and a short bound state can disappear across it. Therefore BPS saturation protects a mass-charge relation and short representation, while stability and existence still depend on the spectrum and parameters.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 47 3 Solution Created 2026-10-03 Updated 2026-10-14
Put , , , and . Because the inverse-density Abelian Higgs model contains , its finite-energy admissible class matters at zeros of the Higgs field. First derive the formal equations on the open set where ; on the first-order solutions below the potentially singular quotients extend across the zeros.
For variations and ,Covariant integration by parts in the scalar term, and ordinary integration by parts in the magnetic term, givewhere . HereThus the Euler-Lagrange field equations areEquivalently the gauge equation is . The current sign follows from the explicit choice .
For the Bogomolny bound for the inverse-density Abelian Higgs model, computeusing . Expanding the first square givessoAlso,The current boundary integral vanishes by the assumed rapid decay. Combining the identities therefore givesFor fixed positive flux the minimum is , attained when the Bogomolny equations areThe quotient at a zero is understood through the finite-energy limit, not by dividing a literal nonzero numerator by zero.
These equations imply the second-order equations directly. Applying to the first gives . On the second equation,which is exactly the scalar equation. The first equation also implies and . Since , the gauge equations follow too. All these coefficients are regular across zeros for smooth first-order fields.
For the scalar reduction, write away from its zeros. Separating the real and imaginary parts of the first Bogomolny equation givesThus, with the oriented planar Hodge star , ,away from the zeros. A zero of multiplicity has and phase winding . The multiplicities are positive: locally the first-order equation is a covariant Cauchy–Riemann equation, and a nonvanishing integrating factor turns its solutions into holomorphic functions. Distributionally,Consequently the logarithmic equation for inverse-density Abelian Higgs vortices isThe delta terms are essential for multi-vortex reconstruction; omitting them would lose the specified zeros and flux.
Here is an explicit regular reconstruction, which also removes all artificial singularities. Given distinct locations and integer multiplicities, putSince , solving the smooth nonlinear elliptic problem for amounts toLet and let represent . A smooth solution with the topological decay reconstructsThese formulas are smooth at every prescribed zero and agree with the phase formula off the zeros. Taking a curl and using the equation for verifies ; substitution verifies the other first-order equation. At infinity the phase winds times, producing flux . Thus multi-vortex construction reduces to solving one scalar elliptic boundary-value problem for specified positions and multiplicities, followed by these explicit formulas.
For the topological branch, : a positive interior maximum would have , whereas the equation there gives . At infinity, the linearized scalar equation is . Comparison barriers and elliptic estimates give the decaying tail for regular topological solutions, and hence the required decay of and . The nonlinear elliptic problem determines ; the reconstruction formulas do not constitute an arbitrary superposition of single-vortex profiles.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-14
The degree of a map between oriented manifolds measures how many times the domain covers the target, with signs recording the local local orientation of a manifold. Let be connected, oriented closed manifolds of the same dimension . A continuous map acts on top-dimensional homology bywhere are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify with . Reversing the orientation of either manifold changes the sign; reversing both does not.
For a smooth map, Sard theorem supplies a regular value . Its inverse image is discrete and, by compactness, finite. At each the differential is an isomorphism; let its sign be or according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees isThe sign is computed in oriented manifold charts. The value is independent of the chosen regular value, even when inverse images appear or disappear: the signed count is the coefficient of in .
There is a useful local-density expression for the same topological degree. If is a volume form with , thenThis degree by integration of a pullback volume form follows first by choosing a smooth top-form supported in a small neighborhood of a regular value, where the inverse branches contribute their orientation signs. Any other normalized top-form differs from it by an exact form: integration identifies with . The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form , .
A homotopy preserves this integral, since and Stokes theorem givesThus topological degree is a homotopy invariant. It is multiplicative under composition, because the induced maps on homology compose: . The identity has degree one, a constant map has degree zero for , and an orientation-reversing diffeomorphism has degree minus one. An orientation-preserving finite covering map has degree equal to its number of sheets. Nonzero topological degree forces surjectivity, since an omitted point would be a regular value with an empty inverse image.
For the circle, has degree , positive or negative. This is its winding number, computable as . The antipodal map of has degree : its extension on the ambient -dimensional vector space has that determinant sign and respects the outward-normal convention. A holomorphic map , , on the Riemann sphere has degree , whereas its complex conjugate has degree . These examples show how orientation, rather than simply the number of inverse images, determines the integer.
For maps , topological degree gives the complete homotopy classification . The degree does not classify general manifold maps: the identity of the torus and the map induced by the integer matrix both have degree one, but have different induced maps on and so are not homotopic. A nonzero-degree map cannot extend continuously to , because such an extension would make the boundary map null-homotopic. In the smooth setting, Stokes theorem gives the same obstruction by applying it to the pulled-back normalized volume form.
The hypotheses can be adjusted, but must be stated. For connected oriented noncompact manifolds, a proper map has a degree defined using compactly supported top-forms, and it is invariant under proper homotopies. For manifolds with boundary one uses relative fundamental classes and maps of pairs, or fixes appropriate boundary conditions. Without an integral orientation one can still count inverse images modulo two, obtaining a mod-two degree. The integer integral formula used below assumes the oriented setting.
In classical field theory, these ideas turn continuous fields into quantized topological charges. Suppose a field on approaches one fixed target value at spatial infinity. The one-point compactification makes it a map . When the target is an oriented closed -manifold, its topological degree labels topological sectors. More generally the sectors are described by homotopy groups; an integer degree is available only when the domain and target have the appropriate dimensions and orientations. Smooth time evolution preserving the boundary condition is a homotopy, so it cannot change the integer. A change requires a singular field, escape from the allowed target, or a change at the boundary.
A normalized closed target -form gives the pullback-volume representation of a topological current. On spacetime, put . Since , its dual current is identically conserved, andis independent of time when there is no flux at infinity. This conservation law follows from geometry without using the field equations; it need not arise from a continuous symmetry through Noether theorem.
A concrete example is the O3 nonlinear sigma model in two spatial dimensions. Its unit-vector field approaches a constant at infinity, defining . The normalized area form of the target gives the degree charge of an O3 sigma-model lump:For the energy normalization , the identities giveThis is the Bogomolny degree bound for the O3 sigma model. Choosing the sign appropriate to makes the square nonnegative; vanishing of the square gives first-order Bogomolny equations and a sigma-model lump saturating the bound. With the oriented stereographic projectionthe maps have and . Their conjugates have with the same energy. Holomorphic rational maps have positive degree equal to their degree as rational maps; taking a reciprocal does not reverse the orientation. Antiholomorphic dependence reverses it.
The Skyrme model supplies a three-dimensional example. A field with at infinity is a map . Take and , with positive. Since , the normalized target volume form isThe integral is one on the unit three-sphere. Consequently the Skyrme baryon number as a mapping degree isThis is the topological baryon number in the Skyrme model; the sign has been fixed by the stated orientation and anti-Hermitian generator convention.
A topological charge alone does not guarantee a stable finite-size solution. The degree and energetic stability of a field configuration concern different properties. For a three-dimensional configuration of size , the two-derivative energy scales as , so it can decrease by shrinking while the topological degree remains fixed for every . The limit can be singular. The Skyrme term, with four derivatives, scales as and can balance the shrinking tendency. This is the role of Derrick theorem in distinguishing topological obstruction from energetic stability.
For defects, the relevant boundary map can instead be the sphere surrounding a core. A vacuum manifold equal to gives the integer winding number of a vortex; a vacuum manifold gives the degree of a surrounding for a magnetic monopole. This vacuum-boundary degree as a defect charge obstructs extending the normalized vacuum field through the enclosed ball. A nonzero integer therefore forces the field to leave the vacuum manifold somewhere in the core. This construction does not require the field to take one constant value in every direction at infinity.
Degree also appears in four-dimensional gauge theory through a boundary transition function. For an anti-Hermitian SU(2) gauge connection on , write and assume finite-action boundary behavior on the large bounding three-sphere. In the second-Chern conventionthe identity and the Maurer-Cartan equation giveThis boundary winding representation of Yang-Mills topological charge relates the Second Chern number to the degree of . The Chern-Simons 3-form turns the bulk integral into the boundary winding integral. Conventions which define the instanton number with the opposite trace sign reverse ; the integer quantization is unchanged. A Yang-Mills theta term weights a sector by , giving periodicity . Thus the same topological degree that counts oriented inverse images also labels field sectors and expresses their quantized charges as integrals of local densities.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 308 1 Solution Created 2026-10-03 Updated 2026-10-05
A Bogomolny bound expresses a static field energy as nonnegative squares plus a term fixed by the topological charge or boundary data. Setting the squares to zero gives the first-order Bogomolny equations. Their solutions minimize the energy in that sector and satisfy the second-order Euler-Lagrange field equations, although a general stationary solution need not attain the bound.
For one real scalar in one spatial dimension, take the Lagrangian densityA finite-energy field configuration in this static sector must approach scalar-field vacua with at the two ends. Completing the square gives the square completion for a one-dimensional kink:Choose the sign for which the boundary term is nonnegative. ThusTaking the derivative of the equality equation gives , the static Euler-Lagrange field equation. The boundary term is invariant under deformations keeping the asymptotic scalar-field vacua fixed; it is not a contribution from the local shape of the kink.
For a phi-four kink, let , , and select the sector , . Then , and the increasing Bogomolny equation is . Separating variables yieldsThe integration constant is the translational collective coordinate. Directly, and its energy density is , whose integral is . The decreasing antikink has the reversed boundary values, profile , and the same energy. A Lorentz boost produces the exact uniformly moving kink , with Lorentz factor and energy .
In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with , , and energyThe gauge covariant derivative is used throughout this normalization. Integration by parts, using , gives , with a vanishing boundary divergence for the decaying vortex fields. Combining this identity with the magnetic and potential terms gives the Bogomolny square completion for an Abelian Higgs vortex:Finite-energy field configurations have at infinity, and makes the magnetic flux equal to the phase winding . For ,These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound . The coefficient follows from the explicit energy normalization above; other conventions can give . Static solutions of fixed positive vortex number have equal energy independent of their positions, giving the Abelian Higgs vortex moduli space used for slow dynamics.
Prasad-Sommerfield radial monopole solution 2026-10-14
For a Bogomolny-Prasad-Sommerfield monopole, the dimensionless radial Bogomolny equations are and . The displayed profiles solve both equations: differentiating gives , while differentiating gives . At the origin and , giving a regular core. At infinity decays exponentially and , giving the vacuum Higgs magnitude and a long-range Abelian magnetic field.