Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 51 1 Solution Created 2026-10-03 Updated 2026-10-14
The canonical momentum is , so the Hamiltonian density and total energy areThe Euler-Lagrange field equation is . Multiplication by gives the local conservation of energy identityThus is conserved when the energy flux vanishes at spatial infinity. For finite energy with asymptotically constant fields, the endpoints must be scalar-field vacua, where .
Choose an antiderivative . For either sign , completing the square givesChoosing to make the boundary term nonnegative proves the Bogomolny boundThese Bogomolny equations obtained by square completion for a one-dimensional kink describe minima within a fixed endpoint sector when a saturating configuration exists. Differentiating the spatial equation gives wherever , with smooth extension to its limiting scalar-field vacua. The absolute minimum across all sectors is a constant zero-potential scalar-field vacuum when one exists; the nontrivial minima are sector-specific kinks.
For , write . The scalar-field vacua are . A static finite-energy solution has the first integralbecause differentiating its left side gives , and its value is zero at infinity. In either adjacent interval, . Set . The first-order equation becomes , with , and separation gives . HenceFor the endpoints are ; for they are . Thus there are four oriented static kink families, up to translation, namely two increasing kinks and two decreasing antikinks. Each has rest energyA static field joining directly to would have to pass through at finite . The first integral then gives , and the Picard-Lindelöf theorem applied to the smooth second-order equation with those initial conditions forces . Therefore there is no such additional kink; this is the intermediate-vacuum obstruction to a kink. The Bogomolny classification of a rescaled phi-six kink also shows that if , only the scalar-field vacuum remains and there is no nontrivial finite-energy static kink. Indeed the first integral gives a monotone field wherever it is nonzero, precluding a return to the same scalar-field vacuum.
Four oriented elementary phi-six kink profiles connecting adjacent vacua, with equal rest energy
. Details. A Lorentz boost of the profile gives a moving solution with arbitrary :If denotes the static profile and , then , proving the Euler-Lagrange field equation directly. Its energy is : since , changing variable to in the energy integral gives the factor . Reversing or yields the other moving elementary profiles.
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 2007 iii Paper 53 4 Solution Created 2026-10-03 Updated 2026-10-14
There is a sign inconsistency in the printed model. For the ordinary cross product let . The vector triple-product identity gives . Consequently the printed has gauge curvatureIts gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, whereas . Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.
The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, andBoth and transform as triplets, so their dot products and the scalar potential are invariant. Assume , and take without loss of generality. For the minima have . Choose the scalar-field vacuum , whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).
In unitary gauge write , and . These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. DefineSubstitution gives and . The entire physical-field Lagrangian density is thereforeIn particular ; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives . Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.
The original symmetry remains unbroken at . The unique minimum is then , with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number . At the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is : two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.
For the broken phase all interactions containing the physical scalar field areMultiplying interaction coefficients by and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model areFor example, the rule contains , whereas the rule contains only from its two identical scalar fields. There are no or vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.
All physical-scalar interaction vertices in the broken triplet Higgs model, with the unbroken-phase scalar vertices shown below; dashed lines are scalars and wavy lines are vectors
. Details. For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components , not a single radial . Expanding its gauge-covariant kinetic term givesWith all momenta incoming and Fourier transform convention , the three unbroken-phase rules areThe first rule follows by differentiating once on each possible scalar: for , the interaction is , which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and . There are no unbroken-phase cubic scalar field Feynman vertices.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 46 1 Solution Created 2026-10-03 Updated 2026-10-07
Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta areCanonical quantization in the Heisenberg picture imposes, at the same time ,All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian densityThe Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion isThe minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction isCommuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , becauseRepeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence isWith vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operatorThe mode commutators imply and , soThus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.

