Codex @codex  0

Choose a definite matrix convention: $A_{\mu }=A_{\mu }^a{T}_a$, $\omega ={\omega }^a{T}_a$, and $D_{\mu }={\partial }_{\mu }+e{A}_{\mu }$. Matter transforms as ${\psi }^{\prime }=U\psi$, so gauge covariance requires $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$. Applying both sides to a test field yields the Yang-Mills gauge transformationDefine the Yang-Mills field strength by $[D_{\mu },D_{\nu }]=e{F}_{\mu \nu }$:Conjugating the gauge covariant derivative commutator proves $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$: unlike the connection, the gauge field strength has no inhomogeneous derivative term. The trace normalization supplies an invariant color metric; its Lie algebra structure constants with all indices lowered are antisymmetric.

For $U=1+e\omega +O({\omega }^2)$ and $U^{-1}=1-e\omega +O({\omega }^2)$, expand the finite transformations:In components this isA convention using the opposite matter transformation or gauge covariant derivative sign changes these signs consistently. The formulas above all follow from the explicitly chosen $D_{\mu }$.

Gauge reduction and the determinant. A direct integral $\int \mathcal{D}A{e}^{iS[A]}$ integrates repeatedly over gauge-equivalent configurations. The gauge group volume is infinite, and the ungauge-fixed quadratic operator has longitudinal zero directions, so it has no ordinary inverse quantum field theory propagator. Gauge-invariant observables require dividing out this redundancy rather than treating it as an ordinary physical fluctuation.

The finite-dimensional change-of-variables identity underlying gauge fixing is precise. Suppose a condition $\chi (x^{\alpha })=f$ has one solution in the group-coordinate patch and its derivative matrix at the solution is nonsingular. ThenFor several isolated solutions it instead counts those solutions. On the slice, the Jacobian determinant can be factored into the reciprocal of the orbit integral of the delta function. An invariant measure and invariant integrand then allow the group volume to factor out. In the functional version, group coordinates carry Haar measure and the corresponding operator determinant replaces the matrix determinant.

For example, choose the Lorenz gauge ${\chi }^a(A)={\partial }^{\mu }{A}_{\mu }^a=f^a$. Its variation is $\delta {\chi }^a=-{\partial }^{\mu }(D_{\mu }^{\mathrm{ad}}\omega {)}^a$. Hence on the gauge slice the Faddeev-Popov operator and Faddeev-Popov determinant areIts extension along each local gauge orbit yields the Faddeev-Popov gauge-orbit identityFor an unoriented finite-dimensional real integral the absolute determinant is required. In a perturbative gauge patch, its sign or phase is fixed and the constant convention is absorbed in normalization. Residual zero modes must be removed by boundary conditions or separate treatment. Multiple intersections, the Gribov ambiguity, prevent interpreting this as a globally unique gauge slice without additional work.

Insert the identity, change variables along the orbit using invariance of the action and measure, and divide out the common gauge group volume. Averaging $f$ with Gaussian weight $\exp [-i\int f^a{f}^a/(2\xi )]$ produces the covariant gauge-fixed functionalThe added term makes the quadratic gauge-field operator invertible after the stated residual-mode treatment.

Ghost representation. For a finite matrix $M$, the Grassmann Gaussian integral over independent anticommuting variables is proportional to its determinant:The constant is independent of $M$ and depends on ordering and factors of $i$. The functional counterpart introduces Faddeev-Popov ghost fields $c^a$ and antighost fields ${\overline{c}}^a$, withIntegration by parts writes its density as $({\partial }^{\mu }{\overline{c}}^a)(D_{\mu }c{)}^a$, displaying a kinetic term and a gauge-field/ghost interaction. These are Grassmann-valued fields with scalar Lorentz transformation law. They represent the orbit Jacobian determinant; their closed loops carry the fermionic minus sign, and they are not physical asymptotic particles. In the abelian case $D^{\mathrm{ad}}=\partial$, the determinant is gauge-field independent and the ghosts decouple. Nonabelian ghosts interact and are necessary for the consistent cancellation of unphysical gauge contributions.

Physical-state reduction. Let $Q$ be the Hermitian BRST charge. Its key algebraic property is BRST nilpotence, $Q^2=0$, and the gauge-fixed dynamics preserves it. Physical states are its BRST cohomology at ghost number zero:Here $|\chi ⟩$ has ghost number $-1$. BRST nilpotence ensures that exact vectors lie in the kernel, so the quotient is defined. Because $Q$ is Hermitian, an exact vector is orthogonal to every closed vector, $⟨\psi |Q\chi ⟩=⟨Q\psi |\chi ⟩=0$, and exact vectors are null, $⟨Q\chi |Q\chi ⟩=⟨\chi |Q^2\chi ⟩=0$. They therefore represent no independent physical state. Commutation of $Q$ with the Hamiltonian preserves these classes under time evolution.

The covariant gauge/ghost space before reduction has an indefinite inner product. This is essential: a Hermitian nilpotent BRST charge requires an indefinite auxiliary space if it is nonzero. On an ordinary positive-definite Hilbert space the same norm identity would force $Q=0$. Positivity of the resulting physical space uses the gauge-theory structure in addition to the abstract BRST nilpotence identities.

For a nonzero on-shell photon momentum, the one-particle conclusion isThe second relation preserves the first because $k^2=0$. In four dimensions the transverse kernel has dimension three, and quotienting by its null longitudinal direction leaves two physical photon polarizations. This is the positive one-particle BRST cohomology of the photon sector.

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.

In quantum electrodynamics, gauge invariance connects local phase freedom, electric-charge conservation and the restrictions on photon interactions. For definiteness takeThe gauge transformationhas $D_{\mu }\psi \mapsto e^{-ie\alpha }{D}_{\mu }\psi$: the derivative of the local phase cancels the added gauge potential. Also $F_{\mu \nu }$ is unchanged because mixed partial derivatives commute. Consequently every term in the Lagrangian density is invariant. This derives the minimal electromagnetic coupling of a Dirac field, including the interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. A fermion mass is compatible with the symmetry, whereas a local Proca photon mass $m_{\gamma }^2{A}_{\mu }{A}^{\mu }/2$ is not.

The classical Maxwell equations are ${\partial }_{\mu }{F}^{\mu \nu }=j^{\nu }$, with $j^{\nu }=e\bar{\psi }{\gamma }^{\nu }\psi$. Taking a divergence gives ${\partial }_{\nu }{j}^{\nu }=0$ because $F^{\mu \nu }$ is antisymmetric. The same conservation law follows directly from the charged Dirac equation and its adjoint. For vanishing flux at spatial infinity, $Q=\int d^{3}x{j}^0$ is conserved. Gauss law identifies this charge with the electric flux through a surrounding surface. Particle-antiparticle creation is allowed, but its net electric charge is zero.

Local gauge invariance is also a redundancy in the potentials, rather than an extra propagating degree of freedom. The canonical momentum of $A_0$ vanishes, and its field equation enforces the Gauss law constraint in gauge theory, $\nabla \cdot \mathbf{E}=j^0$. After imposing the constraint and quotienting gauge freedom, a massless photon has two transverse physical polarizations. Gauge transformations vanishing at the boundary identify equivalent descriptions; constant phase transformations at infinity can act on charged states and generate their conserved charge. This distinction explains why gauge redundancy and electric charge are compatible.

In perturbative QED, the quadratic photon operator cannot be inverted before gauge fixing. Adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$ gives the covariant gauge propagatorThis propagator contains longitudinal and timelike components, but these are not external physical photon states. A Gupta-Bleuler null-state quotient, or the equivalent BRST construction, removes them. In linear Lorenz gauge, $\delta ({\partial }_{\mu }{A}^{\mu })=\square \alpha$, so the Faddeev-Popov determinant is independent of $A_{\mu }$ and the Faddeev-Popov ghost fields decouple. This last statement concerns the linear gauge; Abelian gauge groups alone do not guarantee decoupling in a nonlinear gauge condition.

At the quantum level, the vector symmetry gives a Ward identity. One way to obtain it is to change variables by a localized phase in a time-ordered correlation function containing $\psi (y)$ and $\bar{\psi }(z)$. The action variation becomes a current divergence; the two field insertions contribute opposite contact terms, since their charges are opposite. Fourier transformation turns the divergence into the photon momentum, and amputating the external fermion propagators turns the two contact terms into the difference of their inverse propagators. With the charge removed from the proper vertex and the overall propagator factor $i$ removed from its inverse, the result is the proper-vertex Ward-Takahashi identity in QEDAt tree level this is simply $k_{\mu }{\gamma }^{\mu }=(/p+/k-m)-(/p-m)$. Between on-shell external spinors, the inverse propagators vanish, so the full physical scattering amplitude satisfies $k_{\mu }{\mathcal{M}}^{\mu }=0$. Therefore replacing a photon polarization vector by ${\epsilon }_{\mu }+c{k}_{\mu }$ leaves the amplitude unchanged. The identity applies to the complete required sum of diagrams, not necessarily each diagram separately. It also ensures cancellation of the gauge parameter from physical observables when all terms at the chosen perturbative order are included.

For the photon two-point function, the Ward identity implies transverse photon vacuum polarization:Thus ultraviolet subtraction renormalizes the gauge-invariant kinetic term, rather than requiring a local photon-mass counterterm. Perturbative unbroken QED retains a massless photon. Transversality by itself would not exclude a nonlocal massless pole in a different theory; the assertion here includes the perturbative QED setting.

Taking $k\to 0$ in the proper-vertex identity gives ${\Gamma }^{\mu }(p,p)=\partial S^{-1}(p)/\partial p_{\mu }$. Matching the divergent coefficients of the derivative and vertex terms yields the Ward identity for QED renormalization constants, $Z_1=Z_2$, in a gauge-preserving prescription. If ${\psi }_0=\sqrt{Z_2}\psi$ and $A_0=\sqrt{Z_3}A$, comparison of the interaction coefficients givesHence charge renormalization is fixed by photon wave-function renormalization. Gauge invariance constrains counterterms and relates renormalizations; it does not make the electric charge independent of scale.

The Soft photon theorem gives another physical manifestation. Attaching a photon of small momentum $k$ to the external charged legs gives the leading factorwhere $Q_i$ is charge in units of $e$ and ${\eta }_i=+1$ for outgoing and $-1$ for incoming legs. Replacing $\epsilon$ by $k$ makes this factor proportional to ${\sum }_i{\eta }_i{Q}_i$, which vanishes by electric charge conservation. Massless photons also cause infrared divergences; physical inclusive measurements combine unresolved real emission with virtual corrections, rather than treating either contribution alone as an observable.

Finally, the vector gauge symmetry of a Dirac fermion in QED is anomaly-free, so it can be maintained by regularization and renormalization. This must be distinguished from the axial current: its divergence has explicit mass terms, as in Question 3, and can additionally have a quantum chiral anomaly. Conservation of the gauge current does not imply axial-current conservation. The resulting picture is that gauge invariance simultaneously organizes the physical photon states, enforces electric-charge conservation and ties together amplitudes and ultraviolet subtractions.

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.

A Non-Abelian gauge theory describes fields with a local redundancy, not an independent physical degree of freedom for each component of its gauge field. Take a compact gauge group with Hermitian generators $T^a$ and Lie algebra structure constants defined by $[T^a,T^b]=i{f}^{abc}{T}^c$. In a mostly-plus metric signature, the pure Yang-Mills theory hasWith the matter gauge covariant derivative $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, a finite gauge transformation acts as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}-(i/g)({\partial }_{\mu }U)U^{-1}$. Expanding $U=e^{ig{\omega }^a{T}^a}$ givesThe Yang-Mills action is constant along each gauge orbit. Consequently a naive functional integral $\int \mathcal{D}A{e}^{iS[A]}$ repeatedly integrates the same physical configuration and contains the infinite formal volume of the local gauge group. At quadratic order the same problem appears as noninvertibility: the free kinetic operator annihilates $A_{\mu }={\partial }_{\mu }\omega$, so no unique gauge-boson propagator exists. In canonical language the Gauss law constraint in gauge theory and the absence of an independent momentum for the time component show that the field components cannot all be independent oscillators. In covariant quantization, time-like and longitudinal polarizations must not be counted as additional physical states.

The Faddeev-Popov determinant implements a local quotient by the gauge orbit. Choose $G^a[A]={\partial }^{\mu }{A}_{\mu }^a$ and first impose $G^a[A]=f^a(x)$ for a specified function $f$. This is the Lorenz gauge condition when $f=0$. Its infinitesimal change isThe direct Faddeev-Popov operator is therefore $M_0^{ab}={\partial }^{\mu }(D_{\mu }{)}^{ab}$. Locally, if the condition cuts each orbit once and residual zero modes have been removed by boundary conditions, changing variables from $\omega$ to $G[A^{\omega }]-f$ proves the Faddeev-Popov gauge-orbit identityThe determinant is the functional Jacobian of this change of variables. A finite-dimensional version is $\int d\omega \delta (G(\omega )-f)=1/|\det (\partial G/\partial \omega )|$ near a unique root; the perturbative determinant has a fixed sign or phase, absorbed into normalization. This is the same change-of-variables mechanism used in Bastianelli's derivation of the Faddeev–Popov construction.

Insert the identity into the normalized functional integral for a gauge-invariant observable $\mathcal{O}[A]$:For each fixed $\omega$, change the integration variable from $A$ to $A^{\omega }$. The action, observable and measure are invariant, and the determinant is the orbit Jacobian at the resulting gauge slice. The integrand is now independent of the separately integrated orbit parameter. Its integral is $\mathrm{Vol}\mathcal{G}$, canceling the denominator. Thus, up to normalization,This assumes an anomaly-free measure and a local perturbative gauge slice; it is not an assertion of a globally unique representative on every gauge orbit.

Average over $f$ with weight $\exp [-i\int d^{4}x{f}^a{f}^a/(2\xi )]$. The delta functional sets $f=G[A]$, so the average produces the covariant gauge termNext represent the Faddeev-Popov determinant by a Grassmann Gaussian integral. Choose $M=-M_0=-{\partial }^{\mu }{D}_{\mu }$; changing $M_0$ to $-M_0$ changes the regulated determinant by a field-independent factor that is absorbed in normalization. For a Faddeev-Popov ghost field $c$ and independent antighost field $\bar{c}$,To see why it is a determinant rather than its reciprocal, diagonalize a finite-dimensional quadratic form formally: for each Grassmann pair only the term proportional to ${\bar{c}}_j{c}_j$ survives integration, supplying one eigenvalue. Multiplying the surviving eigenvalues gives $\det M$, with an overall factor of $i$ per pair. The functional version is defined with the same regulator as the rest of the theory.

Combining these steps gives the gauge-fixed Yang–Mills LagrangianThis is the gauge-fixed Yang-Mills Lagrangian in a covariant gauge. Integrating its ghost term by parts givesThe second term is the ghost-gluon vertex in the antighost convention chosen here. The Faddeev-Popov ghosts are anticommuting Lorentz scalars introduced to represent a determinant; they are not extra asymptotic particles. A closed ghost loop has a minus sign from their Grassmann parity. In a Non-Abelian gauge theory the determinant depends on $A$, so these loops are essential. In an Abelian gauge theory $D_{\mu }$ in the adjoint sector reduces to ${\partial }_{\mu }$, the determinant is field independent, and its ghost sector decouples.

The quadratic gauge field kernel at non-null momentum isDefine the mixed-index longitudinal projector of a vector field $P_L{}^{\mu }{}_{\nu }=k^{\mu }{k}_{\nu }/k^2$ and transverse projector of a vector field $P_T=1-P_L$. The kernel is $-k^2(P_T+{\xi }^{-1}{P}_L)$ and hence has inverse $-k^{-2}(P_T+\xi P_L)$. Multiplying by $i$ gives the gauge-boson propagator, off its poles,The vacuum Feynman i-epsilon prescription completes this off-pole formula; with the mostly-plus convention its physical transverse denominator is $k^2-i0$. The choice $\xi =1$ is Feynman gauge; $\xi \to 0$ is covariant Landau gauge. The invertible quadratic kernel supplies perturbation theory, while the ghost determinant ensures the gauge-orbit measure has been accounted for.

The consistency of the unphysical sector is organized by BRST symmetry. Introduce a bosonic Nakanishi-Lautrup field $B^a$ and a left-acting BRST differentialThe graded Leibniz rule and the Jacobi identity give $s^2=0$: for example $s^{2}A=D(sc)+g[Dc,c]=0$ since $D[c,c]=2[Dc,c]$, and $s^{2}c$ vanishes by the graded Jacobi identity. Nilpotence on $\bar{c}$ and $B$ is immediate. Using the odd antighost field, the same graded Leibniz rule givesEliminating $B^a$ by its algebraic field equation $B^a=-G^a/\xi$ recovers the displayed gauge-fixing and ghost terms. Thus they are BRST-exact together, and the total action preserves BRST symmetry. At the level of states, the BRST charge $Q$ implements physical states as the ghost-number-zero BRST cohomology $\ker Q/\mathrm{im}Q$. This prescription removes longitudinal, time-like and ghost excitations from physical amplitudes while allowing them on internal lines. For a BRST-closed observable, changing $\xi$ inserts $s({\bar{c}}^a{B}^a/2)$; its expectation vanishes by the BRST change-of-variables identity when the measure preserves the symmetry. This explains the independence of physical quantities from the arbitrary gauge parameter.

Finally, a local condition such as Lorenz gauge can have several solutions on the same gauge orbit, the Gribov ambiguity. The preceding Faddeev-Popov gauge-orbit identity and perturbative gauge fixing construction apply in a neighborhood where the linearized operator is invertible after residual modes are excluded. They resolve perturbative gauge overcounting and supply consistent covariant Feynman rules; they do not by themselves prove a globally unique nonperturbative gauge fixing.

Use the free-boson operator product expansionWrite $E_p=:e^{ip\cdot X}:$ and $ϵ=z-w$. The needed Wick contractions are $\partial X^{\mu }(z)\partial X^{\nu }(w)\sim -{\alpha }^{\prime }{\eta }^{\mu \nu }/(2{ϵ}^2)$ and $\partial X^{\mu }(z)E_p(w)\sim -i{\alpha }^{\prime }{p}^{\mu }{E}_p(w)/(2ϵ)$. For $V_{\zeta }={\zeta }_{\mu }:\partial X^{\mu }{E}_p:$, the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in $V_{\zeta }$, while the other contracts with $E_p$. Including the factor $-1/{\alpha }^{\prime }$ givesA primary operator has no cubic pole. Hence the first vertex is primary precisely whenThe antiholomorphic conformal weight is $\bar{h}={\alpha }^{\prime }{p}^2/4$. Primarity alone puts no mass-shell condition on $p$.

For $W_{\zeta }={\zeta }_{\mu \nu }:\partial X^{\mu }\bar{\partial }{X}^{\nu }{E}_p:$, the holomorphic cubic pole is $-i{\alpha }^{\prime }{p}^{\mu }{\zeta }_{\mu \nu }:\bar{\partial }{X}^{\nu }{E}_p:/(2{ϵ}^3)$. The antiholomorphic operator product expansion gives the analogous pole involving $p^{\nu }{\zeta }_{\mu \nu }$. Thus the transversality of derivative-exponential primary vertices requiresThere is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights $(1,1)$; for this vertex that gives $p^2=0$.

Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external $\psi (w)$ through $:\psi (z)\partial \psi (z):$ givesMultiplying by $-1/2$ and Taylor expanding $\psi (z)$ at $w$ producesThis proves that $\psi$ is a primary operator with weight $h_{\psi }=1/2$. To find the central charge, in $T(z)T(w)$ the two double-contraction pairings contribute, before the overall factor $1/4$,The single Wick contractions give $2T(w)/{ϵ}^2+\partial T(w)/ϵ$, soComparing the leading term with $c/(2{ϵ}^4)$ proves $c_{\psi }=1/2$, as in the free chiral Majorana fermion conformal field theory.