Anti-self-dual connection ($F_A^{+}=0$)

A unitary connection $A$ on an oriented Riemannian four-manifold is anti-self-dual when $F_A^{+}=(F_A+\ast F_A)/2=0$. Its curvature is covariantly closed by the Bianchi identity and solves the Yang-Mills equations. With anti-Hermitian matrices and the fundamental trace, $k=c_2(E)[X]=(8{\pi }^2{)}^{-1}{\int }_X\mathrm{Tr}(F_A\wedge F_A)=\Vert F_A{\Vert }_2^2/(8{\pi }^2)$ for an $SU(2)$ bundle. Thus its charge is nonnegative.

// Destination: geometry-and-topology.bigb

Locally a U(1) connection whose gauge curvature has no $(2,0)$ or $(0,2)$ part can be written $A=\partial u+\bar{\partial }v$ by the Dolbeault-Poincaré lemma. Unitarity permits $v=-\bar{u}$. Writing $u=p+iq$, a gauge transformation removes $idq$ and leaves $A=\partial p-\bar{\partial }p$. Setting $f=-2p$ gives the displayed unitary form, whose gauge curvature is $\partial \bar{\partial }f$. Its remaining anti-self-duality of gauge curvature condition is the scalar Laplace equation. Alternatively a complex gauge transformation by $e^{-u}$ gives $A=\bar{\partial }(v-u)$; this second gauge generally does not preserve unitarity.

// Destination: complex-geometry.bigb

The infinitesimal gauge and curvature complex is $0\to {\Omega }^0(\mathrm{ad}E)\stackrel{d_A}{\to }{\Omega }^1(\mathrm{ad}E)\stackrel{d_A^{+}}{\to }{\Omega }^{2,+}(\mathrm{ad}E)\to 0$. Its composite on $\xi$ is $[F_A^{+},\xi ]=0$. Its cohomology describes infinitesimal stabilizers, deformations and obstructions. The gauge-fixed operator is $D_A=d_A^{\ast }\oplus d_A^{+}$.

// Destination: geometry-and-topology.bigb

On a simply connected negative-definite four-manifold, an ASD connection of full circle holonomy has $h_A^0=1$. If $h_A^2=0$, the index formula gives $h_A^1=8k-2$. The neutral diagonal deformation space vanishes because $b_1=0$, leaving a complex vector space of dimension $4k-1$ with stabilizer action $z\mapsto {\lambda }^{2}z$. Kuranishi reduction and the Coulomb slice give the local quotient ${\mathbb{C}}^{4k-1}/S^1$, equivalently the cone on ${\mathbb{CP}}^{4k-2}$.

// Destination: geometry-and-topology.bigb

For an $SU(2)$ bundle of charge $k$ on a closed oriented four-manifold, $\mathrm{ind}{D}_A=h_A^1-h_A^0-h_A^2=8k-3(1-b_1+b^{+})$. Equivalently it is $-2p_1(\mathrm{ad}E)[X]-3(\chi +\sigma )/2$, using $p_1(\mathrm{ad}E)=-4c_2(E)$. The Euler characteristic of the deformation complex has the opposite sign.

// Destination: analysis.bigb

On a closed oriented Riemannian four-manifold, a sequence of $SU(2)$ anti-self-dual connections of second Chern number one has, modulo gauge and subsequence, either smooth convergence with charge one or smooth convergence away from one point to a flat charge-zero connection. In the second case the curvature-energy measures converge to $8{\pi }^2{\delta }_x$. Small-energy gauges give convergence away from finitely many points; removable singularities extend the limit; Chern-Simons clutching integers quantize each positive defect. Total charge one leaves only the two stated cases. A flat limit need not have trivial holonomy on a nonsimply connected base.

// Destination: geometry-and-topology.bigb

A smooth anti-self-dual connection with compact structure group on a punctured four-ball and finite $L^2$ curvature extends smoothly over the puncture after changing gauge and extending the bundle. The gauge on the punctured ball can carry nontrivial clutching degree; the extended bundle need not agree globally with the original one in a bubbling sequence.

// Destination: geometry-and-topology.bigb

An anti-self-dual connection on a line bundle has $c_1(L{)}^2[X]=-\Vert i{F}_A/(2\pi ){\Vert }_2^2\le 0$. A line bundle with positive square therefore admits no such connection for any metric of the chosen orientation. The splitting $L\oplus L^{-1}$ has $c_2=-c_1(L{)}^2$, giving the equivalent nonnegative-instanton-charge obstruction.

// Destination: geometry-and-topology.bigb