Let P→MP\to M be a 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.