Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 50 2 Solution Created 2026-10-03 Updated 2026-10-06
Choose boundary states with nonzero overlap with the lowest-energy state in the vacuum sector and in the one-kink topological sector . In a finite spatial box, a fixed scalar field configuration eigenstate may be used formally, with temporal endpoints equal to the chosen configuration. More generally, smear the endpoints with wavefunctionals . Their unitary time evolution kernels areThe inner scalar field path integral remains in the chosen topological sector, with . A zero-total-momentum projection can be included to select the rest state; alternatively, the translational prefactor does not change the large-time exponential. After a Wick rotation to physical Euclidean time , the energy eigenstate expansion gives . Thus the exact vacuum-subtracted soliton mass isEquivalently it is at large time with a damping prescription. The ratio subtracts the vacuum energy; the Hamiltonian operator and action here are the fully regulated and renormalized ones, not merely their classical approximations.
With the dimensionless coordinates of this paper, the correctly normalized classical action isFor the static Sine-Gordon kink, and , so . Write . Expanding and integrating by parts givesThe first variation is , plus boundary terms. It vanishes because the kink satisfies the Euler-Lagrange field equation and the fluctuations have the prescribed temporal endpoints and admissible spatial boundary behavior. This is the principle of stationary action, not a symmetry assumption about .
The printed expansion omits despite the stated Lagrangian density. Its displayed form is the expansion of ; it is not the physical at arbitrary coupling. Alternatively, writing puts the quadratic term in canonical normalization, while leaving the classical term unchanged. This normalization repair does not change or the physical fluctuation frequencies.
The Sine-Gordon kink fluctuation operator has the useful factorizationIt is nonnegative, and gives the normalized translational zero mode of a sine-Gordon kink:A displacement changes by . Thus the zero mode in field theory is the position collective coordinate of the kink, reflecting translation invariance. It has no restoring force and no oscillator zero-point energy. Integrate that collective coordinate separately rather than inserting a zero factor into the Gaussian functional determinant.
Sine-Gordon kink fluctuation potential and normalized translational zero mode
. In the Gaussian fluctuation approximation, the formal oscillator contribution to the one-loop soliton mass correction, before adding any counterterm, isUse a common regulator for the two sums, include all discrete modes, and treat the translation mode as above. The vacuum sum is essential: subtracting only classical vacuum energy would leave an extensive oscillator energy. A periodic fluctuation and its derivative are matched at the two ends of the large box; the one-kink background lies in the twisted topological sector, and its infinite-line profile is accurate up to exponentially small boundary corrections.
For a continuum scattering wavefunction, equality of its two asymptotic values gives the periodic-box phase-shift quantizationAway from the threshold, expand at a matched mode number:Since consecutive free wave numbers are separated by , replacing the continuum-mode sum by an integral proves the displayed continuum contribution:The ultraviolet cutoff is retained until the counterterm is added.
There is a finite threshold issue if this expression is identified with the complete oscillator correction. It can be settled directly using the factorization: a continuum eigenfunction is . Its transmission phase obeyswith the odd phase branch that tends to zero at large . For , the continuum roots have labels ; there is no periodic continuum root at , since the limiting eigenfunction has opposite signs at the two ends. The bound state at replaces the free oscillator with . Consequently, in mode-number regularization of soliton masses,The PDF's continuum-only formula misses this finite under this standard phase and mode-counting convention. It has the correct logarithmic ultraviolet divergence, but the missing term is not suppressed by large . Changing the phase branch requires changing the mode labels and endpoint terms consistently; it cannot erase a physical mode from the formal spectrum sum.
At high momentum, , so both expressions have divergent part . The canonical field has a quartic interaction with coupling . Its vacuum tadpole diagram shifts the squared mass by , whereThe Sine-Gordon vacuum tadpole counterterm has and adds potential energy density . Since , its vacuum-subtracted kink energy iswhich cancels the logarithmic ultraviolet divergence. Finite parts require a specified renormalization condition. As a consistency check, with this tadpole subtraction and matched mode-number cutoff, integration by parts yieldsThe complete semiclassical soliton mass is then in that convention. This last finite result uses the bound-mode term and is additional to the requested ultraviolet cancellation.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-06
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 2016 iii Paper 308 1 Solution Created 2026-10-03 Updated 2026-10-06
Use the Minkowski metric with signature , and write . The Euler-Lagrange equation isFor the static phi-four kink, and , so the field equation is satisfied. The centre is arbitrary by translation invariance, and the hyperbolic tangent profile increases monotonically from to , crossing zero at . The static kink and its endpoint topological charge are
The phi-four kink rises between the two vacuum values and crosses zero at its centre
. Both endpoint values are isolated classical vacua, since only at . A continuous finite-energy deformation preserving the vacuum boundary conditions cannot change either endpoint to the other isolated classical vacuum. The topological charge is therefore unchanged: this kink cannot deform into a homogeneous classical vacuum, whose charge is zero. There is also a direct Bogomolny bound in this sector. The square completion for a one-dimensional kink givesThe phi-four kink saturates the bound, so its mass is in these units and it minimizes the energy within its topological sector. Its arbitrary position is a collective coordinate, not an instability. A kink and an antikink together have total charge zero and can annihilate without contradicting the protection of an isolated kink.
For the momentum, the canonical stress-energy tensor of this scalar field isConsequently the physical spatial momentum density and the spatial momentum flux areThe sign of makes a right-moving translated kink carry positive momentum. Direct use of the field equation, rather than an assumed static field, yields the scalar-field momentum flux identityThe finite-energy field configuration has by . Integrating the stress-energy conservation law over the left half-line gives the boundary forceUnder the usual vacuum falloff, the stress at the left endpoint is zero. More generally, smooth spatial cutoffs with derivative of order remove the left endpoint using the integrable energy density, so no pointwise limit of every derivative at infinity is needed. The identity expresses the force on the field to the left of : positive force transfers momentum to the right. For well separated solitons, a cut between them measures the interaction force on the left soliton.
Take that cut at . The specified symmetric pair has, at the initial time,The printed field profile does not itself specify the initial velocity. If , the exact initial half-line force isFor the intended initially resting pair, or more generally , put and use . The at-rest force for a symmetric phi-four pair isThe leading force is attractive, towards the antikink:The antikink feels the opposite force by the symmetry of the resting pair. This is an initial, large-separation interaction calculation, not a claim that the superposed profile is an exact static two-soliton solution. Without the initial-velocity condition, the additional momentum flux above prevents a unique force from being inferred from the printed profile alone.
Topological sector 2026-10-06
A connected component, or homotopy class, of admissible field configurations with fixed asymptotic conditions. Distinct topological sectors cannot be joined by a continuous deformation within that configuration space. A nonzero topological charge labels a sector, but a stable finite-size energy minimum also depends on the energy functional.
Vacuum-subtracted soliton mass 2026-10-06
The rest mass of a stable soliton is the lowest energy in its topological sector minus the vacuum energy, in the infinite-volume limit. If Euclidean kernels have nonzero overlap with the sector's lowest-energy states, then , followed by the infinite-volume limit. A Euclidean path integral represents these kernels, with boundary wavefunctionals included if necessary.

