computo ergo sum

2026-10-01 · chapter Yang–Mills and the mass gapPart 3 Yang–Mills theory (classical)the Standard Model

The whole book Contents and reading orders
  1. Part 0 Entrance — how to read this book
  2. 0-01 How to read this book
  3. 0-02 One picture
  4. 0-03 Reading the problem statement word by word
  5. 0-04 Four dimensions in mathematics and four dimensions in physics
  6. Part 1 Mathematical preparation
  7. 1-01 Vector spaces and linear maps
  8. 1-02 What a group is
  9. 1-03 Lie groups and Lie algebras
  10. 1-04 SU(2) and SU(3)
  11. 1-05 Manifolds and tangent spaces
  12. 1-06 Differential forms and the exterior derivative
  13. 1-07 Vector bundles and connections
  14. 1-08 Probability and measure
  15. 1-09 Probability in infinite dimensions
  16. 1-10 Hilbert spaces and self-adjoint operators
  17. 1-11 Fourier analysis and distributions
  18. 1-12 Detour: what happens only in four dimensions
  19. Part 2 Physical preparation
  20. 2-01 Lagrangians and the action
  21. 2-02 The idea of a field
  22. 2-03 Electromagnetism is a gauge theory
  23. 2-04 Special relativity and spacetime
  24. 2-05 The bones of quantum mechanics
  25. 2-06 The harmonic oscillator and creation and annihilation
  26. 2-07 The idea of the path integral
  27. 2-08 Statistical mechanics and phase transitions
  28. 2-09 Detour: the gap and the correlation length in the Ising model
  29. 2-10 The relaxation time and the dynamical exponent z
  30. Part 3 Yang–Mills theory (classical)
  31. 3-01 The gauge principle
  32. 3-02 Non-abelian gauge fields
  33. 3-03 The action and the equations
  34. 3-04 Gauge theory as geometry
  35. 3-05 Instantons and topology
  36. 3-06 Detour: Donaldson and exotic R⁴
  37. 3-07 Yang–Mills inside the Standard Model
  38. Part 4 Quantisation
  39. 4-01 Canonical quantisation and the Hamiltonian
  40. 4-02 The path integral and Euclideanisation
  41. 4-03 Perturbation theory and Feynman diagrams
  42. 4-04 Divergences and renormalisation
  43. 4-05 The algebra of divergences
  44. 4-06 Asymptotic freedom
  45. 4-07 Dimensional transmutation and Λ
  46. 4-08 Gauge fixing and Faddeev–Popov
  47. 4-09 The axioms of quantum field theory
  48. 4-10 The Osterwalder–Schrader axioms and reconstruction
  49. 4-11 The definition of the mass gap
  50. 4-12 Detour: the perturbation series diverges
  51. Part 5 Lattice gauge theory
  52. 5-01 Wilson's lattice
  53. 5-02 The strong-coupling expansion
  54. 5-03 Reflection positivity and the transfer matrix
  55. 5-04 The infinite-volume limit and the cluster expansion
  56. 5-05 Weak coupling and the continuum limit
  57. 5-06 How U(1) differs from the non-abelian case
  58. 5-07 The Monte Carlo method
  59. 5-08 Measuring glueballs and the string tension
  60. 5-09 What to hold fixed when taking the limit
  61. 5-10 Lattice gauge theory with finite groups
  62. 5-11 Detour: Bakry–Émery and one-link integration
  63. Part 6 Constructive field theory
  64. 6-01 What constructive field theory is
  65. 6-02 Solvability in two dimensions and the Yang–Mills measure
  66. 6-03 Constructing scalar fields
  67. 6-04 The cluster expansion
  68. 6-05 The sequence of renormalisation group steps
  69. 6-06 Ultraviolet stability of three-dimensional Yang–Mills
  70. 6-07 Four dimensions
  71. 6-08 Triviality of φ⁴ in four dimensions
  72. 6-09 Stochastic quantisation and regularity structures
  73. 6-10 Where four dimensions stops
  74. 6-11 Obstacles other than divergence
  75. 6-12 Detour: "if 1/0 is given a symbol"
  76. Part 7 From the side of physics
  77. 7-01 How physics sees it
  78. 7-02 Mechanisms of confinement
  79. 7-03 The string picture
  80. 7-04 Large N
  81. 7-05 String theory and extra dimensions
  82. 7-06 How extra dimensions become invisible
  83. 7-07 Where gauge fields come from
  84. 7-08 Holography
  85. 7-09 The mass gap becomes geometry
  86. 7-10 Back to four dimensions
  87. 7-11 Supersymmetry and Seiberg–Witten
  88. 7-12 The sentence that plays the role of an equivalence principle
  89. 7-13 Where the way physics digs parts from mathematics
  90. Part 8 A dictionary of two languages — the physical and the mathematical view
  91. 8-01 How to read the dictionary
  92. 8-02 Dictionary A
  93. 8-03 Dictionary B
  94. 8-04 Dictionary C
  95. 8-05 The physical counterparts of our assumptions
  96. Part 9 Where things stand, and open tasks
  97. 9-01 How far the world has come
  98. 9-02 Where the two ways of digging part
  99. 9-03 Candidates for new concepts
  100. 9-04 The list of open tasks
  101. 9-05 Common misconceptions
  102. Part 10 Towards a proof of the mass gap — building the first step of the staircase
  103. 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
  104. 10-01 The line of construction and Assumption H
  105. 10-02 Roads tried on the four-dimensional lattice, and walls
  106. 10-03 The four steps of the staircase — why we start from 0+1 dimensions
  107. 10-04 The path measure of the double well, and kinks
  108. 10-05 The statement of the first step — four conditions and Proposition 4.5
  109. 10-06 (H1) Local Poincaré within a phase
  110. 10-07 The map of (H2) — seven routes and the seam of the ring
  111. 10-08 What computer-assisted means — the conditions on the chain inside the window
  112. 10-09 The sector framework and the three strands of route 5
  113. 10-10 The list of detour plans — types of breakage
  114. 10-11 (H3)(H4) and the constant of the core
  115. 10-12 The integrated table and the dependency graph
  116. 10-13 Lean statements and the limits of machine checking
  117. 10-14 Reconciliation — the numbers of the record and the known numbers
  118. 10-15 What remains and its cost — the distance to a theorem
  119. 10-16 What is not claimed
  120. 10-17 Insights and small questions
  121. Part 11 Further considerations — beyond Assumption H, and other views
  122. 11-00 Further considerations — entrance
  123. 11-01 One form that obstructs H — a nearly conserved global quantity
  124. 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
  125. 11-03 Two ways to repair H — the sector H and the local H
  126. 11-04 Which H the one-sided bridge needs
  127. 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
  128. 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
  129. 11-07 Because it is four dimensions — the dimensionless coupling and topology
  130. 11-08 Questions, and what is not claimed
  131. 11-A1 Table of notation for Part 11
  132. Appendices
  133. A-01 Table of notation
  134. A-02 Glossary
  135. A-03 Guide to the literature
  136. A-04 Lean and machine checking
  137. A-05 How this book was made
  138. A-06 Index of assumptions

Yang–Mills inside the Standard Model — a product of three groups, with matter and the Higgs added

What this chapter shows — The gauge part of the Standard Model is the sum of three Yang–Mills fields, for SU(3)×SU(2)×U(1). The charges satisfy an arithmetic called anomaly cancellation, and the value of the Higgs field gives mass to the W and Z while leaving the photon massless. We also sort out why the problem statement takes out pure Yang–Mills alone.

Prerequisite chapters — 3-02 (also using 3-01 and 1-04). Spin-1/2 fields are defined minimally in §02.

Said first — This is a classical chapter. §03 checks only the arithmetic of conditions from quantum theory, and the numbers in §06 are estimates at the lowest order of perturbation theory (tree level). This chapter shows nothing about the mass gap.

Order of this chapter
  1. Three groups — twelve gauge fields
  2. Matter fields — one generation and the charges (Table 1)
  3. Counting gives zero — anomalies (Table 2). Detour: SU(5)
  4. The SU(3) of colour — quarks and colour singlets
  5. The Higgs mechanism — an abelian model (Figure 1)
  6. The electroweak SU(2)×U(1) — W, Z and the photon (Figure 2, Table 3)
  7. Where mass comes from — the proton and the pion
  8. The difference from pure Yang–Mills (Table 4)

01

Three groups — twelve gauge fields

The conventions are the same as in 3-02 §02 (ℏ=c=1\hbar=c=1, the metric (−,+,+,+)(-,+,+,+), Hermitian generators, Dμ=∂μ−igAμD_\mu=\partial_\mu-igA_\mu).

The Standard Model is a gauge theory with three groups side by side, and the PDG review defines it as “the renormalizable field theory with gauge group GSM=SU(3)C×SU(2)L×U(1)YG_{\mathrm{SM}}=\mathrm{SU}(3)_C\times\mathrm{SU}(2)_L\times\mathrm{U}(1)_Y” Known (CC is colour, LL is left-handed, YY is hypercharge). Each factor carries a Yang–Mills field, and the number of fields is 8+3+1=128+3+1=12: the gluons GμaG^a_\mu, WμiW^i_\mu and BμB_\mu.

Lgauge=−14GμνaGa μν−14WμνiWi μν−14BμνBμν(1)\mathcal L_{\text{gauge}}=-\tfrac14G^a_{\mu\nu}G^{a\,\mu\nu}-\tfrac14W^i_{\mu\nu}W^{i\,\mu\nu}-\tfrac14B_{\mu\nu}B^{\mu\nu} \tag{1}

The field strengths of GG and WW have commutator terms, in the form of (7) of 3-02. Bμν=∂μBν−∂νBμB_{\mu\nu}=\partial_\mu B_\nu-\partial_\nu B_\mu, like the electromagnetic field, has no self-interaction. The action on matter is collected into one covariant derivative.

Dμ=∂μ−igs GμaTa−ig Wμi σi2−ig′ Y Bμ(2)D_\mu=\partial_\mu-ig_s\,G^a_\mu T^a-ig\,W^i_\mu\,\tfrac{\sigma^i}{2}-ig'\,Y\,B_\mu \tag{2}

TaT^a acts only on colour triplets and σi/2\sigma^i/2 (1-04) only on doublets; on singlets the term is dropped. Since the group is not simple, there is one coupling constant for each factor, three in all (1-03). Example. gs≈1.22g_s\approx1.22 is obtained from the strength of the strong coupling αs=gs2/4π\alpha_s=g_s^2/4\pi measured at the scale of the Z mass, αs(mZ)=0.1180\alpha_s(m_Z)=0.1180 (the MS‾\overline{\mathrm{MS}} convention; the note to Table 3 in §06). g≈0.65g\approx0.65 and g′≈0.35g'\approx0.35 are tree-level estimates worked back from the W and Z masses in Table 3 of §06 Computed.

02

Matter fields — one generation and Q=T3+YQ=T_3+Y

Quarks and leptons are spin-1/2 fields. We do not use what is inside the components (the Dirac matrices), only how they turn under the groups. What is needed is that such a field splits into a left-handed part ψL\psi_L and a right-handed part ψR\psi_R (for zero mass, the way the spin turns relative to the direction of motion), and that SU(2) acts only on the left-handed part Known. Spatial reflection x↦−x\mathbf x\mapsto-\mathbf x (parity) exchanges left-handed and right-handed, so a force acting only on the left-handed part is not invariant under this reflection. This is called parity violation.

Table 1 The fields of one generation ((3,2)(\mathbf3,\mathbf2) is a colour triplet and a doublet; for T3T_3, the upper component of the doublet is +12+\tfrac12 and the lower is −12-\tfrac12)
FieldRepresentationYYQ=T3+YQ=T_3+YComponents
QL=(uL,dL)Q_L=(u_L,d_L)(3,2)(\mathbf3,\mathbf2)1/62/3, −1/36
uRu_R(3,1)(\mathbf3,\mathbf1)2/32/33
dRd_R(3,1)(\mathbf3,\mathbf1)−1/3−1/33
LL=(νL,eL)L_L=(\nu_L,e_L)(1,2)(\mathbf1,\mathbf2)−1/20, −12
eRe_R(1,1)(\mathbf1,\mathbf1)−1−11
Higgs Φ\Phi(1,2)(\mathbf1,\mathbf2)1/21, 02 (complex)

ComputedQQ was computed as exact fractions. Known(93.1) of the PDG review of grand unification writes the right-handed fields as their conjugates uc,dc,ecu^c,d^c,e^c (§03; colour becomes 3ˉ\bar{\mathbf3} and the sign of YY flips), and attaches YY as a subscript, normalised to twice its value. For example, the uRu_R of Table 1 ((3,1)(\mathbf3,\mathbf1), Y=2/3Y=2/3) is the (3ˉ,1)−4/3(\bar{\mathbf3},\mathbf1)_{-4/3} of ucu^c. The Higgs is (1,2)1(\mathbf1,\mathbf2)_1 in the PDG and corresponds to the Y=1/2Y=1/2 of Table 1. Converted, they agree with Table 1.

uL: 12+16=23,eL: −12−12=−1,νL: 12−12=0(3)u_L:\ \tfrac12+\tfrac16=\tfrac23,\qquad e_L:\ -\tfrac12-\tfrac12=-1,\qquad \nu_L:\ \tfrac12-\tfrac12=0 \tag{3}

One generation has 15 components counting colour, and there are three generations (PDG) Known. The gauge principle does not decide which field goes into which representation (3-01), and the PDG too states that the “apparently rather complex group-theoretic data” of Table 1 are not explained.

03

Counting gives zero — anomaly cancellation

First we prepare one word. Taking the complex conjugate of each component of a representation ψ↦Ωψ\psi\mapsto\Omega\psi gives ψ∗↦Ω∗ψ∗\psi^*\mapsto\Omega^*\psi^*, which is again a representation; we call it the conjugate representation. The conjugate of the triplet is written 3ˉ\bar{\mathbf3} (the antitriplet), and in SU(3) it is not equivalent to 3\mathbf3. In U(1), eiYαe^{iY\alpha} becomes e−iYαe^{-iY\alpha}, so the sign of YY flips Known. For the SU(2) doublet σ2Ω∗σ2=Ω\sigma^2\Omega^*\sigma^2=\Omega (σ2\sigma^2 is the second Pauli matrix, not a square), so the conjugate is a representation equivalent to the original and is not distinguished Computed.

The YY of Table 1 is strongly constrained. Even when the classical action is gauge invariant, invariance under transformations that turn left and right separately can break at the stage of quantisation; this is called a gauge anomaly. The abstract of Gross–Jackiw (1972) states that it “may destroy this gauge invariance in perturbation theory” Known. We do not treat the derivation, and use only the fact that the condition becomes arithmetic. Taking the conjugate of a spin-1/2 field turns right-handed into left-handed, so aligning the right-handed fields to left-handed by conjugation (the sign of YY flips, and ucu^c becomes −2/3-2/3), the condition is that all the following sums are 0. The brackets on the right show which combination of groups each anomaly condition belongs to.

∑colour triplets and antitripletsY=0(SU(3)2 U(1))∑doubletsY=0(SU(2)2 U(1))∑Y3=0(U(1)3)∑Y=0(gravity2 U(1))#3−#3ˉ=0(SU(3)3)(4)\begin{aligned} \textstyle\sum_{\text{colour triplets and antitriplets}}Y&=0 &&(\mathrm{SU}(3)^2\,\mathrm U(1))\\ \textstyle\sum_{\text{doublets}}Y&=0 &&(\mathrm{SU}(2)^2\,\mathrm U(1))\\ \textstyle\sum Y^3&=0 &&(\mathrm U(1)^3)\\ \textstyle\sum Y&=0 &&(\text{gravity}^2\,\mathrm U(1))\\ \#\mathbf 3-\#\bar{\mathbf3}&=0 &&(\mathrm{SU}(3)^3) \end{aligned} \tag{4}

The sums are weighted by the dimension of the representations of the groups not in the combination (in the sum over doublets QLQ_L is multiplied by the number of colours, 3; in the sum over triplets and antitriplets QLQ_L is multiplied by 2). ∑Y3\sum Y^3 and ∑Y\sum Y run over the 15 components counting colour and doublet components, and the latter is the condition for the combination with gravity, gravity2 U(1)\text{gravity}^2\,\mathrm U(1). The abstract of Bouchiat, Iliopoulos and Meyer (1972) states that in models with leptons and quarks “the troublesome anomalies cancel” Known. Example. Fixing the charges and changing only the number of colours NcN_c gives Table 2.

Table 2 The sums of (4) for one generation (charges fixed, only NcN_c changed)
NcN_cSU(Nc)2U(1)\mathrm{SU}(N_c)^2\mathrm U(1)SU(2)2U(1)\mathrm{SU}(2)^2\mathrm U(1)U(1)3\mathrm U(1)^3gravity2 U(1)\text{gravity}^2\,\mathrm U(1)
10−1/31/20
20−1/61/40
30000

ComputedAdded as exact fractions. For general NcN_c, the SU(2)2U(1)\mathrm{SU}(2)^2\mathrm U(1) column is Nc/6−1/2N_c/6-1/2 and the U(1)3\mathrm U(1)^3 column is (3−Nc)/4(3-N_c)/4. The SU(3)3\mathrm{SU}(3)^3 condition has no column in the table; it is #3−#3ˉ=2−2=0\#\mathbf3-\#\bar{\mathbf3}=2-2=0 for Nc=3N_c=3 (the two QLQ_L and the two uc,dcu^c,d^c). KnownSU(2) has another condition too: the abstract of Witten (1982) states that an SU(2) gauge theory with an odd number of left-handed doublets (and no other representations) is mathematically inconsistent. One generation has 3+1=43+1=4 doublets, an even number.

For U(1)3\mathrm U(1)^3, the quarks contribute −3/4-3/4 and the leptons +3/4+3/4; they cancel only when a whole generation is present, and only when there are 3 colours Computed. In pure Yang–Mills, with no spin-1/2 fields, this condition does not arise.

Detour: it fits into SU(5)

Detour

A subsection you may skip.

Georgi–Glashow (1974) “conjectured” that the three forces arise from a single interaction of SU(5) (one of the groups of the problem statement, 0-03). Placing SU(3) at the top left of 5×55\times5 and SU(2) at the bottom right leaves a traceless Y=diag(−13,−13,−13,12,12)Y=\mathrm{diag}(-\tfrac13,-\tfrac13,-\tfrac13,\tfrac12,\tfrac12) that commutes with both. One generation splits exactly into 5ˉ\bar{\mathbf5} (dcd^c, LL) and 10\mathbf{10} (QQ, ucu^c, ece^c). The T3T_3 of Q=T3+YQ=T_3+Y is also a traceless element of SU(5), so the trace of QQ is 0 too. Written with 5ˉ\bar{\mathbf5} it is 3Q(dc)+Q(ν)+Q(e)=03Q(d^c)+Q(\nu)+Q(e)=0, and from Q(ν)=0Q(\nu)=0 and Q(e)=−1Q(e)=-1 follows Q(dc)=13Q(d^c)=\tfrac13, that is, ∣Q(d)∣=∣Q(e)∣/3|Q(d)|=|Q(e)|/3. That the charge of the down quark is exactly a third of the electron's follows from the shape of the group Computed. Grand unification is a hypothesis.

04

The SU(3) of colour — quarks and colour singlets

The SU(3) part is quantum chromodynamics (QCD). The PDG calls QCD “the SU(3) component of the SU(3)×SU(2)×U(1) Standard Model”, and writes that quarks come in three colours in the fundamental representation and gluons are of 8 kinds in the adjoint representation Known.

LQCD=∑qψˉq(iγμDμ−mq)ψq−14GμνaGa μν,Dμ=∂μ−igsGμaTa(5)\mathcal L_{\mathrm{QCD}}=\sum_{q}\bar\psi_q\bigl(i\gamma^\mu D_\mu-m_q\bigr)\psi_q-\tfrac14G^a_{\mu\nu}G^{a\,\mu\nu},\qquad D_\mu=\partial_\mu-ig_sG^a_\mu T^a \tag{5}

The sum runs over the 6 kinds of quark (u,d,s,c,b,tu,d,s,c,b,t), γμ\gamma^\mu is a 4×44\times4 matrix acting on spin, and ψˉ=ψ†γ0\bar\psi=\psi^\dagger\gamma^0. It is the form of (9.1) of the PDG with the sign of the covariant derivative matched to 3-02, and the last term is pure Yang–Mills. The γμ\gamma^\mu term is left in the PDG's convention (metric (+,−,−,−)(+,-,-,-)), and its content is not used in this chapter. The mass term mqψˉψm_q\bar\psi\psi multiplies left and right; colour turns left and right the same way, so it can be written, but SU(2) turns only the left-handed part, so uˉLuR\bar u_Lu_R is not invariant, and in the Standard Model mass enters through the Higgs field (§07) Known. Colour singlets can be made from two properties of SU(3).

ψˉaψa(Ω†Ω=1),εabc ψaψbψc(det⁡Ω=1)(6)\bar\psi_a\psi^a\quad(\Omega^\dagger\Omega=1),\qquad \varepsilon_{abc}\,\psi^a\psi^b\psi^c\quad(\det\Omega=1) \tag{6}

The former is the form of mesons, the latter of baryons (proton, neutron). Example. Under Ω=diag(eiα,eiβ,e−i(α+β))\Omega=\mathrm{diag}(e^{i\alpha},e^{i\beta},e^{-i(\alpha+\beta)}) the phase of ψ1ψ2ψ3\psi^1\psi^2\psi^3 does not change. The elements of the centre of 1-04, Z3\mathbb Z_3, also give 1 when taken three times. Jaffe–Witten state confinement as the physical particle states being “SU(3)-invariant” Known (for the mechanism, 7-02).

05

The Higgs mechanism — mass grows in an abelian model

A mass term breaks gauge invariance (3-02 §08), yet the W and Z are heavy particles. What bridged this gap was the idea of placing the minimum of the potential of a charged scalar field away from ϕ=0\phi=0. We look at it in a U(1) model.

L=−14FμνFμν−(Dμϕ)∗(Dμϕ)−μ2∣ϕ∣2−λ∣ϕ∣4,Dμ=∂μ−iqAμ(7)\mathcal L=-\tfrac14F_{\mu\nu}F^{\mu\nu}-(D_\mu\phi)^*(D^\mu\phi)-\mu^2|\phi|^2-\lambda|\phi|^4,\qquad D_\mu=\partial_\mu-iqA_\mu \tag{7}

Let λ>0\lambda\gt0. If μ2<0\mu^2\lt0, the minima line up on the circle ∣ϕ∣=v/2|\phi|=v/\sqrt2 (v=−μ2/λv=\sqrt{-\mu^2/\lambda}), and the gauge transformation ϕ↦eiα(x)ϕ\phi\mapsto e^{i\alpha(x)}\phi moves along this circle. Turning the phase at each point and writing ϕ=(v+h)/2\phi=(v+h)/\sqrt2 (real),

−(Dμϕ)∗(Dμϕ)=−12 ∂μh ∂μh−12 q2(v+h)2AμAμ(8)-(D_\mu\phi)^*(D^\mu\phi)=-\tfrac12\,\partial_\mu h\,\partial^\mu h-\tfrac12\,q^2(v+h)^2A_\mu A^\mu \tag{8}

follows. The h=0h=0 part is exactly the mass term forbidden in (14) of 3-02, and the masses are as follows Known. The action stays invariant, and the solution (the position of the minimum) brings in the mass.

mA=q v,mh=2λ v=−2μ2(9)m_A=q\,v,\qquad m_h=\sqrt{2\lambda}\,v=\sqrt{-2\mu^2} \tag{9}
Figure 1 Changing μ2\mu^2 with the knob changes the potential (left: cross-section; right: from above) and vv, mAm_A, mhm_h. "Play" shows motion along the valley (the direction removable by a gauge transformation) and the radial oscillation hh (on devices set to reduce motion it advances one frame at a time). λ=1\lambda=1, q=0.6q=0.6.
The five points of Figure 1 (λ=1\lambda=1, q=0.6q=0.6)
μ2\mu^2vvmA=qvm_A=qvScalar massMinimum of VV
+0.5000.707, 0.7070
0000, 00
−0.250.5000.300mh=0.707m_h=0.707−0.0156
−0.50.7070.424mh=1.000m_h=1.000−0.0625
−11.0000.600mh=1.414m_h=1.414−0.2500

ComputedThe numbers in this figure and table were computed on this machine (by (9)). In the μ2≥0\mu^2\ge0 rows the scalar mass is that of the two real components of ϕ\phi (both μ2\sqrt{\mu^2}); in the μ2<0\mu^2\lt0 rows it is that of the radial hh.

Degrees of freedom and the Goldstone boson

Example. We count the degrees of freedom. A massless vector field has 2 polarisations, because of its four components, one is removed by gauge transformations and one by the constraint (2-03 §04). With a mass term the one removable by gauge transformations is gone and only the constraint remains, so 4−1=34-1=3 Known. Then before, there are the massless AA (2) and ϕ\phi (2 real components); after, the massive AA (3) and hh (1); both make 4. The phase that disappeared has become the longitudinal oscillation of AA.

A massless excitation that appears when a continuous symmetry is spontaneously broken is called a Goldstone boson Known. The motion along the valley in Figure 1 corresponds to it, and when there is a gauge field, this direction can be removed by a gauge transformation. Higgs (1964) wrote “the longitudinal degrees of freedom of these particles (which would be absent if their mass were zero) go over into the Goldstone bosons when the coupling tends to zero”, and called it the “relativistic analog” of Anderson's (1963) remark on the plasmon in superconductors. In the same year Englert–Brout and Guralnik–Hagen–Kibble also published papers Known. Higgs also cautioned that “nothing is proved about the quantized theory”.

"Spontaneous symmetry breaking" is a way of speaking in a gauge-fixed description. Elitzur (1975) argued that in lattice gauge theory without gauge fixing, local symmetries are not spontaneously broken Known (3-01 §07).

06

The electroweak SU(2)×U(1) — W, Z and the photon

In the Standard Model the same thing is done with SU(2)×U(1) and the Higgs doublet Φ\Phi of Table 1. What leaves one of the minima of V=λ(Φ†Φ−v2/2)2V=\lambda(\Phi^\dagger\Phi-v^2/2)^2, Φ0=(0, v/2)\Phi_0=(0,\,v/\sqrt2), unchanged is the U(1) of the charge QQ, which is T3+Y=−12+12=0T_3+Y=-\tfrac12+\tfrac12=0 on the lower component. In Jaffe–Witten's words, the structure group is reduced “to a U(1) subgroup (diagonally embedded in SU(2) × U(1))” Known. Letting (2) act on Φ0\Phi_0,

−(DμΦ0)†(DμΦ0)=−v28[g2(Wμ1W1μ+Wμ2W2μ)+(gWμ3−g′Bμ)(gW3μ−g′Bμ)](10)-(D_\mu\Phi_0)^\dagger(D^\mu\Phi_0)=-\frac{v^2}{8}\Bigl[g^2\bigl(W^1_\mu W^{1\mu}+W^2_\mu W^{2\mu}\bigr)+\bigl(gW^3_\mu-g'B_\mu\bigr)\bigl(gW^{3\mu}-g'B^\mu\bigr)\Bigr] \tag{10}

follows. W3W^3 and BB appear only in the combination gW3−g′BgW^3-g'B, so we rotate the plane (W3,B)(W^3,B) by the weak mixing angle θW\theta_W (tan⁡θW=g′/g\tan\theta_W=g'/g).

Zμ=cos⁡θW Wμ3−sin⁡θW Bμ,Aμ=sin⁡θW Wμ3+cos⁡θW Bμ(11)Z_\mu=\cos\theta_W\,W^3_\mu-\sin\theta_W\,B_\mu,\qquad A_\mu=\sin\theta_W\,W^3_\mu+\cos\theta_W\,B_\mu \tag{11} mW=gv2,mZ=mWcos⁡θW,mγ=0,e=gsin⁡θW(12)m_W=\frac{gv}{2},\qquad m_Z=\frac{m_W}{\cos\theta_W},\qquad m_\gamma=0,\qquad e=g\sin\theta_W \tag{12}

W±=(W1∓iW2)/2W^\pm=(W^1\mp iW^2)/\sqrt2. This is the same as (10.3)(10.5) of the PDG, and the PDG cautions that these are masses “at tree level, i.e., to lowest order in perturbation theory” Known. ComputedBuilding the mass matrix of 4×44\times4 from Pauli matrices, the eigenvalues agreed with (12) for three choices of (g,g′,v)(g,g',v) (relative differences below 10−1510^{-15}, of the order of rounding error).

Figure 2 Changing g′/g=tan⁡θWg'/g=\tan\theta_W with the knob rotates the directions of Z and the photon A in the (W3,B)(W^3,B) plane and changes mZ/mW=1/cos⁡θWm_Z/m_W=1/\cos\theta_W. "Measured" returns it to 0.536.
The five points of Figure 2
g′/gg'/gθW\theta_Wsin⁡2θW\sin^2\theta_WmZ/mWm_Z/m_We/ge/g
00.00°0.00001.00000.0000
0.2514.04°0.05881.03080.2425
0.53628.19°0.22321.13460.4724
145.00°0.50001.41420.7071
1.556.31°0.69231.80280.8321

ComputedThe numbers in this figure and table were computed on this machine (by (12)). For g′/g=0g'/g=0 the photon is BB itself. 0.536 is the value from the measured values of Table 3.

Example. Working (12) back from the PDG 2024 values gives Table 3.

Table 3 Tree-level estimates (input: GF=1.1663788×10−5 GeV−2G_F=1.1663788\times10^{-5}\,\mathrm{GeV}^{-2}, mW=80.3692m_W=80.3692, mZ=91.1880m_Z=91.1880, mH=125.20m_H=125.20 GeV)
QuantityFormulaValue
vv(2 GF)−1/2(\sqrt2\,G_F)^{-1/2}246.22 GeV
gg, g′g'2mW/v2m_W/v, gtan⁡θWg\tan\theta_W0.6528, 0.3499
sin⁡2θW\sin^2\theta_W1−mW2/mZ21-m_W^2/m_Z^20.22321
1/α1/\alpha4π/e24\pi/e^2132.1
λ\lambdamH2/(2v2)m_H^2/(2v^2)0.1293

ComputedIn the PDG, the on-shell sin⁡2θW=0.22348\sin^2\theta_W=0.22348 and 1/α1/\alpha is 137.036 at low energy, and 127.930 at mZm_Z (MS‾\overline{\mathrm{MS}}). On-shell and MS‾\overline{\mathrm{MS}} are names for ways of including quantum corrections (renormalisation conventions), and quantities with the same name differ slightly in value (4-04). The λ\lambda of Table 3 is the value in the V=λ(Φ†Φ−v2/2)2V=\lambda(\Phi^\dagger\Phi-v^2/2)^2 convention of the text. The PDG's λ\lambda becomes mH/v=0.5085m_H/v=0.5085 with the normalisation mH=λvm_H=\lambda v ((10.5a)), and the two are related by λ=λPDG2/2\lambda=\lambda_{\mathrm{PDG}}^2/2. mWm_W is the average excluding CDF (2022).

The 132.1 for 1/α1/\alpha is 3.6 % smaller than the low-energy 137.036. The vv of Table 3 was taken from GFG_F (a constant fixed by the muon lifetime), so the quantum correction Δr\Delta r linking GFG_F and α\alpha is not included. Squaring (10.22b) of the PDG electroweak review gives mW2sin⁡2θW (1−Δr)=πα/(2 GF)m_W^2\sin^2\theta_W\,(1-\Delta r)=\pi\alpha/(\sqrt2\,G_F) (sin⁡2θW\sin^2\theta_W is on-shell), and the PDG gives Δr=0.03685\Delta r=0.03685 Known. The tree-level 1/α1/\alpha corresponds to (1−Δr)/α(1-\Delta r)/\alpha, and 137.036×(1−0.03685)=131.99137.036\times(1-0.03685)=131.99 agrees with the 132.1 of Table 3 to 0.09 % Computed (quantum corrections in 4-04). The 127.930 at MS‾\overline{\mathrm{MS}} is a quantity with a different convention, listed only for reference. The degrees of freedom are 12 both before and after (from the 8 of Wi,BW^i,B and the 4 of the doublet, to the 9 of the heavy W±,ZW^\pm,Z, the 2 of the photon and the 1 of H) Computed.

Weinberg (1967) wrote that the masses of the W and Z come “not from a mass term put in at the beginning”, and in 2012 ATLAS and CMS reported the observation of the Higgs particle Known.

07

Where mass comes from — the proton and the pion

What vv gives directly is the masses of the W and Z, and the masses of quarks and leptons through the Yukawa couplings Known. A Yukawa coupling is a term ψˉLΦψR\bar\psi_L\Phi\psi_R that is a product of the Higgs field and spin-1/2 fields; for up-type quarks Φ~=iσ2Φ∗\tilde\Phi=i\sigma^2\Phi^* is used (a doublet of Y=−12Y=-\tfrac12; the conjugate of §03). In every term the sum of YY is 0 (for example QˉLΦdR\bar Q_L\Phi d_R is −16+12−13=0-\tfrac16+\tfrac12-\tfrac13=0), so it is gauge invariant Computed. Setting Φ\Phi to Φ0\Phi_0 gives a mass term proportional to ψˉLψR\bar\psi_L\psi_R. But this hardly explains the mass of the proton. The sum of the masses of the core u, u, d is about 1% of the proton's.

2mu+mdmp=2×2.16+4.70938.272≈0.0096(13)\frac{2m_u+m_d}{m_p}=\frac{2\times2.16+4.70}{938.272}\approx0.0096 \tag{13}

ComputedValues from the PDG 2024 Summary Tables (mu,mdm_u,m_d is MS‾\overline{\mathrm{MS}}, 2 GeV). Quark masses depend on the definition, so (13) is a guide to orders of magnitude. The rest is thought to come from the dynamics of QCD, whose scale is the Λ\Lambda produced by quantisation (4-07) Physics.

The pion is light, about 15% of the proton (mπ±=139.57m_{\pi^\pm}=139.57 MeV) Computed. According to the PDG, in the limit where the masses of the three light quarks are set to 0, the flavour symmetry that turns left and right separately (chiral symmetry) breaks, and “eight massless Goldstone bosons, the π’s, K’s, and η” appear Physics. That QCD is thought to have no gap. This is the “chiral symmetry breaking” that Jaffe–Witten list as the third property of QCD Known. Pure Yang–Mills has no quarks, and its lightest states are thought to be glueballs (5-08) Physics. The gap Δ\Delta of the problem statement is a scale that should arise from the Yang–Mills field alone, relying on neither quarks nor the Higgs field (4-11).

08

The difference from pure Yang–Mills — what the problem statement leaves out

The problem statement concerns pure Yang–Mills theory for any compact simple group (0-03). Table 4 shows what to remove from the Standard Model to get there.

Table 4 The Standard Model, QCD and pure Yang–Mills
ItemStandard ModelQCDPure Yang–Mills
GroupSU(3)×SU(2)×U(1)SU(3)Compact simple group
Matter fieldsQuarks, leptons, Higgs6 kinds of quarkNone
Parameters19 (as the PDG counts)gsg_s, 6 mqm_q, θ\thetagg, θ\theta (3-05)
Classical mass scaleμ2\mu^2 (vv) and the Yukawa couplingsmqm_qNone (3-02 §07)
Massless particlesPhotonπ and others in the limit of massless light quarks PhysicsExpected to be none Physics
Treatment in the problem statementOutside the scopeExtension problemThe main problem

There are three differences. The group: it is not simple. The abelian U(1)Y_Y part is not asymptotically free (the property that the coupling weakens at short distances) (Coleman–Gross, 4-06 §04) Known, and at one loop the coupling grows at short distances Physics. Massless particles: the photon remains, so the Standard Model as a whole has no gap, and a gap can be asked about only for the strong-force part. Where mass comes from: in the Higgs mechanism the scale μ2\mu^2 is in the classical action and visible from the solution, but the classical action of pure Yang–Mills has no scale, and the gap is thought to arise from quantisation Physics. Jaffe–Witten too, in §2, give the Higgs mechanism as an example of “classical properties”, and the mass gap and confinement as examples of “quantum properties that do not have classical analogs” Known.

What was left out remains in extension problems. Jaffe–Witten list “other four-dimensional gauge theories (incorporating additional fields that preserve asymptotic freedom)” (0-03), and at the time of writing the problem description they call the two-dimensional abelian Higgs model of Brydges–Fröhlich–Seiler “the only complete example of an interacting gauge theory satisfying the axioms” Known. A special limit of the four-dimensional Higgs model is in 6-10, and a picture of where the groups come from is in 7-07.


What this chapter can say

MatterWhat is saidWhat is not said
(1)–(6), Table 1, Table 2The standard definitions, the arithmetic of charges and sums KnownComputedWhy the representations are these, the derivation of the anomaly conditions, confinement
(7)–(12), figures, Table 3How mass appears in classical fields, tree-level estimates, comparison of 1/α1/\alpha using the PDG's Δr\Delta r KnownComputedA theorem on the Higgs mechanism in quantum theory, values including quantum corrections
Table 4, the SU(5) detourThe PDG's counting, and the arithmetic of assigning representations KnownComputedThat grand unification is right, the origin of the 19
(13), §07Computation of ratios and the PDG's account PhysicsProofs of these from QCD
The mass gap—That pure Yang–Mills has a gap (open; this site shows nothing) Physics

Sources and reproduction

ItemKindSource / tools
Definition of the Standard Model, representations, SU(5), the 19, electroweak and QCD formulas and values, quark masses, Goldstone bosonsReviews and Summary Tables (text checked)S. Navas et al. (Particle Data Group), Phys. Rev. D 110 (2024) 030001: §9 QCD, §10 Electroweak Model, §60 Quark Masses, §93 Grand Unified Theories, Summary Tables
Quotations of Jaffe–WittenPrimary source (text checked)A. Jaffe, E. Witten, “Quantum Yang–Mills Theory”, the official problem description of the Clay Mathematics Institute, §1, §2, §5, §6
Quotations of Higgs and WeinbergPrimary source (text checked)P. W. Higgs, Phys. Rev. Lett. 13 (1964) 508 / S. Weinberg, Phys. Rev. Lett. 19 (1967) 1264
Other quotations and summariesPrimary source (abstract checked)Englert, Brout, PRL 13 (1964) 321 / Bouchiat, Iliopoulos, Meyer, PLB 38 (1972) 519 / Gross, Jackiw, PRD 6 (1972) 477 / Georgi, Glashow, PRL 32 (1974) 438 / Elitzur, PRD 12 (1975) 3978 (same as 3-01) / Witten, “An SU(2) anomaly”, PLB 117 (1982) 324 / ATLAS, PLB 716 (2012) 1 / CMS, PLB 716 (2012) 30
AndersonPrimary source (abstract checked; the wording in the text follows the text of Higgs 1964)P. W. Anderson, Phys. Rev. 130 (1963) 439
Brydges–Fröhlich–SeilerBibliographic data only (via reference [7] of Jaffe–Witten §6.4)“On the construction of quantized gauge fields” I: Ann. Phys. 121 (1979) 227 / II: CMP 71 (1980) 159 / III: CMP 79 (1981) 353
Guralnik–Hagen–KibbleBibliographic data onlyPRL 13 (1964) 585
Tables 1–3, values in the figures and tables, eigenvalues of the mass matrix, (13), the comparison of Δr\Delta r, checks of conjugation and Yukawa termsComputed on this machinePython 3.12, NumPy 1.26, fractions (sm_tables.py, sm_checks.py). The figures do (9)(12) in plain JavaScript

Next chapter to read: 4-01 Canonical quantisation and the Hamiltonian.

← 3-06 Detour: Donaldson and exotic R⁴Contents4-01 Canonical quantisation and the Hamiltonian →

Revised 2026-10-01: first version.