Let PMP\to M be a principal GG-bundle over an oriented , and let AA be a with FAF_A.

The Yang–Mills equation is

dA(FA)=0.d_A(*F_A)=0.

Here * is the , and dAd_A is the on ad(P)\operatorname{ad}(P)-valued forms, which extends the on ordinary forms and satisfies the Bianchi identity dAFA=0d_A F_A=0.

A connection AA satisfying dA(FA)=0d_A(*F_A)=0 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 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
  1. Flat connections. If FA=0F_A=0 then dA(FA)=0d_A(*F_A)=0 automatically.
  2. Abelian reduction. For G=U(1)G=U(1), the equation becomes d(F)=0d(*F)=0, the source-free Maxwell equation for the curvature 2-form FF.
  3. Instantons in dimension 4. On a 4-manifold, any connection with self-dual or anti-self-dual curvature satisfies the Yang–Mills equation because FA=±FA*F_A=\pm F_A and the Bianchi identity gives dA(FA)=±dAFA=0d_A(*F_A)=\pm d_AF_A=0.