Yang–Mills equation
The Euler–Lagrange equation for the Yang–Mills functional, expressed as a covariant divergence-free condition on curvature.
Let be a principal -bundle over an oriented Riemannian manifold, and let be a principal connection with curvature .
The Yang–Mills equation is
Here is the Hodge star, and is the covariant exterior derivative on -valued forms, which extends the exterior derivative on ordinary forms and satisfies the Bianchi identity .
A connection satisfying is called a Yang–Mills connection.
Variational interpretation
If the Lie algebra carries an Ad-invariant positive-definite inner product, this is the Euler–Lagrange equation of the Yang–Mills functional on a closed manifold. On a noncompact manifold the same local equation follows for finite-energy connections under compactly supported variations; boundaries require boundary conditions or variations supported away from the boundary.
Examples
- Flat connections. If then automatically.
- Abelian reduction. For , the equation becomes , the source-free Maxwell equation for the curvature 2-form .
- Instantons in dimension 4. On a 4-manifold, any connection with self-dual or anti-self-dual curvature satisfies the Yang–Mills equation because and the Bianchi identity gives .