Theorem
Yang–Mills energy identity
The four-dimensional decomposition of Yang–Mills energy into a topological curvature integral and a nonnegative self-dual or anti-self-dual term.
Statement
Let be a principal bundle with compact structure group over a closed oriented Riemannian four-manifold, and choose an invariant inner product on its Lie algebra. For any connection , write for the Hodge decomposition of its curvature and set . Then
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 lower bound.
Derivation
The Hodge star is an orthogonal involution on two-forms in dimension four. Consequently,
Adding and subtracting these two equalities gives the identity. Chern–Weil theory makes the second integral independent of , so the identity compares connections in one topological bundle class Donaldson–Kronheimer, §2.1.
Equality cases
The two remainder terms are nonnegative. Hence
Equality holds exactly when or , with the choice determined by the sign of the topological term. Thus self-dual and anti-self-dual connections are absolute energy minimizers within their topological class.
For an -bundle with inner product , the instanton number satisfies
so the convention gives .
Conventions and scope
References
- 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.
- 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.