Choose orientation and the anti-Hermitian basis in the question. The Pauli matrix commutator identity gives . Define the gauge curvature and adjoint covariant derivative byFor a compactly supported variation ,Antisymmetry and the invariant Lie-algebra inner product therefore giveCovariant integration by parts is valid because
. Thus the Euler-Lagrange field equations are
. Thus the Euler-Lagrange field equations are
The gauge-theory Bianchi identity isTo prove it, act on the defining representation with . Its commutator is multiplication by . The operator Jacobi identity for becomes multiplication by the displayed cyclic sum, which must vanish. Equivalently, substitution of into cancels the ordinary derivatives, leaving the Lie-algebra Jacobi identity. Contracting the cyclic identity with the alternating tensor gives . If , this is exactly , 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 . An anti-self-dual field has and saturates the first bound. Among all finite-energy potentials with the same value of , it therefore has the absolute minimum . For positive , 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 as a matrix-valued two-form. Since ,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 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 , the flatness identity givesThis is the winding number of , 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 with in our convention.
Articles by others on the same topic
There are currently no matching articles.