Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 47 2 Solution Created 2026-10-03 Updated 2026-10-14
Choose orientation and the anti-Hermitian basis in the question. The Pauli matrix commutator identity gives . Define the gauge curvature and adjoint covariant derivative byFor a compactly supported variation ,Antisymmetry and the invariant Lie-algebra inner product therefore giveCovariant integration by parts is valid because
. Thus the Euler-Lagrange field equations are
. Thus the Euler-Lagrange field equations are
The gauge-theory Bianchi identity isTo prove it, act on the defining representation with . Its commutator is multiplication by . The operator Jacobi identity for becomes multiplication by the displayed cyclic sum, which must vanish. Equivalently, substitution of into cancels the ordinary derivatives, leaving the Lie-algebra Jacobi identity. Contracting the cyclic identity with the alternating tensor gives . If , this is exactly , proving the first-order-to-second-order implication without assuming the field equations.
LetAll squared component sums below include both orders of each antisymmetric pair, as does the printed energy. Since the Hodge star preserves this norm,Consequently . An anti-self-dual field has and saturates the first bound. Among all finite-energy potentials with the same value of , it therefore has the absolute minimum . For positive , the saturating sign is self-duality instead; there cannot be a nonzero anti-self-dual solution in that sector. This is the Yang-Mills instanton Bogomolny bound in the paper's normalization.
For the topological meaning, regard as a matrix-valued two-form. Since ,In the Second Chern number convention used here,With the standard instanton boundary condition, the connection approaches a pure gauge at infinity and extends to a bundle over the compactified four-sphere. This makes an integer, the instanton number; reversing the orientation or using the opposite charge convention reverses its sign. The square-completion argument itself does not require quantization or a chosen framing.
One can see the boundary interpretation directly. The Chern-Simons 3-form obeysFor an asymptotic potential , the flatness identity givesThis is the winding number of , with the corresponding orientation convention. Smooth variations preserving that boundary class cannot change it. Thus the integral in the question labels the topological sector of the Yang-Mills instanton, and in an anti-self-dual sector the energy is with in our convention.
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 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.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 47 2 Solution Created 2026-10-03 Updated 2026-10-07
To keep the paper's coupling convention explicit, write and use physical coordinates , . Assume and weak coupling . The canonical real scalar field is , and the physical potential isThe symbol is the coupling usually appearing in canonical Sine-Gordon theory; the paper's is its square. The vacua have . A static Sine-Gordon kink has and satisfies . Since , its classical mass isThe topological sector is important: this energy is measured relative to a vacuum, and the kink joins distinct vacua at the two spatial ends. Expanding around a spatially constant vacuum cannot construct this state by any finite-order perturbation in .
For the general one-loop soliton mass correction, start with a canonical scalar field potential and a stable static soliton . Write . The term linear in vanishes by the classical Euler-Lagrange field equation. The quadratic fluctuation Hamiltonian isChoose a common large box and a common finite-mode regularization in quantum field theory. Expand the nonzero normal modes as , with and normalized eigenfunctions. Each pair is a quantum harmonic oscillator contributing ground-state energy . In the vacuum, replace by . Subtract the two ground-state energies and add the local counterterms evaluated on the soliton relative to the vacuum. This derives the general formulaThe prime excludes exact zero modes in field theory from oscillator quantization; their zero frequencies contribute no zero-point energy, but their role in mode counting must not be forgotten. The two sums mean a paired finite regulator, not separate subtractions of divergent answers. Equivalently the nonzero-mode term is the regulated difference of the square-root traces of the two fluctuation operators. Discrete bound states and continuum modes both contribute. This is a vacuum-subtracted soliton mass and the first term in the semiclassical soliton mass expansion.
Translation gives a zero mode in field theory because differentiating the static equation yields . A Gaussian oscillator or an unprimed functional determinant is inappropriate along this flat direction. Replace its amplitude by the position collective coordinate and require the residual fluctuation to obey , preventing double counting. The associated change-of-variables Jacobian supplies the zero-mode normalization. At low speed the collective-coordinate effective Lagrangian for a soliton is ; quantizing the position gives the soliton momentum and its translational states, not an extra oscillator rest energy. More generally, every physical continuous modulus needs a collective coordinate; gauge directions require gauge fixing rather than additional physical states.
The Sine-Gordon kink fluctuation operator is particularly simple:while . This supersymmetric factorization of the one-soliton potential shows stability and generates all nonzero eigenfunctions from vacuum plane waves. The sole normalizable bound state is the translational zero mode of a sine-Gordon kink, proportional to ; there is no positive-frequency internal bound oscillator. The continuum has and no reflection. Applying to gives a transmission amplitudeThis scattering phase shift changes the density of continuum modes. The high-frequency vacuum subtraction cancels the extensive vacuum contribution but still leaves a logarithmic ultraviolet divergence.
The finite part also requires consistent mode-number regularization of soliton masses. The periodic-box phase-shift quantization condition is . Match modes: the kink has its translation mode plus the two continuum modes at each , while the vacuum has the oscillator of frequency and the corresponding continuum pairs. With and , expanding givesIntegration by parts uses and yieldsThe cutoff surface term for a Sine-Gordon kink tends to . It cannot be dropped merely because : grows at the same time.
A renormalization condition must specify which mass and coupling are held fixed. For vacuum normal ordering, or cancellation of the vacuum tadpole diagram with the elementary mass fixed at , the quartic interaction gives the mass countertermEvaluating this Sine-Gordon vacuum tadpole counterterm on the kink givesThe logarithmic ultraviolet divergence cancels, leaving the renormalized one-loop Sine-Gordon kink mass in the stated vacuum scheme:This example illustrates why a zero mode in field theory must be treated as a collective coordinate, why vacuum subtraction alone need not remove ultraviolet divergences, and why the finite relation between the two regulators matters. Different finite counterterms amount to different definitions of the renormalized parameters; an unregulated frequency difference without a renormalization condition is not a physical mass prediction.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 40 1 i Solution Created 2026-10-03 Updated 2026-10-06
Use the Minkowski metric , , and . The Proca field has nonzero mass . Vary its action, using the fact that the gauge field strength is an antisymmetric second-rank tensor:The integration by parts discards a boundary term, with the variation fixed at the boundary. Thus the Euler-Lagrange field equation is the Proca equationThe minus sign on is required by the chosen Minkowski metric; after imposing the constraint below, the plane waves have positive energy .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 40 4 Solution Created 2026-10-03 Updated 2026-10-06
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator areThe Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent toFor example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yieldswhere a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator isIn particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such asIts wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator iswhich propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators implyThe multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-06
The quantum harmonic oscillator has , with . Using and the canonical commutation relation givesFor , the Wronskian normalization isConsequentlyEquality requires and . The minimum-energy normalized oscillator mode is thereforeThe constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,Integrating the cross term by parts gives the canonical bulk actionup to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform areAt leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , soStrict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination asThe Bunch-Davies vacuum boundary condition sets and up to phase. HenceSubstitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation varianceThis is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 50 2 Solution Created 2026-10-03 Updated 2026-10-14
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
. Details. 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 2017 iii Paper 301 1 b Solution Created 2026-10-03 Updated 2026-10-05
Write . The additional gauge fixing variation is . Integration by parts gives the Euler-Lagrange field equation , hence . This equation follows from the gauge-fixed density without imposing as a separate operator identity.
Direct differentiation of the density as printed gives the canonical momentum components conjugate to the lower-index fields:There is a boundary-term convention to reconcile with part (c). The Feynman-gauge Maxwell kinetic density after a boundary-term subtraction isIt has the same Euler-Lagrange field equations, but its canonical momentum components are . The mode expansion supplied in part (c) is the expansion of these latter momenta. Thus it is valid after the stated boundary-term subtraction; it is not the direct derivative of the original density. For example, a time-independent spatially varying with gives but .
The boundary-term shift of canonical field momenta is a canonical transformation. If spatial boundary terms vanish, , and . This explains why the two conventions have the same dynamics while their momentum formulas differ.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-05
Use a local first-derivative Lagrangian density with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to ; a propagating field requires derivative dependence. Varying the action givesIntegration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.
A variational symmetry of a Lagrangian density is an infinitesimal field change for which off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,Equating the two expressions proves the scalar-field form of the Noether theorem:Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.
For an active spacetime translation, and . If the Lagrangian density has no explicit coordinate dependence, , so . The Noether current is , whereThese four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in follows from the chosen active translation; the translation charges themselves can be labelled by .
For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation areHere , so . Raising the charge index gives the four-momentum of a free real scalar field,The first is total energy, and the three components of the second are physical spatial momentum. With signature , ; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to has momentum density along , confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.
For the complex scalar field, treat and as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is , for constant . Both the kinetic term and are invariant. This is a global internal symmetry of a classical field theory with circle group ; a spacetime-dependent phase would require a gauge connection.
Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:To check conservation directly, the Euler-Lagrange field equations are and their complex conjugates, assuming a real differentiable potential. Hence . Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge , the physical electric charge is after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 308 1 Solution Created 2026-10-03 Updated 2026-10-06
Take , , use metric and set . The two scalar-field vacua are ; the positive kink joins at the left end to at the right. The square completion for a one-dimensional kink givesThus its Bogomolny bound is . Equality requires ; separating variables, or differentiating the resulting hyperbolic tangent, gives is the translational collective coordinate. The antikink is for the centered odd profile. Differentiating the first-order equation gives the static Euler-Lagrange field equation . Hence the Bogomolny equation really does solve the second-order theory. The two distinct vacua and the above kink require the positive parameters; the degenerate case , or the unstable negative- potential, does not have this topological kink sector.
For a slowly moving kink, put . The saturated first-order equation implies , soThe stress-energy tensor has and . Using in the approximate translate therefore gives and . Equivalently, substitution into the action gives the collective-coordinate effective Lagrangian . These are the translational dynamics of a phi-four kink, withThe displayed remainder orders refer to the exact constant-velocity solution. The uncontracted translated profile is only an approximation: its error as a field starts at , but the static profile is an energy stationary point, so the corresponding static-energy error starts at and does not change the displayed coefficient.
Since the relativistic action is invariant under Lorentz transformations, a Lorentz boost gives the exact moving kink, for ,Its conserved energy and momentum are and , whose expansions agree with the preceding calculation. The width contraction is essential to solving the exact time-dependent equation.
Use the centered profile . An appropriate approximate separated-lump initial condition isIt tends to as and as . Near and it is a positive kink, and near zero it is an antikink; the other two tails cancel to exponentially small accuracy. The condition makes these interpretations accurate. This sum is legitimate smooth initial data, not an exact static multi-kink solution. Its topological charge isand its energy is close to , with exponentially small interactions.
Adjacent kink–antikink pairs attract: the kink–antikink attraction from the stress tensor gives a negative midpoint pressure and hence an inward force on each outside kink. Direct overlap of the two outer kink tails is exponentially smaller than each adjacent kink–antikink overlap. The initial field is odd and its velocity zero, so the equation's reflection-plus-sign symmetry preserves . The central zero remains at and the outer cores move in symmetrically. They collide with the central antikink. Excess energy can excite localized kink oscillations and outgoing radiation; the usual relaxational outcome is a remaining centered kink plus radiation after transient collisions or oscillations. On an infinite line radiation can carry energy away from the core even though total energy is conserved. Conservation of prevents complete disappearance into vacuum, but it does not determine every bounce or exclude a temporarily re-emerging kink–antikink pair. The nonintegrable collision should not be described as exact elastic passage of all three solitons.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 306 1 iii Solution Created 2026-10-03 Updated 2026-10-05
In conformal gauge, . The Weyl invariance of the Polyakov action removes , leavingIts complete variation isFix the string embedding map on the initial and final time slices. The interior Euler-Lagrange field equation is the wave equationAt each spatial endpoint the remaining variation vanishes under either Dirichlet boundary conditions, , or Neumann boundary conditions, , independently for each target-space component. Thus a fixed endpoint or a free endpoint makes the boundary contribution vanish. Fixing a spatial point throughout time imposes Dirichlet boundary conditions on its spatial coordinates, while the time coordinate may retain Neumann boundary conditions.
The independent metric tensor equation must also be retained after gauge fixing. Its Virasoro constraints areTogether with the wave equation, these ensure equivalence to the Nambu–Goto action; varying only the already fixed metric would lose these Virasoro constraints.
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.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 309 4 b ii Solution Created 2026-10-03 Updated 2026-10-05
The Euler-Lagrange field equation obtained by varying the nonminimally coupled scalar field isOne can check stress-energy conservation directly. The divergence of the kinetic contribution is , because second derivatives of a scalar commute. With , the contracted Bianchi identity gives , while the Ricci identity givesConsequentlySince , the full stress-energy tensor satisfies
The general reason is the diffeomorphism Noether identity for a scalar field. Under the Lie derivative along a compactly supported vector field , and . Invariance of the action under diffeomorphisms gives, after integration by parts,Arbitrariness of gives the same divergence identity. Conservation requires the scalar equation of motion, with no need to impose the Einstein field equations for the background metric.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 310 4 a Solution Created 2026-10-03 Updated 2026-10-05
In conformal time, and . The inflaton action in an expanding universe becomesVary with compact support, integrate the derivative terms by parts, and discard the boundary term. The Euler-Lagrange field equation isDividing by provesThe factor two is the conformal-time form of Hubble friction. Using converts it to the usual inflaton equation of motion , providing a sign and normalization check.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 301 1 Solution 2026-09-28
A continuous symmetry is a family of transformations depending continuously on parameters for which the action is unchanged, possibly up to a spacetime boundary term. For an infinitesimal field variation , a Noether current obeyswhen the Euler-Lagrange field equation holds. Its Noether chargeis conserved provided the flux vanishes.
Noether theorem gives the implication from a differentiable global variational symmetry to an on-shell conserved current. A conserved current gives a conserved charge only under suitable boundary and convergence conditions. Conversely, a conserved charge generates a continuous symmetry through Poisson brackets classically or a commutator quantum mechanically when a regular Hamiltonian formulation exists. Currents can be changed by identically conserved improvement terms, and inverse Noether statements require regularity and the exclusion of such trivial currents, so the three notions are related but not literally in one-to-one correspondence.
For spacetime translations, the canonical stress-energy tensor isForraising the second index gives the symmetric tensorTranslation invariance gives four conserved currents , one for each fixed , and the four conserved charges are the four-momentum is the energy and is the spatial momentum.
The Lorentz transformation variation of a scalar is generated solely by its argument. The corresponding Lorentz current isUsing and symmetry of ,In particular, conservation of the boost chargeimpliesThe quantity denoted in the question is therefore the conserved momentum component , assuming the same vanishing boundary flux.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 336 1 a Solution 2026-09-28
The chain rule andgiveApplying the same rule to and in the Euler-Lagrange field equation yields the exact modulated equation
Multiply this equation by . Since and are independent of the fast phase,The product rule then rearranges the field equation into the exact modulated-wave first integralAverage this identity over one period in . Periodicity kills the first term, while differentiation of the averaged Lagrangian givesConsequently
The same two equations follow directly from the modulated variational principle. Varying giveswhich is the exact field equation above. For a variation of , use and . Integration by parts in and gives the averaged equation. Thus variation with respect to the periodic profile reproduces the local wave equation, whereas variation with respect to its slow phase gives the Whitham modulation equation for wave action.
