For , the gauge-theory Bianchi identity is and the variation is . The graded product rule for the covariant exterior derivative gives the displayed boundary integral. Thus a constant-coefficient Yang-Mills theta term leaves the bulk Yang-Mills equations unchanged, but can change the boundary variational condition. Its four-form density is exactly gauge-invariant by conjugation of and cyclicity of the matrix trace, even if the gauge parameter is nonzero on the boundary. Gauge changes of a local Chern-Simons 3-form must not be confused with gauge changes of this globally defined curvature density.
Use an SU(2) connection one-form with Skew-Hermitian generators , so . Absorb the gauge coupling into , and write its gauge curvature as . The Yang-Mills gauge transformation convention is , giving .
In four dimensions the Second Chern form and Second Chern number of the associated fundamental rank-two bundle are
Here is a closed oriented four-manifold. This sign follows by expanding the total Chern class and using . The first Chern class vanishes for SU(2); the second is the degree-four characteristic class relevant here. With the same curvature convention the commonly positive self-dual instanton number is
Both sign conventions occur; fixing them at the outset avoids identifying opposite-oriented integers.
The form is gauge-invariant by conjugation and cyclicity of the matrix trace. The gauge-theory Bianchi identity makes it closed. To see that its integral is independent of the connection, vary :
On a closed the integral of this exact form vanishes. This is Chern-Weil connection transgression, showing that depends on the bundle's topology rather than on a particular gauge field.
Locally the same four-form is an exterior derivative. The Chern-Simons 3-form
satisfies
For verification, differentiating gives ; expansion of gives these terms and . Graded cyclicity moves the first one-form through the other three, changing the sign, so . This local exactness does not make the Second Chern number zero on every closed manifold: on a nontrivial bundle the gauge potentials and are only patchwise defined.
For the usual finite-action sector on , impose pure-gauge behavior at infinity. Compactification gives a bundle over , with transition map . The Maurer-Cartan equation gives , hence
With the outward boundary orientation, Stokes theorem therefore gives
These are opposite choices of the winding number, and either becomes the topological degree of after specifying the orientation of the target SU(2) sphere. Thus integrality also follows from . Smooth deformations preserving the asymptotic sector cannot change it.
The positive Euclidean Yang-Mills action is
Define . Since the Hodge star has square one on two-forms in Euclidean dimension four,
Choosing gives the Yang-Mills instanton Bogomolny bound
The self-dual Yang-Mills equations and their anti-self-dual version imply the Yang-Mills equations by the Bianchi identity. Their finite-action solutions are Yang-Mills instantons.
For a concrete self-dual example, the BPST instanton with center and size has
where are self-dual 't Hooft symbols. Their contraction is . Thus , and
This gives and . Reversing duality gives . The free center, size and framed gauge orientation illustrate the instanton moduli space.
On a three-dimensional slice , there is no four-form Chern integral intrinsic to the slice. Its transgression is the Chern-Simons number of a gauge field, in the instanton-charge convention
It is a real number for a general connection, not necessarily an integer, and is not strictly gauge invariant. Set and . Substituting , using and graded trace cyclicity, gives the gauge change of the Chern-Simons three-form
The mixed terms collect into the displayed exact form; the last term is also fixed by the pure-gauge case . Therefore on a closed , or with boundary conditions making the exact-form integral vanish,
Thus , or , is gauge invariant. Gauge maps homotopic to the identity have ; maps of nonzero winding are large transformations even when they equal the identity at infinity.
For a Yang-Mills vacuum on , zero magnetic energy requires . On simply connected space this is a pure gauge , and is an integer after fixing the asymptotic trivialization. Quotienting only by transformations homotopic to the identity leaves integer-labelled vacuum representatives. Allowing all winding transformations identifies them classically; quantum states can instead transform by a phase, producing the theta vacuum. A three-dimensional pure-gauge representative carries a winding number but is not a localized positive-energy monopole. In fact no static finite-energy lump in three-dimensional pure Yang-Mills theory exists with the usual decay conditions: gives , and stationarity forces .
Finally, on an oriented spacetime slab , with no side-boundary contribution, the transgression identity gives
A Yang-Mills instanton therefore interpolates between vacuum representatives whose Chern-Simons numbers differ by its integer charge. In a four-dimensional quantum theory a Yang-Mills theta term weights such sectors by , making periodic modulo . In an intrinsically three-dimensional theory an action has a gauge-invariant phase only for integer level under all winding gauge maps. These statements distinguish the gauge-invariant integer four-dimensional Chern charge from the three-dimensional connection-dependent quantity defined modulo integers.
Take a local gauge transformation acting on the adjoint field by . The connection convention is compatible with
Indeed, differentiating gives the extra commutator , exactly cancelled by the inhomogeneous term in the transformed gauge potential.
For a direct proof of the Yang-Mills gauge transformation of curvature, put and . Differentiation gives
Substituting into the Yang-Mills field strength cancels all terms involving and leaves
This direct calculation also applies when the adjoint action has a kernel.
Expand . The mixed second derivatives of cancel in pairs. The first-derivative terms from differentiating cancel the terms from . The remaining sum is
by the Jacobi identity. Thus the gauge-theory Bianchi identity is
For the variation of the Yang-Mills action, write . Differentiating the curvature gives . Invariance of the Killing form implies
This is invariant integration by parts for a gauge covariant derivative. Using symmetry of the Killing form, antisymmetry of , and compactly supported variations,
Since the Killing form of a semisimple Lie algebra is nondegenerate and the variations are arbitrary, the Yang-Mills equations are
For the constant Yang-Mills theta term, symmetry under exchanging the two antisymmetric index pairs gives
up to the boundary variation of the Yang-Mills theta term. Contracting the gauge-theory Bianchi identity with makes the last integrand vanish. Therefore a constant theta term does not alter the bulk Yang-Mills equations: . Its variation is a boundary term, so this conclusion uses compact support or boundary conditions that remove that term.
Finally apply to the gauge-theory Bianchi identity, obtaining
The adjoint covariant derivative obeys . Commute past the other derivative. The differentiated divergences vanish by the Yang-Mills equations, leaving
In the last line the second commutator needs its sign tracked carefully: directly,
Thus the simplified sum gives the covariant wave equation for the Yang-Mills field strength
All spacetime derivatives and index manipulations here use the fixed flat metric.
A Yang-Mills instanton is a localized finite-action Euclidean gauge field with self-dual or anti-self-dual gauge curvature. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take gauge group first, with Skew-Hermitian generators , , and . Write
and fix orientation . The positive Euclidean action is
Varying gives . Integration by parts makes stationarity equivalent to . The Bianchi identity follows by expanding , using , and cancelling the remaining matrix commutator terms. Consequently implies the Yang-Mills equations: . Self-duality of gauge curvature is an extra first-order condition, not a property of every finite-action gauge connection.
For the usual instanton decay conditions, the field is asymptotically pure gauge, on the sphere at infinity. The boundary map has an integer degree. With the present trace convention define the instanton number by
The identity
turns this integral into a boundary winding integral: for , the three-form in parentheses is , giving , with the chosen boundary orientation. The normalized invariant three-form computes the degree of , so . Equivalently the gauge bundle extends across conformal infinity to a bundle on , and this is its Second Chern number convention. A smooth deformation preserving the boundary class cannot change this integer.
Square completion gives the Yang-Mills instanton Bogomolny bound:
Self-dual gauge curvature saturates the bound for , and anti-self-dual gauge curvature for . These are Yang-Mills action minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give zero modes; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.
An explicit charge-one solution is the BPST instanton. Put , , , with . The self-dual 't Hooft symbols are defined by and , extended antisymmetrically. Then
For completeness, differentiation supplies , where . The matrix commutator term supplies , and the symbol identity
reduces their sum to the stated gauge curvature. Since , it is self-dual and solves the Yang-Mills equations. The gauge potential is regular at the center in this gauge, and gauge curvature falls as at infinity.
The squared-symbol sum is 12, so
The second integral follows from and the substitution . Thus
Replacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an subgroup admits corresponding embedded examples.
The center gives four position moduli and gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global orientation parameters remain, making eight real parameters for one instanton. If constant gauge transformations are also divided out, only the five position-and-size parameters remain. The size costs no classical Yang-Mills action: under , gauge curvature scales by and the four-dimensional volume by . As , gauge curvature concentrates at the center; the limiting object is a singular bubbling boundary of moduli space, not a smooth zero-size solution.
Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one gauge potentials. The ADHM construction gives a finite-dimensional description. For , , take , , , satisfying
modulo the natural group action of . Here is the charge magnitude, avoiding confusion with the signed above. Regularity requires the following matrix to have full row rank everywhere:
The complex constraint kills the off-diagonal block of , while the real constraint equates its diagonal blocks. Thus . Choose an orthonormal matrix of kernel columns , with , and define .
This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is . Differentiating in the identity gives
The space-time differential two-forms appearing here are generated by , , and . For orientation these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed instanton moduli, while degenerate rank conditions allow singular limits.
There are real data parameters. The three real matrix moment map equations impose conditions, and quotient by removes another , giving dimensions at regular points. For this is framed dimensions and unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.
The Penrose-Ward correspondence provides a complementary description by holomorphic vector bundles on twistor space, trivial on the real twistor lines for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean instantons. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the Bogomolny equations.
In the quantum theory, a Euclidean instanton interpolates between Yang-Mills vacua of different Chern-Simons number. Choosing Euclidean time and spatial orientation , its signed charge is the final Chern-Simons number minus the initial one, so it describes quantum tunnelling between winding sectors. Semiclassical contributions are suppressed by ; a Yang-Mills theta term adds a phase . One integrates over the instanton collective coordinates and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. Instantons therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.
Absorb the gauge coupling into a matrix-valued connection 1-form, and use
for an adjoint-valued -form . The matrix trace supplies the usual invariant nondegenerate pairing of the Lie algebra, and the spacetime metric defining the Hodge star is fixed during the gauge-field variation. Since and the two-form Hodge pairing is symmetric,
For variations fixed at the boundary, the Yang-Mills equations are therefore
They accompany, rather than replace, the gauge-theory Bianchi identity , which follows directly by substituting and using .
Fix the Yang-Mills gauge transformation convention
Taking gives
The curvature variation also follows from . If the group parameter is defined with the opposite sign, both displayed infinitesimal variations change sign together.
The Hodge star acts only on spacetime indices, so . Consequently
This proves exact off-shell gauge invariance, with no surviving boundary term, even for a gauge parameter nonzero at the boundary. It does not require the Yang-Mills equations.
One can check the surface terms explicitly in the integrated variation. The Lie-algebra-valued four-form vanishes: writing , the coefficients are symmetric in , and multiply the antisymmetric commutator . Thus , and the gauge substitution in the variation gives
The last equality is Stokes theorem on the closed boundary; equivalently the cancellation is already pointwise in the preceding derivation. Keeping only the first surface term from an arbitrary variation would incorrectly produce a gauge boundary term.
For the additional Yang-Mills theta term, denote its coefficient-free integral by . Its gauge variation is again pointwise zero:
Under an arbitrary connection variation, its boundary variation of the Yang-Mills theta term is
The bulk term vanishes by the gauge-theory Bianchi identity. Therefore adding a constant multiple of does not change the bulk Yang-Mills equations. With fixed boundary potential, it also leaves the usual variational problem unchanged. If boundary variations are allowed, it changes the boundary term: has surface variation , so compatible boundary conditions or a boundary action must account for that change.
Locally , the unnormalized Chern-Simons 3-form identity. That three-form need not be globally defined on a nontrivial bundle, so absence of a bulk variation does not force itself to vanish. Its exact gauge invariance is the curvature-conjugation calculation above, independently of the choice of local gauge potential.
The degree of a map between oriented manifolds measures how many times the domain covers the target, with signs recording the local local orientation of a manifold. Let be connected, oriented closed manifolds of the same dimension . A continuous map acts on top-dimensional homology by
where are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify with . Reversing the orientation of either manifold changes the sign; reversing both does not.
For a smooth map, Sard theorem supplies a regular value . Its inverse image is discrete and, by compactness, finite. At each the differential is an isomorphism; let its sign be or according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees is
The sign is computed in oriented manifold charts. The value is independent of the chosen regular value, even when inverse images appear or disappear: the signed count is the coefficient of in .
There is a useful local-density expression for the same topological degree. If is a volume form with , then
This degree by integration of a pullback volume form follows first by choosing a smooth top-form supported in a small neighborhood of a regular value, where the inverse branches contribute their orientation signs. Any other normalized top-form differs from it by an exact form: integration identifies with . The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form , .
A homotopy preserves this integral, since and Stokes theorem gives
Thus topological degree is a homotopy invariant. It is multiplicative under composition, because the induced maps on homology compose: . The identity has degree one, a constant map has degree zero for , and an orientation-reversing diffeomorphism has degree minus one. An orientation-preserving finite covering map has degree equal to its number of sheets. Nonzero topological degree forces surjectivity, since an omitted point would be a regular value with an empty inverse image.
For the circle, has degree , positive or negative. This is its winding number, computable as . The antipodal map of has degree : its extension on the ambient -dimensional vector space has that determinant sign and respects the outward-normal convention. A holomorphic map , , on the Riemann sphere has degree , whereas its complex conjugate has degree . These examples show how orientation, rather than simply the number of inverse images, determines the integer.
For maps , topological degree gives the complete homotopy classification . The degree does not classify general manifold maps: the identity of the torus and the map induced by the integer matrix both have degree one, but have different induced maps on and so are not homotopic. A nonzero-degree map cannot extend continuously to , because such an extension would make the boundary map null-homotopic. In the smooth setting, Stokes theorem gives the same obstruction by applying it to the pulled-back normalized volume form.
The hypotheses can be adjusted, but must be stated. For connected oriented noncompact manifolds, a proper map has a degree defined using compactly supported top-forms, and it is invariant under proper homotopies. For manifolds with boundary one uses relative fundamental classes and maps of pairs, or fixes appropriate boundary conditions. Without an integral orientation one can still count inverse images modulo two, obtaining a mod-two degree. The integer integral formula used below assumes the oriented setting.
In classical field theory, these ideas turn continuous fields into quantized topological charges. Suppose a field on approaches one fixed target value at spatial infinity. The one-point compactification makes it a map . When the target is an oriented closed -manifold, its topological degree labels topological sectors. More generally the sectors are described by homotopy groups; an integer degree is available only when the domain and target have the appropriate dimensions and orientations. Smooth time evolution preserving the boundary condition is a homotopy, so it cannot change the integer. A change requires a singular field, escape from the allowed target, or a change at the boundary.
A normalized closed target -form gives the pullback-volume representation of a topological current. On spacetime, put . Since , its dual current is identically conserved, and
is independent of time when there is no flux at infinity. This conservation law follows from geometry without using the field equations; it need not arise from a continuous symmetry through Noether theorem.
A concrete example is the O3 nonlinear sigma model in two spatial dimensions. Its unit-vector field approaches a constant at infinity, defining . The normalized area form of the target gives the degree charge of an O3 sigma-model lump:
For the energy normalization , the identities give
This is the Bogomolny degree bound for the O3 sigma model. Choosing the sign appropriate to makes the square nonnegative; vanishing of the square gives first-order Bogomolny equations and a sigma-model lump saturating the bound. With the oriented stereographic projection
the maps have and . Their conjugates have with the same energy. Holomorphic rational maps have positive degree equal to their degree as rational maps; taking a reciprocal does not reverse the orientation. Antiholomorphic dependence reverses it.
The Skyrme model supplies a three-dimensional example. A field with at infinity is a map . Take and , with positive. Since , the normalized target volume form is
The integral is one on the unit three-sphere. Consequently the Skyrme baryon number as a mapping degree is
This is the topological baryon number in the Skyrme model; the sign has been fixed by the stated orientation and anti-Hermitian generator convention.
A topological charge alone does not guarantee a stable finite-size solution. The degree and energetic stability of a field configuration concern different properties. For a three-dimensional configuration of size , the two-derivative energy scales as , so it can decrease by shrinking while the topological degree remains fixed for every . The limit can be singular. The Skyrme term, with four derivatives, scales as and can balance the shrinking tendency. This is the role of Derrick theorem in distinguishing topological obstruction from energetic stability.
For defects, the relevant boundary map can instead be the sphere surrounding a core. A vacuum manifold equal to gives the integer winding number of a vortex; a vacuum manifold gives the degree of a surrounding for a magnetic monopole. This vacuum-boundary degree as a defect charge obstructs extending the normalized vacuum field through the enclosed ball. A nonzero integer therefore forces the field to leave the vacuum manifold somewhere in the core. This construction does not require the field to take one constant value in every direction at infinity.
Degree also appears in four-dimensional gauge theory through a boundary transition function. For an anti-Hermitian SU(2) gauge connection on , write and assume finite-action boundary behavior on the large bounding three-sphere. In the second-Chern convention
the identity and the Maurer-Cartan equation give
This boundary winding representation of Yang-Mills topological charge relates the Second Chern number to the degree of . The Chern-Simons 3-form turns the bulk integral into the boundary winding integral. Conventions which define the instanton number with the opposite trace sign reverse ; the integer quantization is unchanged. A Yang-Mills theta term weights a sector by , giving periodicity . Thus the same topological degree that counts oriented inverse images also labels field sectors and expresses their quantized charges as integrals of local densities.
Keep the color matrix intact: . Under parity, invariance of its contraction with the vector current requires
Under charge conjugation, the fermionic reordering in part (b) transposes the color matrix as well as the spinor matrix. For a fixed color matrix , becomes . Hence invariance of the interaction requires
This is not a rule that changes the sign of every individual color component: transposition also acts on the generators of the fundamental representation.
Write the gauge field strength as . Since , the charge conjugation rule gives . Including the coordinate reflection in CP symmetry,
For generators normalized by , the color contraction equals . The two charge-conjugation minus signs cancel, and transposition reverses the order inside the trace without changing it. The Levi-Civita symbol acquires under the remaining reflection. Thus
The Yang-Mills theta term is CP-odd; a generic fixed nonzero produces CP violation. Setting removes this source. Although the density is a total derivative, it can affect the quantum theory through nontrivial topological sectors; the local transformation test is not rendered irrelevant by that fact.
An experimentally observed example is , a decay of the long-lived neutral kaon into a CP-even two-pion state. Without CP violation, the long-lived state would be CP-odd and this decay would be forbidden.
For the CKM matrix mechanism of CP violation, three quark generations are the minimum. Rephasings remove every complex phase for one or two generations, while three generations leave one physical CP-violating phase. This count concerns weak quark mixing. The Yang-Mills theta term in part (c) is a separate possible source of CP violation and does not require three generations.
Up to Euclidean sign conventions, the parity-even renormalizable Lagrangian is
The Yang-Mills term is invariant because transforms by conjugation and the matrix trace is cyclic. Covariance of makes invariant, and the fermion mass is invariant because the factors cancel. Likewise transforms by conjugation, so its trace norm, , and every power of that norm are invariant. Finally,
which proves gauge invariance of the Yukawa interaction.
Gauge invariance and power counting also permit the parity-odd Yukawa interaction , a pseudoscalar fermion mass , and the Yang-Mills theta term. They are absent if parity and CP are imposed. There is no nonzero cubic scalar invariant: vanishes for , equivalently for commuting scalar components.
For one complex scalar in the fundamental representation, the most general power-counting-renormalizable gauge-invariant Lagrangian is
apart from a constant and the four-dimensional Yang-Mills theta term. Stability requires . A cubic candidate vanishes because the scalar components commute.
The QCD Yang-Mills theta term is
The chromoelectric field is a spatial vector and the chromomagnetic field is a pseudovector, so their scalar product is odd under parity. It is also odd under time-reversal symmetry because time reversal reverses but not . Charge conjugation reverses both color fields in the gauge-invariant trace and leaves the product even. The term therefore violates P, T, and CP, while it preserves CPT because the two sign reversals from P and T cancel.
The Standard Model has two independent sources of CP violation. Weak CP violation comes from the irreducible phase of the Cabibbo-Kobayashi-Maskawa matrix; its basis-independent measure is the Jarlskog invariant. Strong CP violation is governed by
which multiplies the Yang-Mills theta term . Quark chiral rephasings shift and the mass-matrix phase oppositely, leaving invariant. The CKM phase and are otherwise independent parameters: observed weak CP violation does not explain why neutron-electric-dipole bounds require . This unexplained smallness is the Strong CP problem.
Since , both and vary by a commutator. Cyclicity of the matrix trace therefore makes both terms gauge invariant. In electric and magnetic variables,
The Yang-Mills kinetic term is even under , , and . The Yang-Mills theta term is even under because both fields change sign and transpose, but odd under and under because exactly one of changes sign.
Theta vacuum 2026-10-14
A theta vacuum is a coherent state formed from gauge vacua of different winding numbers. Large gauge transformations shift and act on this state by a phase. The Yang-Mills theta term gives the corresponding weighting of spacetime topological sectors.