Lagrangian (field theory)

• 1. Introduction

  ›

  Lagrangian field theory is a mathematical framework that lets physicists describe everything from gravity to the subatomic particles inside atomic nuclei using a single, unified style of equation. The central object is called the Lagrangian density, a compact expression that encodes almost everything about how a physical field behaves. From it, you can derive the equations of motion, uncover hidden symmetries, and calculate how particles scatter off one another. But what makes this formalism remarkable is not just what it can do in physics. It also solves a long-standing problem: giving quantum field theory a rigorous mathematical foundation. The questions this documentary will explore are why that foundation matters, what the Lagrangian density actually contains, and how a single framework can describe Newtonian gravity, electromagnetism, and the forces that hold quarks together inside a proton.

• 2. The Mathematical Foundation Problem

  ›

  Quantum field theory is, by the frank admission of physicists, infamously beset by formal difficulties that make it unacceptable as a mathematical theory. That is a striking admission for one of the most successful physical theories ever developed. The Lagrangian field theory formalism exists, in part, to address exactly that gap. By treating the fields as classical rather than quantized, physicists can work with definitions and solutions that meet the standards of rigorous mathematics. The Lagrangians used in this classical setting are identical to their quantum counterparts, so no physical content is lost. What is gained is the ability to formulate solutions on spaces with well-characterized properties, such as Sobolev spaces. That technical foothold opens the door to a range of powerful theorems: proofs of existence, uniform convergence of formal series, and the general tools of potential theory. The payoff goes further still. When the geometric structure of a field theory is expressed on Riemannian manifolds and fiber bundles, it becomes possible to apply deeply abstract results from geometry. The Chern-Gauss-Bonnet theorem, the Riemann-Roch theorem, the Atiyah-Singer index theorem, and Chern-Simons theory have all yielded new physical insight through this geometric lens.

• 3. What the Lagrangian Density Contains

  ›

  A Lagrangian density is a function of the fields in a system, their derivatives, and possibly the space and time coordinates themselves. Its terms are not arbitrary; the symmetries of the theory constrain which combinations are allowed. In relativistic theories, every term must be Lorentz invariant. In theories with a gauge field, every term must be gauge invariant. Within those constraints, the terms divide into recognizable types. Terms with two fields and no derivatives are mass terms: they give mass to fields. Terms with two fields and at least one derivative are kinetic terms, which make fields dynamical. Most theories restrict kinetic terms to at most two derivatives, a requirement that preserves probabilities in the quantum version of the theory. Interaction terms contain more than two fields per term, and their coefficients, called coupling constants, set the strength of the interaction. A quartic interaction in a real scalar field theory, for instance, gives rise to scattering processes in which two scalar fields deflect each other. Tadpole terms, those with only one field, can usually be removed by redefining the fields through a shift, provided the theory has translational symmetries. At the other extreme, constant terms with no fields at all have no physical consequences in non-gravitational theories. In gravitational systems, however, constants are multiplied by the metric determinant and couple to spacetime itself, playing the role of the cosmological constant and directly affecting dynamics at both the classical and quantum level.

• 4. From Gravity to Electromagnetism

  ›

  Newtonian gravity was one of the first physical systems to be cast in Lagrangian field-theory language. The Lagrangian density for it contains the gravitational potential, a mass density measured in kilograms per cubic meter, and the gravitational constant expressed in cubic meters per kilogram per second squared. Varying that density with respect to the potential and integrating by parts yields Gauss's law for gravity directly. Electromagnetism admits a similarly clean treatment. A charged point particle interacting with the electromagnetic field is replaced by a continuous charge density, measured in ampere-seconds per cubic meter, and a current density measured in amperes per square meter. Varying the resulting Lagrangian density with respect to the scalar potential gives Gauss's law; varying it with respect to the vector potential gives Ampere's law. In tensor notation, the electric and magnetic fields are packaged into the electromagnetic tensor, and Maxwell's equations emerge compactly, with the Levi-Civita tensor making an explicit appearance. Written this way, it is apparent that classical electromagnetism is a Lorentz-invariant theory. The electromagnetic potential can further be understood as an affine connection on a circle bundle over Minkowski spacetime, meaning all the effects and equations of classical electrodynamics follow from the geometry of that bundle alone, with no quantization required.

• 5. Unifying the Forces

  ›

  The Yang-Mills equations extend the electromagnetic picture to arbitrary Lie groups. The Standard Model of particle physics uses a specific such group, though the general case is of independent mathematical interest. In either setting, the classical formulation is complete without any quantization. Despite their historical origin in quantum field theory, the Yang-Mills equations are purely classical statements about gauge fields on bundles. One dimension lower, the same geometric ideas produce the Chern-Simons functional, explored in physics as a toy model for the geometric phenomena expected to appear in a Grand Unified Theory. The Ginzburg-Landau Lagrangian combines the scalar field Lagrangian with the Yang-Mills action; its order parameter corresponds both to the condensate in a superconductor and to the Higgs field after recognizing that its potential is the Sombrero hat shape. Quantum electrodynamics, QED, combines the Dirac field Lagrangian with the electrodynamics Lagrangian in a gauge-invariant way; despite the word quantum in its name, it can be written as a purely classical field of anti-commuting Weyl spinors derived from first principles via a Clifford algebra. Quantum chromodynamics, QCD, does the same for quarks, combining massive Dirac spinors with the Yang-Mills action; the index n runs over the six quark types, and the gluon field strength tensor carries the dynamics of the strong force.

• 6. General Relativity and Its Geometry

  ›

  The Lagrange density for general relativity includes the cosmological constant, the curvature scalar formed by contracting the Ricci tensor with the metric tensor, and the Ricci tensor itself formed by contracting the Riemann tensor with a Kronecker delta. The integral of that density is the Einstein-Hilbert action. Substituting it into the Euler-Lagrange equations and taking the metric tensor as the field directly yields the Einstein field equations. The Riemann tensor plays a specific role in this picture: it is the tidal force tensor, the thing that describes the gravitational force field that moving bodies feel. More precisely, there is no force field in the traditional sense; bodies follow geodesics on the manifold described by the connection. General relativity can also be written in a form that makes it resemble Yang-Mills theory, by choosing the Lie group SO(3,1) for the frame fields. Electromagnetism on a curved spacetime is handled by replacing the flat Minkowski metric in the electromagnetic Lagrangian with a general metric. Solving both Einstein's and Maxwell's equations around a spherically symmetric mass distribution in free space leads to the Reissner-Nordstrom charged black hole. One approach to unifying electromagnetism and gravity introduces a fifth dimension and constructs an affine bundle, which is Kaluza-Klein theory. The factorization that the seven-sphere can be written as a product of the four-sphere and the three-sphere, and that the eleven-sphere is a product of the four-sphere and the seven-sphere, generated early excitement that a theory of everything might be within reach. The seven-sphere, however, proved not large enough to contain the full Standard Model.

• 7. Sigma Models and Solitons

  ›

  The sigma model describes a scalar point particle constrained to move on a Riemannian manifold such as a circle or a sphere. It generalizes the simpler case of scalar and vector fields constrained to flat space. The Lagrangian can be written in three equivalent forms: one using a differential, one with the Riemannian metric on the field manifold, and one involving the Lie group SU(N), which can be replaced by any Lie group or, more generally, by a symmetric space. The trace that appears in the third form is the Killing form in disguise, providing a quadratic structure on the field manifold. The Lagrangian is then the pullback of that form to the base spacetime, or equivalently, the pullback of the Maurer-Cartan form. Sigma models generically admit topological soliton solutions, field configurations that are stable because of their global topology rather than any local minimum. The most famous of these is the Skyrmion, which serves as a model of the nucleon and has, as the source notes, withstood the test of time. The BF model, short for Background Field, sits at the opposite extreme: on flat spacetime it has trivial dynamics, but on a topologically non-trivial spacetime it admits non-trivial classical solutions interpretable as solitons or instantons, forming the foundation for topological field theories.