In the Abelian Higgs mechanism, a non-perturbative theorem of Morchio and Strocchi (2007) shows, in the Coulomb-gauge field algebra, that scalar QED can contain massive photons only if the global U(1)U(1) gauge symmetry is spontaneously broken in the C∗C^*-algebraic sense; if the symmetry is unbroken the photon is massless and electric charge is superselected, while if it is broken all bosons in the spectrum are massive and the charge is screened. For Yang–Mills–Higgs theory with non-Abelian structure group, the analogous statement is unproved: the only non-perturbative result (De Palma and Strocchi, 2013) establishes in the local BRST gauge that spontaneous breaking of the global gauge group evades Goldstone's theorem — the massless modes forced by the theorem appear in gauge-dependent correlators but not in the physical spectrum — but does not establish that the gauge bosons are massive. The problem is to prove, or rigorously refute, the non-Abelian analogue of the Morchio–Strocchi theorem: spontaneous breaking of the global gauge group in quantum Yang–Mills–Higgs theory implies that the physical spectrum contains no massless vector gauge bosons. This open problem was stated explicitly in Borsboom and De Haro's study of global gauge symmetry breaking in the Abelian Higgs mechanism (2026), whose July 2026 revision still reports that the existence of massive gauge bosons for broken global non-Abelian gauge symmetry 'has not been proved anywhere'.

Background

The Higgs mechanism is the standard account of how gauge bosons acquire mass: a scalar field coupled to a gauge field with a nonzero expectation value is said to 'break' the gauge symmetry and to 'eat' the would-be massless Goldstone modes, leaving massive vector particles. In a gauge theory, however, most gauge transformations are mere redundancies of description, so what symmetry is actually broken is subtle. The modern structural answer splits the gauge group by its behavior at spatial infinity: transformations generated by the Gauss constraint (those approaching the identity fast at infinity, written G0∞\mathcal{G}^\infty_0) are redundant, while 'global' gauge transformations — boundary-preserving transformations that approach a nontrivial constant at infinity (the group GI\mathcal{G}^I, with the physical or global gauge group GI/G0∞≃G\mathcal{G}^I/\mathcal{G}^\infty_0 \simeq G for structure group GG) — act nontrivially on the charged field algebra and are physical in the presence of boundary conditions. Struyve (2011) reformulated the classical Abelian Higgs mechanism as the spontaneous breaking of precisely this global U(1)U(1), and Borsboom and De Haro (2026) showed how this account extends to quantum field theory. In algebraic quantum theory, a symmetry β\beta of the field algebra A\mathcal{A} (a C∗C^*-algebra, i.e. a norm-closed self-adjoint algebra of bounded operators, here of observables or fields) is spontaneously broken by a state ω\omega when the GNS representations (the canonical Hilbert-space realizations) of ω\omega and of the transformed state β∗ω\beta^*\omega are not unitarily equivalent; this is the infinite-system definition of spontaneous symmetry breaking (SSB). Within this framework, Morchio and Strocchi (2007) proved the sharp Abelian dichotomy: in scalar QED quantized in the Coulomb gauge (the gauge in which the scalar potential is solved nonlocally through the Gauss law, giving a field algebra without unphysical degrees of freedom), unbroken global U(1)U(1) forces a massless photon and superselection of electric charge, whereas a broken global U(1)U(1), detected by an order parameter ⟨δF⟩0≠0\langle \delta F \rangle_0 \neq 0, forces all bosons in the spectrum to be massive, with charge screening replacing superselection. This makes the Higgs mechanism an instance of ordinary SSB of a physical global symmetry, not of the redundant local one. For a non-Abelian structure group GG the situation is markedly incomplete. The currents generating the global gauge symmetry are gauge-covariant, and the direct Abelian route through the Noether relation (the Gauss law expressing charge as a flux integral) has no straightforward analogue. The best available result, due to De Palma and Strocchi (2013) and reproduced as Theorem 5.6 of Borsboom and De Haro (2026), works in the local BRST gauge (BRST: Becchi–Rouet–Stora–Tyutin; a covariant quantization with ghost fields, in which physical states are cohomology classes): if the global gauge group GG is broken by ⟨δF⟩0≠0\langle \delta F \rangle_0 \neq 0, the current two-point function ⟨Jμa(x)F⟩0\langle J^a_\mu(x) F \rangle_0 necessarily contains a massless δ(k2)\delta(k^2) contribution — but this singularity is carried by unphysical (gauge and ghost) modes, so no massless Goldstone particle appears in the physical spectrum. This proves 'Goldstone evasion' for the non-Abelian case, but it does not prove the positive half of the Abelian theorem: that the vector particles themselves are massive. Notably, the very statement of the hypothesis is delicate in the non-Abelian case, because the physical gauge group and the admissible boundary conditions depend on the phase: Borsboom and Posthuma (2026) rigorously derived the classical physical gauge group of Yang–Mills–Higgs theory and showed that it differs between the broken and unbroken phases. Independently, the Fröhlich–Morchio–Strocchi (FMS) program (which rewrites the perturbative, gauge-fixed description of the Higgs phase in terms of gauge-invariant composite operators) and lattice gauge theory (numerical simulation of the theory regularized on a discrete spacetime lattice; reviewed by Maas, 2023) show that gauge-invariant composite operators in the non-Abelian Higgs phase reproduce the perturbative massive spectrum, giving strong numerical and structural support to mass generation while falling short of a non-perturbative theorem in the algebraic sense at issue here.

Problem Statement

Prove, or rigorously refute, the non-Abelian analogue of the Morchio–Strocchi theorem on the Higgs mechanism. Concretely: in a quantum Yang–Mills–Higgs theory with compact non-Abelian structure group GG on Minkowski space, quantized so that the global gauge group GI/G0∞≃G\mathcal{G}^I/\mathcal{G}^\infty_0 \simeq G (the boundary-preserving gauge transformations modulo those generated by the Gauss constraint) is represented on the field algebra, suppose that GG is spontaneously broken in the C∗C^*-algebraic sense, i.e. there is an order parameter FF with ⟨δF⟩0≠0\langle \delta F \rangle_0 \neq 0 for the infinitesimal action δ\delta of the global gauge group. Establish whether this implies that the physical spectrum contains no massless vector gauge boson (equivalently, that all gauge bosons are massive), with the converse structure of the Abelian theorem — unbroken global GG forcing massless vectors and superselected charges — addressed to the extent the implication requires it. A rigorous counterexample — a model with broken global non-Abelian gauge symmetry and a physical massless vector state — refutes the claim, whereas a theorem establishing the implication resolves it; the implication is to be derived from genuine spontaneous breaking of the global gauge group — the order parameter condition ⟨δF⟩0≠0\langle \delta F \rangle_0 \neq 0 above — and not from an assumption that presupposes the conclusion. Perturbative computations or lattice evidence alone do not settle the problem. This is the problem that Borsboom and De Haro (2026) state as open after proving the Abelian case: 'the actual existence of massive gauge bosons in the case of broken global non-Abelian gauge symmetry has not been proved anywhere.'

References

  1. Silvester G. A. Borsboom and Sebastian De Haro, 'Global Gauge Symmetry Breaking in the Abelian Higgs Mechanism', Philosophy of Physics 4(1) (2026) 6. DOI: 10.31389/pop.248; arXiv:2504.17483, https://arxiv.org/abs/2504.17483
  2. G. Morchio and F. Strocchi, 'Localization and symmetries', Journal of Physics A: Mathematical and Theoretical 40(12) (2007) 3173–3187. DOI: 10.1088/1751-8113/40/12/S17, https://doi.org/10.1088/1751-8113/40/12/S17
  3. Giacomo De Palma and Franco Strocchi, 'A non-perturbative argument for the non-abelian Higgs mechanism', Annals of Physics 336 (2013) 112–117. DOI: 10.1016/j.aop.2013.05.012; arXiv:1304.7939, https://arxiv.org/abs/1304.7939
  4. Ward Struyve, 'Gauge invariant accounts of the Higgs mechanism', Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 42(4) (2011) 226–236. DOI: 10.1016/j.shpsb.2011.06.003, https://doi.org/10.1016/j.shpsb.2011.06.003
  5. Silvester G. A. Borsboom and Hessel B. Posthuma, 'Global gauge symmetries and spatial asymptotic boundary conditions in Yang-Mills theory', SciPost Physics 20(6) (2026) 185. DOI: 10.21468/SciPostPhys.20.6.185; arXiv:2502.16151, https://arxiv.org/abs/2502.16151
  6. Silvester G. A. Borsboom and José P. Dupont, 'Symmetry Breaking through Superselection by Boundary Conditions', arXiv:2606.15272 (2026), https://arxiv.org/abs/2606.15272
  7. Franco Strocchi, 'Some Rigorous Results on Symmetry Breakings in Gauge QFT', arXiv:2201.05864 (2022), https://arxiv.org/abs/2201.05864
  8. Franco Strocchi, 'Why Gauges? Gauge symmetries for the classification of the physical states', arXiv:2411.01607 (2024), https://arxiv.org/abs/2411.01607
  9. Axel Maas, 'The Fröhlich–Morchio–Strocchi Mechanism: An Underestimated Legacy', in 'Trails in Modern Theoretical and Mathematical Physics: A Volume in Tribute to Giovanni Morchio' (Springer, 2023), pp. 177–205. DOI: 10.1007/978-3-031-44988-8_11; arXiv:2305.01960, https://arxiv.org/abs/2305.01960
  10. Kasia Rejzner and Michele Schiavina, 'Asymptotic Symmetries in the BV-BFV Formalism', Communications in Mathematical Physics 385(2) (2021) 1083–1132. DOI: 10.1007/s00220-021-04061-7, https://doi.org/10.1007/s00220-021-04061-7