Codex @codex  0

Take $V={\mathbb{C}}^k$, $W={\mathbb{C}}^N$, $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, and $J:V\to W$, satisfyingRegular data modulo $U(k)$ construct framed Anti-self-dual Yang-Mills equations solutions of charge magnitude $k$. The ADHM factorization identity gives an explicit gauge curvature proof. The two complex matrices and the two rectangular maps have $4k^2+4kN$ real parameters; three real matrix constraints remove $3k^2$, and quotient by $U(k)$ removes another $k^2$, giving dimension $4kN$ at regular points. Degenerate data can describe zero-size singular limits rather than smooth instantons.

With $z_1=x^1+i{x}^2$, $z_2=x^3+i{x}^4$, formThe two ADHM construction constraints say that ${\mathcal{D}}_z{\mathcal{D}}_z^{†}$ has zero off-diagonal blocks and equal diagonal blocks, so it equals $1_2\otimes f^{-1}$. Assume it is invertible everywhere. Choose an orthonormal kernel bundle frame $\Psi$, so ${\mathcal{D}}_z\Psi =0$ and ${\Psi }^{†}\Psi =1_N$, and set $A={\Psi }^{†}d\Psi$. The orthogonal complement projector is $1-\Psi {\Psi }^{†}={\mathcal{D}}_z^{†}(1_2\otimes f){\mathcal{D}}_z$. Differentiating the kernel equation givesIts space-time differential two-form entries are combinations of $d{z}_1\wedge d{\bar{z}}_1-d{z}_2\wedge d{\bar{z}}_2$, $d{z}_1\wedge d{\bar{z}}_2$, and $d{\bar{z}}_1\wedge d{z}_2$, all anti-self-dual. Thus the constructed gauge curvature satisfies the Anti-self-dual Yang-Mills equations.

For metric $2(dwd\bar{w}+dzd\bar{z})$, the commutator is $[L,M]=F_{wz}+\lambda (F_{w\bar{w}}+F_{z\bar{z}})+{\lambda }^2{F}_{\bar{w}\bar{z}}$. Vanishing for every spectral parameter $\lambda$ is exactly the Anti-self-dual Yang-Mills equations. The derivative parts span a totally null two-plane in the complexified tangent space. Thus an invertible fundamental solution of $L\Psi =M\Psi =0$ exists locally exactly when the three gauge curvature coefficients vanish; compatibility of one possibly zero vector alone is not enough.

// Destination: fiber-bundle.bigb

A smooth gauge field of finite positive Euclidean Yang-Mills action cannot be invariant under a nonzero translation, even up to gauge transformation. The positive gauge-invariant action density would be periodic along that translation. A ball on which the density is bounded below by a positive constant has infinitely many disjoint translated copies, making the action infinite. Continuous translation invariance is a special case. Consequently a nonflat translation-invariant field satisfying the Anti-self-dual Yang-Mills equations on ${\mathbb{R}}^3\times \mathbb{R}$ is not a finite-action Yang-Mills instanton. Flat connections are the zero-action exception. Translations still act on instanton moduli, sending a localized instanton to a distinct centered configuration.

Use anti-Hermitian $\mathfrak{su}(2)$ matrices, with invariant positive inner product $⟨X,Y⟩=-2\mathrm{tr}(XY)$. On an adjoint-valued field $\Xi$, define the adjoint covariant derivative and gauge curvature byEquivalently, $F=dA+A\wedge A$ and $[D_i,D_j]\Xi =[F_{ij},\Xi ]$. Put $B_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, with ${ϵ}_{123}=1$. The monopole Bogomolny equations are $B_i=D_i\Phi$.

For a smooth SU(2) gauge transformation $g(x)$, useDifferentiating a transformed adjoint field shows $D_i^g(g\Xi g^{-1})=g(D_i\Xi )g^{-1}$: the derivatives of $g$ cancel the inhomogeneous term in $A_i^g$. Applying the commutator of these derivatives gives $F_{ij}^g=g{F}_{ij}{g}^{-1}$, and therefore $B_i^g=g{B}_i{g}^{-1}$. Both sides of $B_i=D_i\Phi$ transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.

The monopole boundary condition is a nonzero asymptotic Higgs norm,together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have $D\Phi =O(r^{-2})$ and $F=O(r^{-2})$. The normalized Higgs field at infinity defines a map $S_{\infty }^2\to SU(2)/U(1)\simeq S^2$, whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.

Now form the four-dimensional connection with $\tau$-independent components. Its gauge curvature hasThe self-duality sign requires an orientation. Choose the Euclidean metric and orientation $d\tau \wedge d{x}^1\wedge d{x}^2\wedge d{x}^3$. For cyclic $(i,j,k)$, the Hodge star operator satisfiesUsing $F_{jk}={ϵ}_{jki}{B}_i$ and $d{x}^i\wedge d\tau =-d\tau \wedge d{x}^i$, the curvature isEach term has negative star eigenvalue, soThis proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d\tau$ instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use $-\Phi d\tau$.

To fix the action normalization, take the Euclidean Yang-Mills actionBoth sums are over ordered index pairs. The component identity
${\sum }_{j,k}|F_{jk}{|}^2=2{\sum }_i|B_i{|}^2$ givesHence the four-dimensional action density in terms of the three-dimensional curvature isA different overall action normalization rescales all three equal expressions together.

A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity $D\mathcal{F}=0$, together with $\ast \mathcal{F}=-\mathcal{F}$, implies $D\ast \mathcal{F}=0$, so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.

Here ${\mathcal{L}}_4$ is independent of $\tau$. If the monopole has nonzero curvature, the density is positive on an open set in ${\mathbb{R}}^3$, and integrating its infinite $\tau$-extent givesFor a finite-energy monopole this can also be written as its positive action per unit length times ${\int }_{\mathbb{R}}d\tau$. Thus a nontrivial monopole lift is not a Yang-Mills instanton on ${\mathbb{R}}^4$. The flat solution $A_i=0$, $\Phi ={\Phi }_0$ constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.

More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.

Choose orientation ${ϵ}_{1234}=1$ and the anti-Hermitian basis in the question. The Pauli matrix commutator identity gives $[e_a,e_b]={ϵ}_{abc}{e}_c$. Define the gauge curvature and adjoint covariant derivative byFor a compactly supported variation $a_{\mu }=\delta A_{\mu }$,Antisymmetry and the invariant Lie-algebra inner product therefore giveCovariant integration by parts is valid because
$⟨X,[A,Y]⟩=-⟨[A,X],Y⟩$. Thus the Euler-Lagrange field equations are

The Euclidean Hodge star operator on two-forms isThe Anti-self-dual Yang-Mills equations mean $\boxed{\ast F=-F}$.

The gauge-theory Bianchi identity isTo prove it, act on the defining representation with ${\nabla }_{\mu }={\partial }_{\mu }+A_{\mu }$. Its commutator is multiplication by $F_{\mu \nu }$. The operator Jacobi identity for ${\nabla }_{\mu },{\nabla }_{\nu },{\nabla }_{\rho }$ becomes multiplication by the displayed cyclic sum, which must vanish. Equivalently, substitution of $F=dA+A\wedge A$ into $D_{A}F$ cancels the ordinary derivatives, leaving the Lie-algebra Jacobi identity. Contracting the cyclic identity with the alternating tensor gives $D_{\mu }(\ast F{)}_{\mu \nu }=0$. If $\ast F=-F$, this is exactly $D_{\mu }{F}_{\mu \nu }=0$, proving the first-order-to-second-order implication without assuming the field equations.

LetAll squared component sums below include both orders of each antisymmetric pair, as does the printed energy. Since the Hodge star preserves this norm,Consequently $V\ge |J|/2$. An anti-self-dual field has $J=-2V\le 0$ and saturates the first bound. Among all finite-energy potentials with the same value of $J$, it therefore has the absolute minimum $-J/2$. For positive $J$, the saturating sign is self-duality instead; there cannot be a nonzero anti-self-dual solution in that sector. This is the Yang-Mills instanton Bogomolny bound in the paper's normalization.

For the topological meaning, regard $F=\frac{1}{2}{F}_{\mu \nu }^a{e}_{a}d{x}^{\mu }\wedge d{x}^{\nu }$ as a matrix-valued two-form. Since $\mathrm{tr}(e_a{e}_b)=-{\delta }_{ab}/2$,In the Second Chern number convention used here,With the standard instanton boundary condition, the connection approaches a pure gauge at infinity and extends to a bundle over the compactified four-sphere. This makes $k$ an integer, the instanton number; reversing the orientation or using the opposite charge convention reverses its sign. The square-completion argument itself does not require quantization or a chosen framing.

One can see the boundary interpretation directly. The Chern-Simons 3-form obeysFor an asymptotic potential $A=-dg{g}^{-1}$, the flatness identity $dA=-A\wedge A$ givesThis is the winding number of $g:S_{\infty }^3\to SU(2)\cong S^3$, with the corresponding orientation convention. Smooth variations preserving that boundary class cannot change it. Thus the integral in the question labels the topological sector of the Yang-Mills instanton, and in an anti-self-dual sector the energy is $\boxed{V=32{\pi }^{2}k}$ with $k\ge 0$ in our convention.

The geometric object underlying an $SU(2)$ gauge field is a principal connection on a principal bundle $P\to M$ with structure group SU(2). The base $M$ is spacetime, or an oriented Riemannian manifold in the Euclidean formulation. A choice of local section identifies each fibre with SU(2) and produces a local gauge potential. Such a choice is a choice of internal frame; changing it produces a gauge equivalence of principal connections. The bundle specifies the global gluing of these frames, while the principal connection specifies how frames at neighbouring points are compared.

The SU(2) group consists of $2\times 2$ unitary matrices of determinant one. Its Lie algebra consists of traceless Skew-Hermitian matrices. For definiteness usewhere the ${\sigma }_a$ are Pauli matrices. The commutator fixes all signs below. The positive invariant inner product on this Lie algebra is $-\mathrm{tr}(XY)$. Absorb the coupling into the gauge potential, so the gauge covariant derivative in the defining two-dimensional representation is $D=d+A$ with $A=A^a{t}_a$. A convention using Hermitian Pauli matrices instead moves factors of $i$ and the coupling into $D$; the underlying principal connection is the same geometric data.

A principal connection can be given by a Lie algebra-valued differential one-form $\mathcal{A}$ on $P$ satisfyingHere ${\xi }_P$ is the vertical vector generated by the right group action. The first identity recovers vertical motion and the second makes the construction independent of a fibre frame. Its kernel is the horizontal distribution of a principal connection, complementary to the vertical tangent spaces. A curve is horizontal when $\mathcal{A}$ annihilates its velocity, so a principal connection defines parallel transport along curves in $M$.

For a local section $s$, the local principal connection form is $A=s^{\ast }\mathcal{A}$. Change the section to $s^{\prime }=sh$, with $h:U\to SU(2)$. Differentiating $sh$ has a translated horizontal part and a vertical part from $dh$. The two defining identities for the principal connection therefore giveOn overlapping trivializations this is exactly the compatibility law for the local principal connection forms. In particular, the gauge potentials need not glue as ordinary globally defined differential one-forms on $M$. On a nontrivial principal bundle there need not be any global section with respect to which one could write a single matrix-valued $A$.

An active gauge equivalence of principal connections is generated by a bundle automorphism covering the identity on $M$ and commuting with the right SU(2) action. Its local description has the same transformation formula, but its local group-valued functions must satisfy transition compatibility on overlaps. This distinguishes the structure group SU(2) from the full gauge group of a fixed bundle. Two descriptions related by a passive change of section encode the same principal connection; two connections related by such an automorphism lie in the same physical gauge orbit. The space of principal connections on a fixed bundle is affine: the difference of two connection forms is a differential one-form with values in the adjoint bundle, since their inhomogeneous transformation terms cancel.

The curvature of a principal connection isIt is horizontal and equivariant, hence descends to a differential two-form on $M$ valued in the adjoint bundle. In a local section the gauge curvature becomesThe product $A\wedge A$ combines the exterior product with matrix multiplication. The commutator term is the specifically non-Abelian interaction. Substitution of the transformation of $A$, using $d(h^{-1})=-h^{-1}(dh)h^{-1}$, cancels all derivatives of $h$ and givesThus the gauge curvature transforms tensorially even though the gauge potential does not. Geometrically, the curvature of a principal connection measures the failure of the horizontal distribution of a principal connection to be integrable; physically it is the non-Abelian gauge field strength.

Matter fields are sections of associated vector bundles. A field in the defining representation of SU(2) is a section of $E=P{\times }_{SU(2)}{\mathbb{C}}^2$. Its two local components satisfy ${\psi }^{\prime }=h^{-1}\psi$ under the section convention above. The induced gauge covariant derivative obeysThis covariance is why replacing ordinary derivatives by gauge covariant derivatives makes the kinetic terms compatible with changes of internal frame. Applying the gauge covariant derivative twice yields $D^2\psi =F\psi$, so the gauge curvature also measures the noncommutativity of covariant differentiation. Other group representations give other associated vector bundles and replace $A$ by its image under the differential of the representation.

For an adjoint-valued differential form $\Phi$ of degree $r$, setExpansion of $F=dA+A\wedge A$, using $d^2=0$, proves the gauge-theory Bianchi identityThis is an identity for every principal connection, independent of any field equation. It should be distinguished from the dynamical Yang-Mills equations.

To obtain dynamics, equip $M$ with a Riemannian metric and an orientation, and let $\ast$ be its Hodge star operator. With the Skew-Hermitian normalization above, the positive Euclidean Yang-Mills action isThe matrix trace and the Hodge star operator make this independent of the choice of local section. The minus sign compensates for the negative trace form on Skew-Hermitian matrices. Varying the principal connection gives $\delta F=D_A\delta A$, and thereforeFor compactly supported variations, or on a closed base, integration by parts gives the Yang-Mills equationsIn components these are $D_{\mu }{F}^{\mu \nu }=0$. The gauge-theory Bianchi identity provides the complementary geometric identity $D_{A}F=0$. Coupling matter adds the associated gauge current to the dynamical equation; the transformation law of the gauge covariant derivative ensures covariance of that current as well.

The principal connection also supplies nonlocal observables. Along a path $\gamma$, parallel transport is determined byThe ordering is necessary because the Lie algebra matrices at different points need not commute. The resulting Wilson line transforms as $U_{\gamma }^{\prime }=h(\gamma (1){)}^{-1}{U}_{\gamma }h(\gamma (0))$. For a closed path, its matrix trace is a Wilson loop, independent of the frame at the basepoint. These observables record the holonomy of a connection. A flat principal connection has trivial holonomy of a connection around sufficiently small contractible loops but may have nontrivial holonomy of a connection around noncontractible loops. Thus vanishing local gauge curvature need not eliminate global gauge information.

The global topology becomes particularly visible in four dimensions. For a closed oriented four-dimensional base, Chern-Weil theory gives the Second Chern number of the defining associated vector bundle:The plus sign here uses Skew-Hermitian curvature and the mathematical second-Chern convention: expanding $\det (I+iF/(2\pi ))$ with $\mathrm{tr}F=0$ gives precisely the displayed Second Chern form. A convention defining a physics topological charge with a leading minus sign instead calls that charge $-k$. Neither choice changes the absolute-value action bound.

The Second Chern number is independent of the principal connection on a fixed bundle. Indeed, the gauge-theory Bianchi identity implieswhose integral vanishes on a closed base by Stokes theorem. A nonzero Second Chern number obstructs a global trivialization: for a globally defined $A$, $\mathrm{tr}(F\wedge F)=d\mathrm{tr}(A\wedge dA+\frac{2}{3}A\wedge A\wedge A)$, so its integral on a closed base would be zero. On $S^4$, gluing two trivial bundles over four-balls uses a transition map $S^3\to SU(2)$. Since SU(2) as the three-sphere identifies the target with $S^3$, such gluing maps have integer degree of a map between oriented manifolds, illustrating how distinct topological sectors arise.

In four Euclidean dimensions, the Hodge star operator squares to one on differential two-forms. Decompose $F=F_{+}+F_{-}$ with $\ast F_{\pm }=\pm F_{\pm }$. Define the nonnegative squared norms $a_{\pm }=-\int \mathrm{tr}(F_{\pm }\wedge \ast F_{\pm })$. Orthogonality givesEquality means that one component vanishes, giving the self-dual Yang-Mills equations or the Anti-self-dual Yang-Mills equations. Such finite-action solutions are Yang-Mills instantons. They solve the full Yang-Mills equations because $D_A\ast F=\pm D_{A}F=0$. With the second-Chern convention just specified, anti-self-dual curvature has $k\ge 0$ and self-dual curvature has $k\le 0$. On noncompact spacetime one must impose suitable decay or boundary conditions before treating the topological integral as an integer and using the same bound without boundary terms.

Local gauge potentials, matter gauge covariant derivatives, gauge field strength, parallel transport and Second Chern number are different manifestations of one principal connection. The principal bundle preserves the global information that a single local gauge potential cannot capture; the Yang-Mills action then selects its physical dynamics.

A principal bundle separates the geometry of internal symmetry from a chosen local gauge potential. Let $\pi :P\to X$ be a principal $G$-bundle with a free right Lie group action. Each fiber is a copy of $G$, but generally no single identification works globally. A principal connection tells us how to compare fibers over nearby base points. Its physical interpretation is a prescription for parallel transport of internal states.

For $\xi \in \mathfrak{g}$, the vertical fundamental vector field is ${\xi }_p^{\#}={\frac{d}{ds}|}_{0}p\exp (s\xi )$. A principal connection is a Lie algebra-valued one-form $\mathcal{A}$ on $P$ satisfyingEquivalently, the horizontal distribution of a principal connection $H_p=\ker {\mathcal{A}}_p$ complements the vertical tangent space and is preserved by right translation. Given a curve in $X$ and an initial point in its fiber, there is a unique horizontal lift. For a closed curve its endpoint differs from its start by a group element: the holonomy of a connection. Thus a principal connection contains both infinitesimal and global transport information.

Choose local sections $s_{\alpha }:U_{\alpha }\to P$. Their local principal connection forms $A_{\alpha }=s_{\alpha }^{\ast }\mathcal{A}$ are the usual gauge potentials. If $s_{\beta }=s_{\alpha }{g}_{\alpha \beta }$ on an overlap, equivariance and reproduction of vertical generators giveThis inhomogeneous law means that a gauge potential is not an ordinary globally defined tensor. Its local formulas glue to a global principal connection. The same law describes changing a local section by a gauge function. For example, to impose temporal gauge locally, solve ${\partial }_{t}g=-A_{t}g$ so the transformed time component vanishes.

The curvature of a principal connection isUnlike the principal connection form, its curvature is horizontal and equivariant. Consequently $F_{\beta }=g_{\alpha \beta }^{-1}{F}_{\alpha }{g}_{\alpha \beta }$, and the gauge curvature is globally a two-form on $X$ with values in the adjoint bundle $\mathrm{ad}P=P{\times }_{\mathrm{Ad}}\mathfrak{g}$. The curvature measures the failure of horizontal directions to close under brackets: for horizontal lifts $U,V$, $\mathcal{F}(U,V)=-\mathcal{A}([U,V])$. A flat principal connection has an integrable horizontal distribution, although nontrivial global holonomy of a connection can remain around noncontractible curves.

The covariant exterior derivative on adjoint bundle-valued forms is locally $D_A=d+[A,\cdot ]$. Expanding $F=dA+A\wedge A$ and using $d^2=0$ yields the Bianchi identityFor a representation $\rho$ of $G$, the same principal connection induces transport in the corresponding associated vector bundle; locally its covariant derivative is $d+{\rho }_{\ast }(A)$. This explains why charged matter and the gauge curvature use the same gauge potential.

Now put an oriented Riemannian metric on a four-dimensional base and take $G=SU(n)$. Use anti-Hermitian matrices with positive pairing $-\mathrm{tr}(XY)$, as in the preceding solution. The Yang-Mills action isIts gauge invariance follows from curvature conjugation and invariance of the trace. Under a compactly supported variation $a=\delta A$, $\delta F=D_{A}a$. Integration by parts therefore givesThis is a second-order equation for the gauge potential. The self-dual Yang-Mills equations $F=\ast F$ and the Anti-self-dual Yang-Mills equations $F=-\ast F$ are first-order equations. Either implies the full Yang-Mills equations immediately, since $D_A\ast F=\pm D_{A}F=0$ by the Bianchi identity. This is self-duality implies Yang-Mills equations.

A Yang-Mills instanton is a smooth finite-action Euclidean solution with self-dual or anti-self-dual gauge curvature. Its defining first-order condition depends on the principal connection, the metric and the orientation. Since the Hodge star operator on two-forms is unchanged under $g\mapsto e^{2f}g$ in four dimensions, self-duality and the Yang-Mills action are conformally invariant. In particular Euclidean solutions can be studied through conformal compactification, with appropriate behavior at infinity.

The global topology is encoded by Chern-Weil theory. Since $\mathrm{tr}F=0$, the Second Chern form and Second Chern number areon a compact oriented four-manifold. The Bianchi identity makes $c_2(A)$ closed. More explicitly, under a connection variation,Thus the integrated Second Chern number is independent of the principal connection on a fixed bundle, with the usual fixed-boundary condition on a noncompact base. The space of connections is affine, so integrating this variation along a straight path also proves that their characteristic forms differ by an exact form.

Locally the same characteristic form has a Chern-Simons 3-form primitive:On ${\mathbb{R}}^4$ the underlying bundle is trivial, but a finite-action instanton with the standard extendible behavior at infinity can define a nontrivial bundle after adding the point at infinity. The transition map on an equatorial $S^3$ takes values in $SU(n)$; for $n\ge 2$, its homotopy class lies in ${\pi }_3(SU(n))\cong \mathbb{Z}$. The boundary integral of the Chern-Simons 3-form computes that integer with the chosen sign convention. This reconciles a local matrix-valued gauge potential on ${\mathbb{R}}^4$ with nonzero global Second Chern number on $S^4$.

Finally the Hodge splitting of Euclidean two-forms produces the Yang-Mills instanton Bogomolny boundEquality holds exactly when the opposite-duality component of the gauge curvature vanishes. Thus a Yang-Mills instanton is an absolute action minimum in its fixed topological sector, not merely a stationary solution. In this trace convention self-dual instantons have $k<0$ and anti-self-dual instantons have $k>0$. In the zero sector, a self-dual or anti-self-dual finite-action solution has $S=0$ and hence $F=0$.

Different principal connections related by bundle gauge transformations describe the same physical configuration. Fixing $k$ and taking the quotient of instanton solutions by this gauge equivalence of principal connections gives the instanton moduli space. Near an anti-self-dual solution, write a variation as $a\in {\Omega }^1(X,\mathrm{ad}P)$. The linearized instanton equation and infinitesimal gauge transformations areA local gauge condition $D_A^{\ast }a=0$ removes this redundancy. The combined operator $D_A^{\ast }\oplus P_{+}{D}_A$ is elliptic: for nonzero covector $\xi$, its principal symbol $a\mapsto ({\iota }_{{\xi }^{♯}}a,P_{+}(\xi \wedge a))$ has zero kernel. Choose $\xi =dt$; the first component removes $a_t$, and the self-dual projection of $dt\wedge a$ removes the three remaining components. This connects the instanton moduli space to geometric analysis, while the characteristic number and transport law explain its topological and physical meaning.

On an oriented pseudo-Riemannian vector space $({\mathbb{R}}^n,\eta ,\mathrm{vol})$, the Hodge star operator is the unique linear mapsatisfyingfor all $p$-forms $\alpha ,\beta$. If $s$ is the number of negative metric directions, thenon $p$-forms under this convention. For the two-forms in the question,whereasThe induced inner product is symmetric, so these expressions are negatives of one another. Hence a self-dual differential form and an anti-self-dual differential form are orthogonal and

Write $w=x^1+i{x}^2$ and $z=x^3+i{x}^4$. The metric is conformal to the standard Euclidean metric, and the Hodge star on middle-degree differential forms is conformally invariant. Taking $e^{ij}=d{x}^i\wedge d{x}^j$, the three real forms arebecause ${\omega }_1+i{\omega }_2=dw\wedge dz$. For the orientation specified by
$dw\wedge dz\wedge d\bar{w}\wedge d\bar{z}$, one hasThe corresponding relations for the complementary basis forms immediately giveThus these forms give a real basis of the self-dual two-forms.

Let $D_{\alpha }={\partial }_{\alpha }+A_{\alpha }$ be the gauge covariant derivative. In these complex coordinates the Anti-self-dual Yang-Mills equations areIntroduce the spectral parameter $\lambda$ and the linear operatorsTheir commutator isTherefore the Lax pair for the anti-self-dual Yang-Mills equationsis compatible for every $\lambda$ exactly when the ASDYM equations hold.

In particular, $F_{wz}=0$ says that the connection restricted to each $(w,z)$ surface is a flat connection. On a simply connected coordinate patch, the compatible equationshave an invertible solution $g$. Applying the associated gauge transformation setsThis conclusion is local; global topology can obstruct a single such gauge over the whole space.

Both the self-dual Yang-Mills equations and the Anti-self-dual Yang-Mills equations imply the second-order Yang-Mills equations because the Bianchi identity holds for every principal connection. Finite action is additionally required to call the solution a Yang-Mills instanton; the implication itself is a local differential identity.

The self-dual Yang-Mills equations require a gauge curvature two-form to have positive Hodge star operator eigenvalue on an oriented Riemannian four-manifold. By the Bianchi identity, they imply the full second-order Yang-Mills equations. Smooth finite-action solutions saturate the Yang-Mills instanton Bogomolny bound. Reversing orientation exchanges this equation with the Anti-self-dual Yang-Mills equations.

In complexified four-dimensional space-time, antisymmetry giveswhere both gauge curvature two-component spinors are symmetric. The two summands are the two duality components. In the convention where the primed symmetric part is self-dual, the Anti-self-dual Yang-Mills equations are ${\phi }_{A^{\prime }{B}^{\prime }}=0$. Equivalently ${\pi }^{A^{\prime }}{\pi }^{B^{\prime }}{F}_{A{A}^{\prime }B{B}^{\prime }}=0$ for every primed two-component spinor $\pi$, since a quadratic polynomial vanishing for every two-component spinor has all symmetric coefficients zero.