Anti-self-dual (ASD) equation on a 4-manifold

Intuition Beginner

A gauge field has curvature, and curvature is the amount by which internal directions fail to match after moving around a small loop. On a four-dimensional space there is a special way to split every tiny sheet of curvature into two balanced halves. One half is called self-dual and the other anti-self-dual.

The ASD equation says that one of those halves is absent. This is a strong shortcut: instead of solving the full second-order Yang-Mills balance law, the field solves a first-order shape condition. The reward is large. ASD fields automatically minimize the energy allowed by their topology, much like a soap film finds the least-area shape allowed by its boundary.

This matters because four dimensions are special. Only there does the split happen for two-dimensional curvature sheets in exactly the same degree as the curvature itself.

Visual Beginner

The picture is a mnemonic. The two colors are not two separate fields; they are two projections of the same curvature. An ASD field is one whose curvature lies entirely in one color.

Worked example Beginner

Think of a weather map with two kinds of swirl at every point: clockwise swirl and counterclockwise swirl. A general map has both. A special map might have only counterclockwise swirl everywhere.

In four-dimensional gauge theory, curvature behaves like a more refined version of that map. At each point, its sheet-like rotation has two components. The ASD condition says one component is zero everywhere. If the total curvature is already forced by a topological wrapping number, removing the wrong component makes the field as efficient as possible.

For wrapping number one, the least allowed Yang-Mills action is eight times pi squared. A one-instanton reaches exactly that value. What this tells us: ASD is not merely a simplifying assumption; it is the equation that detects energy-minimizing gauge fields in a fixed topological class.

Check your understanding Beginner

Formal definition Intermediate+

Let $(X,g)$ be an oriented Riemannian four-manifold, let $P\to X$ be a principal $G$-bundle for a compact Lie group $G$, and let $A$ be a connection on $P$. Its curvature is an adjoint-bundle-valued two-form $$ F_A\in \Omega^2(X;\operatorname{ad}P). $$

The Hodge star on ordinary two-forms extends to $\mathrm{ad}P$-valued two-forms by acting on the form factor. Since $X$ has dimension four and Euclidean signature, ${\ast }^2=1$ on two-forms. Thus $$ \Omega^2(X;\operatorname{ad}P)=\Omega^2_+(X;\operatorname{ad}P)\oplus \Omega^2_-(X;\operatorname{ad}P), $$ where ${\Omega }_{\pm }^2$ are the $\pm 1$ eigenspaces of $\ast$. The projections are $$ F_A^+=\frac12(F_A+*F_A),\qquad F_A^-=\frac12(F_A-*F_A). $$

A connection is anti-self-dual if $$ F_A^+=0, $$ equivalently $\ast F_A=-F_A$. It is self-dual if $F_A^{-}=0$, equivalently $\ast F_A=F_A$.

The Yang-Mills equation is $$ d_A^F_A=0, $$ where $d_A$ is the exterior covariant derivative and $d_A^$ is its formal adjoint. The curvature also satisfies the Bianchi identity $$ d_AF_A=0. $$

Counterexamples to common slips

• The ASD equation is metric-dependent. Changing the conformal class does not change the equation in dimension four, but changing the conformal class can change the split into ${\Omega }_{+}^2$ and ${\Omega }_{-}^2$.
• ASD does not mean flat. It means the self-dual projection of curvature vanishes; the anti-self-dual projection may carry the whole topological charge.
• The choice between "self-dual" and "anti-self-dual" is orientation-sensitive. Reversing the orientation interchanges the two equations.

Key theorem with proof Intermediate+

Theorem (ASD connections are Yang-Mills). Let $A$ be a connection on a principal $G$-bundle over an oriented Riemannian four-manifold. If $F_A^{+}=0$, then $A$ satisfies the Yang-Mills equation $d_A^{\ast }{F}_A=0$.

Proof. For a connection on an oriented Riemannian manifold, the formal adjoint on two-forms is $$ d_A^*=-d_A $$ up to the standard sign convention; in dimension four and degree two this sign is the displayed one in the convention used here. If $A$ is anti-self-dual, then $\ast F_A=-F_A$. Therefore $$ d_A^*F_A=-*d_A(*F_A)=-*d_A(-F_A)=*d_AF_A. $$ The Bianchi identity gives $d_A{F}_A=0$. Substituting this into the last display gives $$ d_A^*F_A=0. $$ This is the Yang-Mills Euler-Lagrange equation. $\square$

Bridge. The ASD equation builds toward 03.07.07 because the Bogomolny bound is saturated exactly when one Hodge half of curvature vanishes, and it appears again in 03.07.09 as the defining equation of the instanton moduli space. The foundational reason is that the first-order condition generalises flatness without discarding topological charge; this is exactly the four-dimensional feature that identifies Yang-Mills minimisers with instantons. Putting these together, the central insight is dual to the variational one in 03.07.05: the bridge is a first-order projection equation whose solutions already solve the second-order field equation.

Exercises Intermediate+

Advanced results Master

The four-dimensional Hodge decomposition of two-forms is the analytic hinge of instanton theory. In local oriented orthonormal coframes $e^1,\dots ,e^4$, a basis for ${\Lambda }_{+}^2$ is $$ e^{12}+e^{34},\qquad e^{13}-e^{24},\qquad e^{14}+e^{23}, $$ and a basis for ${\Lambda }_{-}^2$ is $$ e^{12}-e^{34},\qquad e^{13}+e^{24},\qquad e^{14}-e^{23}. $$ The split is invariant under oriented orthonormal changes of frame and becomes a rank-three splitting of vector bundles ${\Lambda }^2={\Lambda }_{+}^2\oplus {\Lambda }_{-}^2$.

For a compact four-manifold, the Yang-Mills action decomposes into a topological term and a nonnegative square. With the standard $\mathrm{SU}(2)$ trace convention, $$ \operatorname{YM}(A)=8\pi^2|c_2(P)[X]|+|F_A^{\operatorname{wrong}}|_{L^2}^2, $$ where the "wrong" projection is $F_A^{+}$ or $F_A^{-}$ according to the sign of the second Chern number and orientation convention. Equality holds exactly for the corresponding ASD or self-dual equation. This is the Bogomolny decomposition used in 03.07.07.

The deformation theory of an ASD connection $A$ is governed by the elliptic complex $$ 0\longrightarrow \Omega^0(X;\operatorname{ad}P)\xrightarrow{d_A} \Omega^1(X;\operatorname{ad}P)\xrightarrow{d_A^+} \Omega^2_+(X;\operatorname{ad}P)\longrightarrow 0. $$ Here $d_A^{+}$ is the composition of $d_A$ with projection to ${\Omega }_{+}^2$. Its first cohomology is the Zariski tangent space to the ASD moduli space at an irreducible solution, and its zeroth cohomology is the infinitesimal stabilizer. The index of this complex gives the expected dimension of the moduli space, later computed in 03.07.09 by the Atiyah-Singer theorem.

The equation is also conformally invariant. If $\hat{g}=e^{2f}g$ on a four-manifold, then the Hodge star on two-forms is unchanged. Hence the ASD equation depends only on the conformal class of the metric, not on the metric scale. This property is the analytic reason finite-action instantons on ${\mathbb{R}}^4$ are naturally studied on the conformal compactification $S^4$ in 03.07.08.

Synthesis. The foundational reason four-dimensional gauge theory behaves differently from gauge theory in other dimensions is that the curvature degree equals its Hodge-complement degree. This is exactly what makes the first-order ASD equation generalise flatness while retaining Chern-Weil charge. The central insight identifies minimising Yang-Mills curvature with solving a projection equation, and the deformation complex is dual to the elliptic index machinery of 03.09.10. Putting these together, ASD theory supplies the bridge from variational gauge theory to topological invariants.

Full proof set Master

Proposition 1 (orthogonal Hodge split). On an oriented Riemannian four-manifold, the bundles ${\Lambda }_{+}^2$ and ${\Lambda }_{-}^2$ are orthogonal rank-three subbundles of ${\Lambda }^2$.

Proof. The Hodge star satisfies ${\ast }^2=1$ on two-forms in dimension four, so its eigenvalues are contained in $\{1,-1\}$. In a local oriented orthonormal coframe the six two-forms $e^{ij}$ split into the three displayed self-dual combinations and the three displayed anti-self-dual combinations, so both eigenspaces have rank three. If $\alpha \in {\Lambda }_{+}^2$ and $\beta \in {\Lambda }_{-}^2$, then $$ \langle \alpha,\beta\rangle,d\operatorname{vol}=\alpha\wedge *\beta =-\alpha\wedge\beta. $$ Since two-forms commute under wedge product, $\alpha \wedge \beta =\beta \wedge \alpha$, while $$ \beta\wedge *\alpha=\beta\wedge\alpha =\langle \beta,\alpha\rangle,d\operatorname{vol}. $$ Comparing the two expressions gives $⟨\alpha ,\beta ⟩=-⟨\alpha ,\beta ⟩$, so the pairing is zero. Thus the eigenspaces are orthogonal, and the local rank computation makes the splitting global. $\square$

Proposition 2 (conformal invariance). If $\hat{g}=e^{2f}g$ on a four-manifold, then the ASD equation for a connection is the same for $g$ and $\hat{g}$.

Proof. On an $n$-manifold, the Hodge star on $k$-forms scales under $\hat{g}=e^{2f}g$ by the factor $e^{(n-2k)f}$. This follows from the defining identity $\alpha \wedge {\ast }_g\beta =⟨\alpha ,\beta {⟩}_{g}d{\mathrm{vol}}_g$: the inner product on $k$-forms scales by $e^{-2kf}$ and the volume form scales by $e^{nf}$. For $n=4$ and $k=2$, the exponent $n-2k$ is zero. Thus ${\ast }_{\hat{g}}={\ast }_g$ on two-forms, and the projection $F_A^{+}=\frac{1}{2}(F_A+\ast F_A)$ is unchanged. The equation $F_A^{+}=0$ is therefore unchanged. $\square$

Proposition 3 (linearisation). The linearisation of the ASD equation at an ASD connection $A$ is $a\mapsto d_A^{+}a$ for $a\in {\Omega }^1(X;\mathrm{ad}P)$.

Proof. The space of connections is affine, so a nearby connection can be written $A+a$. Its curvature is $$ F_{A+a}=F_A+d_Aa+\frac12[a\wedge a], $$ with the bracket induced by the Lie bracket on $\mathrm{ad}P$. Projecting to self-dual two-forms gives $$ F_{A+a}^+=F_A^+ + d_A^+a+\frac12[a\wedge a]^+. $$ At an ASD connection $F_A^{+}=0$. The linear term in $a$ is $d_A^{+}a$, and the bracket term is quadratic. Hence the differential of the map $A\mapsto F_A^{+}$ at $A$ is $d_A^{+}$. $\square$

Connections Master

• Yang-Mills action 03.07.05. The ASD equation is the first-order condition whose solutions automatically satisfy the Euler-Lagrange equation for $\mathrm{YM}$; the energy decomposition here refines the variational unit's field equation.

• BPST instanton and Bogomolny bound 03.07.07. The BPST one-instanton is the explicit charge-one ASD solution that saturates the bound; this unit supplies the equation and Hodge split used in that calculation.

• ASD moduli spaces 03.07.09. The deformation complex in the Master tier becomes the local model for the instanton moduli space and the source of its index-theoretic expected dimension.

• Atiyah-Singer index theorem 03.09.10. The expected dimension of the ASD moduli space is the index of the elliptic complex $d_A^{\ast }\oplus d_A^{+}$, making instanton theory one of the main geometric applications of the index theorem.

Historical & philosophical context Master

Self-dual Yang-Mills fields entered physics through the 1975 instanton solutions of Belavin, Polyakov, Schwartz, and Tyupkin, and through the rapid development of Euclidean gauge theory that followed. Atiyah's Pisa lectures presented the geometric formulation in which the Hodge split of two-forms on a four-manifold is the central operation ^{[Atiyah 1979]}.

Atiyah, Hitchin, and Singer related self-duality in four-dimensional Riemannian geometry to elliptic deformation complexes and twistor methods in 1978 ^{[Atiyah-Hitchin-Singer 1978]}. Donaldson then used the ASD moduli spaces of connections to define smooth four-manifold invariants, with the foundational analytic treatment developed further by Freed and Uhlenbeck ^{[Donaldson-Kronheimer 1990]}.

Bibliography Master

@book{Atiyah1979YangMills,
  author = {Atiyah, Michael F.},
  title = {Geometry of Yang-Mills Fields},
  publisher = {Scuola Normale Superiore},
  address = {Pisa},
  year = {1979}
}

@article{AtiyahHitchinSinger1978,
  author = {Atiyah, Michael F. and Hitchin, Nigel J. and Singer, Isadore M.},
  title = {Self-duality in four-dimensional Riemannian geometry},
  journal = {Proceedings of the Royal Society of London. Series A},
  volume = {362},
  pages = {425--461},
  year = {1978}
}

@book{DonaldsonKronheimer1990,
  author = {Donaldson, Simon K. and Kronheimer, Peter 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},
  series = {Mathematical Sciences Research Institute Publications},
  volume = {1},
  publisher = {Springer},
  year = {1991}
}