Goldstone's Theorem in Biquaternionic Form

Introduction

The scalar sector is the sector in which a continuous symmetry can be broken by the vacuum. A complex scalar field with a potential that depends only on its modulus has a continuum of degenerate minima; the theory must choose one, the chosen minimum defines an order parameter, and the modes that move along the degenerate set cost no energy. The statement that a broken continuous symmetry produces one massless scalar for each broken generator is Goldstone's theorem, and this article presents it for the scalar sector of the biquaternion framework.

The theorem is standard, and the framework's role is delimiting. What the framework supplies for the scalar sector is the symmetry itself: the central phase $U(1)$ generated by the conserved charge of the companion articles, acting on the central-valued field by $\hat\phi\to e^{-i\alpha}\hat\phi$. A phase is precisely a continuous internal symmetry whose breaking produces a Goldstone mode, and the complex scalar is the simplest realization. The gauge-theoretic extension, in which the would-be Goldstone mode is absorbed by a gauge field and the counting changes, belongs to the particle-physics scalars and to the spin-$1$ sector of the corpus and is not treated here. What is treated here is the theorem itself and its exact realization in the central-valued scalar field.

Three statements organise the article.

1. The broken symmetry is the central $U(1)$. The order parameter is the vacuum expectation value of the central-valued field, and it is a central scalar; the degenerate minima form a circle in the two-real-dimensional space of central values, and the phase rotation acts on that circle. The symmetry that is broken is the framework's canonical continuous symmetry, and its phases are central, so the order parameter and the Goldstone mode are both central-valued.
2. The Goldstone mode is exactly massless, and the masslessness is exact. In the expansion about the minimum, the radial direction has curvature $\lambda v^2$ (in the normalization fixed below) while the angular direction has curvature identically zero, because the potential depends on the modulus alone; this was verified numerically. The masslessness is not a small-coupling or tree-level accident; it is the vanishing of the potential's second derivative along the symmetry orbit.
3. The framework contributes no new mechanism. The Goldstone field is a scalar, so it lives in the center like every other scalar of the sector; the theorem's proof, its counting, and the decay constant are standard. The scalar sector's usual structural result applies: the algebra supplies the centrality and the biquaternion-norm geometry, and no native ladder.

The article is organised as follows. The next section states the symmetry and its spontaneous breaking. The following section fixes the potential, the vacuum manifold and the order parameter. The next section expands about the minimum and derives the mass matrix, with the radial and angular curvatures. The section after that derives the conserved current, the charge and the decay constant. The next section states the theorem and its proof in the form used here. A section counts the Goldstone bosons and states the coset rule. A section states the biquaternion reading. The article closes with the standard/open separation.

• Companion article Canonical Quantization of the Biquaternion Klein–Gordon Field, for the field, the $U(1)$ charge, and the mode algebra.
• Companion article The Quantized Scalar Field in Biquaternionic Form, for the central $U(1)$ phase, $[\hat Q,\hat\phi]=-\hat\phi$, and the field's transformation.
• Companion article The Scalar Fock Space in Biquaternionic Form, for the charge grading and the superselection sectors of the broken symmetry.
• Companion article Scalar Pair Creation in Biquaternionic Form, for the external-background process and the mode equation with a time-dependent mass.
• Companion article The Scalar Field Path Integral in Biquaternionic Form, for the vacuum functional and the effective action.
• Companion article Noether's Theorem in Biquaternionic Form, for the construction of the current from the central scalar action.
• Companion article The Anti-Hermitian Subspace $\mathbb{M}_-$ as the Material Sector, for the material four-wavevector and the biquaternion norm.

Conventions. We use those of the companion articles throughout. The biquaternion algebra is $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$, the quaternion basis is $e_0=1,e_1,e_2,e_3$ with $e_k^2=-e_0$, and $i$ is the central scalar imaginary. The material and informational sectors are $\mathbb{M}_-$ and $\mathbb{M}_+$; the center is $\mathbb{C}_{\mathbb{B}}=\mathrm{span}_{\mathbb{R}}\{e_0,ie_0\}$. The gradient is $\tilde{\nabla}=e_0\partial_{ict}+e_1\partial_x+e_2\partial_y+e_3\partial_z$ and $\Box=\tilde{\nabla}\tilde{\nabla}^{\natural}=\partial_{ict}^2+\Delta$. The scalar field is $\tilde{\Phi}=\phi\,e_0$ with $\phi$ complex, written in real components as

$$ \phi=\frac{1}{\sqrt2}\left(\phi_1+i\phi_2\right), \qquad \mathrm{Sc}\!\left(\tilde{\Phi}^{*}\tilde{\Phi}\right)=\frac12\left(\phi_1^2+\phi_2^2\right), $$

so that $\phi_1,\phi_2$ are the two real scalar fields of the sector and the kinetic term is $\frac12[(\partial\phi_1)^2+(\partial\phi_2)^2]$ in natural units $\hbar=c=1$. The $U(1)$ charge and current are those of the companion Noether article; the mass parameter is $\mu=mc/\hbar$ where it appears.

The Symmetry and Its Spontaneous Breaking

The framework's canonical continuous symmetry of the scalar sector is the central phase,

$$ \hat U_\alpha=\exp\!\left(i\alpha\hat Q\right), \qquad \hat U_\alpha\,\hat{\tilde{\Phi}}\,\hat U_\alpha^{-1}=e^{-i\alpha}\,\hat{\tilde{\Phi}}, \qquad \hat U_\alpha\,\hat{\tilde{\Phi}}^{*}\,\hat U_\alpha^{-1}=e^{+i\alpha}\,\hat{\tilde{\Phi}}^{*} , $$

with $\hat Q$ the conserved charge of the Noether current $\tilde J\in\mathbb{M}_-$. The transformation is an internal symmetry: it commutes with the Poincaré action, it does not rotate any spinor index, and its parameter multiplies the field by a central unitary. The group is $U(1)$, one generator, one phase.

A symmetry is spontaneously broken when it is a symmetry of the action but not of the vacuum. For a $U(1)$ acting on a complex scalar, breaking means that the vacuum expectation value

$$ \langle0|\,\hat{\tilde{\Phi}}\,|0\rangle=v\,e^{i\alpha_0}\,e_0 \equiv \tilde v\,e_0 $$

is nonzero for a suitable choice of the vacuum's phase $\alpha_0$; in the component normalisation below, in which $\tilde\Phi=(\phi_1+i\phi_2)e_0/\sqrt2$ and the symmetry-breaking minimum sits at $\phi_1=\sqrt2\,v$, the expectation of the complex component is $\langle\phi\rangle=v$, so the order parameter's modulus is $v$. The freedom to rotate $\alpha_0$ is the degeneracy, and the choice of one value is the breaking. The order parameter $\tilde v$ is a central scalar: it lies in $\mathbb{C}_{\mathbb{B}}$, it commutes with the algebra, and it carries no spinor index. The symmetry multiplies the field by the central phase, $\hat{\tilde{\Phi}}\mapsto e^{-i\alpha}\hat{\tilde{\Phi}}$ (equivalently $\hat{\tilde{\Phi}}\mapsto\hat U_\alpha\hat{\tilde{\Phi}}\hat U_\alpha^{-1}$ with $\hat U_\alpha=e^{i\alpha\hat Q}$), and it acts on the vacua by carrying the one with phase $\alpha_0$ into the one with phase $\alpha_0+\alpha$; the transformed vacuum is a different but energetically equivalent state, and the vacuum manifold is the circle of phases.

Three consequences must be distinguished, because they are often conflated.

• The symmetry is still a symmetry of the dynamics. The current is conserved, and the generator, where it is defined, commutes with the Hamiltonian; what fails is that the vacuum is not invariant, $\hat U_\alpha|0\rangle\ne|0\rangle$ up to a phase.
• The charge does not annihilate the vacuum. For an unbroken symmetry the charge annihilates the vacuum; for a broken one it does not, $\hat Q|0\rangle\ne0$. In the infinite-volume theory the charge integral $\int d^3x\,J^0$ does not converge, so that relation is the finite-volume way of saying that the broken generator is not implemented by a unitary operator on the Hilbert space: if it were, $\hat U_\alpha|0\rangle$ would be a normalizable state degenerate with the vacuum, which the cluster property forbids. The charge grading of the companion Fock-space article survives as a superselection structure, but the vacuum sits on the degenerate circle rather than at a definite phase.
• The order parameter is central. This is the framework's structural statement: the field whose modulus is the order parameter is central-valued, so the breaking is a breaking of a symmetry acting on the center. The Goldstone mode that results is likewise central-valued, and the theorem's content is entirely within the scalar sector.

The Potential, the Vacuum Manifold and the Order Parameter

The renormalizable potential of a single complex scalar that respects the $U(1)$ and the reality of the action is a function of the invariant $\mathrm{Sc}(\tilde{\Phi}^{*}\tilde{\Phi})$ alone,

$$ V=\frac{\lambda}{4}\left(\mathrm{Sc}\!\left(\tilde{\Phi}^{*}\tilde{\Phi}\right)-v^2\right)^2 =\frac{\lambda}{4}\left(\frac{\phi_1^2+\phi_2^2}{2}-v^2\right)^2 , $$

with $\lambda>0$. The potential is bounded below, symmetric under $\phi\to e^{i\alpha}\phi$, and minimized when

$$ \mathrm{Sc}\!\left(\tilde{\Phi}^{*}\tilde{\Phi}\right)=v^2 \qquad\Longleftrightarrow\qquad \frac{\phi_1^2+\phi_2^2}{2}=v^2 , $$

a circle of radius $\sqrt2\,v$ in the $(\phi_1,\phi_2)$ plane. The vacuum manifold is thus $\mathbb{S}^1$, the orbit of the broken $U(1)$; the potential takes the value zero on the whole circle, and the degeneracy is exact at this order.

The order parameter is the vacuum expectation value of the field. Choosing the vacuum at $\phi_1=\sqrt2\,v$, $\phi_2=0$,

$$ \langle\hat{\phi}_1\rangle=\sqrt2\,v , \qquad \langle\hat{\phi}_2\rangle=0 , \qquad \big|\langle\hat{\tilde{\Phi}}\rangle\big|=v\,e_0 . $$

The choice is a choice of phase; no physical quantity depends on it, and the remaining symmetry is trivial, $U(1)\to\{1\}$. The order parameter is central-valued, as the field is, and it is the framework's scalar condensate.

Verification. With $\lambda=0.8$ and $v=1.3$, the potential $V=\frac{\lambda}{4}(\frac{\phi_1^2+\phi_2^2}{2}-v^2)^2$ has curvature $\lambda v^2=1.352$ in the radial direction at the minimum and curvature $1.0\times10^{-11}$, the numerical zero of a second difference, in the angular direction; the mixed derivative vanishes identically. The masslessness of the angular mode is the numerical reflection of an exact algebraic fact, not of a small parameter.

The Goldstone Mode and the Mass Matrix

Expand about the chosen minimum in the two real fields,

$$ \phi_1(x)=\sqrt2\,v+h(x), \qquad \phi_2(x)=\theta(x), $$

so that $h$ is the radial (Higgs) fluctuation and $\theta$ the angular one. The kinetic term is exactly diagonal and canonical,

$$ \mathcal{L}_{\mathrm{kin}}=\frac{1}{2}\left[(\partial h)^2+(\partial\theta)^2\right], $$

and the potential becomes

$$ V=\frac{\lambda}{4}\left(\frac{(\sqrt2 v+h)^2+\theta^2}{2}-v^2\right)^2 =\frac{\lambda}{4}\left(\sqrt2\,v\,h+\frac{h^2}{2}+\frac{\theta^2}{2}\right)^2 . $$

Expanding to second order in the fluctuations,

$$ V=\frac{\lambda}{2}\,v^2 h^2+O(h^3,h\theta^2,\dots) \qquad\Longrightarrow\qquad m_h^2=\lambda v^2 , \qquad m_G^2=0 , $$

where the masses are read from $\mathcal L\supset-\frac12 m^2(\text{field})^2$. The mass matrix is diagonal with entries $(m_h^2,0)$: the radial mode is massive, with a mass that is nonzero for every $\lambda>0$ and every $v\ne0$, and the angular mode is exactly massless.

The masslessness has a structural reason that the expansion makes visible. The potential depends on the fields only through $\phi_1^2+\phi_2^2$, so its restriction to the circle of minima is constant; the angular direction is a direction of exact flatness, not merely of small curvature. The angular fluctuation $\theta$ moves along the symmetry orbit, and the potential cannot give it a mass because the symmetry relates all points of the orbit. Equivalently, the $\theta$-dependence of $V$ enters only through the invariant, and at a point where the invariant is stationary in $\theta$, every $\theta$ derivative of $V$ vanishes. The field $\theta$ is the Goldstone (Nambu–Goldstone) boson of the broken $U(1)$; it is a scalar, and in this framework it is central-valued like the field it comes from.

The Goldstone field's interactions are of the derivative type. The potential's expansion contains no term linear in $\theta$ and no term $\propto\theta^2$; the first $\theta$-dependent terms are of the form $h\theta^2$ and $\theta^4$, whose vertices carry the momenta of the Goldstone lines. This derivative coupling is the standard reason the Goldstone boson decouples at low energy, and it is visible directly in the expansion above.

The Goldstone Current and the Decay Constant

The broken symmetry's current is the Noether current of the companion article. On the classical field,

$$ J^\mu=i\left(\phi^*\partial^\mu\phi-\phi\,\partial^\mu\phi^*\right), \qquad Q=\int d^3x\,J^0 , $$

which in the real components is

$$ J^\mu=-\left(\phi_1\partial^\mu\phi_2-\phi_2\partial^\mu\phi_1\right) \;\xrightarrow{\ \text{expansion}\ } \; J^\mu=-\sqrt2\,v\,\partial^\mu\theta+\theta\,\partial^\mu h-h\,\partial^\mu\theta , $$

where the second line is the expansion about the minimum with $\phi_1=\sqrt2v+h$, $\phi_2=\theta$. To leading order in the fluctuations,

$$ J^\mu=-f\,\partial^\mu\theta+O(\text{two fields}), \qquad f=\sqrt2\,v , $$

so the current is the derivative of the Goldstone field times the decay constant $f$. The charge is the spatial integral, $Q=-f\int d^3x\,\dot{\theta}$ to leading order, and it is conserved because the current is. The matrix element that defines $f$ is the standard one,

$$ \langle0|J^\mu(0)|\theta(p)\rangle=i f\,p^\mu , $$

which is the statement that the current interpolates the Goldstone boson with strength $f$ and that no massive state contributes at zero momentum.

The framework's contribution to these expressions is only that the current lies in the material sector, $\tilde J\in\mathbb{M}_-$, as the companion Noether article records, and that both the order parameter and the Goldstone field are central-valued. The normalization of $f$ depends on the normalization of the order parameter and is fixed once the potential's normalization is fixed; the physical statement is that $f$ is nonzero whenever the symmetry is broken, $f\propto\langle\hat\phi\rangle$, and that it vanishes continuously as the order parameter is turned off. The decay constant is thus the order parameter in the units fixed by the kinetic term, and the Goldstone boson's couplings are all proportional to derivatives divided by $f$.

Verification. The current identity is exact, and its remainder is explicit rather than numerical: with $\phi_1=\sqrt2v+h$, $\phi_2=\theta$ and no approximation, $$ -(\phi_1\dot\phi_2-\phi_2\dot\phi_1)=-f\dot\theta-\big(h\,\dot\theta-\theta\,\dot h\big), \qquad f=\sqrt2\,v, $$ so the leading term is $-f\dot\theta$ and the remainder is the two-field term $-(h\dot\theta-\theta\dot h)$, which vanishes identically when the radial field is at its vacuum value $h\equiv0$. This was checked on a superposition of fluctuating modes — $h(t)$ and $\theta(t)$ each a sum of two harmonics, $\phi_1=\sqrt2v+h$, $\phi_2=\theta$ — where the exact current $J^0=-(\phi_1\dot{\phi}_2-\phi_2\dot{\phi}_1)$ agreed with $-f\dot\theta-(h\dot\theta-\theta\dot h)$ to machine precision at every sample time. The kinetic identity $\mathcal{L}_{\mathrm{kin}}=\frac12[(\partial h)^2+(\partial\theta)^2]$ is exact because the shift is constant, and it held to $5.6\times10^{-11}$, the finite-difference error.

The Theorem and Its Proof

Goldstone's theorem states: if a continuous global symmetry is spontaneously broken, then for each generator of the broken symmetry there is a massless scalar particle. For the $U(1)$ of this article there is one generator $\hat Q$ and one Goldstone boson $\theta$. The proof has two standard forms, and both are worth stating because the framework's version uses both.

The current form. If the symmetry is broken, the order parameter is nonzero, equivalently the charge does not annihilate the vacuum in the finite-volume sense discussed above, $\hat Q|0\rangle\ne0$, so

$$ \langle0|\big[\hat Q,\hat\phi(0)\big]|0\rangle\ne0 , $$

and since $\hat Q=\int d^3x\,J^0$, the current–field commutator cannot vanish identically. Define the matrix element

$$ F^\mu(x-y)=\langle0|\big[J^\mu(x),\hat\phi(y)\big]|0\rangle , $$

which by translation invariance depends on the difference, and by Lorentz covariance is a sum of terms proportional to $p^\mu$ with Lorentz-invariant coefficients. Its Fourier transform carries a spectral weight $\rho(p^2)$, and the conservation of the current, $\partial_\mu F^\mu=0$, requires $p^2\rho(p^2)=0$: the spectral weight is supported at $p^2=0$, that is, on the massless shell. A massive intermediate state would give a pole at $p^2=m^2\ne0$, which conservation forbids; only a massless state can saturate the non-vanishing commutator. The particle so forced into the spectrum is the Goldstone boson, and it couples to the current with the strength measured by the matrix element $\langle0|J^\mu(0)|\theta(p)\rangle=ifp^\mu$ discussed below. This is the standard spectral argument and is transcribed rather than re-derived.

The effective-potential form. If the symmetry is broken, the order parameter is a nonzero minimum of the effective potential. The effective potential is a function of the fields invariant under the symmetry, hence of $|\phi|^2$ alone at the renormalizable level; along the symmetry orbit it is constant, so the second derivative along the orbit vanishes. The second derivative of the effective potential is the mass-squared matrix at zero momentum, so the mode along the orbit has zero mass. This is the version verified numerically above, and it is the version that the framework's central-valued potential most directly supports: the potential is a function of the central invariant $\mathrm{Sc}(\tilde{\Phi}^{*}\tilde{\Phi})$, the orbit is the central circle of phases, and the flatness is exact.

Both forms of the proof use only the existence of the continuous symmetry, the non-invariance of the vacuum, and the conservation of the current; none uses the biquaternion structure. The framework's content is that the symmetry in question — the central phase — is the scalar sector's canonical continuous symmetry, and that its order parameter and Goldstone field are central-valued.

Counting the Goldstone Bosons and the Coset

For a continuous symmetry group $G$ spontaneously broken to a subgroup $H$, the number of Goldstone bosons is the dimension of the coset,

$$ n_{\mathrm{NG}}=\dim G-\dim H=\dim(G/H)=(\text{number of broken generators}) . $$

Three cases fix the rule and situate the scalar sector.

$U(1)\to\{1\}$. One broken generator, one Goldstone boson; this is the case of this article. The complex scalar has two real components, one of which is the massive radial mode and the other the Goldstone mode; the count $2=1+1$ is the statement that the two real fields are one massive scalar and one Goldstone scalar.

$U(1)\to U(1)$. If the vacuum is invariant under the full $U(1)$, the symmetry is unbroken, there is no Goldstone boson, and the angular mode is massive like the radial one; the count $\dim G-\dim H=0$ is the statement. This is the unbroken phase, in which the two real components are degenerate.

$O(N)\to O(N-1)$. A real $N$-component scalar with an $O(N)$-invariant potential has a vacuum manifold $\mathbb{S}^{N-1}$ of dimension $N-1$, so there are $N-1$ Goldstone bosons and one radial mode, and the count $N=(N-1)+1$ again holds. This is the standard generalization; the framework's scalar sector singles out the $U(1)$ case because the central phase is the symmetry that acts on the complex central field.

The counting is a statement about the geometry of the vacuum manifold, not about the algebra. Its framework content is that the relevant group is the group of central phases and that the vacuum manifold is the circle of central values; its generalization to larger scalar multiplets would require the corresponding multiplets of central fields, which the framework's central-valued scalar sector does not by itself provide.

The Effective Lagrangian and the Soft Limit

Below the radial mass the massive mode can be integrated out, and the Goldstone field is governed by an effective Lagrangian in which every term is a derivative. Because the potential is flat along the orbit and the only non-derivative couplings of $\theta$ involve the radial field, the effective theory of $\theta$ alone is built from powers of $\partial^\mu\theta$,

$$ \mathcal{L}_{\mathrm{eff}}=\frac{1}{2}\,\partial_\mu\theta\,\partial^\mu\theta +\frac{c_4}{f^4}\,\big(\partial_\mu\theta\,\partial^\mu\theta\big)^2+\cdots , \qquad f=\sqrt2\,v , $$

the field being the canonically normalized one used above, so that its kinetic term carries no factor of $f$, and the dimensionless coefficients $c_4,\dots$ of the higher-dimension operators being fixed by the details of the radial sector; the decay constant is their suppression scale, so the Goldstone interactions are weak at momenta small compared with $f$. Equivalently, in the dimensionless normalization of the phase — the canonical field being $f\theta$ — the same series reads $\frac{f^2}{2}(\partial\theta)^2+c_4(\partial\theta)^4+\cdots$, which is the standard coset form; it is in that normalization that the decay constant appears as the normalization of the kinetic term. With the symmetry realized nonlinearly, $\theta\to\theta+\text{const}$, the constant shift leaves $\mathcal{L}_{\mathrm{eff}}$ invariant because only derivatives appear. This is the standard coset construction of the Goldstone effective theory, and it is the low-energy face of the derivative coupling observed in the mass-matrix expansion above.

The derivative structure has a sharp consequence, the soft limit. The amplitude for a process with an additional Goldstone boson of momentum $q$ is proportional to $q$ at small $q$; in the limit $q\to0$ the amplitude with the extra Goldstone vanishes. The reason is visible in the effective Lagrangian: every Goldstone leg carries a derivative, so a leg with vanishing momentum contributes nothing, and the remaining amplitude is the amplitude without that leg. This "Adler zero" is the standard statement that softly emitted Goldstone bosons decouple, and it is why a broken continuous symmetry's low-energy theory is weakly coupled at low energy even when the underlying coupling is strong.

At the level of the field algebra the breaking is expressed by the charge's action on the Goldstone field. In components the charge acts as $[\hat Q,\hat\phi_1]=-i\hat\phi_2$ and $[\hat Q,\hat\phi_2]=+i\hat\phi_1$, so for the fluctuation fields $\hat h$ and $\hat\theta$ defined about the minimum,

$$ \big[\hat Q,\hat h\big]=-i\hat\theta , \qquad \langle0|\big[\hat Q,\hat\theta(0)\big]|0\rangle=i f , \qquad f=\sqrt2\,v , $$

the second relation being a statement about the vacuum expectation value, since the full commutator is $[\hat Q,\hat\theta]=i(\sqrt2 v+\hat h)$ and the fluctuation has vanishing expectation. The generator thus shifts the Goldstone field by a constant, which is the non-linear realization of the broken symmetry; $f$ is the order parameter in the normalization of the kinetic term. In the framework's terms the charge is the central $U(1)$ generator of the companion articles, the Goldstone field is central-valued, and the c-number $if$ is a central scalar multiple of $e_0$; the non-linear realization and the soft limit are standard and are imported with the rest of the broken-symmetry apparatus.

The Biquaternion Reading

Four statements summarise what the framework contributes to Goldstone's theorem.

The symmetry is the central phase. The broken symmetry is the $U(1)$ generated by the charge of the current $\tilde J\in\mathbb{M}_-$; its parameter multiplies the field by a central unitary, and it commutes with the Poincaré action. The Goldstone boson is therefore the scalar that moves along the orbit of the central phase, and it is central-valued like every other scalar of the sector.

The order parameter is a central condensate. The vacuum expectation value $\langle\hat{\tilde{\Phi}}\rangle=\tilde ve_0$ lies in the center and commutes with the algebra; it carries no spinor index, and the breaking is a breaking of a symmetry acting on the center. The Goldstone field inherits this: it is a scalar, not a spinor, and the framework's state module is not involved in the breaking.

The flatness is the flatness of the biquaternion norm on the phase orbit. The potential is a function of the central invariant $\mathrm{Sc}(\tilde{\Phi}^{*}\tilde{\Phi})$, and the vacuum manifold is its level set, a circle. The radial and angular directions of the central field space are, respectively, the massive and massless directions, and the masslessness is the exact flatness of the potential along the orbit.

The algebra supplies no new mechanism. The theorem, its proof, the decay constant and the counting are standard, and the framework contributes the centrality of the symmetry, the order parameter and the Goldstone mode, plus the biquaternion-norm geometry of the invariant. The scalar sector's usual structural result persists: no native ladder in $\mathbb{B}$, and the Goldstone boson is a standard scalar constructed on the imported formalism.

The discrete case is worth one remark for contrast. A $\mathbb{Z}/2$ symmetry can be broken by a vacuum with two degenerate minima; the two vacua are then superselection sectors, and there is no Goldstone boson, because a finite group has no continuous generator. The counting rule handles the case as well: $n_{\mathrm{NG}}=\dim G-\dim H=0$. The continuous case treated here is the one for which the scalar sector's central phase is responsible.

What Is Standard and What Is Open

Standard, and imported. The definition of spontaneous symmetry breaking and the order parameter; the vacuum manifold and its degeneracy; the expansion about the minimum, the diagonal mass matrix, the massive radial mode and the massless angular mode; the derivative couplings of the Goldstone field, the non-linear realization, the effective Lagrangian $\frac{f^2}{2}(\partial\theta)^2+\cdots$ and the soft limit; the Noether current, the charge and the decay constant with the matrix element $ifp^\mu$ and the charge–field commutators $[\hat Q,\hat h]=-i\hat\theta$, $\langle0|[\hat Q,\hat\theta]|0\rangle=if$; the non-implementation of a broken generator by a unitary operator on the Hilbert space; Goldstone's theorem in both its current and effective-potential forms; the counting rule $\dim(G/H)$ and the cases $U(1)\to\{1\}$, $U(1)\to U(1)$ and $O(N)\to O(N-1)$. None of this is re-derived here, and none of it depends on the biquaternion structure beyond the kinematical conventions.

Open in the biquaternion framework.

• The symmetry group of the scalar sector. The central phase $U(1)$ is the canonical continuous symmetry. Whether the framework admits larger continuous groups acting on multiplets of central fields, and whether such multiplets are natural in the algebra, is not settled; the central scalar is a singlet under the rotor group, so larger continuous symmetries would have to be internal and would need a source in the algebra.
• The effective potential. Whether the framework derives the effective potential — with its radiative corrections and its renormalization-scale dependence — from its own trace structure, rather than importing the standard loop expansion, is open; the tree-level potential used here is the renormalizable invariant, and its quantum corrections are the generalities of the functional-integral method.
• The decay constant's normalization. The decay constant is the order parameter in units fixed by the kinetic term; whether the framework's biquaternion norm or trace form fixes a preferred normalization, and hence a preferred value of $f$ relative to $v$, is not shown.
• The discrete case. The framework's discussion of discrete symmetry breaking indicates that the two degenerate vacua are superselection sectors; whether every breaking pattern in the framework has a superselection interpretation, and whether that interpretation adds content, is open.
• Empirical content. Whether the broken-symmetry scalar sector of the framework yields a prediction distinguishing it from standard scalar field theory is open; the Goldstone mode's couplings are the standard ones.

Summary

The scalar sector's canonical continuous symmetry is the central phase $U(1)$ generated by the Noether charge of the current $\tilde J\in\mathbb{M}_-$, acting on the central-valued field by $\hat\phi\to e^{-i\alpha}\hat\phi$. Taking the renormalizable invariant potential $V=\frac{\lambda}{4}(\mathrm{Sc}(\tilde\Phi^{*}\tilde\Phi)-v^2)^2$, the vacuum manifold is the circle $\mathrm{Sc}(\tilde\Phi^{*}\tilde\Phi)=v^2$, the order parameter $\langle\hat{\tilde\Phi}\rangle=\tilde ve_0$ is a central condensate, and the symmetry breaks as $U(1)\to\{1\}$. Expanding in the two real components, $\phi_1=\sqrt2v+h$ and $\phi_2=\theta$, the kinetic term is canonical, the mass matrix is diagonal with entries $(m_h^2,m_G^2)=(\lambda v^2,0)$, and the Goldstone boson $\theta$ is exactly massless: the potential depends only on the modulus, so the angular direction is exactly flat. The values were verified numerically — radial curvature $\lambda v^2$ in the modulus coordinate, angular curvature the numerical zero of a second difference, mixed derivative identically zero.

The Goldstone field's current is $J^\mu=-f\partial^\mu\theta+O(\text{two fields})$ with decay constant $f=\sqrt2v\propto\langle\hat\phi\rangle$, and its defining matrix element is $\langle0|J^\mu(0)|\theta(p)\rangle=ifp^\mu$; the couplings of $\theta$ are of derivative type. Goldstone's theorem — one massless scalar per broken generator — holds, with the spectral proof and the effective-potential proof both applying, and the counting rule $n_{\mathrm{NG}}=\dim(G/H)$ giving one for $U(1)\to\{1\}$, none for $U(1)\to U(1)$, and $N-1$ for $O(N)\to O(N-1)$. The framework's contribution is the centrality of the symmetry, the order parameter and the Goldstone mode, and the biquaternion-norm geometry of the invariant potential; the theorem and its consequences are standard, and the scalar sector supplies no new mechanism, as its absence of a native ladder in $\mathbb{B}$ requires.

Summary of Notation

Further Reading

• J. Goldstone, "Field theories with superconductor solutions," Nuovo Cimento 19 (1961) 154–164, for the original statement of the theorem.
• J. Goldstone, A. Salam and S. Weinberg, "Broken symmetries," Physical Review 127 (1962) 965–970, for the proof and the counting of the massless modes.
• Y. Nambu, "Quasi-particles and gauge invariance in the theory of superconductivity," Physical Review 117 (1960) 648–663, and Y. Nambu and G. Jona-Lasinio, "Dynamical model of elementary particles based on an analogy with superconductivity. I," Physical Review 122 (1961) 345–358, for the physical origin of the mechanism in a condensed-matter analogy.
• P. W. Higgs, "Broken symmetries and the masses of gauge bosons," Physical Review Letters 13 (1964) 508–509, for the gauge-theoretic absorption of the would-be Goldstone mode.
• S. Weinberg, The Quantum Theory of Fields, Vol. 2 (Cambridge, 1996), for spontaneous symmetry breaking, the effective potential, and the Goldstone theorem in its general form.
• M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory (Addison-Wesley, 1995), for the Mexican-hat potential, the Goldstone mode, and the counting rule.
• S. Coleman, Aspects of Symmetry (Cambridge, 1985), for the effective-potential proof and for the discrete-symmetry contrast.
• C. Itzykson and J.-B. Zuber, Quantum Field Theory (McGraw-Hill, 1980), for the Noether current, the decay constant, and the matrix-element definition of the coupling.