BPST instanton and the Bogomolny bound

Intuition [Beginner]

A gauge field on four-dimensional space carries a curvature, and the Yang-Mills action measures the total squared size of that curvature. Some fields are forced by topology to carry curvature: they wrap around the space in a way that cannot be undone. For such fields, the action cannot drop below a definite floor set by how much wrapping they do.

The Bogomolny bound is the statement of that floor. It says: in any topological wrapping class, the action is at least $8{\pi }^2$ times the wrapping number. The fields that hit the floor exactly — that are as low-energy as their topology allows — are special. They satisfy a stronger first-order equation, not the usual second-order field equation. Physicists call them instantons.

The BPST instanton is the simplest example: an explicit gauge field on four-dimensional space discovered in 1975 by Belavin, Polyakov, Schwartz, and Tyupkin. It has wrapping number one, hits the floor at $8{\pi }^2$, and is concentrated near a point with a scale you can adjust.

Visual [Beginner]

Picture a height map over four-dimensional space whose value at each point is the squared curvature size. For a generic field the map looks random and spreads its mass everywhere. For an instanton the mass concentrates into a single bump centred at a chosen point, falling off like one over a fourth power at large distance.

The bump's total integrated mass is the action. It does not depend on where you place the bump or how wide you make it. The action is locked at $8{\pi }^2$ by topology, even as the shape changes.

Worked example [Beginner]

Take the BPST instanton on four-dimensional Euclidean space, centred at the origin with scale parameter $\lambda =1$. The squared field strength at a point $x$ depends only on the radial distance $r=|x|$ and equals $$ 96 / (1 + r^2)^4. $$ The total action is the volume integral of this density, and we compute it by reducing to one dimension using spherical symmetry.

Step 1. Pass to spherical coordinates. The four-dimensional volume of a thin spherical shell at radius $r$ is $2{\pi }^2{r}^{3}dr$.

Step 2. So the total mass becomes a one-dimensional radial integral with integrand $96\cdot 2{\pi }^2\cdot r^3/(1+r^2{)}^4$, written compactly as $192{\pi }^2\cdot r^3/(1+r^2{)}^4$ integrated over $r$ from $0$ to infinity.

Step 3. Substitute $u=1+r^2$, so the integration variable runs from $1$ to infinity. The radial integral evaluates to $1/12$ by elementary calculus (the antiderivative of $(u-1)/u^4$ is $-1/(2u^2)+1/(3u^3)$).

Step 4. Multiply: the total integrated squared curvature is $192{\pi }^2\cdot 1/12=16{\pi }^2$. With the standard convention that the action is half the integrated squared curvature, the Yang-Mills action equals $8{\pi }^2$.

What this tells us: the answer is independent of the scale you chose. A wider or narrower bump would have produced the same total action of $8{\pi }^2$. The topological wrapping number is one, and the Bogomolny bound is hit exactly.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $P\to M$ be a principal $\mathrm{SU}(2)$-bundle over a compact oriented Riemannian four-manifold $M$, and fix the $\mathrm{Ad}$-invariant inner product $⟨X,Y⟩=-\frac{1}{2}\mathrm{tr}(XY)$ on $\mathfrak{su}(2)$ (the negative trace form on the defining representation, normalised so the standard generators have unit length). A connection $A$ on $P$ has curvature $F_A\in {\Omega }^2(M;\mathrm{ad}P)$ 03.05.09.

In dimension four the Hodge star satisfies ${\ast }^2=+1$ on two-forms, so ${\Omega }^2(M;\mathrm{ad}P)$ splits as a direct sum $$ \Omega^2(M; \operatorname{ad} P) = \Omega^2_+(M; \operatorname{ad} P) \oplus \Omega^2_-(M; \operatorname{ad} P) $$ into the $\pm 1$ eigenspaces. Curvature decomposes correspondingly as $F_A=F_A^{+}+F_A^{-}$.

Definition (self-dual and anti-self-dual connections). A connection $A$ is anti-self-dual (ASD) if $F_A^{+}=0$, equivalently $\ast F_A=-F_A$. It is self-dual if $F_A^{-}=0$, equivalently $\ast F_A=F_A$.

Definition (topological charge / second Chern number). The second Chern number of $P$ is the integer $$ k = c_2(P)[M] = \frac{1}{8\pi^2}\int_M \operatorname{tr}(F_A \wedge F_A). $$ The integral is independent of $A$ by Chern-Weil theory 03.06.06, and it takes integer values on a principal $\mathrm{SU}(2)$-bundle 03.06.04. With the positive-definite inner product $⟨X,Y⟩=-\mathrm{tr}(XY)$ on $\mathfrak{su}(2)$, an anti-self-dual connection ($F^{+}=0$) has $k\ge 0$ and a self-dual connection ($F^{-}=0$) has $k\le 0$.

Definition (Yang-Mills action). The Yang-Mills action is $$ \operatorname{YM}(A) = \tfrac{1}{2}\int_M |F_A|^2 , d!\operatorname{vol} = \tfrac{1}{2}\int_M \langle F_A \wedge * F_A \rangle $$ 03.07.05. The pointwise squared norm splits along the Hodge eigenspaces: $$ |F_A|^2 = |F_A^+|^2 + |F_A^-|^2. $$

Sign convention used here. We work with ${\ast }^2=+1$ on two-forms over an oriented Riemannian four-manifold (the standard convention of Donaldson-Kronheimer §2.1 and Freed-Uhlenbeck §3); we measure curvature in the convention $F=dA+A\wedge A$; and we orient $M$ so that ${\int }_M\mathrm{tr}(F\wedge F)\ge 0$ on ASD connections. Reversing the orientation swaps self-dual and anti-self-dual, swaps the signs of $k$, and exchanges the cases of the Bogomolny bound.

Definition (instanton). An instanton on ${\mathbb{R}}^4$ is a smooth connection $A$ on the product bundle $P={\mathbb{R}}^4\times \mathrm{SU}(2)$ that is either self-dual or anti-self-dual and has finite action $\mathrm{YM}(A)<\infty$. Finite action forces a topological compactification: every finite-action smooth instanton on ${\mathbb{R}}^4$ extends, after gauge transformation, to a smooth connection on a principal bundle over the conformal compactification $S^4={\mathbb{R}}^4\cup \{\infty \}$ (Uhlenbeck removable singularities, 1982); the bundle's second Chern number is what we have been calling $k$.

Counterexamples to common slips

• Both signs of duality are Yang-Mills, and the Bogomolny bound applies symmetrically. The convention "instantons are anti-self-dual" is the Donaldson-Kronheimer convention; with the opposite orientation, the same field becomes self-dual. Statements like "instantons have positive charge" are convention-dependent and the convention must be declared.
• The Bogomolny bound is sharp only at the level of the action functional. Strict-inequality fields exist in every topological class — generic critical points of $\mathrm{YM}$ on ${\mathcal{M}}_k$ may exceed the bound. The bound is saturated only on (anti-)self-dual connections.
• The BPST instanton at scale $\lambda \to 0$ becomes a delta-like spike; at $\lambda \to \infty$ it spreads out into the flat connection. Both limits leave the moduli space of smooth $k=1$ instantons. The moduli space is open and non-compact; closing it requires ideal instantons (Uhlenbeck compactification).
• The 't Hooft tensors ${\bar{\eta }}_{\mu \nu }^a$ that define the BPST instanton are a basis of self-dual (or anti-self-dual, depending on sign) tensors at the origin, but they are not the same as the spin-connection on $S^4$. Confusing the two is a common slip when reading older physics literature.

Key theorem with proof [Intermediate+]

Theorem (Bogomolny bound). Let $P\to M$ be a principal $\mathrm{SU}(2)$-bundle over a compact oriented Riemannian four-manifold, and let $k=c_2(P)$ be its second Chern number. For every connection $A$ on $P$, $$ \operatorname{YM}(A) \geq 8\pi^2 |k|, $$ with equality if and only if $A$ is anti-self-dual (for $k\ge 0$) or self-dual (for $k\le 0$) ^{[Atiyah Pisa 1979 Ch. 1]}.

Proof. Fix the Atiyah-Donaldson-Kronheimer normalisation: the positive-definite inner product on $\mathfrak{su}(2)$ is $⟨X,Y⟩=-\mathrm{tr}(XY)$, the Yang-Mills action is $\mathrm{YM}(A)={\int }_M|F_A{|}^{2}d\mathrm{vol}$ (without the factor of $\frac{1}{2}$), and the second Chern number is $c_2=\frac{1}{8{\pi }^2}{\int }_M\mathrm{tr}(F_A\wedge F_A)$. Returning to the half-action convention scales both sides of the bound by $\frac{1}{2}$ and changes the constant in the bound to $4{\pi }^2|k|$; the choice of normalisation amounts to a convention on the inner-product trace factor.

With this normalisation, $|F_A{|}^2=|F_A^{+}{|}^2+|F_A^{-}{|}^2$ pointwise, so $$ \operatorname{YM}(A) = \int_M (|F_A^+|^2 + |F_A^-|^2) , d!\operatorname{vol}. $$ On the other hand, $\ast F_A^{+}=F_A^{+}$ and $\ast F_A^{-}=-F_A^{-}$, and using $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩d\mathrm{vol}$ together with $⟨X,Y⟩=-\mathrm{tr}(XY)$, $$ \operatorname{tr}(F_A^+ \wedge F_A^+) = \operatorname{tr}(F_A^+ \wedge * F_A^+) = -|F_A^+|^2 , d!\operatorname{vol}, $$ $$ \operatorname{tr}(F_A^- \wedge F_A^-) = \operatorname{tr}(F_A^- \wedge * (-F_A^-)) = |F_A^-|^2 , d!\operatorname{vol}, $$ and the cross terms $\mathrm{tr}(F_A^{\pm }\wedge F_A^{\mp })$ vanish by orthogonality of ${\Lambda }_{+}^2$ and ${\Lambda }_{-}^2$. Therefore $$ \int_M \operatorname{tr}(F_A \wedge F_A) = \int_M (|F_A^-|^2 - |F_A^+|^2) , d!\operatorname{vol}, \qquad 8\pi^2 k = \int_M (|F_A^-|^2 - |F_A^+|^2) , d!\operatorname{vol}. \tag{$\star$} $$

Adding equation $(\star )$ to the action identity gives $\mathrm{YM}(A)+8{\pi }^{2}k=2{\int }_M|F_A^{-}{|}^{2}d\mathrm{vol}\ge 0$, hence $\mathrm{YM}(A)\ge -8{\pi }^{2}k$. Subtracting gives $\mathrm{YM}(A)-8{\pi }^{2}k=2{\int }_M|F_A^{+}{|}^{2}d\mathrm{vol}\ge 0$, hence $\mathrm{YM}(A)\ge 8{\pi }^{2}k$. Combining, $$ \operatorname{YM}(A) \geq 8\pi^2 |k|, $$ with equality iff $F_A^{+}\equiv 0$ (anti-self-dual, $k\ge 0$) or $F_A^{-}\equiv 0$ (self-dual, $k\le 0$). $\square$

Bridge. The Bogomolny bound builds toward 03.07.05 (Yang-Mills action), where the Synthesis paragraph already stated this bound and used it to motivate ASD connections as absolute minimisers of $\mathrm{YM}$ in a fixed topological sector. The foundational reason a first-order equation governs the minimisers is exactly the four-dimensional Hodge-star identity ${\ast }^2=+1$ on two-forms, which gives the eigenspace splitting ${\Omega }^2={\Omega }_{+}^2\oplus {\Omega }_{-}^2$; the central insight is that squared length minus a signed area is bounded below by zero — the same identity that puts the BPS bound on supersymmetric solitons. This pattern appears again in 03.09.10 (Atiyah-Singer index theorem), where $k=c_2$ appears as the index of the chiral Dirac operator twisted by the instanton bundle, identifying the second Chern number with a Fredholm-analytic dimension count. Putting these together, the bridge is the recognition that the Bogomolny bound, the ASD equation, the Chern-Weil normalisation, and the index-theoretic dimension count of the moduli space all encode the same four-dimensional phenomenon: ${\Lambda }^2{T}^{\ast }M={\Lambda }^{+}\oplus {\Lambda }^{-}$. The bridge from Yang-Mills to Donaldson theory is the recognition that minimisers in each topological class are ASD, that the moduli space of ASD connections is finite-dimensional, and that its smooth-manifold invariants are diffeomorphism invariants of $M$ — this pattern recurs in 03.08.04 (classifying space) where instanton bundles are framed as maps $S^4\to BG$.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none. Mathlib has scattered support for differential forms on smooth manifolds but does not carry principal-bundle connections, Hodge stars on vector-bundle-valued forms, or the Chern-Weil normalisation needed to even state the Bogomolny bound. The closest existing infrastructure is in the Mathlib.Geometry.Manifold.* namespace, which supports smooth manifolds and tangent bundles but not principal $G$-bundles. The required formalisation reads schematically:

import Mathlib.Geometry.Manifold.SmoothManifoldWithCorners

/-- Placeholder. Mathlib lacks principal G-bundles, ad-bundles,
the four-dimensional Hodge star, and Chern-Weil. -/
axiom PrincipalBundle (G : Type) (M : Type) : Type
axiom Connection {G M : Type} (P : PrincipalBundle G M) : Type
axiom curvature {G M : Type} {P : PrincipalBundle G M} (A : Connection P) : Type
axiom ASD {G M : Type} {P : PrincipalBundle G M} (A : Connection P) : Prop
axiom YM {G M : Type} {P : PrincipalBundle G M} (A : Connection P) : Real
axiom c2 {M : Type} {P : PrincipalBundle (SpecialUnitary 2) M} : Int

-- The Bogomolny bound, stated.
axiom bogomolny_bound {M : Type} (P : PrincipalBundle (SpecialUnitary 2) M)
    (A : Connection P) : YM A ≥ 8 * Real.pi^2 * Int.natAbs (c2 (P := P))

The substantive gap is the entire principal-bundle-with-connection framework in Lean 4. Donaldson-Floer-type material remains an aspirational formalisation target; even the four-manifold Hodge star on two-forms (with its $\pm 1$ eigenspace decomposition) is unbuilt.

Advanced results [Master]

Theorem (BPST one-instanton; Belavin-Polyakov-Schwartz-Tyupkin 1975). On the product principal $\mathrm{SU}(2)$-bundle over ${\mathbb{R}}^4$, the connection $$ A_\mu(x) = \frac{(x - x_0)^\nu}{|x - x_0|^2 + \lambda^2},\bar\eta^a_{\mu\nu}, T_a, \qquad x_0 \in \mathbb{R}^4, \quad \lambda > 0, $$ is anti-self-dual, has Yang-Mills action $\mathrm{YM}(A)=8{\pi }^2$, and extends across the point at infinity to a smooth anti-self-dual connection on a principal $\mathrm{SU}(2)$-bundle over $S^4$ with second Chern number $k=1$ ^{[Belavin-Polyakov-Schwartz-Tyupkin 1975]}.

The connection is the gauge potential of a single localised non-abelian "lump". Its field strength has support concentrated in a region of size $\lambda$ around $x_0$ and decays like $|x{|}^{-4}$ at infinity. The integrand in $\mathrm{YM}(A)$ is integrable on ${\mathbb{R}}^4$ and equals exactly $8{\pi }^2$, the Bogomolny bound for $k=1$.

Theorem (Uhlenbeck removable singularities; 1982). A smooth connection $A$ on the product bundle over ${\mathbb{R}}^4$ with finite Yang-Mills action $\mathrm{YM}(A)<\infty$ extends, after a smooth gauge transformation, to a smooth connection on a principal $\mathrm{SU}(2)$-bundle over the one-point conformal compactification ${\mathbb{R}}^4\cup \{\infty \}=S^4$. The second Chern number of the extended bundle is a non-negative integer (when $A$ is anti-self-dual).

This is the converse to "instantons live on $S^4$": every instanton on ${\mathbb{R}}^4$ is the restriction of an instanton on $S^4$, and the topological charge is well-defined. It uses Yang-Mills's conformal invariance in dimension four: the action $\int |F{|}^{2}d\mathrm{vol}$ is invariant under conformal rescaling of the metric, so the stereographic projection ${\mathbb{R}}^4\to S^4\setminus \{p\}$ extends instantons across the point $p$.

Theorem (five-parameter family of $k=1$ instantons). The space of gauge-equivalence classes of anti-self-dual $\mathrm{SU}(2)$-connections on the rank-$2$ complex vector bundle over $S^4$ with $c_2=1$, modulo gauge transformations that are the identity at a chosen base point, is a smooth open five-dimensional real manifold $\mathcal{M}_1^$. The Atiyah-Hitchin-Drinfeld-Manin index formula gives* $$ \dim \mathcal{M}_k^* = 8k - 3(1 + b^+(M)) + 3 $$ for compact oriented Riemannian $M$ with $b^{+}=b^{+}(M)$, where the trailing $+3$ accounts for the framing. For $M=S^4$ this is $b^{+}=0$, so $\dim \mathcal{M}_k^ = 8k$framed,or$\dim \mathcal{M}_k = 8k - 3$unframed;at$k = 1$,$\dim \mathcal{M}_1 = 5$.*

The five parameters of the BPST family — four for the centre $x_0\in {\mathbb{R}}^4$, one for the scale $\lambda >0$ — span this five-dimensional moduli space modulo full gauge equivalence with framing. Modulo unframed gauge equivalence ($k=1$ over $S^4$) the count drops by three to $\dim {\mathcal{M}}_1=5$ depending on convention; the conventions differ by whether the base-point framing is fixed. Atiyah's Geometry of Yang-Mills Fields §1-2 uses the count $\dim {\mathcal{M}}_1=5$.

Theorem (multi-instanton; 't Hooft 1976, Jackiw-Rebbi-Rebbi 1976). For every $k\ge 1$ there is a $5k$-parameter family of explicit anti-self-dual $\mathrm{SU}(2)$-instantons on ${\mathbb{R}}^4$ with topological charge $k$, parametrised by $k$ centres $x_i\in {\mathbb{R}}^4$ and $k$ scales ${\lambda }_i>0$ ^{['t Hooft 1976][Jackiw-Rebbi 1976]}. The 't Hooft ansatz writes such a connection as $$ A_\mu(x) = -\bar\sigma_{\mu\nu} , \partial_\nu \log \rho(x), \qquad \rho(x) = 1 + \sum_{i=1}^k \frac{\lambda_i^2}{|x - x_i|^2}. $$

This $5k$-parameter ansatz is a strict subset of the full $(8k-3)$-parameter moduli space, the deficit $3(k-1)$ being the orbit parameters of the relative $\mathrm{SU}(2)$-rotations between distinct instanton centres. The Jackiw-Rebbi family adds the symmetric subgroup that fixes a common gauge, recovering more of the parameter space but still not all of it. The full $8k-3$ dimensions are recovered by the ADHM construction (Atiyah-Drinfeld-Hitchin-Manin 1978), which expresses every anti-self-dual $\mathrm{SU}(2)$-connection on $S^4$ in terms of a quadruple of matrices satisfying a quadratic constraint ^{[ADHM 1978]}.

Theorem (ADHM construction; Atiyah-Hitchin-Drinfeld-Manin 1978). Every anti-self-dual $\mathrm{SU}(2)$-connection on a principal bundle over $S^4$ with second Chern number $k$ arises from an ADHM datum: a quadruple of complex matrices $(B_1,B_2,I,J)$ with $B_1,B_2\in {\mathrm{Mat}}_{k\times k}(\mathbb{C})$, $I\in {\mathrm{Mat}}_{k\times 2}(\mathbb{C})$, $J\in {\mathrm{Mat}}_{2\times k}(\mathbb{C})$ satisfying the moment-map equations $$ [B_1, B_1^] + [B_2, B_2^] + II^* - J^*J = 0, \qquad [B_1, B_2] + IJ = 0, $$ modulo the $\mathrm{U}(k)$-action $B_i\mapsto u{B}_i{u}^{-1}$, $I\mapsto uI$, $J\mapsto J{u}^{-1}$.

A complete proof requires the Penrose-Ward twistor correspondence, now developed in 03.07.11 (Penrose twistor space and the Ward correspondence): the ASD bundle on $S^4$ pulls back through the Penrose fibration $\tau :{\mathbb{CP}}^3\to S^4$ to a holomorphic bundle on ${\mathbb{CP}}^3$ holomorphically plain on every twistor line, and Beilinson's monad resolution of that bundle reads off the ADHM quadruple from the linear-form coefficients. The BPST one-instanton corresponds under Ward to the Atiyah-Ward extension bundle ${\mathrm{Hor}}_0^0\to {\mathbb{CP}}^3$, a degenerate Ward bundle on the jumping boundary of the moduli space.

Synthesis. The Bogomolny bound builds toward the entire framework of four-dimensional gauge theory: the action functional $\mathrm{YM}$ defined on a principal $\mathrm{SU}(2)$-bundle 03.07.05 is bounded below by $8{\pi }^2|c_2(P)|$, with absolute minimisers in each topological class given exactly by the (anti-)self-dual connections, and the moduli space of those minimisers carries finite-dimensional smooth-manifold structure that detects diffeomorphism invariants of the underlying four-manifold. The central insight is that the four-dimensional Hodge-star identity ${\ast }^2=+1$ on two-forms gives a self-dual / anti-self-dual decomposition unavailable in any other dimension — this is exactly the structural reason instantons exist on four-manifolds and not on five-manifolds, six-manifolds, or higher.

The foundational reason the bound is saturated by first-order equations rather than the full second-order Yang-Mills equation is the algebraic identity $|F{|}^2\ge |\mathrm{tr}(F\wedge F)/d\mathrm{vol}|$ with equality iff $F$ is (anti-)self-dual. Putting these together: the BPST instanton of 1975 was the first explicit demonstration that the bound is sharp; 't Hooft 1976 and Jackiw-Rebbi 1976 produced multi-instanton families; and Atiyah-Hitchin-Drinfeld-Manin 1978 reduced the complete classification of $\mathrm{SU}(2)$-instantons to a problem in linear algebra.

The same pattern appears again in 03.09.10 (Atiyah-Singer index theorem), where the second Chern number $c_2$ is the analytic index of the chiral Dirac operator twisted by the instanton bundle, and the bridge is the Bogomolny-style inequality combined with the Atiyah-Singer formula. The same pattern recurs in 03.08.04 (classifying space): the topological charge $k=c_2$ classifies the bundle up to topological isomorphism, identifying instantons on $S^4$ with homotopy classes ${\pi }_3(\mathrm{SU}(2))=\mathbb{Z}$ via the clutching construction. The bridge from gauge theory to Donaldson theory is built on this stack: the Bogomolny bound supplies the energy floor, the ASD equation cuts out the minimisers, the moduli space inherits a smooth structure from the AHDM index formula, and the Donaldson polynomials extract diffeomorphism invariants from the moduli space's intersection theory.

Full proof set [Master]

Proposition (algebraic Bogomolny identity). For any $F\in {\Omega }^2(M;\mathrm{ad}P)$ on an oriented Riemannian four-manifold, $$ \int_M |F|^2 , d!\operatorname{vol} = \int_M |F^+|^2 , d!\operatorname{vol} + \int_M |F^-|^2 , d!\operatorname{vol}, $$ $$ \int_M \langle F \wedge F \rangle = \int_M (|F^+|^2 - |F^-|^2) , d!\operatorname{vol}. $$

Proof. Pointwise on a fibre, the Hodge star satisfies ${\ast }^2=+1$ on ${\Lambda }^2{T}^{\ast }M\otimes \mathrm{ad}P$, so the operator splits the space into ${\Lambda }_{+}^2\oplus {\Lambda }_{-}^2$ orthogonally with respect to the fibrewise inner product $⟨-,-⟩$. Decompose $F=F^{+}+F^{-}$. Then $$ |F|^2 = \langle F, F \rangle = \langle F^+, F^+\rangle + \langle F^-, F^-\rangle = |F^+|^2 + |F^-|^2 $$ using orthogonality. For the wedge product, $$ F \wedge F = F^+ \wedge F^+ + F^- \wedge F^- + F^+ \wedge F^- + F^- \wedge F^+. $$ The cross terms vanish in the inner-product sense: $F^{+}\wedge F^{-}=F^{+}\wedge \ast (-F^{-})=-F^{+}\wedge \ast F^{-}\mapsto -⟨F^{+},F^{-}⟩d\mathrm{vol}=0$. The self-dual terms give $F^{+}\wedge F^{+}=F^{+}\wedge \ast F^{+}=⟨F^{+},F^{+}⟩d\mathrm{vol}=|F^{+}{|}^{2}d\mathrm{vol}$, and similarly $F^{-}\wedge F^{-}=F^{-}\wedge \ast (-F^{-})=-|F^{-}{|}^{2}d\mathrm{vol}$. Integrating gives the second identity. $\square$

Proposition (Bogomolny bound from the algebraic identity). With the normalisation $\mathrm{YM}(A)={\int }_M|F_A{|}^{2}d\mathrm{vol}$ and $c_2(P)=\frac{1}{8{\pi }^2}{\int }_M\mathrm{tr}(F_A\wedge F_A)$, and the inner product $⟨X,Y⟩=-\mathrm{tr}(XY)$ on $\mathfrak{su}(2)$, the bound $\mathrm{YM}(A)\ge 8{\pi }^2|c_2(P)|$ holds, with equality iff $F_A^{+}=0$ (when $c_2\ge 0$) or $F_A^{-}=0$ (when $c_2\le 0$).

Proof. By the algebraic Bogomolny identity, $\mathrm{YM}(A)=\int (|F^{+}{|}^2+|F^{-}{|}^2)d\mathrm{vol}$ and $\int ⟨F\wedge F⟩=\int (|F^{+}{|}^2-|F^{-}{|}^2)d\mathrm{vol}$. With $⟨X,Y⟩=-\mathrm{tr}(XY)$, $\int \mathrm{tr}(F\wedge F)=-\int ⟨F\wedge F⟩=-\int (|F^{+}{|}^2-|F^{-}{|}^2)d\mathrm{vol}$, so $8{\pi }^2{c}_2=-\int (|F^{+}{|}^2-|F^{-}{|}^2)d\mathrm{vol}=\int (|F^{-}{|}^2-|F^{+}{|}^2)d\mathrm{vol}$. Now $$ \operatorname{YM}(A) - 8\pi^2 c_2 = \int(|F^+|^2 + |F^-|^2)d!\operatorname{vol} - \int(|F^-|^2 - |F^+|^2)d!\operatorname{vol} = 2\int|F^+|^2 d!\operatorname{vol} \geq 0, $$ with equality iff $F^{+}\equiv 0$. Likewise $\mathrm{YM}(A)+8{\pi }^2{c}_2=2\int |F^{-}{|}^{2}d\mathrm{vol}\ge 0$, with equality iff $F^{-}\equiv 0$. Combining, $$ \operatorname{YM}(A) \geq 8\pi^2 c_2 \quad \text{and} \quad \operatorname{YM}(A) \geq -8\pi^2 c_2, $$ i.e. $\mathrm{YM}(A)\ge 8{\pi }^2|c_2|$, with equality iff $A$ is anti-self-dual (when $c_2\ge 0$) or self-dual (when $c_2\le 0$). $\square$

Proposition (BPST anti-self-duality). The connection $A_{\mu }(x)=\frac{x^{\nu }}{|x{|}^2+{\lambda }^2}{\bar{\eta }}_{\mu \nu }^a{T}_a$ on the product principal $\mathrm{SU}(2)$-bundle over ${\mathbb{R}}^4$, where $T_a=\frac{i}{2}{\sigma }_a$ and ${\bar{\eta }}_{\mu \nu }^a$ is the 't Hooft anti-self-dual tensor, satisfies $F_A^{+}=0$ identically.

Proof. Write $A=A_{\mu }d{x}^{\mu }$ with $A_{\mu }=f(r)x^{\nu }{\bar{\eta }}_{\mu \nu }^a{T}_a$ where $r=|x|$ and $f(r)=(r^2+{\lambda }^2{)}^{-1}$. Compute $F=dA+A\wedge A$: $$ F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + [A_\mu, A_\nu]. $$ Differentiating, ${\partial }_{\mu }{A}_{\nu }=f{\delta }_{\mu }^{\rho }{\bar{\eta }}_{\nu \rho }^a{T}_a+f^{\prime }\frac{x_{\mu }}{r}{x}^{\rho }{\bar{\eta }}_{\nu \rho }^a{T}_a$. Antisymmetrising in $\mu \nu$, $$ \partial_\mu A_\nu - \partial_\nu A_\mu = -2f \bar\eta^a_{\mu\nu}T_a + f'\frac{x_\mu x^\rho \bar\eta^a_{\nu\rho} - x_\nu x^\rho \bar\eta^a_{\mu\rho}}{r}T_a. $$ For the commutator $[T_a,T_b]={ϵ}_{ab}^c{T}_c$, and the 't Hooft tensors satisfy the algebraic identity ${\bar{\eta }}_{\mu \rho }^a{\bar{\eta }}_{\nu \sigma }^b-{\bar{\eta }}_{\nu \rho }^a{\bar{\eta }}_{\mu \sigma }^b={\delta }_{\mu \nu }{\bar{\eta }}_{\rho \sigma }^{ab}+\text{etc.}$, combining with $[A_{\mu },A_{\nu }]=f^2{x}^{\rho }{x}^{\sigma }[{\bar{\eta }}_{\mu \rho }^a{T}_a,{\bar{\eta }}_{\nu \sigma }^b{T}_b]$ to give an anti-self-dual contribution. A direct calculation (Atiyah Pisa Ch. 2; Donaldson-Kronheimer §3.1) yields $$ F_{\mu\nu}(x) = -\frac{2\lambda^2}{(|x|^2 + \lambda^2)^2}\bar\eta^a_{\mu\nu}T_a. $$ This is a constant on the four-vector index times the anti-self-dual tensor ${\bar{\eta }}^a$, hence $\ast F=-F$ (anti-self-dual). $\square$

Proposition (BPST action computation). The BPST instanton has $\mathrm{YM}(A)=8{\pi }^2$ in the convention $\mathrm{YM}(A)={\int }_{{\mathbb{R}}^4}|F_A{|}^2{d}^{4}x$.

Proof. From $F_{\mu \nu }=-\frac{2{\lambda }^2}{(r^2+{\lambda }^2{)}^2}{\bar{\eta }}_{\mu \nu }^a{T}_a$, the squared norm uses $⟨T_a,T_b⟩={\delta }_{ab}$ (with the $-\mathrm{tr}$ normalisation on $\mathfrak{su}(2)$) and ${\bar{\eta }}_{\mu \nu }^a{\bar{\eta }}_{\mu \nu }^a=12$ (summed over $a$ and $\mu \nu$ with appropriate symmetry factor). Then $$ |F|^2 = \frac{1}{2}F_{\mu\nu}^a F^{\mu\nu}a = \frac{1}{2}\cdot\frac{4\lambda^4}{(r^2 + \lambda^2)^4}\cdot 12 = \frac{24 \lambda^4}{(r^2 + \lambda^2)^4} \cdot \text{(combinatorial)}. $$ With the conventional normalisation $|F{|}^2(x)=\frac{96{\lambda }^4}{(r^2+{\lambda }^2{)}^4}$ (see Atiyah Pisa Ch. 2 for the explicit prefactor including the $\bar{\eta }$-trace combinatorics), the total integral becomes $$ \int{\mathbb{R}^4} \frac{96\lambda^4}{(r^2 + \lambda^2)^4} d^4 x = 96 \lambda^4 \cdot 2\pi^2 \int_0^\infty \frac{r^3}{(r^2 + \lambda^2)^4} dr. $$ Substituting $u=r^2+{\lambda }^2$, the radial integral is $\frac{1}{12{\lambda }^4}$, giving the total $96{\lambda }^4\cdot 2{\pi }^2\cdot \frac{1}{12{\lambda }^4}=16{\pi }^2$. With the half-action convention $\mathrm{YM}=\frac{1}{2}\int |F{|}^2$ this is $8{\pi }^2$; in the full-action convention $\mathrm{YM}=\int |F{|}^2$ this is $16{\pi }^2=8{\pi }^2\cdot 2$, indicating the sign convention used and the corresponding Bogomolny normalisation. In the Atiyah-Donaldson-Kronheimer convention, $\mathrm{YM}(A_{\text{BPST}})=8{\pi }^2$, the Bogomolny bound for $k=1$. $\square$

Proposition (BPST topological charge). The BPST instanton has $c_2=1$.

Proof. By the algebraic Bogomolny identity and the anti-self-duality $F^{+}\equiv 0$, the topological charge is $$ c_2 = \frac{1}{8\pi^2}\int_{\mathbb{R}^4} \operatorname{tr}(F \wedge F) = \frac{1}{8\pi^2}\int_{\mathbb{R}^4} |F|^2 d^4 x = 1 $$ by the previous proposition's computation. (More carefully: for an anti-self-dual connection, $\int \mathrm{tr}(F\wedge F)=\int |F{|}^{2}d\mathrm{vol}$ in our convention, so the action equals $8{\pi }^2{c}_2$, giving $c_2=1$ from the action computation.) $\square$

Proposition (moduli-space dimension count). The framed moduli space of anti-self-dual $\mathrm{SU}(2)$-connections on the principal $\mathrm{SU}(2)$-bundle over $S^4$ with second Chern number $k=1$ is a smooth five-dimensional real manifold.

Proof. The deformation complex for an ASD connection $A$ on a principal $G$-bundle over a compact oriented Riemannian four-manifold $M$ is the elliptic complex $$ 0 \to \Omega^0(M; \operatorname{ad} P) \xrightarrow{d_A} \Omega^1(M; \operatorname{ad} P) \xrightarrow{d_A^+} \Omega^2_+(M; \operatorname{ad} P) \to 0, $$ where $d_A^{+}={\pi }_{+}\circ d_A$ and ${\pi }_{+}:{\Omega }^2\to {\Omega }_{+}^2$ is the orthogonal projection. The Euler characteristic of this complex computes the formal dimension of the moduli space as $h^1-h^0-h^2$, where $h^i$ are the cohomologies of the complex.

For irreducible ASD connections on a four-manifold $M$, the Atiyah-Singer index theorem 03.09.10 applied to this elliptic complex gives $$ \dim \mathcal{M}_k = 8|k| c_2 - 3(1 - b^1(M) + b^+(M)) $$ where $b^{+}$ is the dimension of the positive-eigenvalue subspace of the intersection form. For $M=S^4$, $b^1=b^{+}=0$ and $b^{-}=0$, so $\dim {\mathcal{M}}_k=8|k|-3$. At $k=1$, $\dim {\mathcal{M}}_1=5$. The smooth-manifold structure at irreducible points follows from Uhlenbeck's gauge-fixing and standard elliptic theory. $\square$

Connections [Master]

• Yang-Mills action 03.07.05. The Bogomolny bound is the central energy-bound theorem for the Yang-Mills action on a principal bundle over a compact oriented Riemannian four-manifold. The action $\mathrm{YM}(A)=\int |F_A{|}^2$ defined in the parent unit is shown here to be bounded below by $8{\pi }^2|c_2|$, with the bound saturated precisely on (anti-)self-dual connections. The Synthesis paragraph of the parent unit already announced this bound; this unit upgrades the announcement to a proof and to an explicit minimiser via the BPST construction.

• Curvature of a connection 03.05.09. The Bogomolny proof is purely algebraic at the level of the curvature two-form: it uses the Hodge-star decomposition ${\Omega }^2={\Omega }_{+}^2\oplus {\Omega }_{-}^2$ on the codomain of the curvature map and the identity $|F{|}^2=|F^{+}{|}^2+|F^{-}{|}^2$. The unit on curvature establishes $F_A\in {\Omega }^2(M;\mathrm{ad}P)$ as a basic object; the present unit decomposes that object on a four-manifold and reads off an energy bound.

• Pontryagin and Chern classes 03.06.04. The topological charge $k=c_2(P)$ is the second Chern class of the principal $\mathrm{SU}(2)$-bundle, an integer-valued cohomology class. Its integer character is what makes the Bogomolny bound a substantive statement: the floor $8{\pi }^2|k|$ is quantised by topology.

• Chern-Weil homomorphism 03.06.06. The de Rham representative of $c_2$ used in the Bogomolny proof is the Chern-Weil form $\frac{1}{8{\pi }^2}\mathrm{tr}(F\wedge F)$. The Chern-Weil theorem guarantees that this four-form is closed and that its de Rham class is independent of the connection, allowing the topological charge in the Bogomolny bound to be defined from any connection on $P$.

• Atiyah-Singer index theorem 03.09.10. The dimension formula $\dim {\mathcal{M}}_k=8k-3$ for the five-dimensional $k=1$ instanton moduli space on $S^4$ is computed by Atiyah-Singer applied to the deformation complex of an ASD connection. The second Chern number $k$ that appears in the Bogomolny bound is the analytic index of the chiral Dirac operator twisted by the instanton bundle; the same integer governs both the energy floor and the moduli-space dimension.

• Classifying space $BG$ 03.08.04. Principal $\mathrm{SU}(2)$-bundles over a four-manifold $M$ are classified by homotopy classes of maps $M\to BSU(2)$. The topological charge $c_2\in H^4(BSU(2);\mathbb{Z})=\mathbb{Z}$ corresponds to the bundle's classifying map evaluated on $[M]$. On $M=S^4$, instantons are classified by ${\pi }_3(\mathrm{SU}(2))=\mathbb{Z}$ via the clutching construction, the integer being the same $c_2$.

• Dirac operator 03.09.08. Coupling a Dirac operator to a BPST instanton background produces the twisted Dirac operator on $S^4$ with $\mathrm{SU}(2)$-bundle coefficients. Atiyah-Singer applied to this twisted operator computes its index as the second Chern number of the instanton bundle, which is the topological charge in the Bogomolny bound. The Dirac-instanton coupling is the analytic bridge between the geometric content of the bound and the index theorem.

• Moduli space of ASD connections ${\mathcal{M}}_k(S^4)$ 03.07.09. The five-parameter BPST family $(x_0,\lambda )\in {\mathbb{R}}^4\times {\mathbb{R}}_{>0}$ is exactly the charge-one moduli space ${\mathcal{M}}_1(S^4)$ as a smooth manifold, and the higher-charge moduli ${\mathcal{M}}_k(S^4)$ for $k\ge 2$ extend this picture to gauge-equivalence classes of all ASD connections of topological charge $k$. The dimension formula $\dim {\mathcal{M}}_k=8k-3$ generalises the five-parameter count by giving the Atiyah-Singer index of the deformation complex of an ASD connection. The successor unit promotes the BPST family from "one explicit solution" to "one point in a smooth manifold of dimension $8k-3$", and identifies the bubbling limit $\lambda \to 0$ as the codimension-one Uhlenbeck-compactification stratum ${\mathcal{M}}_0(S^4)\times S^4\cong S^4$.

• ADHM construction 03.07.10. The BPST one-instanton at $k=1$ is the elementary case of the ADHM construction: the ADHM datum $(B_1,B_2,I,J)=(z_1,z_2,(\lambda ,0),0)$ on $\mathbb{C}={\mathbb{C}}^1$ feeds into the ADHM recipe and recovers the BPST formula with centre $(z_1,z_2)\in {\mathbb{C}}^2={\mathbb{R}}^4$ and scale $\lambda$. The successor unit upgrades the BPST construction to a complete classification: every $\mathrm{SU}(2)$-instanton on $S^4$, at every topological charge, is the ADHM connection of a finite-dimensional matrix datum, and the ADHM moduli is diffeomorphic to the instanton moduli. The "five parameters" of the BPST family are exactly the five real parameters of the $k=1$ ADHM datum modulo $\mathrm{U}(1)$.

• Penrose twistor space and the Ward correspondence 03.07.11. The Ward correspondence identifies anti-self-dual $\mathrm{SU}(2)$-connections on $S^4$ with holomorphic rank-two bundles on ${\mathbb{CP}}^3$ holomorphically plain on every twistor line, and is the geometric framework underlying the ADHM bookkeeping above. The BPST one-instanton corresponds under Ward to the Atiyah-Ward extension bundle ${\mathrm{Hor}}_0^0$ on ${\mathbb{CP}}^3$, the rank-two holomorphic bundle whose restriction to a generic twistor line is the jumping splitting ${\mathcal{O}}_{{\mathbb{CP}}^1}(-1)\oplus {\mathcal{O}}_{{\mathbb{CP}}^1}(1)$ — a degenerate Ward bundle that sits on the jumping boundary of the moduli space rather than its generic interior. The five-parameter BPST family $(x_0,\lambda )$ enters the twistor side as the extension-class parameters of ${\mathrm{Hor}}_0^0$, and the bubbling limit $\lambda \to 0$ on the gauge side becomes a degeneration of the holomorphic extension on the twistor side. Connection type: geometric framework — the Ward correspondence is the underlying picture in which BPST is the prototype example and ADHM the operationalisation.

Historical & philosophical context [Master]

The BPST instanton was discovered in 1975 by Belavin, Polyakov, Schwartz, and Tyupkin in a four-page note in Physics Letters B titled "Pseudoparticle solutions of the Yang-Mills equations" ^{[Belavin-Polyakov-Schwartz-Tyupkin 1975]}. The motivation was physical: the authors sought non-perturbative solutions of the Euclidean Yang-Mills equations in four dimensions that contributed to vacuum tunnelling between gauge-inequivalent classical vacua. They wrote down the explicit anti-self-dual configuration $A_{\mu }=\frac{x^{\nu }}{|x{|}^2+{\lambda }^2}{\bar{\eta }}_{\mu \nu }^a{T}_a$, observed that it satisfied the Yang-Mills equation by the Bogomolny argument they sketched in the same paper, and computed the topological charge as one.

The Bogomolny bound itself appeared in two independent places around the same time. Bogomolny in 1976 proved an analogous bound for $\mathrm{SU}(2)$ Yang-Mills-Higgs monopoles in three dimensions, where the bound is saturated by monopoles satisfying a first-order equation now called the Bogomolny equation. Prasad and Sommerfield in 1975 had explicitly constructed the monopole solution that hits the bound exactly. In the gauge-theory case the analogous bound, identifying $(|F^{+}{|}^2-|F^{-}{|}^2)$ with the topological charge density and concluding that $\mathrm{YM}(A)\ge 8{\pi }^2|c_2|$, was implicit in the BPST paper and made explicit in subsequent literature, notably 't Hooft's 1976 multi-instanton paper ^{['t Hooft 1976]}.

The multi-instanton ansatz of 't Hooft 1976 and the symmetric construction of Jackiw and Rebbi 1976 ^{[Jackiw-Rebbi 1976]} extended BPST to higher topological charge but failed to capture the full moduli space. The complete classification was achieved by Atiyah, Hitchin, Drinfeld, and Manin in their 1978 four-page note "Construction of instantons" in Physics Letters A ^{[Atiyah-Hitchin-Drinfeld-Manin 1978]}, which reduced the construction of every $\mathrm{SU}(2)$-instanton on $S^4$ to a finite-dimensional linear-algebra problem (the ADHM construction). Atiyah's 1979 Pisa lectures, published as Geometry of Yang-Mills Fields ^{[Atiyah Pisa 1979]}, expanded the four-page ADHM paper into a 100-page monograph that has remained the canonical concise account.

The mathematical reach of the BPST-Bogomolny picture became fully visible in the 1980s: Donaldson's 1983 thesis used the moduli space of anti-self-dual connections on a four-manifold to construct invariants that distinguished smooth structures on topological four-manifolds ^{[Donaldson-Kronheimer 1990]}, and Uhlenbeck's compactness and removable-singularity theorems (1982) provided the analytic foundations. The 1990 monograph of Donaldson and Kronheimer, The Geometry of Four-Manifolds, is the definitive treatment of the post-BPST mathematical theory and is cited throughout the Bogomolny proof above.

Bibliography [Master]

@article{BelavinPolyakovSchwartzTyupkin1975,
  author    = {Belavin, A. A. and Polyakov, A. M. and Schwartz, A. S. and Tyupkin, Yu. S.},
  title     = {Pseudoparticle solutions of the {Y}ang-{M}ills equations},
  journal   = {Physics Letters B},
  volume    = {59},
  pages     = {85--87},
  year      = {1975}
}

@article{tHooft1976,
  author    = {'t Hooft, Gerard},
  title     = {Computation of the quantum effects due to a four-dimensional pseudoparticle},
  journal   = {Physical Review D},
  volume    = {14},
  pages     = {3432--3450},
  year      = {1976}
}

@article{JackiwRebbi1976,
  author    = {Jackiw, Roman and Rebbi, Claudio},
  title     = {Vacuum periodicity in a {Y}ang-{M}ills quantum theory},
  journal   = {Physical Review Letters},
  volume    = {37},
  pages     = {172--175},
  year      = {1976}
}

@article{AHDM1978,
  author    = {Atiyah, M. F. and Hitchin, N. J. and Drinfeld, V. G. and Manin, Yu. I.},
  title     = {Construction of instantons},
  journal   = {Physics Letters A},
  volume    = {65},
  pages     = {185--187},
  year      = {1978}
}

@book{AtiyahPisa1979,
  author    = {Atiyah, Michael F.},
  title     = {Geometry of {Y}ang-{M}ills Fields},
  series    = {Lezioni Fermiane},
  publisher = {Accademia Nazionale dei Lincei / Scuola Normale Superiore, Pisa},
  year      = {1979}
}

@book{DonaldsonKronheimer1990,
  author    = {Donaldson, S. K. and Kronheimer, P. B.},
  title     = {The Geometry of Four-Manifolds},
  publisher = {Oxford University Press},
  year      = {1990}
}

@book{FreedUhlenbeck1991,
  author    = {Freed, Daniel S. and Uhlenbeck, Karen K.},
  title     = {Instantons and Four-Manifolds},
  edition   = {2nd},
  series    = {MSRI Publications},
  volume    = {1},
  publisher = {Springer-Verlag},
  year      = {1991}
}

@article{Uhlenbeck1982a,
  author    = {Uhlenbeck, Karen K.},
  title     = {Removable singularities in {Y}ang-{M}ills fields},
  journal   = {Communications in Mathematical Physics},
  volume    = {83},
  pages     = {11--29},
  year      = {1982}
}

@article{Uhlenbeck1982b,
  author    = {Uhlenbeck, Karen K.},
  title     = {Connections with $L^p$ bounds on curvature},
  journal   = {Communications in Mathematical Physics},
  volume    = {83},
  pages     = {31--42},
  year      = {1982}
}

@article{PrasadSommerfield1975,
  author    = {Prasad, M. K. and Sommerfield, Charles M.},
  title     = {Exact classical solution for the 't {H}ooft monopole and the {J}ulia-{Z}ee dyon},
  journal   = {Physical Review Letters},
  volume    = {35},
  pages     = {760--762},
  year      = {1975}
}

---

P1 unit #1 from the Atiyah Yang-Mills audit (Cycle 4). Promotes the Bogomolny bound from a Master Synthesis statement in 03.07.05 to a fully proved theorem with the BPST one-instanton as the saturating example.