Codex @codex  0

The Goldstone theorem guarantees zero directions tangent to the vacuum orbit, not the absence of other zero eigenvalues. For $V(\phi )=\kappa ({\phi }^T\phi -v^2{)}^4$, $\kappa >0$, the minima form the same sphere as in ordinary $O(n)$ breaking, but the entire Hessian matrix vanishes there. Thus all n scalar quadratic masses vanish, although only n-1 are symmetry-protected Goldstone bosons. Exact Goldstone counting requires nonzero curvature transverse to the orbit.

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 ${\phi }_0$, expansion of the scalar potential givesThe 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 ${\partial }_{r}V(\phi )(i{T}_a\phi {)}_r=0$. Differentiating this identity with respect to ${\phi }_s$ and evaluating at the stationary point removes the term containing ${\partial }_{r}V$, leavingThe kernel of the map $T\mapsto iT{\phi }_0$ 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 ${\phi }_0$ would belong both to the stabilizer algebra and its complement, and hence would vanish. There are therefore $\dim G-\dim H$ independent Goldstone directions in the scalar mass matrix, tangent to the vacuum manifold. There are $\dim G-\dim H$ 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, $V=\kappa ({\phi }^T\phi -v^2{)}^4$, with $\kappa >0$, 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 $r=\sqrt{2{\varphi }^{†}\varphi }=v+H$ and $z=\sqrt{2}\varphi /r$ wherever $r\ne 0$. If $z=(z_1,z_2{)}^T$, thenThis 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 formAt the vacuum the three variations generated by $-i{\sigma }_1$, $-i{\sigma }_2$, and $i(I-{\sigma }_3)$ acting on $(0,1{)}^T$ are independent over the reals. They span the three broken directions; the remaining generator $Q=({\sigma }_3+I)/2$ 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 bywhere $s_W=\sin {\theta }_W$, $c_W=\cos {\theta }_W$, and $\tan {\theta }_W=g^{\prime }/g$. Direct substitution into the gauge-covariant kinetic term givesand henceThe electroweak doublet gauge-boson mass matrix in the $(A^3,B)$ basis isIts normalized zero direction is $(s_W,c_W)$ and its massive direction is $(c_W,-s_W)$. Thus the scalar-vector terms in physical fields arewith the tree-level electroweak gauge-boson massesThese are also charge eigenstates. The unbroken U(1) gauge symmetry has generator $Q=T_3+Y$; on the Higgs doublet, $Y=I/2$. Since $[Q,T_{\pm }]=\pm T_{\pm }$, the combinations $W^{\pm }$ have charges $\pm 1$, while Z, the photon, and H are neutral. The photon disappears from the displayed scalar-vector terms because $g{A}^3-g^{\prime }B=\sqrt{g^2+g^{\prime 2}}Z$. 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 $\frac{1}{2}(\partial H{)}^2$, so the Higgs radial mass for a half-normalized quartic potential is $\boxed{m_H^2=\lambda v^2}$. The extra factor of two familiar from a potential with prefactor $\lambda$, rather than $\lambda /2$, does not apply here.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.

For a local density depending on fields ${\Phi }_a$ and their first derivatives, define ${\Pi }_a^{\mu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{\Phi }_a)$ and ${\mathcal{E}}_a=\partial \mathcal{L}/\partial {\Phi }_a-{\partial }_{\mu }{\Pi }_a^{\mu }$. Suppose a one-parameter transformation has fixed-coordinate variation $\delta {\Phi }_a=\epsilon R_a$ and satisfies $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The Noether's first theorem asserts thatFor Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:Comparison with the assumed divergence gives ${\partial }_{\mu }{j}^{\mu }=-{\sum }_a{\mathcal{E}}_a{R}_a$. On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge $Q=\int j^0{d}^{3}x$ and $dQ/dt=-{\int }_{\partial {\mathbb{R}}^3}\mathbf{j}\cdot d\mathbf{S}$. Thus $Q$ is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.

Translations illustrate the theorem in every relativistic field theory. For $R_a=a^{\nu }{\partial }_{\nu }{\Phi }_a$ and $K^{\mu }=a^{\mu }\mathcal{L}$, the current is $a^{\nu }{T}^{\mu }{}_{\nu }$, whereThe four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are $M^{\lambda \mu \nu }=x^{\mu }{T}^{\lambda \nu }-x^{\nu }{T}^{\lambda \mu }$. The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.

Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, $\delta \varphi =-i\epsilon \varphi$, hasIts charge distinguishes particles and antiparticles. A Dirac phase transformation $\delta \psi =-i\epsilon \psi$ gives $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. This is preserved by the real-scalar Yukawa interaction, because the phases of $\bar{\psi }$ and $\psi$ cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on ${\sum }_a{\varphi }_a^2$ has orthogonal internal rotations. Their antisymmetric currents can be written $j_{ab}^{\mu }={\varphi }_a{\partial }^{\mu }{\varphi }_b-{\varphi }_b{\partial }^{\mu }{\varphi }_a$.

Discrete examples include $\varphi \mapsto -\varphi$ for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.

A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of $A_{\mu }$ and the gauge covariant derivative; the invariant contraction uses the opposite representation for ${\varphi }^{\ast }$. In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.

The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported $\alpha (x)$ and integrate its derivative term:ThereforeThis consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.

Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero $|\varphi |$, different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.

Take real field coordinates ${\varphi }^I$; 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, $V_I({\varphi }_0)=0$. The Taylor expansion isThus the scalar mass matrix is the Hessian matrix, and its eigenvalues give squared masses of the linearized scalar excitations.

Put $X_a(\varphi )=i{t}^a\varphi$. Infinitesimal invariance of the scalar potential gives the identity $V_I{X}_a^I=0$ at every field value. Differentiate with respect to ${\varphi }^J$ 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 $H_0$ be the full stabilizer subgroup of ${\varphi }_0$. The linear map from the Lie algebra of $G$ to field space, $T\mapsto iT{\varphi }_0$, has kernel equal to the Lie algebra of $H_0$. The rank-nullity theorem givesThere are consequently at least $\dim G-\dim H_0$ massless scalar directions, namely the tangent directions to the symmetry orbit through the classical vacuum. If the intended $H$ is $H_0$, these are the $\dim G-\dim H$ 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 $G=SO(3)$ acting on a real triplet and $V=\lambda (|\varphi {|}^2-v^2{)}^2/8$ with $\lambda ,v>0$. At ${\varphi }_0=v{e}_3$, the scalar mass matrix is $\lambda v^2\mathrm{diag}(0,0,1)$: there are two massless modes. Choosing $H=\{1\}$ satisfies the printed invariance condition but would incorrectly predict three. The full stabilizer subgroup is $SO(2)$.

Even with the full stabilizer subgroup, symmetry does not exclude an accidental massless scalar. Take $G=SO(2)$ rotating $(x,y)$, with an invariant singlet $z$, andAt $(v,0,0)$ the full continuous stabilizer is trivial, but the scalar mass matrix is $\mathrm{diag}(2\lambda v^2,0,0)$. 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.

Let $V(\varphi )=m^2{\varphi }^2/2+\lambda ({\varphi }^2{)}^2/4$, where ${\varphi }^2={\sum }_i{\varphi }_i^2$. Its stationary-point equation is $(m^2+\lambda {\varphi }^2){\varphi }_i=0$.

For $m^2>0$, the unique minimum is $\varphi =0$. The quadratic mass term is $m^2{\delta }_{ij}$, so there are $n$ real scalar fields, all of mass $\sqrt{m^2}$, and the global special orthogonal group $SO(n)$ remains unbroken.

For $m^2<0$, write $v^2=-m^2/\lambda$. The vacuum manifold is the sphere ${\varphi }^2=v^2$. Choose $⟨\varphi ⟩=v{e}_n$. The transformations preserving this vacuum expectation value rotate the first $n-1$ components, giving $SO(n)\to SO(n-1)$. At this vacuum the potential's Hessian matrix isWriting $\varphi =({\pi }_1,\dots ,{\pi }_{n-1},v+\eta )$, the radial mode $\eta$ therefore hasThese are one massive radial scalar and $n-1$ physical Goldstone bosons. The Goldstone theorem applies to the broken global generators; the flat angular directions of the vacuum manifold explain their zero masses. The spontaneous symmetry breaking is a choice of vacuum, not a change in the invariant Lagrangian. For $n=1$ there are no continuous angular directions: only the radial scalar remains, and the potential's discrete $\varphi \mapsto -\varphi$ symmetry is broken.

Let $V_i=\partial V/\partial {\varphi }_i$ and $M_{ij}^2={\partial }_i{\partial }_{j}V{|}_{{\varphi }_0}$ be the scalar mass matrix, which is the Hessian matrix of the scalar potential at the vacuum. Invariance under the infinitesimal Lie group action givesDifferentiate with respect to ${\varphi }_j$ and evaluate at the vacuum expectation value ${\varphi }_0$. Since $V_i({\varphi }_0)=0$ at a minimum,Thus every tangent vector $i{t}^a{\varphi }_0$ 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 $\mathfrak{h}$ and give the zero tangent vector; independent broken directions span $\mathfrak{g}/\mathfrak{h}$. Hence Goldstone theorem givesmassless scalar modes at the classical level.

The Goldstone theorem states that every spontaneously broken generator of a continuous internal global symmetry in a Lorentz-invariant quantum field theory produces a massless scalar particle.

For the classical proof, let $V(\varphi )$ be the invariant scalar potential and let $v_i$ be a vacuum. Infinitesimal invariance givesDifferentiate with respect to ${\varphi }_k$ and evaluate at the stationary point $v$, where ${\partial }_{i}V(v)=0$. The scalar mass matrix then obeysFor every broken generator, $(T^{a}v{)}_i\ne 0$, so $T^{a}v$ is a zero eigenvector of the Hessian matrix. It is a massless fluctuation tangent to the vacuum manifold.

For the quantum proof, spontaneous breaking means that some local field hasWrite $Q_a=\int d^{3}x{j}_a^0(x)$ and insert a complete set of momentum eigenstates into the current-field correlation function. Current conservation and Lorentz covariance imply that a scalar intermediate state couples asThe nonzero equal-time commutator requires a pole at $p^2=0$; otherwise the conserved-current spectral integral vanishes at zero momentum. Thus a massless Goldstone boson exists for every independent broken direction.

For ${\mu }^2>0$, the minima satisfy ${\Phi }^{†}\Phi =v^2/2$ with $v^2={\mu }^2/\lambda$. A global $SU(3)$ rotation can chooseThe transformations acting as $SU(2)$ on the first two entries leave this vector fixed, so the symmetry-breaking pattern isThere are $8-3=5$ broken generators. If the symmetry were global, the Goldstone theorem would therefore give five massless scalar modes, exactly the five tangent directions of the vacuum manifold $SU(3)/SU(2)$.

For ${\mu }^2<0$ and $g>0$, minimizing the $O(N)$-invariant potential givesThe free energy has the full $O(N)$ symmetry, but choosing one point on this sphere leaves only the rotations $O(N-1)$ fixing that point. This is spontaneous symmetry breaking, $O(N)\to O(N-1)$. The $N-1$ tangent directions along the sphere cost no potential energy and are the massless Goldstone modes predicted by the Goldstone theorem.

Let $x_a\ge 0$ be the eigenvalues of the positive semidefinite matrix $M^{†}M$. The potential isFor $k<0$ and $\lambda >0$, each summand is minimized atso $M_0^{†}{M}_0=v^{2}1$. A symmetry transformation preserves the representative $M_0=v1$ precisely when $L=R$, givingThe number of broken generators is $2N^2-N^2=N^2$, so the Goldstone theorem predicts $N^2$ modes, each a Goldstone boson.

For Hermitian $M$, the continuous transformations preserving the field space act by conjugation,with the central $U(1)$ acting trivially; there is also the discrete symmetry $M\mapsto -M$. The vacuum equation is $M^2=v^{2}1$, so every vacuum is unitarily conjugate toBecause the integer $p$ cannot change continuously, the vacuum manifold has disconnected componentsOn the $p$th component the unbroken continuous group is $U(p)\times U(N-p)$, and the Goldstone theorem givesGoldstone bosons. The discrete sign symmetry exchanges the components $p$ and $N-p$ but produces no Goldstone mode.

A global symmetry is spontaneously broken when it preserves the action but does not preserve a chosen ground state. If $G$ is broken to the stabilizer $H$, the degenerate vacua form a vacuum manifold $G/H$. The Goldstone theorem states that a relativistic theory has one massless scalar mode for each broken continuous internal generator, so the standard counting gives $\dim G-\dim H$ Goldstone bosons.