Chapter 17: Lie Groups & the Standard Model

Sophus Lie and Continuous Symmetry

Marius Sophus Lie (1842–1899) was a Norwegian mathematician who set out to do for differential equations what Galois had done for polynomial equations: classify their solutions through symmetry. Where Galois worked with finite permutation groups, Lie needed a theory of continuous transformation groups — groups whose elements could be labeled by continuously varying parameters.

A Lie group is simultaneously a group and a smooth manifold, where the group operations (multiplication and inversion) are smooth maps. The rotation group SO(3) is a 3-dimensional manifold; the unitary group U(n) is an \(n^2\)-dimensional manifold. These groups encode the continuous symmetries of physical systems.

Lie's deepest insight was that to understand a continuous group, one should study its behavior infinitesimally — near the identity element. This linearization produces a Lie algebra, and the algebra encodes almost all information about the group.

Lie Algebras: Infinitesimal Generators

The Lie algebra \(\mathfrak{g}\) of a Lie group \(G\) is the tangent space at the identity, equipped with the Lie bracket. For matrix groups, elements of the Lie group near the identity take the form:

where \(T\) is a generator (an element of the Lie algebra). The structure of the algebra is encoded in the commutation relations, the Lie bracket:

The structure constants \(f_{abc}\) completely characterize the Lie algebra. For SU(2) (the rotation algebra), they are the Levi-Civita symbol\(\epsilon_{abc}\), giving \([J_i, J_j] = i\epsilon_{ijk}J_k\)— the familiar angular momentum commutation relations of quantum mechanics.

Classification of Simple Lie Algebras (Killing & Cartan)

Wilhelm Killing (1888) and Élie Cartan (1894) achieved one of the great classification theorems of mathematics: every simple (non-abelian, no proper ideals) complex Lie algebra belongs to one of finitely many families.

This finite list exhausts all possible simple symmetry algebras. The fact that nature chose groups from this list — specifically A-type and exceptional algebras — is a deep constraint that any unified theory must explain.

Yang-Mills Theory (1954): Non-Abelian Gauge Fields

In 1954, Chen-Ning Yang and Robert Mills generalized Maxwell's electrodynamics to non-abelian gauge groups. In electrodynamics, the gauge transformation is\(A_\mu \to A_\mu + \partial_\mu \alpha\) with a U(1) phase. Yang and Mills promoted this to a non-abelian group: the gauge field \(A_\mu\)takes values in a Lie algebra, and the field strength is:

The non-abelian commutator \([A_\mu, A_\nu]\) means the gauge bosons interact with themselves — gluons carry color charge and interact with other gluons, unlike photons. The Yang-Mills Lagrangian is:

This elegant formula, which generalizes Maxwell's \(-\frac{1}{4}F_{\mu\nu}F^{\mu\nu}\), is the core of the entire Standard Model. The choice of gauge group determines which forces exist and how they behave.

The Standard Model Gauge Group

The gauge group of the Standard Model is:

Each factor corresponds to a fundamental force:

The Higgs Mechanism: Spontaneous Symmetry Breaking

Yang-Mills gauge bosons are massless — mass terms \(m^2 A_\mu A^\mu\)break gauge invariance. But the W and Z bosons are massive (\(m_W \approx 80\)GeV, \(m_Z \approx 91\) GeV). The resolution is the Higgs mechanism: the Higgs field \(\phi\) has a Mexican-hat potential:

The minimum is at \(|\phi|^2 = \mu^2 / 2\lambda \equiv v^2/2\), so the field acquires a vacuum expectation value \(\langle\phi\rangle = v/\sqrt{2}\). This breaks \(\text{SU}(2)_L \times \text{U}(1)_Y \to \text{U}(1)_{\text{em}}\): three gauge bosons (W±, Z) eat the Goldstone modes and become massive, leaving the photon massless. The remaining physical Higgs boson was discovered at CERN in 2012.

Representation Theory: Particles Are Representations

In quantum mechanics, a symmetry group \(G\) acts on the Hilbert space by a unitary representation. An irreducible representation (irrep) is a minimal invariant subspace. Particles are classified by which irrep of the gauge group they belong to.

A quark is a field that transforms in the \(\mathbf{3}\) of SU(3) (three color charges: red, green, blue), the \(\mathbf{2}\) of SU(2) (isospin doublet for left-handed quarks), with specific U(1) hypercharge. The full quantum numbers of every particle in the Standard Model are an assignment of representations:

The Bridge: Abstract Algebra Organizes All of Physics

The Standard Model is not a collection of empirical facts bolted together; it is a precise mathematical structure: a Yang-Mills gauge theory with gauge group\(\text{SU}(3) \times \text{SU}(2) \times \text{U}(1)\), matter fields in specific representations, and a Higgs doublet that breaks the electroweak symmetry. The entire zoo of hundreds of particles and interactions — quarks, gluons, leptons, W and Z bosons, the Higgs — is organized by group theory.

This is the most powerful application of abstract algebra to physics in history. Sophus Lie, working on differential equations in the 1870s, could not have imagined that his continuous groups would one day classify every fundamental particle and force in nature.