Consider two real scalar fields with positive , standard kinetic terms, and the displayed scalar potential. At , the circle group rotates one field into the other: this is a global symmetry in field theory, with the same rotation at every point in space. The vacuum manifold is the circle . Choose and differentiate the scalar potential twice:
The scalar mass matrix assigns a restoring force to the radial displacement, whereas its tangent is one of the Goldstone directions in the scalar mass matrix. Moving around the circle costs no potential energy; moving between neighbouring points in space can still cost gradient energy. Flat angular potential energy therefore means a soft collective excitation, not that every spatial pattern is free.
A positive source explicitly selects the positive direction. The minimum is , where is the positive solution of . The two eigenvalues of the scalar mass matrix there are
For example, and give , and . The light angular excitation becomes a Goldstone boson as , while the radial mass stays finite. The source changes both the preferred direction and the radius; expanding about the old point at nonzero would miss that shift.
Figure 1.
An external source selects an orientation and lifts the angular flat direction
. Original dimensionless scalar potential example with . Dashed circles mark the zero-source vacuum manifold. The right panel follows a radial line or a circular angular path, with potential energy measured from the minimum appropriate to that path. A circular path has zero angular potential energy at ; a straight tangent displacement agrees only to quadratic order. Details.
Gauge-boson mass rank from a real scalar vacuum Created 2026-10-14 Updated 2026-11-05
With positive canonical kinetic terms and nonzero coupling , expansion of the covariant scalar kinetic term gives the displayed gauge-boson mass matrix. It is a Gram matrix: for real , . Its kernel is the Lie algebra of the stabilizer subgroup of the vacuum. Thus its rank is , and exactly that many gauge-field combinations acquire nonzero squared masses. Removal of these gauge-orbit directions does not remove accidental zero eigenvalues of the scalar mass matrix on the transverse complement.
For any fixed , the source contribution obeys , because and . Equality occurs only at when . Thus the global ground state lies on the positive first axis. Minimize there:
For , . For , , so increases strictly from to . There is exactly one root , and it is the unique global minimum. Therefore
This argument selects the true ground state even if the full cubic has additional negative stationary roots.
Expand , , . The source is linear, so it shifts the expansion point but has zero Hessian matrix. The scalar mass matrix is diagonal at the new vacuum expectation value:
Eliminating with the stationary equation gives
All three squared masses are positive. The masses themselves are the positive square roots of these expressions.
The source explicitly reduces the stated SO(3) symmetry to SO(2); the selected vacuum state preserves that remaining SO(2). There is consequently no spontaneously broken exact continuous global symmetry in field theory to which the Goldstone theorem applies. For small , the two angular excitations are pseudo-Goldstone bosons. Their squared masses vanish as , while and .
Put . Completing the square in the scalar potential gives
Since , its global minima form the vacuum manifold
Here denotes the positive square root of the parameter . The origin is a local maximum, not a ground state. Choose . Its stabilizer subgroup is the SO(2) subgroup of rotations in the plane, so the stated SO(3) global symmetry in field theory is spontaneously broken to SO(2).
Write , , . The kinetic terms stay canonically normalized, while the scalar mass matrix is
Equivalently, the quadratic scalar potential is . Therefore the particle masses are
The two angular Goldstone bosons match . The radial displacement changes and costs potential energy, giving the massive Higgs mode. These are tree-level masses; the Goldstone theorem protects the angular zero-mass modes in the exact global theory.
Write and , both Hermitian matrices. Through quadratic order around the chosen vacuum expectation value,
The trace of a commutator vanishes. The needed matrix traces are therefore
Using , all linear terms cancel. The quadratic scalar potential reduces to
with no term. The kinetic term is
since its mixed term is the trace of a commutator. A Hermitian matrix has independent real components, so describes exactly massless scalar modes.
To determine the other masses, take and traceless Hermitian with , and expand . These are canonically normalized real scalar fields. The scalar mass matrix is diagonal in this basis:
Thus contains one massive singlet and a degenerate multiplet of massive fields in the Adjoint representation of the unbroken diagonal . Both squared masses are strictly positive for the specified parameters. The fields are the Goldstone bosons associated with the broken generators: traceless relative left-right rotations and one overall phase rotation.
Goldstone's theorem guarantees those massless directions. It does not alone forbid additional accidental massless modes; the positive scalar mass matrix computed here supplies the further conclusion that every component is massive. The fields describe a global symmetry, so these Goldstone bosons are physical rather than being absorbed into massive gauge bosons.
Put . The potential has its minimum at
Choose the vacuum expectation value . Since the weak hypercharge is zero, on this real scalar triplet, and . Neither nor annihilates . The stabilizer subgroup is consequently
In particular, spontaneous symmetry breaking has not reduced the two neutral gauge generators to a single one: annihilates every component and remains unbroken independently of .
The scalar mass matrix is
With canonical kinetic normalization , the radial Higgs boson therefore has
The two tangential zero eigenvalues are Goldstone modes, absorbed by the two massive gauge bosons through the Higgs mechanism.
The unbroken group is the stabilizer subgroup of the chosen vacuum expectation value:
Its Lie algebra consists of generators with . The vacuum manifold is the orbit under the stated transitivity assumption. Its tangent space is the image of , so its dimension is .
Let be the scalar mass matrix, with canonical scalar kinetic terms. Invariance of the scalar potential gives for every . Differentiate with respect to and evaluate at the minimum, where :
Thus every independent tangent direction is a zero eigenvector of . These are the Goldstone directions in the scalar mass matrix; for a global symmetry they are physical massless Goldstone bosons. For a generic nondegenerate minimum transverse to the orbit, they are precisely all the zero eigenvalues. Without that nondegeneracy assumption, additional massless scalars are possible.
For a local gauge group, use the orthogonal unitary-gauge slice near a scalar vacuum. Since by antisymmetry, the proposed condition is equivalent to
It sets the gauge-orbit components of the scalar fluctuation to zero. This is an admissible local unitary gauge: on a basis of independent broken tangent vectors , the variation of these conditions under the broken gauge parameters is . This Gram matrix is invertible on that basis, so the implicit function theorem selects the required gauge transformation near the vacuum. Unbroken transformations remain as a residual gauge symmetry; no global gauge slice through zeros of the scalar field is being asserted.
Write . To quadratic order, the covariant kinetic term contains
The middle term vanishes in this unitary gauge. The gauge-boson mass rank from a real scalar vacuum is therefore determined by
These are squared masses: the physical gauge boson masses are square roots of the matrix's nonzero eigenvalues after diagonalization. For real ,
Its kernel consists exactly of the unbroken generators. With , the rank is , so exactly gauge-field combinations become massive. Each removed scalar Goldstone mode supplies the extra longitudinal polarization of a massive gauge boson.
The remaining physical scalar fluctuations lie in the orthogonal complement of the orbit tangent space. They have no massless modes if is positive definite on that complement. The unconditional absence of massless scalars does not follow from the printed assumptions. For a concrete counterexample, take a real doublet, and
Its entire minimum set is one circle orbit, as required, but its Hessian matrix vanishes at the minimum. Gauging the rotation gives one vector of squared mass and removes the angular scalar. The radial scalar remains massless at quadratic order, since its potential starts at fourth order in the radial fluctuation. This is an accidental massless radial mode beyond Goldstone modes. Thus the intended no-massless-scalar conclusion needs nonzero transverse curvature.
In the Standard Model, the Higgs doublet contains four real components and breaks to . Three Goldstone bosons become the longitudinal components of and , while the photon remains massless. The remaining radial Higgs boson is massive for the ordinary quartic potential with positive curvature. With ,
The colour gauge group is unbroken. This is the Higgs mechanism, with the generic curvature condition realized by the standard Higgs potential.
Work with canonically normalized real components of the scalar field; a complex representation can first be written in terms of its real and imaginary components. At a vacuum expectation value , expansion of the scalar potential gives
The linear term vanishes by stationarity. Thus the scalar mass matrix is the Hessian matrix of the scalar potential. Invariance under each Lie algebra generator gives the identity . Differentiating this identity with respect to and evaluating at the stationary point removes the term containing , leaving
The kernel of the map is precisely the Lie algebra of the stabilizer subgroup H. Consequently its restriction to a complementary space of broken Lie algebra generators is injective: a linear combination that annihilates would belong both to the stabilizer algebra and its complement, and hence would vanish. There are therefore independent Goldstone directions in the scalar mass matrix, tangent to the vacuum manifold. There are symmetry-protected massless scalars.
This Goldstone theorem guarantees at least that many zero quadratic masses. The claim that these are all the massless scalars additionally requires nonzero curvature transverse to the vacuum orbit. For example, , with , has an ordinary spherical vacuum manifold but its entire Hessian matrix vanishes there. These accidental massless radial modes beyond Goldstone modes are not excluded by the hypotheses. For the indicated orthogonal group breaking, the protected number is
For the Higgs doublet, put and wherever . If , then
This explicitly exhibits the three angular coordinates as an SU(2) transformation of a real radial field. In particular, the polar coordinates for the electroweak Higgs doublet can locally be chosen in the form
At the vacuum the three variations generated by , , and acting on are independent over the reals. They span the three broken directions; the remaining generator annihilates the vacuum. This proves that the exponential supplies local angular coordinates. An inverse local gauge transformation, applied also to the gauge fields, removes these three fields in unitary gauge. They supply the longitudinal polarizations of the massive W bosons and Z boson through the Higgs mechanism. The parameterization is local about a nonzero vacuum, rather than a coordinate system through every possible zero of the Higgs doublet.
Use the metric and define the charged W bosons and neutral gauge fields by
where , , and . Direct substitution into the gauge-covariant kinetic term gives
and hence
The electroweak doublet gauge-boson mass matrix in the basis is
Its normalized zero direction is and its massive direction is . Thus the scalar-vector terms in physical fields are
with the tree-level electroweak gauge-boson masses
These are also charge eigenstates. The unbroken U(1) gauge symmetry has generator ; on the Higgs doublet, . Since , the combinations have charges , while Z, the photon, and H are neutral. The photon disappears from the displayed scalar-vector terms because . The photon is massless and has no direct tree-level coupling to the remaining radial scalar in this sector. This does not remove its interactions with charged W bosons, or exclude a scalar-to-photon interaction generated by loops.
Finally, retain the printed normalization of the Higgs field potential:
The kinetic term is , so the Higgs radial mass for a half-normalized quartic potential is . The extra factor of two familiar from a potential with prefactor , rather than , does not apply here.
Take real field coordinates ; for complex scalar fields, split them into real and imaginary parts. Assume a smooth scalar potential and positive, canonically normalized kinetic terms in a relativistic theory. At a classical vacuum, . The Taylor expansion is
Thus the scalar mass matrix is the Hessian matrix, and its eigenvalues give squared masses of the linearized scalar excitations.
Put . Infinitesimal invariance of the scalar potential gives the identity at every field value. Differentiate with respect to and evaluate at the classical vacuum:
Every nonzero infinitesimal symmetry direction therefore lies in the kernel of the scalar mass matrix. This is the classical Goldstone theorem expressed through Goldstone directions in the scalar mass matrix.
Let be the full stabilizer subgroup of . The linear map from the Lie algebra of to field space, , has kernel equal to the Lie algebra of . The rank-nullity theorem gives
There are consequently at least massless scalar directions, namely the tangent directions to the symmetry orbit through the classical vacuum. If the intended is , these are the symmetry-required Goldstone bosons. Exactly that many massless modes occur if the scalar mass matrix is positive definite on a complement of those tangent directions. A nonsingular positive field-space kinetic metric changes normalization, but not the number of zero masses.
Two qualifications are needed for the literal assumptions. A subgroup fixing the classical vacuum need not be the full stabilizer subgroup. For example, take acting on a real triplet and with . At , the scalar mass matrix is : there are two massless modes. Choosing satisfies the printed invariance condition but would incorrectly predict three. The full stabilizer subgroup is .
Even with the full stabilizer subgroup, symmetry does not exclude an accidental massless scalar. Take rotating , with an invariant singlet , and
At the full continuous stabilizer is trivial, but the scalar mass matrix is . One zero direction is the Goldstone boson; the other is an accidental massless scalar at quadratic order. The proof establishes the symmetry-required count, not unconditional equality with the total number of massless fields. The statement concerns global internal symmetry; gauging it changes the physical interpretation through the Higgs mechanism.
First assume global four-dimensional N=1 supersymmetry, canonical positive Kähler potential, and tree level. Write and at the stationary vacuum. The chiral-superfield fermion mass matrix is the symmetric matrix , and the sum of squared Weyl spinor masses is . From the F-term scalar potential , its mixed and holomorphic Hessian matrix blocks are
For canonically normalized real and imaginary parts of the scalar fields, the real scalar mass matrix has trace twice the mixed trace. Its holomorphic blocks can split the two real scalar masses but do not change their sum. Hence
A Weyl spinor has two spin states, so this proves the tree-level supertrace mass sum rule,
The paper defines its supertrace with , the negative of the conventional boson-minus-fermion supertrace used here. The asserted zero is the same in either convention. The result requires the stated canonical tree-level hypotheses; a noncanonical Kähler metric, supergravity, or radiative corrections can change the sum rule.
If vector multiplets are also present, the gauge contributions to the F-term supertrace cancel rather than being omitted. At , define for the scalar expectation vector . Differentiating adds to the real-scalar trace. The symmetric gaugino-matter mass matrix has off-diagonal entries , giving an extra in its fermion squared-mass trace. The covariant scalar kinetic term gives vector squared-mass trace . Thus their contribution is . The gauge-theory result uses all spin states, including the vector weight three; it is not obtained by dropping massive gauge partners.
The MSSM tree-level sfermion mass constraint explains the phenomenological difficulty with direct visible-sector breaking. If F-term breaking is neutral under an unbroken electric and color gauge symmetry, and no D-term shifts are present, the same trace argument applies within each conserved-charge fermion block. Its corresponding scalar partners cannot all have squared masses above the mean of the light fermion squared masses. Thus canonical tree-level visible-sector supersymmetry breaking alone cannot make every squark and other scalar partner heavy while leaving the observed fermions light. The usual effective soft supersymmetry breaking terms arise after communicating breaking from a separate sector; integrating out that sector, noncanonical interactions and radiative effects evade the hypotheses. The global trace identity alone would not identify a particular light squark without the conserved-charge block argument.
For the specified O'Raifeartaigh model, phases may be chosen so that are real and positive. Its superpotential derivatives are
and its F-term scalar potential is
For fixed , choose to minimize the final square. Since ,
Thus makes a global minimum with arbitrary . The hierarchy ensures this for fixed perturbative , rather than for arbitrarily large . The origin is one member of this classically flat family, with and . The complex field is a pseudomodulus.
At the origin the chiral-superfield fermion mass matrix, in the basis, is
Its physical fermion masses are ; the two massive Weyl spinors form one massive four-component fermion. The massless is the goldstino. More generally, stationarity gives , so the nonzero auxiliary field direction is a null vector of , proving the goldstino zero mode from vacuum stationarity.
Writing and similarly for , the quadratic scalar potential is
The mass spectrum of the quadratic-cubic O'Raifeartaigh model is therefore
The scalar squared-mass sum is , while twice the fermion squared-mass sum is also , so the supertrace is zero, as required. The two massless real modes are tree-level pseudomoduli, which can be lifted by a quantum effective potential; their tree-level masslessness is not the exact symmetry protection enjoyed by the goldstino.
Let and be the scalar mass matrix, which is the Hessian matrix of the scalar potential at the vacuum. Invariance under the infinitesimal Lie group action gives
Differentiate with respect to and evaluate at the vacuum expectation value . Since at a minimum,
Thus every tangent vector generated by a broken Lie algebra generator is a zero eigenvalue eigenvector of the scalar mass matrix. The unbroken generators are precisely those in the stabilizer Lie algebra and give the zero tangent vector; independent broken directions span . Hence Goldstone theorem gives
massless scalar modes at the classical level.
Goldstone's theorem states that a spontaneously broken continuous internal global symmetry in field theory of a local relativistic quantum field theory produces massless Goldstone bosons. For a Lorentz invariance vacuum breaking to its stabilizer , there are independent symmetry-required massless directions. Additional accidentally massless modes are possible. A gauge redundancy does not obey this physical-state counting, and nonrelativistic systems need not have one independent mode per broken generator.
For the classical proof, consider real scalar fields with a positive canonical kinetic term and an invariant smooth scalar potential . An infinitesimal generator satisfies
Let be a stationary vacuum and differentiate this identity with respect to . At , the term proportional to vanishes, leaving
The Hessian matrix is the scalar mass matrix. An unbroken generator has ; broken generators span the tangent space of the vacuum manifold . Each independent nonzero tangent vector is a zero eigenvector of . The quadratic Euler-Lagrange equations in these directions are , giving the massless dispersion relation . This proves the classical result and explains why the Goldstone bosons describe motion along the degenerate minima rather than against a restoring curvature.
Scalar mass Created 2026-10-06 Updated 2026-11-05
The mass of a canonically normalized scalar field is determined by its quadratic fluctuation potential at a stationary vacuum. With several real fields, physical squared masses are the eigenvalues of the scalar mass matrix. A negative squared mass signals an unstable direction rather than a stable massive particle.
Scalar mass matrix Created 2026-10-03 Updated 2026-11-05
For real scalar fields with canonically normalized quadratic kinetic terms, the tree-level scalar mass matrix is the Hessian matrix of the scalar potential at a stationary vacuum:
Its eigenvalues are squared masses in units . A negative eigenvalue is a local instability of that candidate vacuum.
The kinetic normalization is essential. More generally, expand about with
where is the potential Hessian matrix and is a real symmetric positive-definite matrix. A mode obeys the generalized eigenvalue problem
Equivalently, canonical field normalization gives the symmetric squared-mass matrix . For one field with kinetic coefficient and quadratic potential , the physical squared mass is .
Broken continuous global-symmetry directions are zero vectors of the potential Hessian matrix, producing Goldstone bosons when the kinetic form is nonsingular. A Higgs mechanism changes which scalar modes remain independent physical particles; explicit symmetry breaking can lift a zero mass. Thus both the potential and kinetic structure are needed to read a physical spectrum.