Gauge Theories

Of all the principles in modern physics, local gauge invariance may be the most powerful. It is the organizing principle behind every fundamental force except gravity (and even gravity can be viewed in a gauge-theoretic light). The idea is remarkably constraining: demand that the laws of physics be unchanged under certain local symmetry transformations, and the entire structure of the interactions (the force-carrying particles, their couplings, and even the form of the Lagrangian) is determined. Symmetry dictates dynamics.

From Global to Local: QED as a Gauge Theory

The free Dirac Lagrangian for an electron is:

$$\mathcal{L} = \bar{\psi}(i\gamma^\mu\partial_\mu - m)\psi$$

This is invariant under a global $U(1)$ transformation, multiplying $\psi$ by a constant phase:

$$\psi(x) \to e^{i\alpha}\psi(x), \qquad \bar{\psi}(x) \to e^{-i\alpha}\bar{\psi}(x)$$

Now demand local invariance: let $\alpha$ depend on the spacetime point, $\alpha \to \alpha(x)$. The derivative term breaks this symmetry because $\partial_\mu(e^{i\alpha(x)}\psi) = e^{i\alpha(x)}(\partial_\mu + i\partial_\mu\alpha)\psi$. The extra term $i(\partial_\mu\alpha)\psi$ spoils the invariance.

The fix: replace the ordinary derivative with the covariant derivative:

$$D_\mu = \partial_\mu + ieA_\mu$$

where $A_\mu$ is a new field, the electromagnetic potential, that transforms as:

$$A_\mu \to A_\mu - \frac{1}{e}\partial_\mu\alpha$$

A mass term $\frac{1}{2}m_\gamma^2 A_\mu A^\mu$ for the photon would violate gauge invariance, which is why the photon is massless. Gauge symmetry does not merely describe the interaction. It explains why the photon has zero mass.

Yang-Mills Theory: Non-Abelian Gauge Fields

QED is based on $U(1)$, the simplest gauge group. In 1954, Yang and Mills asked: what happens with more complex symmetry groups? Consider a field that transforms under $SU(N)$, carrying an internal index $i = 1, \ldots, N$. A local $SU(N)$ transformation is:

$$\psi_i(x) \to U_{ij}(x)\psi_j(x), \qquad U(x) = e^{ig\alpha^a(x)T^a}$$

where $T^a$ are the $N^2 - 1$ generators of $SU(N)$ (traceless Hermitian matrices), and $g$ is the coupling constant. The covariant derivative now requires $N^2 - 1$ gauge fields $A_\mu^a$:

$$D_\mu = \partial_\mu + igA_\mu^a T^a$$

The field strength tensor becomes:

$$F_{\mu\nu}^a = \partial_\mu A_\nu^a - \partial_\nu A_\mu^a - gf^{abc}A_\mu^b A_\nu^c$$

where $f^{abc}$ are the structure constants of the Lie algebra: $[T^a, T^b] = if^{abc}T^c$.

Gauge Boson Self-Interactions

The critical new feature of non-abelian gauge theories is the term $-gf^{abc}A_\mu^b A_\nu^c$ in the field strength. When we form the Yang-Mills Lagrangian:

$$\mathcal{L}_\text{YM} = -\frac{1}{4}F_{\mu\nu}^a F^{a\mu\nu}$$

the $F^2$ term contains cubic and quartic self-interactions of the gauge bosons:

$$\mathcal{L}_\text{YM} \supset -gf^{abc}(\partial_\mu A_\nu^a)A^{b\mu}A^{c\nu} - \frac{g^2}{4}f^{abc}f^{ade}A_\mu^b A_\nu^c A^{d\mu}A^{e\nu}$$

Gauge bosons interact with each other! Photons, being abelian ($U(1)$), do not self-interact. But gluons (the $SU(3)$ gauge bosons of QCD) carry color charge and interact with other gluons. This self-interaction is responsible for both asymptotic freedom and color confinement.

The Gauge Theory Zoo

Force	Gauge Group	Gauge Bosons	Charges
Electromagnetic	$U(1)$	Photon (1)	Electric charge
Weak	$SU(2)$	$W^\pm$, $Z^0$ (3)	Weak isospin
Strong	$SU(3)$	8 gluons	Color (r, g, b)
Electroweak	$SU(2) \times U(1)$	$W^\pm$, $Z^0$, $\gamma$ (4)	Isospin + hypercharge
Standard Model	$SU(3) \times SU(2) \times U(1)$	12 total	Color + isospin + hypercharge

Spontaneous Symmetry Breaking

Gauge invariance requires gauge bosons to be massless, but the $W^\pm$ and $Z^0$ bosons have masses of about 80 and 91 GeV respectively. How can a gauge theory have massive gauge bosons? The answer involves one of the most beautiful ideas in theoretical physics: spontaneous symmetry breaking.

A symmetry is "spontaneously broken" when the equations of motion are symmetric but the ground state is not. Consider a scalar field $\phi$ with the "Mexican hat" potential:

$$V(\phi) = -\mu^2|\phi|^2 + \lambda|\phi|^4$$

The potential is symmetric under $\phi \to e^{i\alpha}\phi$, but the minimum is not at $\phi = 0$. Instead, the field sits in a circle of minima at $|\phi| = v/\sqrt{2}$ where $v = \mu/\sqrt{\lambda}$ is the vacuum expectation value.

Goldstone's Theorem

When a continuous symmetry is spontaneously broken, there appear massless scalar particles, one for each broken generator. These are Goldstone bosons.

In the Mexican hat potential, the field can roll along the valley of minima at no energy cost. These flat-direction fluctuations are the massless Goldstone modes. Fluctuations up the hill (radial direction) cost energy and correspond to a massive particle.

The Higgs Mechanism

Something remarkable happens when spontaneous symmetry breaking occurs in a gauge theory. The Goldstone bosons do not appear as physical particles. Instead, they are "eaten" by the gauge bosons, which acquire mass in the process. This is the Higgs mechanism.

Consider a complex scalar field $\phi$ coupled to a $U(1)$ gauge field $A_\mu$:

$$\mathcal{L} = |D_\mu\phi|^2 - V(\phi) - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}$$

When $\phi$ acquires a vacuum expectation value $\langle\phi\rangle = v/\sqrt{2}$, the covariant derivative kinetic term generates a mass for the gauge boson:

$$|D_\mu\phi|^2 \supset \frac{1}{2}(ev)^2 A_\mu A^\mu \equiv \frac{1}{2}m_A^2 A_\mu A^\mu$$

The gauge boson mass is $m_A = ev$. The would-be Goldstone boson becomes the longitudinal polarization of the now-massive gauge field. A massless vector has 2 polarization states; a massive vector has 3. The extra degree of freedom comes from the eaten Goldstone boson.

The Standard Model as a Gauge Theory

The entire Standard Model of particle physics is a gauge theory based on the group:

$$G_\text{SM} = SU(3)_C \times SU(2)_L \times U(1)_Y$$

$SU(3)_C$ gives 8 massless gluons mediating the strong force. $SU(2)_L \times U(1)_Y$ gives 4 electroweak gauge bosons, of which 3 ($W^\pm$, $Z^0$) acquire mass through the Higgs mechanism while one ($\gamma$) remains massless. All matter particles (quarks and leptons) are fermion fields transforming under specific representations of this gauge group.

The gauge principle has become the language of fundamental physics. Every known fundamental interaction (except possibly gravity) is a gauge theory. The program of the last half-century has been to identify the correct gauge group and matter content, and it has been spectacularly successful.

Key Insights

• Local gauge invariance is the organizing principle of fundamental physics. It requires the existence of force-carrying gauge bosons and determines their interactions
• QED arises from local $U(1)$ invariance; the photon exists because we demanded this symmetry
• Non-abelian (Yang-Mills) gauge theories based on $SU(N)$ have gauge bosons that interact with each other. This self-interaction leads to asymptotic freedom and confinement in QCD
• Spontaneous symmetry breaking occurs when the ground state has less symmetry than the Lagrangian; Goldstone's theorem guarantees massless bosons for each broken continuous symmetry
• The Higgs mechanism gives mass to gauge bosons when spontaneous symmetry breaking occurs in a gauge theory. The Goldstone bosons are eaten by the gauge fields
• The entire Standard Model is a gauge theory: $SU(3)_C \times SU(2)_L \times U(1)_Y$, with the electroweak part broken by the Higgs mechanism

Looking Ahead

With quantum field theory and gauge theories in hand, we are ready to explore the Standard Model itself, the specific realization of these ideas that describes all known particles and their interactions. We will examine the particle content, the electroweak unification, quantum chromodynamics, and the open questions that point beyond our current understanding. The gauge principle has brought us remarkably far; where it leads next is one of the great questions of physics.