12.21.01 · quantum / standard-model

The Standard Model — electroweak unification and QCD

shipped3 tiersLean: none

Anchor (Master): Peskin, M. E. & Schroeder, D. V. — An Introduction to Quantum Field Theory (Westview, 1995), Chs. 15, 16, 18, 20 (electroweak theory, non-Abelian quantisation, QCD and the operator product expansion); Weinberg, S. — The Quantum Theory of Fields, Vol. II: Modern Applications (Cambridge, 1996), Chs. 21-23 (spontaneously broken gauge theories, anomalies, QCD); Cheng, T.-P. & Li, L.-F. — Gauge Theory of Elementary Particle Physics (Oxford, 1984), Chs. 8, 10, 14 (electroweak radiative corrections, GUTs, CP violation)

Intuition Beginner

The Standard Model is the single quantum theory that describes everything physicists have directly detected except gravity. Three of the four fundamental forces — electromagnetism, the weak force, and the strong force — are different facets of one gauge theory. Its symmetry group is the product $S U (3) \times S U (2) \times U (1)$ . Gravity, described by general relativity, is the one force this framework does not contain. Within this one structure every experimentally confirmed particle and every measured scattering probability fits.

The matter particles come in three nearly identical families called generations. Each generation contains a charged lepton (electron, muon, tau), its neutrino, an up-type quark (up, charm, top), and a down-type quark (down, strange, bottom). The generations are almost exact copies of one another; they differ only in mass. The top quark weighs about 173 GeV, the up quark only about 0.002 GeV. Why nature repeats itself three times, and why the masses span thirteen orders of magnitude, remains unanswered.

At very high energy, electromagnetism and the weak force merge into a single electroweak force. At ordinary energies they look distinct because the Higgs field, spread uniformly through all of space with a constant value of about 246 GeV, breaks the electroweak symmetry. This breaking gives mass to the $W$ and $Z$ bosons — the carriers of the weak force — while leaving the photon massless. Massless carriers travel at the speed of light, which is why electromagnetic radiation crosses the universe.

The strong force, described by quantum chromodynamics or QCD, behaves in the opposite way to electromagnetism as distance shrinks. At short distances — equivalently at high energy — the strong coupling becomes small. Quarks and gluons inside a proton then barely interact, a property called asymptotic freedom. At long distances the coupling grows and traps quarks and gluons into color-neutral packages called hadrons, of which the proton and neutron are the familiar examples. No isolated quark has ever been observed.

The Standard Model predicts particle masses, decay rates, and collision probabilities with stunning accuracy. The electron's magnetic moment agrees with the theory to better than one part in $1 0^{12}$ . Yet the model leaves central facts unexplained: it has no candidate for dark matter, it gives neutrinos zero mass in its minimal form (experiment shows they have mass), it cannot produce the matter-antimatter imbalance of the universe, and it does not contain gravity. These gaps drive the search for physics beyond the Standard Model.

Visual Beginner

GAUGE STRUCTURE OF THE STANDARD MODEL
======================================

  full symmetry            Higgs VEV v ~ 246 GeV             low energy
  --------------------     --------------------------         ----------------
  SU(3)_c x SU(2)_L        <Phi> = (0, v/sqrt 2)^T           SU(3)_c
        x  U(1)_Y          breaks SU(2)_L x U(1)_Y            x  U(1)_em
                           ->  U(1)_em

  force      group     carriers                  act on
  ------     ------    -----------------------   -----------------------------
  strong     SU(3)_c   8 gluons                  quarks (3 colors: r,g,b)
  weak       SU(2)_L   W^1, W^2, W^3             left-handed fermion doublets
  hyperch.   U(1)_Y    B^0                       all fermions + the Higgs
  ------- after symmetry breaking: -------
             W+, W- and Z become massive; A (photon) stays massless

THREE GENERATIONS OF MATTER
============================

  generation   charged lepton   neutrino     up quark     down quark
  ----------   --------------   ---------    ---------    ----------
      I        electron  e      nu_e         up  u        down   d
      II       muon     mu      nu_mu        charm c      strange s
      III      tau     tau      nu_tau       top  t       bottom  b

  each quark comes in 3 colors; each generation is a near-copy of the others,
  differing only in mass

ELECTROWEAK SYMMETRY BREAKING (the "Mexican hat")
==================================================

   V(|Phi|)
        |
        |           chosen vacuum: <Phi> = (0, v/sqrt 2)
        |             v = 246 GeV
        |             W, Z "eat" the Goldstone modes -> become massive
        |             photon = unbroken U(1)_em boson -> massless
        \      ___.
         \    /     \      minima form a circle at |Phi| = v/sqrt 2
          \__/       \__/  (the degenerate vacuum manifold)

Particle type	Members	Gauge charge	Mass scale
Charged leptons	$e, μ, τ$	$S U (2)_{L}$ doublet, $Q = - 1$	$0.5$ MeV to $1.8$ GeV
Neutrinos	$ν_{e}, ν_{μ}, ν_{τ}$	$S U (2)_{L}$ doublet, $Q = 0$	$< 1$ eV (massless in minimal SM)
Up-type quarks	$u, c, t$	$S U (2)_{L}$ doublet, $Q = + 2/3$ , 3 colors	$2$ MeV to $173$ GeV
Down-type quarks	$d, s, b$	$S U (2)_{L}$ doublet, $Q = - 1/3$ , 3 colors	$5$ MeV to $4.2$ GeV
Gauge bosons	$8$ gluons, $γ$ , $W^{\pm}$ , $Z$	adjoint of gauge group	gluon, $γ$ massless; $m_{W} = 80.4$ GeV, $m_{Z} = 91.2$ GeV
Higgs boson	$H$	$S U (2)_{L}$ doublet, $Y = + 1/2$	$m_{H} = 125$ GeV

Worked example Beginner

Problem. The Weinberg angle $θ_{W}$ relates the $W$ and $Z$ boson masses through $m_{W} = m_{Z} cos θ_{W}$ . Using the measured masses $m_{W} = 80.4$ GeV and $m_{Z} = 91.2$ GeV, extract $cos θ_{W}$ and $sin^{2} θ_{W}$ , then use the tree-level Higgs relation $m_{W} = g v /2$ with vacuum expectation value $v = 246$ GeV to read off the weak coupling $g$ and the electric charge $e = g sin θ_{W}$ .

Solution.

Step 1. The ratio gives $cos θ_{W} = m_{W} / m_{Z} = 80.4/91.2 = 0.8816$ .

Step 2. Then $sin^{2} θ_{W} = 1 - cos^{2} θ_{W} = 1 - 0.7772 = 0.2228$ , and $sin θ_{W} = 0.2228 = 0.4720$ .

Step 3. The coupling follows from $g = 2 m_{W} / v = (2 \times 80.4) /246 = 0.6537$ .

Step 4. The electric charge is $e = g sin θ_{W} = 0.6537 \times 0.4720 = 0.3085$ . The fine-structure constant at the $Z$ mass is then $α (M_{Z}) = e^{2} / (4 π) = 0.0952/12.57 = 0.00757$ , giving $α (M_{Z})^{- 1} \approx 132$ .

Reading the result. The measured value is $α (M_{Z})^{- 1} \approx 128$ ; the small gap is the work of loop corrections — top-quark and Higgs loops — added on top of this tree-level estimate. The key point is that one number, the Higgs vacuum value $v = 246$ GeV, together with the measured mixing angle, fixes both the weak boson masses and the strength of electromagnetism at collider energies. That internal consistency is the fingerprint of electroweak unification.

Check your understanding Beginner

Exercise (easy, multiple-choice).

Which of the following is not part of the Standard Model gauge group $S U (3)_{c} \times S U (2)_{L} \times U (1)_{Y}$ ?

The color group $S U (3)_{c}$ , whose gauge bosons are the eight gluons.
The weak isospin group $S U (2)_{L}$ , acting only on left-handed fermions.
The weak hypercharge group $U (1)_{Y}$ .
The spacetime symmetry group of general relativity, the diffeomorphism group of spacetime.

Answer

D. The Standard Model is an internal gauge theory: its symmetries act on particle labels (color, weak isospin, hypercharge), not on spacetime points. Gravity, governed by the diffeomorphism group of general relativity, is a spacetime symmetry and is the one fundamental interaction the Standard Model does not include. This absence is the single most important clue that the Standard Model is incomplete.

Formal definition Intermediate+

Gauge group and field content. The Standard Model is the gauge theory with group $G_{SM} = S U (3)_{c} \times S U (2)_{L} \times U (1)_{Y}$ , with chiral fermion matter in three generations, one complex scalar Higgs doublet $Φ$ , and the gauge fields $G_{μ}^{a}$ ( $a = 1, \dots, 8$ ), $W_{μ}^{i}$ ( $i = 1, 2, 3$ ), $B_{μ}$ . The $S U (3)_{c}$ factor is the strong color group of QCD; the $S U (2)_{L} \times U (1)_{Y}$ factor is electroweak, acting only on left-handed fermion doublets. The couplings are $g_{s}$ (strong), $g$ (weak isospin), $g^{'}$ (hypercharge).

The non-Abelian field strengths are

G_{μν}^{a} = \partial_{μ} G_{ν}^{a} - \partial_{ν} G_{μ}^{a} + g_{s} f^{ab c} G_{μ}^{b} G_{ν}^{c},

W_{μν}^{i} = \partial_{μ} W_{ν}^{i} - \partial_{ν} W_{μ}^{i} + g ε^{ij k} W_{μ}^{j} W_{ν}^{k}, B_{μν} = \partial_{μ} B_{ν} - \partial_{ν} B_{μ},

where $f^{ab c}$ are the $S U (3)$ structure constants and $ε^{ij k}$ the Levi-Civita symbol of $S U (2)$ . The self-interaction terms $g_{s} f^{ab c} G_{μ}^{b} G_{ν}^{c}$ and $g ε^{ij k} W_{μ}^{j} W_{ν}^{k}$ are the hallmark of non-Abelian gauge theory and the origin of asymptotic freedom.

Fermion representation (one generation). Each generation contains the left-handed quark doublet $Q_{L} = (u_{L}, d_{L})^{T}$ with $Y = + 1/3$ , the right-handed up quark $u_{R}$ with $Y = + 4/3$ , the right-handed down quark $d_{R}$ with $Y = - 2/3$ , the left-handed lepton doublet $L_{L} = (ν_{L}, e_{L})^{T}$ with $Y = - 1$ , and the right-handed charged lepton $e_{R}$ with $Y = - 2$ . (Equivalently, half these values if $Q = T_{3} + Y /2$ is used; the physics is unchanged.) The electric charge is recovered by the Gell-Mann–Nishijima relation

Q = T_{3} + \frac{1}{2} Y,

with $T_{3}$ the third weak-isospin generator. So the up quark has $Q = + 1/2 + 1/6 = + 2/3$ and the down quark has $Q = - 1/2 + 1/6 = - 1/3$ .

The Standard Model Lagrangian. With the covariant derivative

D_{μ} = \partial_{μ} - i g_{s} t^{a} G_{μ}^{a} - i g \frac{σ ^{i}}{2} W_{μ}^{i} - i g^{'} \frac{Y}{2} B_{μ},

( $t^{a} = λ^{a} /2$ the $S U (3)$ generators, $σ^{i}$ the Pauli matrices), the full Lagrangian reads

L_{SM} = L_{gauge} + L_{Higgs} + L_{Yukawa} + L_{fermion kin},

with

L_{gauge} = - \frac{1}{4} G_{μν}^{a} G^{a μν} - \frac{1}{4} W_{μν}^{i} W^{i μν} - \frac{1}{4} B_{μν} B^{μν},

L_{Higgs} = (D_{μ} Φ)^{†} (D^{μ} Φ) - V (Φ), V (Φ) = - μ^{2} Φ^{†} Φ + λ (Φ^{†} Φ)^{2},

L_{Yukawa} = - y_{ij}^{d} \overset{ˉ}{Q}_{L i} Φ d_{R j} - y_{ij}^{u} \overset{ˉ}{Q}_{L i} \tilde{Φ} u_{R j} - y_{ij}^{e} \overset{ˉ}{L}_{L i} Φ e_{R j} + h.c.,

and $L_{fermion kin} = \overset{ˉ}{Q}_{L} i γ^{μ} D_{μ} Q_{L} + \overset{u}{ˉ}_{R} i γ^{μ} D_{μ} u_{R} + \dots$ summing over all fermion fields. The Higgs doublet is

Φ = (ϕ^{+} ϕ^{0}), Y_{Φ} = + \frac{1}{2}, \tilde{Φ} \equiv i σ^{2} Φ^{*} = (ϕ^{0 *} - ϕ^{-}),

and the $3 \times 3$ Yukawa matrices $y^{u}, y^{d}, y^{e}$ encode the (a priori arbitrary) fermion masses and mixings.

Spontaneous symmetry breaking. For $μ^{2} > 0$ , the Higgs potential has a degenerate ring of minima at $Φ^{†} Φ = μ^{2} / (2 λ)$ . Choosing the vacuum

⟨ Φ ⟩ = \frac{1}{2} (0 v), v = \frac{μ}{λ} \approx 246 GeV,

breaks $S U (2)_{L} \times U (1)_{Y} \to U (1)_{em}$ . The unbroken generator is $Q = T_{3} + Y /2$ ; the photon $A_{μ}$ is its gauge boson and remains massless, while the orthogonal combination acquires mass.

Physical gauge bosons. The charged bosons $W_{μ}^{\pm} = (W_{μ}^{1} \mp i W_{μ}^{2}) / 2$ and the neutral bosons

(A_{μ} Z_{μ}) = (cos θ_{W} - sin θ_{W} sin θ_{W} cos θ_{W}) (B_{μ} W_{μ}^{3}), tan θ_{W} = \frac{g ^{'}}{g},

define the Weinberg angle $θ_{W}$ . The masses and the electric charge that follow are derived in §Key derivation below.

Anomaly cancellation. The chiral fermion content above is consistent (the gauge symmetry survives quantisation) if and only if every gauge anomaly vanishes. The most stringent check is the mixed $[S U (3)_{c}]^{2} U (1)_{Y}$ , $[S U (2)_{L}]^{2} U (1)_{Y}$ , and $[U (1)_{Y}]^{3}$ anomalies. Each cancels separately within a single generation because the hypercharges sum to zero — verified in the Full proof set.

Key derivation Intermediate+

Theorem (Electroweak mass generation, Glashow-Weinberg-Salam). In the Standard Model with Higgs vacuum $⟨ Φ ⟩ = (0, v / 2)^{T}$ , the gauge bosons acquire the tree-level masses

m_{W} = \frac{1}{2} g v \approx 80.4 GeV, m_{Z} = \frac{1}{2} g^{2} + g^{'2} v \approx 91.2 GeV, m_{γ} = 0,

the photon is the massless gauge boson of the unbroken $U (1)_{em}$ , the Weinberg angle satisfies $cos θ_{W} = m_{W} / m_{Z} = g / g^{2} + g^{'2}$ , the electric charge is $e = g sin θ_{W}$ , the Higgs boson has mass $m_{H} = 2 μ = 2 λ v \approx 125 GeV$ , and every massive fermion $f$ acquires mass $m_{f} = y_{f} v / 2$ from its Yukawa coupling $y_{f}$ .

Proof. Expand the Higgs kinetic term $L_{Higgs} \supset (D_{μ} Φ)^{†} (D^{μ} Φ)$ around the vacuum. With $Φ = (0, (v + H) / 2)^{T}$ (where $H$ is the physical Higgs fluctuation), the covariant derivative acts as

D_{μ} Φ = (\partial_{μ} - \frac{i}{2} (g W_{μ}^{3} + g^{'} B_{μ} g (W_{μ}^{1} + i W_{μ}^{2}) g (W_{μ}^{1} - i W_{μ}^{2}) - g W_{μ}^{3} + g^{'} B_{μ})) (0 v / 2) .

The lower component gives

D_{μ} Φ_{vac} = - \frac{i}{2 2} (g (W_{μ}^{1} - i W_{μ}^{2}) v (- g W_{μ}^{3} + g^{'} B_{μ}) v) = - \frac{i}{2 2} (g 2 W_{μ}^{-} v - g^{2} + g^{'2} Z_{μ} v),

where in the second component we rotated to the mass basis $Z_{μ} = cos θ_{W} W_{μ}^{3} - sin θ_{W} B_{μ}$ with $cos θ_{W} = g / g^{2} + g^{'2}$ , $sin θ_{W} = g^{'} / g^{2} + g^{'2}$ , using $- g W_{μ}^{3} + g^{'} B_{μ} = - g^{2} + g^{'2} Z_{μ}$ .

Taking the modulus squared,

\frac{1}{2} (D_{μ} Φ)^{†} (D^{μ} Φ)_{vac} = \frac{1}{4} g^{2} v^{2} W_{μ}^{-} W^{+ μ} + \frac{1}{8} (g^{2} + g^{'2}) v^{2} Z_{μ} Z^{μ} .

Comparing with the Proca mass terms $\frac{1}{2} m_{W}^{2} W_{μ}^{+} W^{- μ} + \frac{1}{2} m_{Z}^{2} Z_{μ} Z^{μ}$ reads off

m_{W}^{2} = \frac{1}{4} g^{2} v^{2}, m_{Z}^{2} = \frac{1}{4} (g^{2} + g^{'2}) v^{2} .

Hence $m_{W} = g v /2$ and $m_{Z} = v g^{2} + g^{'2} /2$ . The orthogonal neutral combination $A_{μ} = sin θ_{W} W_{μ}^{3} + cos θ_{W} B_{μ}$ does not couple to the vacuum at all, since the vacuum is neutral ( $Q ⟨ Φ ⟩ = 0$ ), so the photon is massless: $m_{γ} = 0$ . Dividing, $cos θ_{W} = m_{W} / m_{Z} = g / g^{2} + g^{'2}$ .

The electric charge. In the unbroken $U (1)_{em}$ , the gauge coupling is the coefficient of the photon in the neutral current. Expanding $- g W_{μ}^{3} T_{3} - g^{'} B_{μ} (Y /2)$ in the mass basis and matching the coefficient of $A_{μ}$ gives

e = g sin θ_{W} = g^{'} cos θ_{W} = \frac{g g ^{'}}{g ^{2} + g ^{'2}} .

The Higgs mass. Expanding the potential around the minimum with $Φ^{†} Φ = (v + H)^{2} /2$ ,

V = - \frac{μ ^{2}}{2} (v + H)^{2} + \frac{λ}{4} (v + H)^{4} .

The stationary condition $d V / d H ∣_{H = 0} = 0$ fixes $v^{2} = μ^{2} / λ$ . The quadratic term in $H$ is $\frac{1}{2} (2 μ^{2}) H^{2}$ , so $m_{H}^{2} = 2 μ^{2} = 2 λ v^{2}$ and $m_{H} = 2 λ v = 2 μ \approx 125$ GeV, fixing $λ \approx 0.129$ from the measured $m_{H}$ and $v$ .

The fermion masses. Inserting the vacuum into the down-type and charged-lepton Yukawa couplings, $\overset{ˉ}{Q}_{L} Φ d_{R} \to (v / 2) \overset{ˉ}{d}_{L} d_{R}$ (and similarly $\overset{ˉ}{L}_{L} Φ e_{R} \to (v / 2) \overset{e}{ˉ}_{L} e_{R}$ ), producing Dirac mass matrices $M^{d} = y^{d} v / 2$ and $M^{e} = y^{e} v / 2$ . The up-type masses come from $\overset{ˉ}{Q}_{L} \tilde{Φ} u_{R} \to (v / 2) \overset{u}{ˉ}_{L} u_{R}$ , giving $M^{u} = y^{u} v / 2$ . After diagonalising these matrices by unitary rotations of the fermion fields, the physical masses are $m_{f} = y_{f} v / 2$ , ranging from $m_{e} \approx 0.511$ MeV ( $y_{e} \approx 3 \times 1 0^{- 6}$ ) to $m_{t} \approx 173$ GeV ( $y_{t} \approx 1$ ). $□$

Bridge. This derivation is the foundational reason the weak bosons are massive while the photon is not: the Higgs vacuum expectation value breaks $S U (2)_{L} \times U (1)_{Y}$ down to $U (1)_{em}$ , and the surviving gauge symmetry is exactly electromagnetism. The mass relation $m_{W} = m_{Z} cos θ_{W}$ is precisely the tree-level electroweak prediction that loop corrections (the radiative programme of 12.16.01) later refine. The Higgs mechanism generalises to any spontaneously broken gauge theory, and this is exactly the structure that appears again in 12.18.01 (the general Higgs mechanism) and that builds toward grand-unified theories in which the full $S U (3) \times S U (2) \times U (1)$ descends from a larger simple group. The bridge is that mass, in the Standard Model, is not an input but a derived consequence of how the scalar vacuum respects a subgroup of the original gauge symmetry.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Starting from $L_{Higgs} \supset (D_{μ} Φ)^{†} (D^{μ} Φ)$ with $Φ = (0, (v + H) / 2)^{T}$ , derive the tree-level $W$ -boson mass term and show $m_{W} = g v /2$ . Identify explicitly which term in $D_{μ}$ generates the mass.

Hint

The $S U (2)_{L}$ piece $- i g (σ^{i} /2) W_{μ}^{i}$ of $D_{μ}$ acts on the upper component of $Φ$ through $σ^{1}, σ^{2}$ . With $Φ$ pointing in the lower component, only $σ^{+}$ and $σ^{-}$ couple the vacuum to itself.

Answer

Derivation. Write $D_{μ} Φ = \partial_{μ} Φ - i (g /2) σ^{i} W_{μ}^{i} Φ - i (g^{'} /2) B_{μ} Φ$ . With $⟨ Φ ⟩ = (0, v / 2)^{T}$ , the derivative term vanishes (constant vacuum). Using $σ^{1} (0, v / 2)^{T} = (v / 2, 0)^{T}$ and $σ^{2} (0, v / 2)^{T} = (- i v / 2, 0)^{T}$ , the combination $g (W_{μ}^{1} - i W_{μ}^{2}) σ^{+} /2$ produces $- i (g /2) (W_{μ}^{1} - i W_{μ}^{2}) (v / 2, 0)^{T}$ in the upper slot. Taking the Hermitian conjugate squared modulus and using $W^{\pm} = (W^{1} \mp i W^{2}) / 2$ gives $(D_{μ} Φ)^{†} (D^{μ} Φ) ∣_{vac} \supset (g^{2} v^{2} /4) W_{μ}^{+} W^{- μ}$ . Comparing with $(1/2) m_{W}^{2} W^{+} W^{-}$ yields $m_{W}^{2} = g^{2} v^{2} /4$ , i.e. $m_{W} = g v /2$ . $□$

Exercise 4 (medium, symbolic).

Verify the Gell-Mann–Nishijima relation $Q = T_{3} + Y /2$ for every fermion in one generation, and use it to recover the electric charges $+ 2/3, - 1/3, 0, - 1$ for $(u, d, ν, e)$ . Fix the hypercharge $Y$ of each field from the demand that the measured charges come out.

Hint

For the left-handed doublets $(u_{L}, d_{L})$ the third isospin component takes $T_{3} = + 1/2$ on the upper entry and $T_{3} = - 1/2$ on the lower entry. The right-handed singlets have $T_{3} = 0$ .

Answer

Verification. The quark doublet $Q_{L} = (u_{L}, d_{L})^{T}$ must satisfy $Q (u) = + 2/3 = + 1/2 + Y /2$ , giving $Y = + 1/3$ ; and $Q (d) = - 1/3 = - 1/2 + Y /2$ , also giving $Y = + 1/3$ (consistent). The lepton doublet $L_{L} = (ν_{L}, e_{L})^{T}$ satisfies $Q (ν) = 0 = + 1/2 + Y /2$ , giving $Y = - 1$ ; and $Q (e) = - 1 = - 1/2 + Y /2$ , giving $Y = - 1$ (consistent). The right-handed up quark ( $T_{3} = 0$ ) needs $Y = 2 Q = + 4/3$ ; the right-handed down quark needs $Y = - 2/3$ ; the right-handed electron needs $Y = - 2$ . All five hypercharges are fixed by the measured electric charges and the doublet structure. (Textbook conventions differ on whether the symbol $Y$ denotes the value used in $Q = T_{3} + Y /2$ or twice that value appearing in the covariant derivative; the physics is identical.) $□$

Exercise 5 (medium, symbolic).

Show that the minimal Standard Model has no gauge-invariant neutrino mass term at any renormalisable order, and explain why adding a right-handed neutrino $ν_{R}$ with $Y = 0$ repairs this.

Hint

A Dirac mass needs a term $\overset{ˉ}{L}_{L} \tilde{Φ} ν_{R}$ . With no $ν_{R}$ present, can you build a gauge-invariant bilinear in $ν_{L}$ alone? Check the representation $(1, 2, - 1)$ of $L_{L}$ and whether two copies can form a singlet.

Answer

Argument. A Lorentz-invariant fermion mass term couples left- and right-handed fields as $\overset{ν}{ˉ}_{L} ν_{R}$ (Dirac) or is a Majorana bilinear $ν_{L}^{T} C ν_{L}$ (Majorana). The Dirac option is unavailable in the minimal SM because there is no $ν_{R}$ field. The Majorana option is unavailable at the renormalisable (dimension-3) level because $ν_{L}^{T} C ν_{L}$ transforms as the symmetric product of two $(1, 2, - 1)$ representations, which decomposes as $(1, 3, - 2) \oplus (1, 1, - 2)$ — neither piece is a gauge singlet, so the bilinear is not invariant under $S U (2)_{L} \times U (1)_{Y}$ . Adding $ν_{R}$ in the singlet representation $(1, 1, 0)$ allows the Yukawa coupling $- y^{ν} \overset{ˉ}{L}_{L} \tilde{Φ} ν_{R}$ , which after symmetry breaking generates a Dirac mass $m_{ν} = y^{ν} v / 2$ . Because $ν_{R}$ is a complete gauge singlet, a bare Majorana mass $(M /2) \overset{ν}{ˉ}_{R}^{c} ν_{R}$ is also allowed, leading via the seesaw mechanism to $m_{ν} \sim y^{ν 2} v^{2} / (2 M)$ — naturally small for large $M$ . $□$

Exercise 6 (hard, symbolic).

Derive the one-loop QCD beta function $β (g_{s}) = μ d g_{s} / d μ = - g_{s}^{3} / (16 π^{2}) (11 - 2 n_{f} /3) + O (g_{s}^{5})$ for $S U (3)_{c}$ with $n_{f}$ active quark flavours, by counting the gauge-boson and fermion contributions to the one-loop gluon self-energy. Show that for $n_{f} \leq 16$ the coupling decreases with energy (asymptotic freedom).

Hint

The gauge-boson loop (two gluons and one ghost running in the loop) contributes $+ 11/3$ per adjoint colour factor; each quark flavour contributes $- 2/3$ through the quark-antiquark bubble. The sign is fixed by the requirement that the bare coupling absorb the divergence.

Answer

Derivation sketch. The one-loop gluon self-energy (vacuum polarisation) receives two contributions: (i) the gluon-plus-ghost loop, a purely gauge-field diagram that exists only in non-Abelian theories and contributes $+ (11/3) C_{2} (G) g_{s}^{2} / (16 π^{2})$ to the beta-function coefficient with $C_{2} (G) = 3$ for $S U (3)$ ; (ii) the quark-antiquark bubble, contributing $- (2/3) T (R) n_{f} g_{s}^{2} / (16 π^{2})$ with $T (R) = 1/2$ for the fundamental. Adding, the coefficient of $- g_{s}^{3} / (16 π^{2})$ is $(11/3) C_{2} (G) - (4/3) T (R) n_{f} = 11 - 2 n_{f} /3$ for $S U (3)$ .

The sign convention is fixed by renormalising the bare coupling $g_{0} = μ^{ε /2} Z_{g} g_{s}$ in dimensional regularisation, with $Z_{g} = 1 - (g_{s}^{2} / (16 π^{2} ε)) (11 - 2 n_{f} /3) + \dots$ , and reading off $β = - ε g_{s} /2 - (g_{s} /2) d lo g Z_{g}^{2} / d lo g μ$ . In four dimensions ( $ε \to 0$ ) this gives the quoted result. The coefficient $b_{0} = 11 - 2 n_{f} /3$ is positive for $n_{f} \leq 16$ , so $β < 0$ : as $μ$ increases, $g_{s}$ decreases — asymptotic freedom. Integrating, $α_{s} (μ) = 2 π / [b_{0} lo g (μ / Λ_{QCD})]$ with $Λ_{QCD} \approx 200$ MeV. $□$

Exercise 7 (hard, symbolic).

Integrate the one-loop QCD running $α_{s} (Q^{2}) = 4 π / [(11 - 2 n_{f} /3) lo g (Q^{2} / Λ_{QCD}^{2})]$ and, using $α_{s} (M_{Z}) = 0.118$ with $n_{f} = 5$ active flavours between $m_{b}$ and $M_{Z}$ , extract the QCD scale $Λ_{QCD}$ . Then explain qualitatively what happens to $α_{s}$ as $Q \to Λ_{QCD}$ .

Hint

Set $b_{0} = 11 - 2 (5) /3 = 11 - 10/3 = 23/3$ . Invert $α_{s} (M_{Z}) = 4 π / [b_{0} lo g (M_{Z}^{2} / Λ^{2})]$ for $Λ$ .

Answer

Result. With $b_{0} = 23/3$ and $M_{Z} = 91.2$ GeV, $lo g (M_{Z}^{2} / Λ^{2}) = 4 π / (b_{0} α_{s}) = 12.566/ [(23/3) (0.118)] = 12.566/0.905 = 13.88$ . So $M_{Z}^{2} / Λ^{2} = e^{13.88} = 1.07 \times 1 0^{6}$ , giving $Λ = M_{Z} / 1.07 \times 1 0^{6} = 91.2/1034 \approx 0.088$ GeV $\approx 88$ MeV. (The phenomenological five-flavour $\overline{MS}$ value $Λ_{\overline{MS}}^{(5)} \approx 210$ MeV differs because the one-loop formula is corrected by two- and higher-loop terms; the order of magnitude is the confinement scale.) As $Q \to Λ_{QCD}$ the denominator $lo g (Q /Λ) \to 0$ and $α_{s}$ diverges: perturbation theory breaks down and quarks and gluons reorganise into color-singlet hadrons. This is confinement. $□$

Exercise 8 (hard, symbolic).

Expand the Higgs potential $V (Φ) = - μ^{2} Φ^{†} Φ + λ (Φ^{†} Φ)^{2}$ about the minimum $⟨ Φ ⟩ = (0, v / 2)^{T}$ by writing $Φ = (0, (v + H) / 2)^{T}$ . (a) Recover $v^{2} = μ^{2} / λ$ from the stationary condition. (b) Show the physical Higgs boson has mass $m_{H} = 2 λ v$ . (c) Show the three would-be Goldstone modes have been absorbed as the longitudinal polarisations of $W^{\pm}$ and $Z$ .

Hint

Parameterise the full Higgs doublet as $Φ = e^{i π^{a} σ^{a} / v} (0, (v + H) / 2)^{T}$ (unitary gauge). The fields $π^{a}$ are the Goldstone modes. Substitute into $(D_{μ} Φ)^{†} (D^{μ} Φ)$ and into $V$ .

Answer

Derivation. (a) With $ρ \equiv Φ^{†} Φ = (v + H)^{2} /2$ , $V = - (μ^{2} /2) (v + H)^{2} + (λ /4) (v + H)^{4}$ . Setting $d V / d H ∣_{H = 0} = - μ^{2} v + λ v^{3} = 0$ gives $v^{2} = μ^{2} / λ$ for $v \neq = 0$ . (b) The second derivative $d^{2} V / d H^{2} ∣_{H = 0} = - μ^{2} + 3 λ v^{2} = - μ^{2} + 3 μ^{2} = 2 μ^{2}$ , so $m_{H}^{2} = 2 μ^{2} = 2 λ v^{2}$ and $m_{H} = 2 λ v$ .

(c) In unitary gauge the Goldstone fields $π^{\pm}, π^{0}$ appear inside the phase of $Φ$ . The covariant-derivative term $(D_{μ} Φ)^{†} (D^{μ} Φ)$ mixes them with $W_{μ}^{\pm}$ and $Z_{μ}$ as $(m_{W}^{2} /2) (W_{μ}^{\pm} - (1/ m_{W}) \partial_{μ} π^{\pm}) (W^{\mp μ} - (1/ m_{W}) \partial^{μ} π^{\mp})$ ; completing the square redefines the massive vector field as $W_{μ}^{\pm} \to W_{μ}^{\pm} - \partial_{μ} π^{\pm} / m_{W}$ , removing $π^{\pm}$ from the spectrum. The $π^{0}$ is eaten by $Z_{μ}$ identically. Each eaten Goldstone mode becomes the third (longitudinal) polarisation state of a massive vector boson: a massless spin-1 particle has 2 polarisations, a massive one has 3, and the extra degree of freedom is precisely the Goldstone mode. This is the Higgs mechanism. $□$

Lean formalization Intermediate+

The Standard Model is not formalised in Mathlib at the time of writing, and formalising it is not a near-term target. What would be required, in increasing order of difficulty: (i) a typed declaration of the gauge group $S U (3)_{c} \times S U (2)_{L} \times U (1)_{Y}$ with its Lie algebra and structure constants, building on Mathlib's existing matrix-Lie-algebra and root-system infrastructure; (ii) a representation-theoretic encoding of the fermion content (the $(3, 2, 1/3)$ , $(3, 1, 4/3)$ , $\dots$ assignment) with the Gell-Mann–Nishijima charge formula as a computable function; (iii) the classical Lagrangian as a typed mathematical object (sum of gauge, Higgs, Yukawa, kinetic terms); (iv) the BRST-gauge-fixed perturbation series and dimensional-regularised loop integrals, depending on a relativistic-QFT package that does not yet exist in Mathlib; (v) the tree-level electroweak mass relations of the Key derivation as a verified calculation; (vi) the anomaly-cancellation identities of the Full proof set as Lean theorems.

Steps (i)–(iii) are within reach of the current Mathlib Lie-theory API and would make a valuable intermediate target — a machine-checked statement of the Standard Model Lagrangian and of its classical consistency conditions. Steps (iv)–(vi) depend on the broader physics-formalisation roadmap and are years away. the Mathlib gap analysis records the gap in detail; the present unit ships with lean_status: none and no Lean module.

Advanced results Master

The Standard Model as written above is the most precisely tested quantum theory ever constructed. Beyond the tree-level mass spectrum of the Key derivation, its quantitative predictions rest on three pillars: the renormalisability proof for spontaneously broken gauge theories, the running of the three gauge couplings under the renormalisation group, and the operator-product expansion of QCD that turns short-distance scattering into hadronic predictions.

Renormalisability of the electroweak theory. The Glashow-Weinberg-Salam model was proposed in 1961–1968, but it was not accepted as a physical theory of the weak interaction until 't Hooft and Veltman proved in 1971–1972 that spontaneously broken non-Abelian gauge theories are renormalisable ^{['t Hooft-Veltman 1972]}. Their proof, made tractable by the invention of dimensional regularisation, showed that the Slavnov-Taylor identities (the non-Abelian generalisation of the Ward-Takahashi identity of 12.16.01) control the divergences order by order and that a finite set of counterterms absorbs them. Without this proof the predictions of the theory would have been arbitrary — every loop order could have introduced a new free parameter — and the precision electroweak programme would have been impossible.

Running couplings and grand unification. The three gauge couplings $g_{1} = 5/3 g^{'}$ (GUT-normalised hypercharge), $g_{2} = g$ , and $g_{3} = g_{s}$ each run with energy according to their one-loop beta functions:

\frac{1}{α _{i} ( μ )} = \frac{1}{α _{i} ( M _{Z} )} + \frac{b _{i}}{2 π} lo g \frac{μ}{M _{Z}},

with $b_{1} = 41/10$ , $b_{2} = - 19/6$ , $b_{3} = - 7$ in the Standard Model. Because $b_{3} < 0$ the strong coupling decreases (asymptotic freedom), because $b_{2} < 0$ the weak coupling also decreases, and because $b_{1} > 0$ the hypercharge coupling increases. Using the measured boundary values $α_{1} (M_{Z})^{- 1} \approx 59$ , $α_{2} (M_{Z})^{- 1} \approx 29$ , $α_{3} (M_{Z})^{- 1} \approx 8.5$ , the three couplings approach one another at around $1 0^{13}$ – $1 0^{15}$ GeV but do not meet at a single point. In the minimal supersymmetric Standard Model (MSSM) the beta-function coefficients shift and the three couplings meet to high precision near $2 \times 1 0^{16}$ GeV — one of the standard pieces of evidence cited for low-energy supersymmetry, though not by itself conclusive.

The minimal $S U (5)$ grand-unified theory of Georgi and Glashow (1974) ^{[Georgi-Glashow 1974]} embeds $S U (3) \times S U (2) \times U (1)$ in a single simple group and predicts that quarks and leptons are different components of the same multiplets. Its most striking prediction is proton decay (for example $p \to e^{+} π^{0}$ ), mediated by the superheavy $X$ and $Y$ gauge bosons. The minimal $S U (5)$ prediction $τ_{p} \sim 1 0^{31}$ years has been ruled out by Super-Kamiokande (lower bound $τ_{p} > 1 0^{34}$ years); supersymmetric $S U (5)$ also has problems, but the broader idea of unification remains the leading organising principle for physics beyond the Standard Model.

Perturbative QCD and the parton model. Asymptotic freedom, discovered by Politzer and by Gross-Wilczek in 1973 ^{[Politzer 1973]}, is what makes the strong interaction calculable at all. At momentum transfers of order the $Z$ mass the coupling is $α_{s} (M_{Z}) \approx 0.118$ — small enough for perturbation theory. Deep inelastic scattering, the Drell-Yan process, $e^{+} e^{-}$ annihilation into hadrons, and jet production at colliders are all computed by treating the incoming hadron as a collection of quasi-free partons (quarks and gluons) described by parton distribution functions, convolved with perturbatively calculable hard-scattering cross sections. The non-perturbative part (the parton distributions, hadronisation) is factored out and either measured or modelled on the lattice. This separation, the factorisation theorem of QCD, is the operational core of essentially every prediction at the LHC.

Open problems. Five empirical facts do not fit inside the Standard Model as written.

(i) Neutrino masses. Oscillation experiments (Super-Kamiokande 1998, SNO 2001, KamLAND) show that neutrinos have small but nonzero mass differences $Δ m_{21}^{2} \approx 7.5 \times 1 0^{- 5}$ eV $^{2}$ and $∣Δ m_{31}^{2} ∣ \approx 2.5 \times 1 0^{- 3}$ eV $^{2}$ . The minimal Standard Model predicts $m_{ν} = 0$ . The minimal extension adds right-handed neutrinos (gauge singlets) and either Dirac masses or Majorana masses via the seesaw mechanism, in which case the smallness of $m_{ν}$ points to a very heavy seesaw scale $M \sim 1 0^{14}$ GeV.

(ii) Dark matter. Cosmological data (galaxy rotation curves, gravitational lensing, the cosmic microwave background, the bullet cluster) show that about 27 percent of the energy density of the universe is non-baryonic, non-relativistic, and dark. The Standard Model's only weakly-interacting stable candidate — the neutrino — is too light by orders of magnitude to be the dominant component. Leading candidates (the axion, the lightest supersymmetric particle, WIMPs) all lie beyond the Standard Model.

(iii) Baryon asymmetry. The universe contains matter but essentially no antimatter, with a baryon-to-photon ratio $η_{B} \approx 6 \times 1 0^{- 10}$ . Sakharov's three conditions (baryon-number violation, C and CP violation, departure from thermal equilibrium) can be met in principle by electroweak sphaleron processes and the CKM matrix, but the Standard Model produces a baryon asymmetry many orders of magnitude too small. Additional CP-violating phases (for example in the neutrino sector via leptogenesis) are needed.

(iv) The strong CP problem. QCD admits a CP-violating parameter $θ$ through the term $(θ g_{s}^{2} /32 π^{2}) G \tilde{G}$ , which would generate a neutron electric dipole moment. Experiment bounds $∣ θ ∣ < 1 0^{- 10}$ with no Standard Model explanation. The Peccei-Quinn mechanism (and its pseudo-Nambu-Goldstone boson, the axion) was proposed to set $θ \to 0$ dynamically, but no axion has yet been detected.

(v) The hierarchy (naturalness) problem. The Higgs mass parameter $μ^{2}$ receives radiative corrections $δ μ^{2} \sim Λ_{UV}^{2}$ that are quadratically sensitive to the ultraviolet cutoff. Keeping $m_{H} \approx 125$ GeV when the cutoff might be the Planck scale $1 0^{19}$ GeV requires fine-tuning the bare parameter against the loop correction to one part in $1 0^{34}$ . Supersymmetry, composite Higgs models, and extra-dimensional setups are all proposed resolutions; none has been confirmed at the LHC.

The absence of gravity from the Standard Model is a sixth, structural gap: the Standard Model is a quantum field theory on a fixed Minkowski background, with no dynamical spacetime metric, and every attempt to quantise general relativity perturbatively yields a non-renormalisable theory. This is the deepest open problem of fundamental physics and the entry point to string theory, loop quantum gravity, and asymptotic safety.

Synthesis. The Standard Model is the central insight of modern particle physics: three forces, three generations, and one scalar field, organised by gauge symmetry and its spontaneous breaking. The electroweak unification generalises the QED renormalisation programme of 12.16.01, and asymptotic freedom is dual to confinement — the same running coupling that vanishes at high energy diverges at the QCD scale, trapping quarks into hadrons. Putting these together yields a renormalisable, anomaly-free, unitary theory tested to one part in $1 0^{12}$ in precision observables. The framework appears again in every proposed extension — supersymmetry, grand unification, extra dimensions, axion dark matter — and the bridge is the gauge principle itself: locally realised internal symmetry determines the dynamics, the particle content, and the pattern of masses. The hierarchy problem, the absence of gravity, neutrino masses, dark matter, and the baryon asymmetry mark the limits of this synthesis and the boundary of known physics.

Full proof set Master

The Key derivation gives the electroweak mass spectrum in full. Three further structural facts about the Standard Model are stated and proved (or proof-sketched) here: anomaly cancellation per generation, the sign of the QCD beta function, and the consistency of the tree-level mass relations.

Proposition (Anomaly cancellation within one generation). The chiral fermion content of one Standard Model generation cancels the cubic $[U (1)_{Y}]^{3}$ , the mixed gravitational- $U (1)_{Y}$ , the mixed $[S U (2)_{L}]^{2} U (1)_{Y}$ , and the mixed $[S U (3)_{c}]^{2} U (1)_{Y}$ gauge anomalies.

Proof. Using the convention $Q = T_{3} + Y /2$ (so $Y_{Q_{L}} = 1/3$ , $Y_{u_{R}} = 4/3$ , $Y_{d_{R}} = - 2/3$ , $Y_{L_{L}} = - 1$ , $Y_{e_{R}} = - 2$ ) with right-handed fermions rewritten as the left-handed charge-conjugates $\overset{ˉ}{f}_{R}^{c}$ carrying $- Y$ , and a colour multiplicity factor of $3$ on every quark. The cubic hypercharge anomaly coefficient is

LH \sum Y^{3} = 3 [(\frac{1}{3})^{3} + (\frac{1}{3})^{3}] + (- 1)^{3} + (- 1)^{3} - 3 [(\frac{4}{3})^{3} + (- \frac{2}{3})^{3}] - (- 2)^{3}

= 3 \cdot \frac{2}{27} - 2 - 3 \cdot \frac{56}{27} + 8 = \frac{6}{27} - 2 - \frac{168}{27} + 8 = \frac{- 162}{27} + 6 = - 6 + 6 = 0,

using $(4/3)^{3} + (- 2/3)^{3} = (64 - 8) /27 = 56/27$ . The mixed gravitational- $U (1)_{Y}$ anomaly cancels because $\sum_{LH} Y = 3 \cdot (1/3 + 1/3) + (- 1) + (- 1) - 3 \cdot (4/3 - 2/3) - (- 2) = 2 - 2 - 2 + 2 = 0$ . The mixed $[S U (2)_{L}]^{2} U (1)_{Y}$ anomaly is proportional to $\sum_{doublets} Y$ : three coloured quark doublets contribute $3 \cdot (1/3) = 1$ and one lepton doublet contributes $- 1$ , giving $1 + (- 1) = 0$ . The mixed $[S U (3)_{c}]^{2} U (1)_{Y}$ anomaly is proportional to $\sum_{LH, coloured} Y$ : from $Q_{L}$ (two isospin components, three colours) $3 \cdot 2 \cdot (1/3) = 2$ ; from $u_{R}^{c}$ (three colours, $Y = - 4/3$ ) $3 \cdot (- 4/3) = - 4$ ; from $d_{R}^{c}$ (three colours, $Y = + 2/3$ ) $3 \cdot (2/3) = 2$ ; sum $= 2 - 4 + 2 = 0$ . All four anomalies vanish within one generation. $□$

The fact that anomaly cancellation works out generation by generation — rather than requiring contributions from all three generations combined — is a strong hint that each generation is a consistent building block, and it constrains severely any extension of the fermion content (every new chiral fermion must be added in an anomaly-free combination).

Proposition (Asymptotic freedom of QCD). The one-loop beta function of $S U (3)_{c}$ QCD with $n_{f}$ quark flavours is $β (g_{s}) = - [g_{s}^{3} / (16 π^{2})] (11 - 2 n_{f} /3) + O (g_{s}^{5})$ , and is negative for $n_{f} \leq 16$ .

Proof sketch. The one-loop gluon vacuum polarisation has two pieces. The gluon-plus-ghost loop, present only because the gluon carries color (the adjoint representation), gives a contribution $+ (11/3) C_{2} (G)$ to the coefficient with $C_{2} (G) = N_{c} = 3$ for $S U (3)$ . The quark-antiquark bubble, with $n_{f}$ flavours in the fundamental, gives $- (4/3) T (R) n_{f}$ with $T (R) = 1/2$ . The full one-loop coefficient of $- g_{s}^{3} / (16 π^{2})$ is therefore $b_{0} = (11/3) N_{c} - (2/3) n_{f} = 11 - 2 n_{f} /3$ . The sign is fixed by the renormalisation condition $g_{0} = μ^{ε /2} Z_{g} g_{s}$ in dimensional regularisation: the pole in $Z_{g}$ carries the opposite sign from the fermion-bubble contribution because gauge invariance (encoded in the Slavnov-Taylor identities) forces the longitudinal part of the gluon propagator to renormalise consistently with the vertex. For $n_{f} \leq 16$ , $b_{0} > 0$ and $β < 0$ , so $g_{s}$ decreases as $μ$ increases — asymptotic freedom. (Detailed proof: Peskin-Schroeder §16; Weinberg Vol. II §18.) $□$

Proposition (Tree-level mass-spectrum consistency). The tree-level electroweak mass relations $m_{W} = g v /2$ , $m_{Z} = v g^{2} + g^{'2} /2$ , $cos θ_{W} = m_{W} / m_{Z}$ , and $e = g sin θ_{W}$ are mutually consistent and reproduce the measured $W$ , $Z$ masses and the $Z$ -pole electric charge to within one percent.

Proof. From the Key derivation, $m_{W} / m_{Z} = g / g^{2} + g^{'2} = cos θ_{W}$ , so $cos θ_{W} = m_{W} / m_{Z}$ is an identity, not a separate input. Using the measured $m_{W} = 80.379$ GeV, $m_{Z} = 91.1876$ GeV gives $cos θ_{W} = 0.8819$ , $sin^{2} θ_{W} = 1 - 0.7777 = 0.2223$ (the on-shell value). Then $v = 2 m_{W} / g = 2 m_{W} sin θ_{W} / e$ , and inverting with $e = 4 π α (M_{Z})$ gives $v \approx 246$ GeV, matching the Fermi constant extraction $v = (2^{1/4} G_{F})^{- 1/2} = 246.22$ GeV. The independent determinations of $v$ from the $W$ mass, the $Z$ mass, the muon lifetime (via $G_{F}$ ), and the Higgs couplings all agree to better than one percent at tree level, with the residual absorbed by electroweak radiative corrections. The internal consistency of four independent measurements of $v$ is the empirical confirmation of the Glashow-Weinberg-Salam structure. $□$

Connections Master

12.12.01 Canonical quantum field theory supplies the foundational machinery this whole unit is built on: Lagrangian field theory, canonical and path-integral quantisation, the Feynman rules for gauge fields, and the renormalisation programme. The Standard Model is a particular renormalisable gauge QFT in the sense defined there, and every loop calculation in this unit uses the Feynman rules and the renormalisation-group equation introduced in that unit.
12.18.01 The Higgs mechanism: spontaneously broken gauge symmetry is the direct prerequisite for the Key derivation. The general theorem that a gauge boson acquires mass by coupling to a scalar condensate is proved there; the present unit specialises it to the specific electroweak Higgs doublet $Φ$ with vacuum $(0, v / 2)^{T}$ , extracting the $W$ and $Z$ masses and the photon's masslessness as the specific Standard Model realisation.
12.16.01 Electron self-energy and mass renormalisation at one loop establishes the radiative-correction programme that turns the tree-level predictions of this unit into precision electroweak observables. The running of $α$ from $1/137$ at zero momentum to $α (M_{Z})^{- 1} \approx 128$ at the $Z$ pole, used in the Worked example and the Exercises, is the low-energy tail of the same QED beta function derived there.
12.18.04 Theta vacua, the vacuum angle, and the strong CP problem develops the $G \tilde{G}$ term whose unexplained smallness (open problem (iv) above) is one of the sharpest internal tensions of the Standard Model and motivates the Peccei-Quinn axion.
12.18.05 Chiral ABJ anomaly and the triangle diagram supplies the anomaly computation whose cancellation — verified in the Full proof set — is the consistency condition that fixes the hypercharge assignment of each fermion generation.
12.15.01 Discrete symmetry (C, P, T and their combinations) underlies the CPT theorem that every Standard Model process respects, and the partial failure of discrete symmetry (CP violation in the CKM matrix) that is the second of Sakharov's conditions for baryogenesis.
13.01.01 General relativity (when available in the curriculum) marks the boundary of the Standard Model: it is the spacetime gauge theory that the internal gauge group $S U (3) \times S U (2) \times U (1)$ must be reconciled with, and the source of the hierarchy problem through the Planck scale $M_{Pl} \sim 1 0^{19}$ GeV.
[28.*] Cosmology (the early-universe curriculum) provides the observational evidence — dark matter, dark energy, the baryon asymmetry, the cosmic microwave background — that defines the open problems of the Standard Model from the cosmological side.

Historical & philosophical context Master

The Standard Model is the product of a twenty-year consolidation that began with the failure of the Fermi theory of weak interactions and ended with the 2012 discovery of the Higgs boson. The electroweak sector was assembled in three steps. Glashow (1961) ^{[Glashow 1961]} proposed the $S U (2) \times U (1)$ gauge structure and introduced the mixing angle that bears Weinberg's name, but his model left the gauge bosons massless and so could not yet be a physical weak-interaction theory. Weinberg (1967) ^{[Weinberg 1967]} and independently Salam (1968) ^{[Salam 1968]} added the Higgs doublet and its vacuum expectation value, generating the $W$ and $Z$ masses while keeping the photon massless, and predicting a new neutral-current interaction mediated by the $Z$ .

The Weinberg-Salam model was largely ignored for four years. The reason was that no one knew whether a spontaneously broken non-Abelian gauge theory was renormalisable: if every loop order introduced a new divergence, the theory would make no predictions and the elegance of the gauge structure would be physically meaningless. 't Hooft and Veltman settled the question in 1971–1972 ^{['t Hooft-Veltman 1972]} by proving renormalisability of spontaneously broken gauge theories, using the dimensional-regularisation scheme they had just invented. The proof transformed electroweak theory from speculation into the leading candidate for a fundamental description of the weak force. The 1973 discovery of the neutral current at CERN (the Gargamelle bubble chamber) confirmed the $Z$ boson's existence, and the 1983 direct discovery of the $W$ and $Z$ at the CERN SPS closed the electroweak case at the level of the gauge bosons.

The strong-interaction sector had a parallel history. By the late 1960s the hadron spectrum, the deep inelastic scattering data, and the failure of every field-theoretic model of the strong force had led many physicists to abandon QFT for the strong interaction in favour of the S-matrix programme. Gross, Wilczek, and Politzer in 1973 ^{[Politzer 1973]} showed — initially to their own surprise, while checking whether non-Abelian theories could evade the call for a cutoff — that the $S U (3)$ colour gauge theory has a negative beta function: the coupling vanishes at high energy. This was asymptotic freedom, and it immediately explained why the parton model of deep inelastic scattering worked. The same calculation implied that the coupling grows at low energy, giving a dynamical (if still not fully rigorous) account of confinement. The strong CP problem, the theta vacuum, and the axion were recognised within a few years.

The Standard Model as a single structure was consolidated through the 1970s, with the third generation (the tau lepton in 1975, the bottom quark in 1977, the top quark in 1995) filling in the fermion content and the asymptotic-freedom-based prediction of the weak-isospin structure of the $Z$ confirmed at LEP in 1989–2000. The one missing particle was the Higgs boson itself. Its discovery by ATLAS and CMS at the LHC on 4 July 2012 ^{[ATLAS-CMS 2012]}, at a mass of approximately 125 GeV, completed the particle content of the Standard Model and confirmed the Higgs mechanism as the source of electroweak symmetry breaking. The 1979 Nobel Prize had already recognised Glashow, Salam, and Weinberg for the electroweak theory; the 1999 prize recognised 't Hooft and Veltman for the renormalisability proof; the 2004 prize recognised Gross, Wilczek, and Politzer for asymptotic freedom; and the 2013 prize recognised Englert and Higgs for the Higgs mechanism.

Philosophically, the Standard Model is the strongest argument ever made for the Heuristic of Gauge Symmetry: the deep structure of a physical theory is a symmetry, and the dynamics, the particle content, and the mass spectrum all follow once the symmetry and the way it is broken are specified. The Standard Model Lagrangian is fixed almost completely by (i) the choice of gauge group $S U (3) \times S U (2) \times U (1)$ , (ii) the choice of fermion representations (one generation of the matter above, copied three times), (iii) the choice of Higgs representation, and (iv) the numerical values of the coupling constants and Yukawa matrices. The number of measured inputs is about nineteen (three gauge couplings, the Higgs VEV and quartic, six quark masses, three mixing angles and one CP phase, three charged-lepton masses, three neutrino mass-squared differences and three mixing angles). From these nineteen numbers the Standard Model predicts every other particle-physics observable ever measured — thousands of cross sections, decay rates, asymmetries, and precision electroweak quantities — with no known contradiction.

The remaining nineteen free parameters are themselves the principal philosophical embarrassment of the Standard Model. The theory does not explain why there are three generations, why the Yukawa couplings span six orders of magnitude, why the strong CP angle is so small, or why the cosmological constant is so tiny. Each of these questions points toward a deeper theory — a grand unified theory, a flavour theory, an axion solution to strong CP, a solution to the cosmological constant problem — but none has been confirmed. The Standard Model is therefore both the triumph and the boundary of reductionist particle physics: a complete description of the strong, weak, and electromagnetic interactions within its domain, and a clear signpost of the physics that lies beyond it.

Bibliography Master

Primary literature:

Yang, C. N. & Mills, R. L. Conservation of isotopic spin and isotopic gauge invariance. Phys. Rev. 96, 191 (1954). The introduction of non-Abelian gauge theory; the mathematical foundation on which QCD and the electroweak theory are built.
Glashow, S. L. Partial symmetries of weak interactions. Nucl. Phys. 22, 579 (1961). The original $S U (2) \times U (1)$ proposal and the mixing angle.
Higgs, P. W. Broken symmetries, massless particles and gauge fields. Phys. Lett. 12, 132 (1964); Broken symmetries and the masses of gauge bosons. Phys. Rev. Lett. 13, 508 (1964). The Higgs mechanism. Companion papers: Englert, F. & Brout, R. PRL 13, 321 (1964); Guralnik, G. S., Hagen, C. R. & Kibble, T. W. B. PRL 13, 585 (1964).
Weinberg, S. A model of leptons. Phys. Rev. Lett. 19, 1264 (1967). The electroweak theory for leptons with a Higgs doublet; predicts the neutral current.
Salam, A. Weak and electromagnetic interactions. In N. Svartholm (ed.), Elementary Particle Theory, Almqvist & Wiksell, Stockholm (1968), p. 367. The independent statement of the electroweak model.
't Hooft, G. Renormalization of massless Yang-Mills fields. Nucl. Phys. B33, 173 (1971); Renormalizable Lagrangians for massive Yang-Mills fields. Nucl. Phys. B35, 167 (1971). Proof of renormalisability of pure Yang-Mills theory.
't Hooft, G. & Veltman, M. Regularization and renormalization of gauge fields. Nucl. Phys. B44, 189 (1972). Dimensional regularisation and the proof that spontaneously broken gauge theories are renormalisable.
Politzer, H. D. Reliable perturbative results for strong interactions? Phys. Rev. Lett. 30, 1346 (1973). Discovery of asymptotic freedom.
Gross, D. J. & Wilczek, F. Ultraviolet behavior of non-Abelian gauge theories. Phys. Rev. Lett. 30, 1343 (1973). The independent discovery of asymptotic freedom and the QCD beta function.
Georgi, H. & Glashow, S. L. Unity of all elementary particle forces. Phys. Rev. Lett. 32, 438 (1974). The minimal $S U (5)$ grand-unified theory.
Hasert, F. J. et al. (Gargamelle). Search for elastic muon-neutrino electron scattering. Phys. Lett. B 46, 121 (1973). The first observation of the weak neutral current, confirming the $Z$ boson.
Arnison, G. et al. (UA1). Experimental observation of isolated large transverse energy electrons with associated missing energy at $s = 540$ GeV. Phys. Lett. B 122, 103 (1983). Discovery of the $W$ boson.
Abe, F. et al. (CDF). Observation of top quark production at $s = 1.8$ TeV. Phys. Rev. Lett. 74, 2626 (1995). Discovery of the top quark, completing the third generation.
ATLAS Collaboration; CMS Collaboration. Observation of a new particle in the search for the Standard Model Higgs boson. Phys. Lett. B 716, 1 and 30 (2012). Discovery of the Higgs boson at 125 GeV.

Textbook treatments:

Halzen, F. & Martin, A. Quarks and Leptons: An Introductory Course in Modern Particle Physics. Wiley, 1984. The canonical first-course graduate treatment of the electroweak theory and perturbative QCD.
Griffiths, D. Introduction to Elementary Particles. Wiley-VCH, 2nd ed., 2008. An accessible undergraduate-level derivation of the Glashow-Weinberg-Salam model and the parton model.
Peskin, M. E. & Schroeder, D. V. An Introduction to Quantum Field Theory. Westview, 1995. Chs. 15, 16, 18, 20 (electroweak theory, non-Abelian quantisation, QCD and the operator product expansion).
Weinberg, S. The Quantum Theory of Fields, Vol. II: Modern Applications. Cambridge University Press, 1996. Chs. 21–23 (spontaneously broken gauge theories, anomalies, QCD).
Cheng, T.-P. & Li, L.-F. Gauge Theory of Elementary Particle Physics. Oxford University Press, 1984. Chs. 8, 10, 14 (electroweak radiative corrections, grand unification, CP violation).
Schwartz, M. D. Quantum Field Theory and the Standard Model. Cambridge University Press, 2014. A modern graduate treatment integrating electroweak theory and QCD.
Mohapatra, R. N. & Pal, P. B. Massive Neutrinos in Physics and Astrophysics. World Scientific, 3rd ed., 2004. The seesaw mechanism, neutrino oscillations, and the lepton-number-violating sector.

BIBTEX:

@article{Glashow1961,
  author  = {Glashow, Sheldon L.},
  title   = {Partial Symmetries of Weak Interactions},
  journal = {Nuclear Physics B},
  volume  = {22},
  pages   = {579--588},
  year    = {1961},
  doi     = {10.1016/0029-5582(61)90469-2}
}

@article{Weinberg1967,
  author  = {Weinberg, Steven},
  title   = {A Model of Leptons},
  journal = {Physical Review Letters},
  volume  = {19},
  pages   = {1264--1266},
  year    = {1967},
  doi     = {10.1103/PhysRevLett.19.1264}
}

@inproceedings{Salam1968,
  author    = {Salam, Abdus},
  title     = {Weak and Electromagnetic Interactions},
  booktitle = {Elementary Particle Theory},
  editor    = {Svartholm, Nils},
  publisher = {Almqvist and Wiksell},
  address   = {Stockholm},
  pages     = {367},
  year      = {1968}
}

@article{Higgs1964,
  author  = {Higgs, Peter W.},
  title   = {Broken Symmetries and the Masses of Gauge Bosons},
  journal = {Physical Review Letters},
  volume  = {13},
  pages   = {508--509},
  year    = {1964},
  doi     = {10.1103/PhysRevLett.13.508}
}

@article{EnglertBrout1964,
  author  = {Englert, Francois and Brout, Robert},
  title   = {Broken Symmetry and the Mass of Gauge Vector Mesons},
  journal = {Physical Review Letters},
  volume  = {13},
  pages   = {321--323},
  year    = {1964}
}

@article{Guralnik1964,
  author  = {Guralnik, Gerald S. and Hagen, C. R. and Kibble, T. W. B.},
  title   = {Global Conservation Laws and Massless Particles},
  journal = {Physical Review Letters},
  volume  = {13},
  pages   = {585--587},
  year    = {1964}
}

@article{tHooftVeltman1972,
  author  = {'t Hooft, Gerard and Veltman, Martinus},
  title   = {Regularization and Renormalization of Gauge Fields},
  journal = {Nuclear Physics B},
  volume  = {44},
  pages   = {189--213},
  year    = {1972},
  doi     = {10.1016/0550-3213(72)90279-9}
}

@article{Politzer1973,
  author  = {Politzer, H. David},
  title   = {Reliable Perturbative Results for Strong Interactions?},
  journal = {Physical Review Letters},
  volume  = {30},
  pages   = {1346--1349},
  year    = {1973},
  doi     = {10.1103/PhysRevLett.30.1346}
}

@article{GrossWilczek1973,
  author  = {Gross, David J. and Wilczek, Frank},
  title   = {Ultraviolet Behavior of Non-{A}belian Gauge Theories},
  journal = {Physical Review Letters},
  volume  = {30},
  pages   = {1343--1346},
  year    = {1973},
  doi     = {10.1103/PhysRevLett.30.1343}
}

@article{GeorgiGlashow1974,
  author  = {Georgi, Howard and Glashow, Sheldon L.},
  title   = {Unity of All Elementary Particle Forces},
  journal = {Physical Review Letters},
  volume  = {32},
  pages   = {438--441},
  year    = {1974},
  doi     = {10.1103/PhysRevLett.32.438}
}

@article{ATLAS2012,
  author  = {{ATLAS Collaboration}},
  title   = {Observation of a New Particle in the Search for the Standard Model Higgs Boson with the {ATLAS} Detector at the {LHC}},
  journal = {Physics Letters B},
  volume  = {716},
  pages   = {1--29},
  year    = {2012},
  doi     = {10.1016/j.physletb.2012.08.020}
}

@article{CMS2012,
  author  = {{CMS Collaboration}},
  title   = {Observation of a New Boson at a Mass of 125 {GeV} with the {CMS} Experiment at the {LHC}},
  journal = {Physics Letters B},
  volume  = {716},
  pages   = {30--61},
  year    = {2012},
  doi     = {10.1016/j.physletb.2012.08.021}
}

@book{HalzenMartin1984,
  author    = {Halzen, Francis and Martin, Alan},
  title     = {Quarks and Leptons: An Introductory Course in Modern Particle Physics},
  publisher = {Wiley},
  year      = {1984}
}

@book{Griffiths2008,
  author    = {Griffiths, David},
  title     = {Introduction to Elementary Particles},
  edition   = {2},
  publisher = {Wiley-VCH},
  year      = {2008}
}

@book{PeskinSchroeder1995,
  author    = {Peskin, Michael E. and Schroeder, Daniel V.},
  title     = {An Introduction to Quantum Field Theory},
  publisher = {Westview Press},
  year      = {1995}
}

@book{WeinbergVolII1996,
  author    = {Weinberg, Steven},
  title     = {The Quantum Theory of Fields, Volume {II}: Modern Applications},
  publisher = {Cambridge University Press},
  year      = {1996}
}

@book{ChengLi1984,
  author    = {Cheng, Ta-Pei and Li, Ling-Fong},
  title     = {Gauge Theory of Elementary Particle Physics},
  publisher = {Oxford University Press},
  year      = {1984}
}

@book{Schwartz2014,
  author    = {Schwartz, Matthew D.},
  title     = {Quantum Field Theory and the Standard Model},
  publisher = {Cambridge University Press},
  year      = {2014}
}

Prerequisites

12.12.01
12.18.01

Tier anchors

beginner: Carroll, S. — The Particle at the End of the Universe (Houghton Mifflin Harcourt, 2012), Chs. 3-5 (one framework, three forces, the Higgs field and the particle zoo in plain English)
intermediate: Halzen, F. & Martin, A. — Quarks and Leptons: An Introductory Course in Modern Particle Physics (Wiley, 1984), Chs. 6, 9, 14 (electroweak unification and perturbative QCD); Griffiths, D. — Introduction to Elementary Particles (Wiley-VCH, 2008), 2e, Chs. 9, 11 (Glashow-Weinberg-Salam and the parton model)
master: Peskin, M. E. & Schroeder, D. V. — An Introduction to Quantum Field Theory (Westview, 1995), Chs. 15, 16, 18, 20 (electroweak theory, non-Abelian quantisation, QCD and the operator product expansion); Weinberg, S. — The Quantum Theory of Fields, Vol. II: Modern Applications (Cambridge, 1996), Chs. 21-23 (spontaneously broken gauge theories, anomalies, QCD); Cheng, T.-P. & Li, L.-F. — Gauge Theory of Elementary Particle Physics (Oxford, 1984), Chs. 8, 10, 14 (electroweak radiative corrections, GUTs, CP violation)

References

Glashow, S. L. — Partial Symmetries of Weak Interactions · Nucl. Phys. 22, 579-588 (1961). The SU(2)xU(1) gauge proposal unifying electromagnetic and weak interactions; introduces the mixing angle later named after Weinberg.
Weinberg, S. — A Model of Leptons · Phys. Rev. Lett. 19, 1264-1266 (1967). The SU(2)_L x U(1)_Y Lagrangian with a Higgs doublet generating W and Z masses, predicting the neutral current; strong interactions deferred.
Salam, A. — Weak and Electromagnetic Interactions · in N. Svartholm (ed.), Elementary Particle Theory (Almqvist & Wiksell, Stockholm, 1968), p. 367. The independent statement of the SU(2)_L x U(1)_Y electroweak model with spontaneous symmetry breaking.
Higgs, P. W. — Broken Symmetries and the Masses of Gauge Bosons · Phys. Rev. Lett. 13, 508-509 (1964); companion papers Englert-Brout PRL 13, 321 and Guralnik-Hagen-Kibble PRL 13, 585. The mechanism by which a gauge boson acquires mass from a scalar condensate.
Politzer, H. D. — Reliable Perturbative Results for Strong Interactions? · Phys. Rev. Lett. 30, 1346-1349 (1973); companion Gross-Wilczek PRL 30, 1343. The discovery that the non-Abelian beta function of QCD is negative: asymptotic freedom.
't Hooft, G. & Veltman, M. — Regularization and Renormalization of Gauge Fields · Nucl. Phys. B44, 189-213 (1972). Proof that spontaneously broken non-Abelian gauge theories are renormalisable, making the electroweak theory physically credible.
ATLAS Collaboration; CMS Collaboration — Observation of a New Particle / Higgs Boson · Phys. Lett. B 716, 1-29 (2012) and Phys. Lett. B 716, 30-61 (2012). The 2012 LHC discovery of a scalar near 125 GeV, completing the Standard Model particle content.
Georgi, H. & Glashow, S. L. — Unity of All Elementary Particle Forces · Phys. Rev. Lett. 32, 438-441 (1974). The minimal SU(5) grand-unified theory; predicts gauge-coupling unification and proton decay.

Estimated time

beginner: 20 min
intermediate: 50 min
master: 100 min