Action symmetry 2026-10-25
An infinitesimal transformation that preserves the action up to endpoint terms. For and , invariance of yields the Noether charge , less any boundary-term generator.
Angular momentum tensor 2026-10-25
In spatial dimensions, rotations have an antisymmetric tensor of conserved Noether charges when the dynamics is rotationally invariant. There are independent rotation generators. In three dimensions the tensor is equivalent to the axial angular momentum vector through .
Charge-constrained scalar-field scaling Created 2026-10-14 Updated 2026-11-05
For in space dimensions, write , and . Eliminating the rotation frequency by gives the displayed fixed-charge scaling. The positive-power charge term can balance the gradient and potential terms even for . This evades the static Derrick theorem because the field is time-dependent and the relevant variations preserve its Noether charge.
Charged oscillator basis of a scalar doublet Created 2026-10-14 Updated 2026-11-05
For the internal rotation symmetry of two real scalar fields with and , the Noether charge is . Its commutators satisfy , so these creation operators produce charge eigenstates in the one-particle state sector. Substitution gives , converting the rotation of real components into opposite charges in a complex basis.
Conserved charge 2026-10-06
An integral of the time component of a conserved current is a conserved charge when the spatial boundary flux vanishes. Charges need not come from an immediately apparent elementary symmetry; a field theory can have an infinite higher-derivative current hierarchy. A Noether charge is obtained from the symmetry current supplied by the Noether theorem.
Fermionic bilinear charge algebra Created 2026-10-14 Updated 2026-11-05
For constant internal matrices acting on Dirac fields, the equal-time canonical anticommutation relations givewith the corresponding spatial delta functions for fields. The quartic terms cancel after fermion reordering. Integrating proves the displayed algebra for well-defined global Noether charges, with normal ordering and a regulator that preserves the nonanomalous internal symmetry. Orthogonal chiral projectors make the left/right mixed commutators zero. This reduces current-charge closure to a finite matrix calculation.
Ghost-number Noether current Created 2026-10-07 Updated 2026-11-05
For ghost term and the current convention , localize , . The two differentiated parameters give this current. Its Noether charge grades ghosts by and antighosts by , up to the corresponding overall generator normalization.
Global phase symmetry 2026-10-25
An internal circle group action with spacetime-independent parameter . For canonical complex scalar fields, Noether's theorem gives . The Noether charge of the particle annihilated by is , and its antiparticle has charge .
Noether charge Created 2026-09-28 Updated 2026-11-05
A Noether charge is the spatial integral of a Noether current. It is time-independent when the current has vanishing flux through the spatial boundary, and in a Hamiltonian formulation it generates the associated continuous symmetry.
Noether current for a first-derivative scalar field Created 2026-10-05 Updated 2026-10-14
For and a variational symmetry of a Lagrangian density, write and . The product rule gives . Therefore obeys , so it is a conserved current on shell. Spatial integration gives a conserved Noether charge only when the boundary flux vanishes. The formula extends to several components by summation.
Noether current for a spacetime symmetry Created 2026-10-14 Updated 2026-11-05
For and , the fixed-coordinate field variation is . Suppose action invariance is expressed as . Writing and , the product rule gives . Thus is a conserved current on shell. A vanishing spatial boundary flux is additionally required for its Noether charge to be conserved. This formula includes internal transformations, translations and Lorentz transformations.
Non-topological soliton Created 2026-10-14 Updated 2026-11-05
A non-topological soliton is a localized finite-energy field configuration whose existence or stability is not protected by a nontrivial topological charge. A conserved ordinary Noether charge can instead obstruct its decay. A Q-ball is a standard complex-scalar example: its profile is localized while its phase rotates in time.
Past exam of the gauge field theory course of the University of Cambridge 2012 Paper 1 1 Solution 2026-10-20
The gauge fields require their own Yang-Mills Lagrangian, . The non-Abelian field strength contains a term quadratic in the gauge potentials, so squaring it produces three-vector and four-vector self-interaction vertices, with derivative momentum factors in the cubic vertex and SU(2) structure constants in both. They exist in either scalar phase and must be added to the scalar-generated vertices. A gauge-fixed quantum calculation also has gauge-fixing and, where applicable, ghost terms; those are not extra physical boson species.
For , the global phase transformation leaves both the scalar potential and the covariant kinetic term unchanged while leaving fixed. Its Noether charge counts scalar particles minus antiparticles. Thus and are compatible with this charge, whereas is forbidden: its initial charge is two and final charge zero. Charge conservation is necessary, not sufficient, for a particular amplitude to be nonzero; other quantum numbers and kinematics still apply.
After adding the hypercharge field, the neutral-vector mass term becomesIts mass matrix has zero determinant. With , the orthonormal combinations areThe unbroken generator is electric charge, , because the lower doublet component has and . The charged combinations keep mass .
The observed charged weak interaction couples left-chiral fermions within SU(2) doublets. In the Standard Model, and are doublets, while are singlets. A vectorlike assignment would also give right-handed charged weak currents, contrary to this observed chiral structure. Once the measured electric charges are specified, fixesAn optional right-handed neutrino is a singlet with . Conjugate left-chiral fields have the opposite hypercharges to these right-chiral fields. These assignments permit gauge-invariant Yukawa interactions; they are not obtained by assigning one common hypercharge to every chirality.
Past exam of the gauge field theory course of the University of Cambridge 2016 Paper 1 1 Solution 2026-10-20
A variational symmetry of a Lagrangian density maps admissible field configurations to configurations with the same action, up to an allowed boundary contribution. Thus (i) the action is invariant for suitable boundary conditions, while (ii) the Lagrangian density need only change by a total divergence, rather than be pointwise invariant. For an internal symmetry of a classical field theory, the coordinates are fixed. A spacetime transformation also changes the integration measure and must be treated accordingly.
A conserved current satisfies on shell. The Noether charge then obeys , so conservation of the integrated charge additionally requires vanishing net boundary flux.
For several real field components and a constant infinitesimal parameter, write and . The product rule givesSubtract the specified divergence. The Euler-Lagrange field equations make the first term vanish, proving the Noether theorem withFor a complex scalar field, treat the field and its complex conjugate as independent variables in this calculation; this is equivalent to using its two real components. This is the Noether current for a first-derivative scalar field, summed over components.
Collect the two complex fields into . Their Lagrangian density has the radial formFor a constant Hermitian matrix , the unitary transformation preserves both the kinetic contraction and . In particular the two specified transformations have generators and , the first two Pauli matrices. Their Noether currents are instances of the unitary scalar multiplet currentExplicitly,An overall change of current sign corresponds to reversing the associated symmetry parameter; the signs here follow the two transformations as written.
The matrix commutator of their infinitesimal matrices is . The antisymmetric difference of successive transformations therefore supplies a third symmetry, after a nonzero rescaling of its parameter:Its current isThe three traceless matrices obey . Their exponentials act as SU(2) on the complex doublet. This identifies both the Lie algebra and the group acting on these fields: the central element changes and is not the identity transformation, so the doublet action is not an action of obtained by identifying with .
There is also a common global phase symmetry of a complex scalar field, , with current . Together with SU(2) this gives among complex-linear transformations. Independent constant phases of and , and field interchange, are already contained in this group.
In fact this particular scalar potential has a larger real internal symmetry. Write and ; thenThe O(4) symmetry of a complex scalar doublet includes transformations mixing with , which need not be complex-linear. Its connected part has six rotation generators, so listing alone would not exhaust the internal symmetries of the displayed isolated theory. Individual field conjugations are examples of its discrete transformations. Finally the spacetime-independent scalar coefficients and Lorentz contractions give Poincaré symmetry, and the real scalar action also permits spatial reflection and time reversal. These statements concern the action; a chosen vacuum or external boundary conditions can preserve fewer symmetries. Special parameter choices can introduce additional symmetries, but are not required here.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 49 1 Solution Created 2026-10-03 Updated 2026-10-14
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , soThe continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . PutThese are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths givesThe scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomesFor each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum isThe radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combinationIts overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations implyThe quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, writeThe displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator giveswhere is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 48 1 Solution Created 2026-10-03 Updated 2026-11-05
Use Minkowski spacetime with and units . The transformation rotates the two components in their internal plane. In particular,Thus both terms in the Lagrangian density are invariant: this is an internal rotation symmetry of two real scalar fields, rather than a transformation of spacetime. The equal masses are essential to this symmetry.
The Noether theorem gives the Noether currentIndeed, the cross terms in its divergence cancel, and the two Klein-Gordon equations implyFor fields decaying sufficiently at spatial infinity, there is no outward current flux. The conserved Noether charge is therefore
In canonical quantization, the canonical momenta are , with equal-time canonical commutation relationsConsequently . Operators of different components commute, so this expression is Hermitian without an ordering correction. Write , and . Substituting the oscillator expansions and using the Dirac delta function from the spatial integral givesThe terms with two annihilation operators cancel after ; the terms with two creation operators cancel in the same way. In the remaining terms useThere is no commutator constant between the distinct components. The result is already in normal ordering:
For the charged oscillator basis of a scalar doublet, computeIt follows that . The Fock vacuum satisfies , so has charge , and has charge . To obtain a normalized one-particle state, replace the sharp momentum by , where . The charge is unchanged. Equivalently,The generator convention is , which reproduces the original rotation signs.
For stability of a two-scalar quartic potential, the relevant potential energy density isAlong either axis boundedness requires ; along it requires . Conversely the displayed sum is nonnegative whenever both conditions hold. With the origin is then the unique global minimum, including the equality cases. Hence the stable-vacuum conditions areStrict positivity of the quartic term away from the origin would instead require and . That stronger condition is unnecessary for a positive mass term. If , the same non-strict conditions give boundedness, but the equality cases have flat directions and do not give an isolated classical vacuum.
Finally, the interaction changes the variation of the potential energy byThe interacting Euler-Lagrange equations consequently giveThus the same Noether charge is conserved for all field configurations precisely when . Then preserves the internal rotation symmetry of two real scalar fields; imposing stability additionally requires .
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-10-14
A symmetry of a classical field theory maps solutions to solutions; for the Noether theorem we require a continuous variational symmetry of the action, allowing its density to change by a total divergence. This is stronger than simply observing an accidental symmetry of one solution. Consider first-derivative fields and defineThe Euler-Lagrange field equations are . For a fixed-coordinate variation , the product rule gives the off-shell identityThis identity is the proof's essential integration-by-parts step.
For a general spacetime symmetry write and . At a fixed point , while the volume-element variation contributes . Suppose action invariance takes the formCombining with the preceding identity provesThis is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which . A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation givesThus the Noether charge is conserved when the fields have suitable falloff or no flux through the spatial boundary. These are classical identities; quantum symmetries may additionally require absence of an quantum anomaly.
Translations conserve energy and momentum. If the density has no explicit coordinate dependence, take the active fixed-coordinate variation for translation in direction . Then , and the internal-form proof with gives the canonical energy-momentum tensorIts four spatial integrals are the conserved energy and momentum. For a real scalar field with density this becomes . Direct differentiation gives , which vanishes by the field equation.
Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, is symmetric, so the Lorentz transformation currents can be writtenTheir divergence is . Spatial pairs give angular momentum, and time-space pairs give the conserved boost charges. For a spinor field or a vector field, the intrinsic field variation supplies an additional spin current; equivalently the Belinfante-Rosenfeld stress-energy tensor combines spin and orbital pieces into a symmetric stress tensor. The nonunitarity of the finite component Spinor representation of the Lorentz group does not obstruct conservation of these physical spacetime charges.
Global phase symmetry conserves particle charge. For a complex scalar field with density , the constant transformation leaves the density invariant. Using and gives the Noether currentFor a Dirac field, the corresponding variations , yield instead , the Dirac current. Its divergence vanishes by the Dirac equation and adjoint Dirac equation. The Yukawa interaction of part 2 also preserves this phase symmetry, because each bilinear has one and one . Thus it preserves fermion number and forbids annihilation of two fermions into a single scalar. These currents express charge or particle-minus-antiparticle-number conservation, rather than conservation of total particle count in arbitrary interacting processes.
A global symmetry in field theory uses a spacetime-independent parameter and ordinarily relates physically distinct configurations. A gauge symmetry instead has arbitrary local parameters and represents redundancy in the description. For example, the Maxwell field is unchanged physically by : its electromagnetic field tensor is unchanged. For charged matter use together with . Differentiating shows , so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of and is not an invariance; the compensating gauge field is necessary.
Local arbitrariness gives identities among field equations, rather than an independent physical charge for every function . In the pure Maxwell field, action invariance under a compactly supported impliesThus holds off shell, directly because is antisymmetric. This exemplifies the Noether second theorem. Gauge fixing and the Gupta-Bleuler null-state quotient remove redundant photon components; they do not remove a physical global charge. Gauge transformations that are nontrivial at a boundary can carry boundary charges, so the redundancy statement concerns transformations satisfying the chosen boundary conditions. Finally, discrete symmetries such as the sign reversal of a real scalar or parity symmetry in quantum field theory can be important without furnishing a continuous-parameter Noether current.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 55 3 Solution Created 2026-10-03 Updated 2026-10-14
Let and . For a sufficiently regular finite-energy field configuration with vacuum asymptotics, the scaled field stays in the same boundary sector. Changing variables gives the Derrick scaling formulaA static solution must be stationary under this variation, so the Derrick virial identity isFor , both terms are nonnegative, so both vanish and the field is constant at a vacuum. Hence there are no nonconstant smooth finite-energy static solitons of this scalar type for . For the identity is , allowing kinks. For it requires : a nonzero potential contribution excludes a static soliton, but the scaling identity alone does not exclude a purely derivative energy.
There is a useful refinement specific to the unconstrained flat target . If is differentiable and nonnegative, implies and on the image. The static Euler-Lagrange field equations then give . Each first derivative is an entire harmonic function in L2 space. Its mean-value bound over a disk of radius is at most its total squared norm divided by ; letting shows that derivative is zero. Thus even the exceptional two-dimensional case has only constant smooth finite-energy solutions into this flat target. This two-dimensional flat-target Derrick obstruction uses the field equations in addition to the scale identity.
The Yang-Mills theory with a Higgs field escapes the original scaling because the gauge curvature is quadratic in spatial scaling. In three dimensions use and . Then and . Writing the magnetic, Higgs-gradient and Higgs-potential energies as , the Derrick scaling of Yang-Mills-Higgs energy givesat stationarity. These terms can balance. In particular, the zero-potential Bogomolny-Prasad-Sommerfield monopole has .
For a nonlinear sigma model in two dimensions, the harmonic map energy is purely quadratic in first derivatives and is scale invariant: . Its target is a curved manifold, not the unconstrained Euclidean target of the refinement above. Its equation is the nonlinear harmonic-map equation, not componentwise . The Derrick theorem therefore gives no obstruction. Nonconstant finite-energy maps into , as in the O3 nonlinear sigma model, provide examples with nonzero degree.
For the complex theory, regard and as independent variables in the variation, and write , . Variation in givesThusThe factor 2 follows from the printed normalization of the complex kinetic term; equivalently vary its two real components.
A non-topological soliton is a localized finite-energy persistent field solution with no protecting winding or other nontrivial topological sector. In this complex theory a Q-ball has a stationary spatial profile and a rotating phase,with real . It is not static as a field even though its energy density is time-independent. The global phase symmetry gives the Noether chargeThe profile equation is . Its energy is . To vary the size at fixed charge one must also vary the frequency, because scaling at fixed would change . Eliminating gives charge-constrained scalar-field scaling:The new positive-power term can balance the other terms for , including , so the static Derrick theorem does not rule out these solutions. Equivalently, at fixed frequency the profile extremizes , whose effective potential need not be nonnegative. This explains both the time dependence and the charge constraint behind the evasion; a complex field by itself is not enough.
For an explicit example take the sextic unique-vacuum Q-ball potentialIt is nonnegative, since , and its only vacuum is zero. Its small-field mass squared is , while . It supports localized Q-balls, for example radial ones in three dimensions with . In that range the profile potential is positive quadratic near zero but negative somewhere away from zero, permitting a localized nontrivial profile. This example uses a conserved phase charge and no vacuum winding.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 46 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target signature and worldsheet signature . The Polyakov action has local worldsheet diffeomorphism and Weyl invariance, together with global target-space Poincaré symmetry. Under a worldsheet coordinate change , the embedding coordinates are scalars and the worldsheet metric is a tensor:A Weyl transformation acts as and leaves unchanged. In two dimensions scales by and by , so the action is invariant. Target translations act by , and Lorentz transformations by with ; they leave unchanged. Infinitesimally the latter have , where .
Locally, the two diffeomorphism functions put the metric into the form , and Weyl invariance removes the conformal factor. In this conformal gauge, the embedding coordinates are free scalar fields and satisfyThe metric equation must still be imposed after gauge fixing. Varying the ungauged metric gives the worldsheet stress-energy tensor constraintWith a dot and prime denoting the two coordinate derivatives, the independent Virasoro constraints areequivalently . Local conformal gauge leaves residual conformal transformations; on general worldsheet topologies it also leaves global moduli, rather than removing all metric information.
For target translations, differentiation of the Lagrangian with respect to gives the Noether currentThe embedding equation is . In conformal gauge, , so integration over the closed string givesPeriodic boundary conditions make its time derivative vanish. For an infinitesimal Lorentz transformation, the antisymmetric coefficient of gives the current . Its divergence vanishes because the remaining product of embedding derivatives is symmetric in . Thus the Noether charge isThese are the target-space Noether charges of a string.
For the circular solution take , and let and . Its derivatives areEach spatial coordinate has equal second derivatives in and , while the time coordinate has both second derivatives zero. Furthermoreso both the field equations and the Virasoro constraints hold, including the collapse instants.
At target time , the string is a circle in the plane of radius . It contracts from radius to zero and re-expands; the negative cosine reverses material labels by a half-turn rather than creating a negative radius. The spatial configuration repeats after target time . This is a pulsating circular string. Its induced metric degenerates at collapse, but the conformal-gauge embedding and constraints give its continuation.
The integrals of and vanish, so the momentum isThe spatial velocity is radial, giving zero angular momentum density in the plane; all boost-charge terms integrate to zero as well. Hence for every pair of indices.
At maximum expansion, all string elements are instantaneously at rest, and the length is . Thus the rest mass per unit length, equal to the string tension, isAt other times the instantaneous circumference is , and the elements have speed . Their Lorentz factor is , so the energy remains . The rest-energy density is ; the total rest-frame energy divided by the changing circumference is not constant. This distinguishes the requested intrinsic mass density from the larger energy density of moving string elements.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 47 1 Solution Created 2026-10-03 Updated 2026-10-14
For the usual canonical scalar field theory, subtract the vacuum energy so that the potential is nonnegative, and write the static energy in space dimensions asAssume finite energy and sufficient decay to justify the scaling variation, with a fixed vacuum at infinity. Under Derrick scaling ,A static solution must be stationary under this admissible variation. Thus the Derrick virial identity isFor both terms are nonpositive, and the coefficient of is strictly negative. Therefore : the field is a constant vacuum. This proves the Derrick theorem under its hypotheses. Negative potentials, additional derivative terms, gauge fields or time dependence can invalidate this particular obstruction; it is not a theorem about arbitrary energy functionals.
A non-topological soliton can instead be supported by a conserved ordinary Noether charge. For a complex scalar field with global invariance, take and let . In the normalization with kinetic density , its charge is . At fixed charge, eliminating givesThe charge-constrained scalar-field scaling now readsThe positive scaling power of the charge term can balance the others even for . Such a Q-ball is time-dependent although its energy density is stationary, and the fixed-charge variational problem is different from the static one.
Suitable potentials permit this mechanism in any spatial dimension. For example, suppose for and the ratio below attains a strictly positive minimum:Such a potential can favor a large region of nearly constant nonzero amplitude. At its preferred amplitude, the bulk terms minimize at , with energy about . A wall has surface energy of order , lower order than the bulk term for every fixed . For large charge the energy can therefore be below the free-particle threshold . This explains how a localized fixed-charge solution may exist and resist dispersal. Existence and stability still require a suitable potential and charge range; not every complex-field theory or every member of a rotating family is a constrained minimum.
For the particular one-dimensional profile, substituting the rotating field into the equation givesMultiplying by shows thatBoth and vanish at infinity, so the integration constant is zero. HenceHere . This potential is not globally bounded below; the existence of the displayed localized solutions alone does not prove their nonlinear stability.
Use metric signature and setThe Lorentz boost of a Q-ball givesThe peak follows . Because the equation is Lorentz invariant and the field is a scalar, this is again a solution.
The canonical stress-energy tensor gives the energy and signed physical momentum at fixed time:The minus sign agrees with the scalar-field momentum flux in the chosen signature. For the boosted field,andThe first integral gives . Changing variable to , so , yieldsThus the rest-energy normalization and the relativistic energy-momentum relation are