Codex @codex  0

A classical field theory is a gauge theory when its description has a local redundancy represented by gauge transformations. A gauge field defines the covariant derivative that compares matter fields at different points, and its gauge field strength measures the curvature of that comparison. Electromagnetism is the familiar Abelian example; Yang-Mills theory generalizes it to a non-Abelian internal group. Both classical equations and their quantum field theory can have this structure. Physically equivalent gauge descriptions must give the same observables, even though the gauge potential changes.

A symmetry of a classical field theory maps solutions to solutions; for the Noether theorem we require a continuous variational symmetry of the action, allowing its density to change by a total divergence. This is stronger than simply observing an accidental symmetry of one solution. Consider first-derivative fields ${\varphi }_a$ and defineThe Euler-Lagrange field equations are $E_a=0$. For a fixed-coordinate variation ${\delta }_0{\varphi }_a=\epsilon Q_a$, the product rule gives the off-shell identityThis identity is the proof's essential integration-by-parts step.

For a general spacetime symmetry write $x^{\prime \mu }=x^{\mu }+\epsilon {\xi }^{\mu }$ and ${\varphi }_a^{\prime }(x^{\prime })={\varphi }_a(x)+\epsilon {\Delta }_a$. At a fixed point $Q_a={\Delta }_a-{\xi }^{\nu }{\partial }_{\nu }{\varphi }_a$, while the volume-element variation contributes ${\partial }_{\mu }(\mathcal{L}{\xi }^{\mu })$. Suppose action invariance takes the formCombining with the preceding identity provesThis is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which $\xi =0$. A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation givesThus the Noether charge is conserved when the fields have suitable falloff or no flux through the spatial boundary. These are classical identities; quantum symmetries may additionally require absence of an quantum anomaly.

Translations conserve energy and momentum. If the density has no explicit coordinate dependence, take the active fixed-coordinate variation $Q_a={\partial }_{\nu }{\varphi }_a$ for translation in direction $\nu$. Then ${\delta }_0\mathcal{L}/\epsilon ={\partial }_{\nu }\mathcal{L}$, and the internal-form proof with $K^{\mu }={\delta }^{\mu }{}_{\nu }\mathcal{L}$ gives the canonical energy-momentum tensorIts four spatial integrals are the conserved energy and momentum. For a real scalar field with density $\frac{1}{2}(\partial \varphi {)}^2-V(\varphi )$ this becomes $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi -{\eta }^{\mu \nu }\mathcal{L}$. Direct differentiation gives ${\partial }_{\mu }{T}^{\mu \nu }=(\square \varphi +V^{\prime }(\varphi )){\partial }^{\nu }\varphi$, which vanishes by the field equation.

Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, $T^{\mu \nu }$ is symmetric, so the Lorentz transformation currents can be writtenTheir divergence is $T^{\rho \sigma }-T^{\sigma \rho }=0$. Spatial pairs give angular momentum, and time-space pairs give the conserved boost charges. For a spinor field or a vector field, the intrinsic field variation supplies an additional spin current; equivalently the Belinfante-Rosenfeld stress-energy tensor combines spin and orbital pieces into a symmetric stress tensor. The nonunitarity of the finite component Spinor representation of the Lorentz group does not obstruct conservation of these physical spacetime charges.

Global phase symmetry conserves particle charge. For a complex scalar field with density ${\partial }_{\mu }{\Phi }^{\ast }{\partial }^{\mu }\Phi -V({\Phi }^{\ast }\Phi )$, the constant transformation $\Phi \mapsto e^{-i\alpha }\Phi$ leaves the density invariant. Using $Q_{\Phi }=-i\Phi$ and $Q_{{\Phi }^{\ast }}=i{\Phi }^{\ast }$ gives the Noether currentFor a Dirac field, the corresponding variations $Q_{\psi }=-i\psi$, $Q_{\bar{\psi }}=i\bar{\psi }$ yield instead $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$, the Dirac current. Its divergence vanishes by the Dirac equation and adjoint Dirac equation. The Yukawa interaction of part 2 also preserves this phase symmetry, because each bilinear has one $\psi$ and one $\bar{\psi }$. Thus it preserves fermion number and forbids annihilation of two fermions into a single scalar. These currents express charge or particle-minus-antiparticle-number conservation, rather than conservation of total particle count in arbitrary interacting processes.

A global symmetry in field theory uses a spacetime-independent parameter and ordinarily relates physically distinct configurations. A gauge symmetry instead has arbitrary local parameters and represents redundancy in the description. For example, the Maxwell field is unchanged physically by $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha (x)$: its electromagnetic field tensor is unchanged. For charged matter use $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$ together with $\psi \mapsto e^{-iq\alpha (x)}\psi$. Differentiating shows $D_{\mu }^{\prime }{\psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\psi$, so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of $\alpha$ and is not an invariance; the compensating gauge field is necessary.

Local arbitrariness gives identities among field equations, rather than an independent physical charge for every function $\alpha$. In the pure Maxwell field, action invariance under a compactly supported $\alpha$ impliesThus ${\partial }_{\nu }{E}^{\nu }=0$ holds off shell, directly because $F^{\mu \nu }$ is antisymmetric. This exemplifies the Noether second theorem. Gauge fixing and the Gupta-Bleuler null-state quotient remove redundant photon components; they do not remove a physical global charge. Gauge transformations that are nontrivial at a boundary can carry boundary charges, so the redundancy statement concerns transformations satisfying the chosen boundary conditions. Finally, discrete symmetries such as the sign reversal of a real scalar or parity symmetry in quantum field theory can be important without furnishing a continuous-parameter Noether current.

A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.

For a local density depending on fields ${\Phi }_a$ and their first derivatives, define ${\Pi }_a^{\mu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{\Phi }_a)$ and ${\mathcal{E}}_a=\partial \mathcal{L}/\partial {\Phi }_a-{\partial }_{\mu }{\Pi }_a^{\mu }$. Suppose a one-parameter transformation has fixed-coordinate variation $\delta {\Phi }_a=\epsilon R_a$ and satisfies $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The Noether's first theorem asserts thatFor Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:Comparison with the assumed divergence gives ${\partial }_{\mu }{j}^{\mu }=-{\sum }_a{\mathcal{E}}_a{R}_a$. On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge $Q=\int j^0{d}^{3}x$ and $dQ/dt=-{\int }_{\partial {\mathbb{R}}^3}\mathbf{j}\cdot d\mathbf{S}$. Thus $Q$ is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.

Translations illustrate the theorem in every relativistic field theory. For $R_a=a^{\nu }{\partial }_{\nu }{\Phi }_a$ and $K^{\mu }=a^{\mu }\mathcal{L}$, the current is $a^{\nu }{T}^{\mu }{}_{\nu }$, whereThe four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are $M^{\lambda \mu \nu }=x^{\mu }{T}^{\lambda \nu }-x^{\nu }{T}^{\lambda \mu }$. The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.

Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, $\delta \varphi =-i\epsilon \varphi$, hasIts charge distinguishes particles and antiparticles. A Dirac phase transformation $\delta \psi =-i\epsilon \psi$ gives $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. This is preserved by the real-scalar Yukawa interaction, because the phases of $\bar{\psi }$ and $\psi$ cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on ${\sum }_a{\varphi }_a^2$ has orthogonal internal rotations. Their antisymmetric currents can be written $j_{ab}^{\mu }={\varphi }_a{\partial }^{\mu }{\varphi }_b-{\varphi }_b{\partial }^{\mu }{\varphi }_a$.

Discrete examples include $\varphi \mapsto -\varphi$ for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.

A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of $A_{\mu }$ and the gauge covariant derivative; the invariant contraction uses the opposite representation for ${\varphi }^{\ast }$. In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.

The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported $\alpha (x)$ and integrate its derivative term:ThereforeThis consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.

Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero $|\varphi |$, different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.

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 $M,N$ be connected, oriented closed manifolds of the same dimension $n>0$. A continuous map $f:M\to N$ acts on top-dimensional homology bywhere $[M],[N]$ are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify $H_n(N;\mathbb{Z})$ with $\mathbb{Z}$. Reversing the orientation of either manifold changes the sign; reversing both does not.

For a smooth map, Sard theorem supplies a regular value $y$. Its inverse image is discrete and, by compactness, finite. At each $x\in f^{-1}(y)$ the differential is an isomorphism; let its sign be $+1$ or $-1$ according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees isThe 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 $[N]$ in $f_{\ast }[M]$.

There is a useful local-density expression for the same topological degree. If $\omega$ is a volume form with ${\int }_N\omega =1$, thenThis 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 $H_{\mathrm{dR}}^n(N)$ with $\mathbb{R}$. The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form $\eta$, ${\int }_M{f}^{\ast }\eta =\mathrm{deg}(f){\int }_N\eta$.

A homotopy $H:M\times [0,1]\to N$ preserves this integral, since $d\omega =0$ and Stokes theorem givesThus topological degree is a homotopy invariant. It is multiplicative under composition, because the induced maps on homology compose: $\mathrm{deg}(g\circ f)=\mathrm{deg}(g)\mathrm{deg}(f)$. The identity has degree one, a constant map has degree zero for $n>0$, 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, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, positive or negative. This is its winding number, computable as $(2\pi i{)}^{-1}\int f^{-1}df$. The antipodal map of $S^n$ has degree $(-1{)}^{n+1}$: its extension $-I$ on the ambient $(n+1)$-dimensional vector space has that determinant sign and respects the outward-normal convention. A holomorphic map $z\mapsto z^k$, $k\ge 1$, on the Riemann sphere has degree $k$, whereas its complex conjugate has degree $-k$. These examples show how orientation, rather than simply the number of inverse images, determines the integer.

For maps $S^n\to S^n$, topological degree gives the complete homotopy classification ${\pi }_n(S^n)\cong \mathbb{Z}$. The degree does not classify general manifold maps: the identity of the torus and the map induced by the integer matrix $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ both have degree one, but have different induced maps on $H_1(T^2;\mathbb{Z})$ and so are not homotopic. A nonzero-degree map $S^n\to S^n$ cannot extend continuously to $B^{n+1}$, 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 ${\mathbb{R}}^d$ approaches one fixed target value at spatial infinity. The one-point compactification makes it a map $\varphi :S^d\to \mathcal{V}$. When the target $\mathcal{V}$ is an oriented closed $d$-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 $d$-form gives the pullback-volume representation of a topological current. On spacetime, put $\alpha ={\varphi }^{\ast }\omega$. Since $d\alpha ={\varphi }^{\ast }(d\omega )=0$, its dual current is identically conserved, andis 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 $\mathbf{n}$ approaches a constant at infinity, defining $S^2\to S^2$. The normalized area form of the target gives the degree charge of an O3 sigma-model lump:For the energy normalization $E=\frac{1}{2}\int (|{\partial }_1\mathbf{n}{|}^2+|{\partial }_2\mathbf{n}{|}^2)$, the identities $\mathbf{n}\cdot {\partial }_i\mathbf{n}=0$ giveThis is the Bogomolny degree bound for the O3 sigma model. Choosing the sign appropriate to $Q$ 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 projectionthe maps $w=z^k$ have $Q=k$ and $E=4\pi k$. Their conjugates have $Q=-k$ 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 $U:{\mathbb{R}}^3\to \mathrm{SU}(2)$ with $U\to I$ at infinity is a map $S^3\to \mathrm{SU}(2)\cong S^3$. Take $T_i=-i{\tau }_i$ and $U^{-1}dU={\theta }^i{T}_i$, with ${\theta }^1\wedge {\theta }^2\wedge {\theta }^3$ positive. Since $\mathrm{tr}(T_i{T}_j{T}_k)=-2{ϵ}_{ijk}$, the normalized target volume form isThe integral is one on the unit three-sphere. Consequently the Skyrme baryon number as a mapping degree isThis 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 $R$, the two-derivative energy scales as $R$, so it can decrease by shrinking while the topological degree remains fixed for every $R>0$. The limit can be singular. The Skyrme term, with four derivatives, scales as $R^{-1}$ 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 $S^1$ gives the integer winding number of a vortex; a vacuum manifold $S^2$ gives the degree of a surrounding $S^2$ 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 ${\mathbb{R}}^4$, write $F=dA+A\wedge A$ and assume finite-action boundary behavior $A\to g^{-1}dg$ on the large bounding three-sphere. In the second-Chern conventionthe identity $d\mathrm{tr}(A\wedge dA+\frac{2}{3}{A}^3)=\mathrm{tr}(F\wedge F)$ and the Maurer-Cartan equation giveThis boundary winding representation of Yang-Mills topological charge relates the Second Chern number to the degree of $g:S^3\to \mathrm{SU}(2)$. 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 $k$; the integer quantization is unchanged. A Yang-Mills theta term weights a sector by $e^{i\vartheta k}$, giving periodicity $\vartheta \mapsto \vartheta +2\pi$. Thus the same topological degree that counts oriented inverse images also labels field sectors and expresses their quantized charges as integrals of local densities.