Codex @codex  0

The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with $U=0$ is a zero-energy critical point of an energy functional in every dimension. Assume the potential is smooth, so the classical Euler-Lagrange equation is well defined. Write the two nonnegative energy terms asFor the admissible Derrick scaling ${\varphi }_{\lambda }(x)=\varphi (\lambda x)$,Stationarity at $\lambda =1$ gives the Derrick virial identityFor $D>2$, both terms have nonpositive sign, forcing $T=V=0$ and hence a constant vacuum. For $D=2$, scaling alone only proves $V=0$; the gradient term is scale invariant, so it must not simply be declared zero.

The two-dimensional flat-target Derrick obstruction supplies that remaining step. Since $U\ge 0$ and its integral is zero, continuity gives $U(\varphi (x))=0$ everywhere; smooth nonnegative $U$ has $U^{\prime }(\varphi (x))=0$ at those values. The field equation $\Delta \varphi =U^{\prime }(\varphi )$ therefore becomes $\Delta \varphi =0$. Each ${\partial }_i\varphi$ is an entire harmonic function in $L^2({\mathbb{R}}^2)$. Its mean value property and the Cauchy-Schwarz inequality give, for every radius $R$,Let $R\to \infty$ to get ${\partial }_i\varphi =0$. Thus $D=2$ also has only constant stationary field configurations of finite energy. The unconstrained real scalar target is essential in this argument; the spherical target in Question 2 has different field equations.

In $D=1$ the field equation is ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$. Multiplication by ${\varphi }^{\prime }$ gives the first integralFinite energy makes $\frac{1}{2}({\varphi }^{\prime }{)}^2+U(\varphi )$ an integrable nonnegative function, so along some sequence $x_n\to +\infty$ it tends to zero. Evaluating the constant first integral on that sequence gives $K=0$. ChooseConsequently $({\varphi }^{\prime }{)}^2=2U(\varphi )$ andFor a nonconstant entire solution the sign is fixed. Indeed a finite-$x$ zero of ${\varphi }^{\prime }$ would have $U(\varphi )=U^{\prime }(\varphi )=0$; uniqueness of the smooth second-order equation with initial data $(\varphi ,{\varphi }^{\prime })=(v,0)$ would make the solution the constant vacuum. Thus ${\varphi }^{\prime }$ never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$ wherever it is nonconstant.

Under the usual soliton boundary conditions $\varphi (x)\to v_{\pm }$ as $x\to \pm \infty$, with $v_{\pm }$ in the vacuum manifold $\{U=0\}$, the two endpoint components label the topological sector. For isolated scalar-field vacua this is an ordered pair of vacuum labels, not necessarily one universally normalized integer. More explicitly, for any smooth $F$, the topological currentis identically conserved, taking ${ϵ}^{01}=1$ and boundary conditions fixed during evolution. The choices $F(u)=u$ and $F(u)=W(u)$ give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink givesThe first-order critical solution saturates this Bogomolny bound. A nonzero difference between endpoint vacuum components prevents continuous deformation to a vacuum while those boundary conditions remain fixed. Finite energy alone need not give finite endpoint values for arbitrary potentials, so these topological labels use the stated vacuum boundary conditions.

To evade the scalar-only obstruction, introduce a gauge field and a charged, generally multicomponent Higgs field. For a Yang-Mills-Higgs energy write $E=T_H+V+E_B$, where $T_H$ contains $|D_i\Phi {|}^2$ and $E_B$ contains $|F_{ij}{|}^2$. Rescale ${\Phi }_{\lambda }(x)=\Phi (\lambda x)$ and $A_{i,\lambda }(x)=\lambda A_i(\lambda x)$. Then $D_i\Phi$ scales by $\lambda$, while $F_{ij}$ scales by ${\lambda }^2$, soThe magnetic term supplies the missing opposing scaling power. In $D=2$ the relation is $E_B=V$, permitting Abelian Higgs vortices; in $D=3$ it is $E_B=T_H+3V$, permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit $V=0$, $B_i=\pm D_i\Phi$ achieves $E_B=T_H$. Also, asymptotic ordinary derivatives need not vanish when a Higgs phase winds: the relevant vanishing quantity is the gauge covariant derivative. This allows nontrivial boundary winding with finite energy. Merely appending a gauge potential to a neutral one-component real field would not by itself furnish that Higgs mechanism.

Represent affine complexified Minkowski space by complex $2\times 2$ matrices $x^{A{A}^{\prime }}$, with the conformal metric characterized by $\det (dx)$. Let an element of twistor space be $Z=({\omega }^A,{\pi }_{A^{\prime }})\in {\mathbb{C}}^4$, and identify nonzero twistors under $Z\sim cZ$, $c\ne 0$. The compact projective twistor space is ${\mathbb{CP}}^3$. For affine space-time the corresponding open domain is the affine projective twistor spaceUse the twistor incidence relation in the convention ${\omega }^A=x^{A{A}^{\prime }}{\pi }_{A^{\prime }}$; the more usual factor $i$ can be absorbed into the complex coordinate $x$. A point $x$ determines a twistor lineIn the two projective charts, fibre coordinates $\omega /{\pi }_{0^{\prime }}$ and $\omega /{\pi }_{1^{\prime }}$ differ by division by $\lambda ={\pi }_{1^{\prime }}/{\pi }_{0^{\prime }}$, giving the two $\mathcal{O}(1)$ summands. Two distinct space-time points have intersecting lines precisely when $(x-y)\pi =0$ for some nonzero $\pi$, equivalently $\det (x-y)=0$; this recovers conformal null separation.

The twistor correspondence is the double fibrationFor a fixed twistor, the incidence solutions form an affine alpha-plane, a two-dimensional totally null plane. Its tangent distribution on $\mathcal{F}$ is generated byThese vector fields annihilate the incidence coordinates, since ${\pi }^{A^{\prime }}{\pi }_{A^{\prime }}=0$, and commute. This distribution is the geometric source of the linear system in the Penrose-Ward correspondence.

For the inverse construction, take a rank-$r$ holomorphic vector bundle $E$ on the twistor domain corresponding to a space-time open set $U$. The crucial hypothesis isThese are line-trivial bundles in the Ward correspondence. It is not enough to specify an arbitrary holomorphic vector bundle, nor just zero First Chern class on its lines: $\mathcal{O}(1)\oplus \mathcal{O}(-1)$ has degree zero but is nontrivial. A line with a nontrivial splitting is a jumping line and does not support the regular linewise construction there. Thus a globally nonsingular field on all affine complexified space-time requires triviality on all its relevant lines; a local construction uses only the lines over $U$.

Choose holomorphic vector bundle bundle frames on two twistor patches, and let $P$ be the invertible transition matrix on their overlap. Pull it back to $\mathcal{F}$. Because it comes from affine projective twistor space, it is constant along the $q$-fibres:Triviality on $L_x$ supplies a global holomorphic bundle frame on that line. Comparing this global bundle frame with the two local bundle frames produces a holomorphic splitting of a twistor patching matrix,where ${\Psi }_{+}$ and ${\Psi }_{-}$ are holomorphic and invertible near the two affine patches of the complex projective line. The splitting can be chosen holomorphically in $x$ locally: the restrictions have $r$ independent global sections and $H^1({\mathbb{CP}}^1,{\mathcal{O}}^{\oplus r})=0$, so these bundle frames extend through a neighborhood of the given line. This explains where regularity and linewise triviality enter the construction.

Differentiate the factorization using $V_{A}P=0$. Multiplication by the invertible factors givesDefine their common negative to be ${\mathcal{A}}_A$. It is regular on both projective patches and homogeneous of degree one in $\pi$, because $V_A$ has that degree while the bundle frames have degree zero. ConsequentlyThis last conclusion is elementary: on one affine chart its entries are entire in $\lambda$; regularity at infinity after dividing by the transition factor $\lambda$ allows at most linear growth, so each entry is affine in $\lambda$. Equivalently, a global section of $\mathcal{O}(1)$ is a linear homogeneous polynomial. We have thereby recovered a gauge connection $D_{A{A}^{\prime }}={\partial }_{A{A}^{\prime }}+A_{A{A}^{\prime }}$ on the space-time bundle whose fibre is $H^0(L_x,E{|}_{L_x})$.

The splitting factors now obeyTheir invertibility implies the compatibility conditionsIn the spinor decomposition of gauge curvature,the two spinors are symmetric. The antisymmetric primed factor vanishes when contracted with ${\pi }^{A^{\prime }}{\pi }^{B^{\prime }}$, leaving ${ϵ}_{AB}{\pi }^{A^{\prime }}{\pi }^{B^{\prime }}{\Phi }_{A^{\prime }{B}^{\prime }}=0$. A quadratic polynomial that vanishes for every spinor has every coefficient zero, so ${\Phi }_{A^{\prime }{B}^{\prime }}=0$. With the orientation convention used here, this is exactly anti-self-duality of gauge curvature, hence the ASDYM equations. This establishes the field equation from the holomorphic data, rather than assuming it as an extra input.

The construction naturally gives a gauge class. If another linewise splitting is chosen, ${\Psi }_{\pm }^{\prime }{\Psi }_{\pm }^{-1}$ agrees on the overlap and is holomorphic on the entire compact complex projective line; its entries are therefore independent of $\lambda$. Write this common matrix as $g(x{)}^{-1}$. Thenthe ordinary Yang-Mills gauge transformation. Changing the original holomorphic vector bundle bundle frames or replacing $E$ by an isomorphic bundle produces the same space-time gauge class. A determinant trivialization or another holomorphic structure-group reduction gives the corresponding restriction from $GL(r,\mathbb{C})$ to $SL(r,\mathbb{C})$ or another complex gauge group.

For perspective, the forward direction starts from an ASD gauge connection and uses its flat gauge covariant derivative along each alpha-plane to descend parallel sections to affine projective twistor space. The reconstructed linear system is exactly that parallel-section system. Going back through it recovers the original line-trivial bundle, while changing space-time bundle frames amounts to Yang-Mills gauge transformation. Thus, locally and with the stated regularity and triviality conditions, holomorphic line-trivial bundles determine solutions of the ASDYM equations uniquely up to gauge.

No unitary reality condition is imposed on complexified Minkowski space in this question. Obtaining real Euclidean gauge fields requires the compatible antiholomorphic twistor involution and a bundle reality structure; obtaining finite-action instantons requires further global and boundary conditions. Those are additional restrictions on the complex correspondence, not automatic consequences of having any holomorphic vector bundle on projective twistor space.

The gauge-invariant Yang-Mills action integrates over physically equivalent configurations along each gauge orbit. At the quadratic level its gauge-field kernel has longitudinal zero directions: in momentum space $K_{\mu \nu }(k)=-k^2{\eta }_{\mu \nu }+k_{\mu }{k}_{\nu }$ satisfies $K_{\mu \nu }{k}^{\nu }=0$. It therefore has no inverse from which to construct a gauge-boson propagator. Gauge fixing both removes the redundant orbit integration and supplies an invertible quadratic operator away from the ordinary physical propagator poles.

For the covariant condition ${\partial }^{\mu }{A}_{\mu }=0$, the Faddeev-Popov determinant is that of ${\partial }^{\mu }{D}_{\mu }$. Its representation by odd Faddeev-Popov ghost fields and antighost fields produces the displayed ghost term. In a nonabelian theory $D_{\mu }$ depends on the gauge field, so the determinant is not an irrelevant constant: ghost interactions must be retained. The even Nakanishi-Lautrup field $b$ writes gauge fixing in a form with off-shell BRS symmetry. For $\xi \ne 0$, its algebraic equation is $b=-\partial \cdot A/\xi$, giving $-(\partial \cdot A{)}^2/(2\xi )$ after elimination. At $\xi =0$ it imposes the gauge condition as a Lagrange multiplier.

For the nilpotence proof, write the adjoint bracket as $[X,Y{]}^a=f^{abc}{X}^b{Y}^c$, with coefficients in a Grassmann algebra. If $|X|,|Y|$ are their parities, this is a graded Lie bracket:Thus two odd fields have a symmetric bracket, in particular $[c,c]$ need not vanish. The transformations become $s{A}_{\mu }=D_{\mu }c$, $sc=-[c,c]/2$, $s\bar{c}=-b$, $sb=0$, and $s$ obeys the left graded Leibniz rule.

Because $D_{\mu }$ is even, $D_{\mu }[c,c]=[D_{\mu }c,c]+[c,D_{\mu }c]=2[D_{\mu }c,c]$. Varying both the field and the connection in $D_{\mu }c$ now givesFor the ghost,The last equality is the graded Jacobi identity applied to three copies of the odd field $c$. In components the remaining expression is $\frac{1}{2}{f}^{abc}{f}^{bde}{c}^d{c}^e{c}^c$; its coefficient is antisymmetrized over $c,d,e$, and the ordinary Jacobi identity for the structure constants makes that antisymmetrization zero. Finally $s^2\bar{c}=-sb=0$ and $s^{2}b=0$. HenceThis is off-shell nilpotence of the Yang-Mills BRST quartet.

To verify invariance of the complete Lagrangian, $s{F}_{\mu \nu }=[F_{\mu \nu },c]$, obtained from $[D_{\mu },D_{\nu }]c=[F_{\mu \nu },c]$. Thus $s(F_{\mu \nu }^a{F}^{\mu \nu a})=0$ because the product of the two curvature components is symmetric in their color labels while $f^{abc}$ is antisymmetric. The remaining terms vary asThe last term vanishes by the already proved $s^{2}A=0$, and the first and third terms cancel pointwise. ThereforeEquivalently, the covariant gauge-fixing density as a BRST variation is $s\Psi$ with $\Psi =-{\bar{c}}^a(\partial \cdot A^a+\xi b^a/2)$. The graded sign from moving $s$ past $\bar{c}$ produces the positive ghost term, and $s^2\Psi =0$ proves its invariance. No integration-by-parts qualification is needed for the density as written.

Let $Q=Q_{\mathrm{BRS}}$ be the BRS charge. The physical state space is its BRST cohomology, usually at ghost number zero:Nilpotence ensures $\mathrm{im}Q\subseteq \ker Q$. A state $Q|\chi ⟩$ is orthogonal to every closed state because $⟨\psi |Q|\chi ⟩=⟨Q\psi |\chi ⟩=0$, and its norm is $⟨\chi |Q^2|\chi ⟩=0$. Thus adding an exact state changes neither physical inner products nor amplitudes. Self-adjointness here is relative to the stated indefinite Hermitian form; a nonzero self-adjoint nilpotent operator could not exist on a positive-definite state space. Positivity must be proved on the quotient, not assumed on the gauge/ghost space.

Fix a color label and a nonzero momentum $k$, and take the usual nontrivial asymptotic charge, $\alpha \ne 0$. Nilpotence on a vector state gives $Q|c⟩=0$, because at least one component of $k$ is nonzero. Nilpotence on the antighost state then givesThe two coefficients are complex conjugates as required by self-adjointness: using the given ghost pairing,Thus the antighost-to-vector coefficient is ${\alpha }^{\ast }$, as the printed bar notation indicates. These conditions are the massless shell condition and the consistency of the charge with the inner products.

A general one-particle vector representative is $|\epsilon ⟩={\epsilon }^{\mu }|A_{\mu }⟩$. It is closed precisely when $k_{\mu }{\epsilon }^{\mu }=0$. The vector state $k^{\mu }|A_{\mu }⟩=Q|\bar{c}⟩/\bar{\alpha }$ is exact, so representatives obeyThe ghost state is also exact: choose $v^{\mu }$ with $\alpha v\cdot k=1$, then $Q(v^{\mu }|A_{\mu }⟩)=|c⟩$. The antighost state is not closed because its image is a nonzero longitudinal vector. More explicitly, closure of a general sum of vector, ghost and antighost states forces the antighost coefficient to vanish and the vector polarization to be orthogonal to $k$; its ghost component disappears in the quotient. Thus the full one-particle cohomology already reduces toWith the mostly-plus Minkowski metric, choose a Lorentz frame with $k^{\mu }=(\omega ,0,0,\omega )$, $\omega >0$. Closure gives ${\epsilon }^3={\epsilon }^0$, and the norm isSubtracting a multiple of $k$ sets ${\epsilon }^0={\epsilon }^3=0$. Consequently positive one-particle BRST cohomology consists of two transverse positive-norm polarizations per color, represented by $|A_1⟩,|A_2⟩$. A nonzero class has strictly positive norm; the zero-norm longitudinal direction was precisely the exact direction removed.

The qualifications $k\ne 0$ and $\alpha \ne 0$ are essential to this one-particle argument. The zero-momentum sector requires separate treatment, and the trivial-charge case cannot yield the asserted removal of negative-norm vector states from the stated relations alone. Abstract nilpotence and self-adjointness by themselves do not guarantee positive cohomology.

Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units $\hslash =c=1$, take a circle coordinate $y\sim y+2\pi R$. A periodic scalar has the Fourier seriesSubstitution into its higher-dimensional kinetic term, followed by integration over $y$, makes different Fourier modes orthogonal. The internal derivative contributes $n^2/R^2$ to the lower-dimensional squared mass, soThe quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ${\varphi }_{-n}={\varphi }_n^{\ast }$; the tower does not introduce independent complex modes for both signs. More general compact spaces replace $n^2/R^2$ by Laplacian eigenvalues, with boundary conditions determining the spectrum.

At energies $E\ll R^{-1}$, nonzero Kaluza-Klein modes cannot be produced and may be integrated out, leaving a four-dimensional effective field theory. Dimensional reduction retains the zero modes at leading order; integrating out the massive modes also generates interactions suppressed by the Kaluza-Klein compactification scale. The higher-dimensional metric decomposes into a four-dimensional metric, vectors from mixed components, and scalar fields from internal components. For a circle, these include an Abelian gauge field and a radion. Internal coordinate shifts induce the vector's gauge symmetry, while the radion describes the radius. Pure circle reduction alone does not automatically give the chiral matter spectrum of the Standard Model.

The gravitational scale follows by integrating the Einstein-Hilbert action over an unwarped internal volume $V_n$:Here $M_4$ is the reduced Planck mass. For $n$ equal circle radii, $V_n=(2\pi R{)}^n$. The Planck mass from compactification volume relation allows weak four-dimensional gravity even when $M_{\ast }$ is much lower. A conventional metric-origin gauge coupling scales as $g_{\mathrm{KK}}\sim (M_{4}R{)}^{-1}$, so an order-one coupling in that simplest construction tends to place $R$ near the gravitational length scale.

In the brane-world scenario, ordinary matter and its gauge fields can instead be localized on a three-dimensional spatial brane, while gravity explores the bulk. The absence of ordinary-matter excitations along the extra dimensions then permits larger radii than a model in which all fields propagate there. In large extra dimensions, gravity changes approximately from a $1/r$ potential for $r\gg R$ to a $1/r^{n+1}$ potential for $M_{\ast }^{-1}\ll r\ll R$. For illustration, $M_{\ast }$ of order a TeV and $n=2$ give $R$ of order $0.1$ mm; one extra dimension would require an astronomically large radius.

A warped Randall–Sundrum model usesFor the usual doubled orbifold interval, $M_4^2=M_5^3(1-e^{-2kL})/k$. The relevant lengths are the bulk curvature radius $k^{-1}$, the proper separation $L$, and the inverse warped excitation scale, of order $(k{e}^{-kL}{)}^{-1}$. Thus the first mass need not equal $1/L$. Compact volume dilutes gravity; warping redshifts local masses. Both mechanisms require consistent field localization and radius stabilization; choosing a large radius or separation is not itself a dynamical explanation of it.

First complexify the Clifford algebra in $D=2n$ spacetime dimensions. Multiplying appropriate generators by $i$ converts the signature to the Euclidean form $\{{\Gamma }_a,{\Gamma }_b\}=2{\delta }_{ab}$ without changing the complex module dimension. Pair the generators intoThe Clifford algebra relations giveThe commuting occupation operators $N_j=b_j^{†}{b}_j$ have eigenvalues zero or one. Choose a nonzero state killed by every $b_j$; repeated annihilation reaches such a state in any finite irreducible module. Acting with distinct creation operators produces the $2^n$ occupation statesTheir distinct occupation patterns make them linearly independent, and their span is invariant under every Clifford generator. Irreducibility therefore makes it the entire Dirac module. This derives the even-dimensional Clifford spinor dimension:The chirality matrix is a phase-adjusted product of all $2n$ generators. It squares to one, anticommutes with each generator and acts as occupation parity up to an overall sign. Its two eigenspaces each have $2^{n-1}$ states. The even Clifford algebra, and hence the connected spin group, preserves them, giving irreducible Weyl spinors of complex dimension $2^{D/2-1}$. A Majorana spinor imposes a reality condition only in signatures where it exists; simultaneous Majorana and Weyl conditions are not available in every even dimension.

In Lorentzian ten dimensions, the complex Dirac module has dimension $32$, and a Weyl module dimension $16$. A Majorana-Weyl spinor is allowed and has $16$ real components before its equation of motion. The massless Dirac equation leaves eight physical gaugino polarizations. A ten-dimensional massless gauge field also has $10-2=8$ physical polarizations. Thus ten-dimensional super Yang-Mills theory has eight bosonic and eight fermionic states per gauge generator, with sixteen real supercharges.

For dimensional reduction, take a flat six-torus with periodic fermions and retain fields independent of its coordinates. Split $A_M$ into $A_{\mu }$ and six internal components $A_m$, $m=4,\dots ,9$. The latter are four-dimensional real adjoint scalar fields. Under the spin groups of the two factors, a ten-dimensional chiral spinor decomposes asfor $\mathrm{Spin}(1,3)\times \mathrm{Spin}(6)$, with $\mathrm{Spin}(6)\simeq SU(4)$. The Majorana condition relates these conjugate pieces, leaving four independent four-dimensional Weyl spinors. The supersymmetry parameters reduce in exactly the same fashion: sixteen real charges are four four-dimensional supersymmetries. The resulting field content isThe on-shell counts are $2+6=8$ bosonic and $4\times 2=8$ fermionic states, as required. The internal spin group supplies the $SU(4)$ R-symmetry of the reduced action.

To derive its scalar potential, use Hermitian gauge matrices and a positive trace inner product, withIf the internal volume is $V_6$, integration gives $g_4^2=g_{10}^2/V_6$. Since internal derivatives vanish,With mostly-minus spacetime signature, $F_{\mu m}{F}^{\mu m}$ has an extra minus sign and the double sum over mixed indices gives a factor two. Rescale $A_{\mu }=g_4{a}_{\mu }$ and $A_m=g_4{X}_m$ to canonical fields. The resulting bosonic Lagrangian iswhere $D_{\mu }{X}_m={\partial }_{\mu }{X}_m-i{g}_4[a_{\mu },X_m]$. A commutator of Hermitian matrices is anti-Hermitian, so the last term is minus a nonnegative scalar potential:The sum is over ordered internal pairs; a sum over $m<n$ would instead have coefficient $g_4^2/2$. Trace normalization merely changes the matched gauge-coupling convention.

The origin attains zero potential, so the global minima are exactlyFor a compact connected gauge group, a commuting tuple is simultaneously conjugate into a Cartan subalgebra. Write $X_m={\sum }_{a=1}^r{x}_m^a{H}_a$, where $r$ is the rank. Every choice of the $6r$ real numbers $x_m^a$ has zero potential. After the residual Weyl group identifications, the classical commuting-scalar vacua of four-dimensional N=4 Yang-Mills theory form $({\mathbb{R}}^6{)}^r/\mathcal{W}$ in the four-dimensional theory. For $SU(N)$ one may describe them as six simultaneous diagonal matrices, with tracelessness and permutations of their common eigenvalue labels. Varying these eigenvalues changes gauge-invariant configurations while leaving $V=0$, proving the existence of genuine flat directions of a scalar potential, not just gauge-equivalent directions. Generic values break the gauge group to its maximal torus; coincident eigenvalue vectors produce enhanced unbroken gauge symmetry. If one keeps a finite compact torus rather than the four-dimensional limit, large gauge transformations add periodic identifications of the Wilson-line coordinates.

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 $SU(2)$ first, with Skew-Hermitian generators $T_a=-i{\sigma }_a/2$, $[T_a,T_b]={ϵ}_{abc}{T}_c$, and $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$. Writeand fix orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. The positive Euclidean action isVarying $F$ gives $\delta F=D\delta A$. Integration by parts makes stationarity equivalent to $D_{\mu }{F}_{\mu \nu }=0$. The Bianchi identity $DF=0$ follows by expanding $F=dA+A\wedge A$, using $d^2=0$, and cancelling the remaining matrix commutator terms. Consequently $F=\pm \ast F$ implies the Yang-Mills equations: $D\ast F=\pm DF=0$. 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, $A\sim h^{-1}dh$ on the sphere at infinity. The boundary map $h:S^3\to SU(2)\simeq S^3$ has an integer degree. With the present trace convention define the instanton number byThe identityturns this integral into a boundary winding integral: for $A=h^{-1}dh$, the three-form in parentheses is $-\frac{1}{3}\mathrm{tr}(h^{-1}dh{)}^3$, giving $k=(24{\pi }^2{)}^{-1}{\int }_{S^3}\mathrm{tr}(h^{-1}dh{)}^3$, with the chosen boundary orientation. The normalized invariant three-form computes the degree of $h$, so $k\in \mathbb{Z}$. Equivalently the gauge bundle extends across conformal infinity to a bundle on $S^4$, 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 $k>0$, and anti-self-dual gauge curvature for $k<0$. 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 $y=x-a$, $r^2=y_{\mu }{y}_{\mu }$, $d=r^2+{\rho }^2$, with $\rho >0$. The self-dual 't Hooft symbols are defined by ${\eta }_{ij}^a={ϵ}_{aij}$ and ${\eta }_{i4}^a={\delta }_{ai}$, extended antisymmetrically. ThenFor completeness, differentiation supplies $-4{\eta }_{\mu \nu }^a/d-4K_{\mu \nu }^a/d^2$, where $K_{\mu \nu }^a={\eta }_{\nu \lambda }^a{y}_{\lambda }{y}_{\mu }-{\eta }_{\mu \lambda }^a{y}_{\lambda }{y}_{\nu }$. The matrix commutator term supplies $4C_{\mu \nu }^a/d^2$, and the symbol identityreduces their sum to the stated gauge curvature. Since $\ast {\eta }^a={\eta }^a$, 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 $r^{-4}$ at infinity.

The squared-symbol sum is 12, soThe second integral follows from $d^{4}x=2{\pi }^2{r}^{3}dr$ and the substitution $u=r^2$. ThusReplacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an $SU(2)$ subgroup admits corresponding embedded examples.

The center $a\in {\mathbb{R}}^4$ gives four position moduli and $\rho >0$ gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global $SU(2)$ 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 $A_{\mu }(x)\mapsto \lambda A_{\mu }(\lambda x)$, gauge curvature scales by ${\lambda }^2$ and the four-dimensional volume by ${\lambda }^{-4}$. As $\rho \to 0$, 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 $V={\mathbb{C}}^{\ell }$, $W={\mathbb{C}}^N$, take $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, $J:V\to W$, satisfyingmodulo the natural group action of $U(\ell )$. Here $\ell$ is the charge magnitude, avoiding confusion with the signed $k$ above. Regularity requires the following matrix to have full row rank everywhere:The complex constraint kills the off-diagonal block of ${\mathcal{D}}_z{\mathcal{D}}_z^{†}$, while the real constraint equates its diagonal blocks. Thus ${\mathcal{D}}_z{\mathcal{D}}_z^{†}=1_2\otimes f^{-1}$. Choose an orthonormal matrix of kernel columns $\Psi$, with ${\Psi }^{†}\Psi =1_N$, and define $A={\Psi }^{†}d\Psi$.

This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is ${\mathcal{D}}_z^{†}(1_2\otimes f){\mathcal{D}}_z$. Differentiating ${\mathcal{D}}_z\Psi =0$ in the identity $F=d{\Psi }^{†}(1-\Psi {\Psi }^{†})\wedge d\Psi$ givesThe space-time differential two-forms appearing here are generated by $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$. For orientation $1234$ these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge $k=-\ell$ 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 $4{\ell }^2+4\ell N$ real data parameters. The three real matrix moment map equations impose $3{\ell }^2$ conditions, and quotient by $U(\ell )$ removes another ${\ell }^2$, giving $4\ell N$ dimensions at regular points. For $SU(2)$ this is $8\ell$ framed dimensions and $8\ell -3$ 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 $x^1$ and spatial orientation $234$, 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 $\exp [-8{\pi }^2|k|/g^2]$; a Yang-Mills theta term adds a phase $\exp (i\vartheta k)$. 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.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.