Statement

Let PXP\to X be a with compact structure group over a closed oriented Riemannian four-manifold, and choose an invariant on its . For any connection AA, write FA=FA++FAF_A=F_A^++F_A^- for the Hodge decomposition of its and set YM(A)=12FAL22\operatorname{YM}(A)=\tfrac12\|F_A\|_{L^2}^2. Then

YM(A)=12XFAFA+FAL22=12XFAFA+FA+L22.\operatorname{YM}(A) =\frac12\int_X\langle F_A\wedge F_A\rangle+\|F_A^-\|_{L^2}^2 =-\frac12\int_X\langle F_A\wedge F_A\rangle+\|F_A^+\|_{L^2}^2.

The curvature integral is topological after an integral normalization of the inner product. These identities hold for every smooth connection and immediately imply a sharp .

Derivation

The is an orthogonal involution on two-forms in dimension four. Consequently,

FAL22=FA+L22+FAL22,XFAFA=FA+L22FAL22.\|F_A\|_{L^2}^2=\|F_A^+\|_{L^2}^2+\|F_A^-\|_{L^2}^2, \qquad \int_X\langle F_A\wedge F_A\rangle =\|F_A^+\|_{L^2}^2-\|F_A^-\|_{L^2}^2.

Adding and subtracting these two equalities gives the identity. makes the second integral independent of AA, so the identity compares connections in one topological bundle class Donaldson–Kronheimer, §2.1.

Equality cases

The two remainder terms are nonnegative. Hence

YM(A)12XFAFA.\operatorname{YM}(A)\geq \frac12\left|\int_X\langle F_A\wedge F_A\rangle\right|.

Equality holds exactly when FA=0F_A^-=0 or FA+=0F_A^+=0, with the choice determined by the sign of the topological term. Thus are absolute energy minimizers within their topological class.

For an SU(r)SU(r)-bundle with inner product ξ,η=tr(ξη)\langle\xi,\eta\rangle=-\operatorname{tr}(\xi\eta), the satisfies

k=18π2Xtr(FAFA),k=-\frac{1}{8\pi^2}\int_X\operatorname{tr}(F_A\wedge F_A),

so the convention YM(A)=12FA2\operatorname{YM}(A)=\tfrac12\|F_A\|^2 gives YM(A)4π2k\operatorname{YM}(A)\geq4\pi^2|k|.

Conventions and scope
References
  1. Simon K. Donaldson and Peter B. Kronheimer, The Geometry of Four-Manifolds, Oxford University Press, 1990. DOI record. Relevant: §2.1, curvature decomposition and the topological energy bound.
  2. Daniel S. Freed and Karen K. Uhlenbeck, Instantons and Four-Manifolds, 2nd ed., Springer, 1991. DOI record. Relevant: Chapter 2, Chern–Weil normalization and Yang–Mills energy.