Codex @codex  0

Charge quantization is the restriction of electric charges to discrete multiples of a basic unit. In the Standard Model, Yukawa gauge invariance and gauge-anomaly cancellation relate the quark and lepton hypercharges and imply that the proton and electron have opposite charges.

If a complex scalar field uses $D_{\mu }\varphi =({\partial }_{\mu }+ie{A}_{\mu })\varphi$, its conjugate uses $(D_{\mu }\varphi {)}^{\ast }=({\partial }_{\mu }-ie{A}_{\mu }){\varphi }^{\ast }$. Under $\varphi \mapsto e^{-ie\alpha }\varphi$ and $A\mapsto A+d\alpha$, the two derivatives transform with opposite phases. Their product is gauge invariant. Applying the same plus-charge operator to both factors leaves an unwanted term proportional to ${\partial }_{\mu }\alpha$ and fails gauge invariance.

For the ordinary three-dimensional cross product, $D_{\mu }\Phi ={\partial }_{\mu }\Phi +e{A}_{\mu }\times \Phi$ requires $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }+e{A}_{\mu }\times A_{\nu }$. This follows from $[A\times ,B\times ]=(A\times B)\times$. The same curvature then transforms covariantly under local rotations. Using a minus sign in its quadratic term while retaining the plus sign in $D$ breaks local gauge invariance: a pure gauge for $D$ has $F_{+}=0$ but generally $F_{-}=-2e{A}_{\mu }\times A_{\nu }\ne 0$. Reversing both signs is an alternative consistent convention.

Use the negative curvature convention defined in curvature-sign convention in Killing derivative identities, and $C_{ab}=C^c{}_{acb}$. Covariant derivatives of a vector obey $[{\nabla }_b,{\nabla }^a]A^b=-C^a{}_b{A}^b$. Hence the flat-space equivalent expressions $\square A^a-{\partial }_b{\partial }^a{A}^b$ and $\square A^a-{\partial }^a{\partial }_b{A}^b$ acquire a difference $+C^a{}_b{A}^b$ under the comma-to-semicolon prescription. Covariantizing $F_{ab}=2{\nabla }_{[a}{A}_{b]}$ and its Maxwell equations gives $\square A^a-{\nabla }^a({\nabla }_b{A}^b)+C^a{}_b{A}^b={\mu }_0{J}^a$. This form respects gauge invariance. Dropping the Ricci term is generally not gauge invariant. The two expressions coincide in a Ricci-flat vacuum spacetime; vanishing matter alone with nonzero cosmological constant does not imply Ricci flatness.

A Dirac mass term pairs left- and right-handed Weyl fields in conjugate Lorentz representations. Gauge invariance requires the two chiral fields to carry matching internal quantum numbers, directly or after multiplication by a scalar field that acquires a vacuum expectation value.

A four-vertex model proves the essential gauge invariance without solving an electron scattering problem. Use two directed paths $S\to U\to D$ and $S\to L\to D$. Assign an edge phase $a_{ij}$ and a complex unit link $U_{ij}=e^{i{a}_{ij}}$ to each directed edge, with $U_{ji}=U_{ij}^{-1}$. These links represent discretized magnetic line integrals multiplied by $q/\hslash$. Under a gauge transformation with arbitrary vertex phases ${\chi }_i$,Both path products acquire the same factor $e^{i({\chi }_D-{\chi }_S)}$. Their gauge-invariant ratio is the closed-loop holonomyEvery intermediate vertex phase cancels. For any fixed nonnegative real amplitudes $a,b$, the interference quantity $|a{P}_1+b{P}_2{|}^2$ is unchanged too. A gauge-dependent open-path phase consequently cannot be interpreted as an observable by itself.

For an exact example, measure phases in units of $\pi$ and order edges as $(SU,UD,SL,LD)$. Choose edge phases $(0,0,0,1/2)$ and vertex phases $({\chi }_S,{\chi }_U,{\chi }_L,{\chi }_D)=(1/3,-1/4,2/5,1/7)\pi$. The transformed edge phases areThe upper and lower sums become $-4\pi /21$ and $13\pi /42$; their difference remains $-\pi /2$. With amplitudes $a=1$, $b=1/2$, the intensity remains $5/4$. Sweeping one physical loop phase through $2\pi$ instead produces extrema $9/4$ and $1/4$, agreeing with the interferometric visibility example above.

For external electrons on shell, factor out signed electric charge in the parity-preserving interaction vertex:The $u$ are Dirac spinors; ${\gamma }^{\mu }$ are gamma matrices. With on-shell renormalization scheme normalization $F_1(0)=1$, the Gordon identity gives $g_s/2=F_1(0)+F_2(0)$ and $a_e=F_2(0)$.^[ref]

This explains a subtlety: the Dirac equation already predicts a spin magnetic dipole moment with $F_2=0$. Rewriting its Dirac electromagnetic current with the Gordon identity produces a spin-dependent term even before any loop order correction. $F_2$ measures the additional response after that baseline is included. The limit $q\to 0$ is taken after extracting its coefficient; setting $q=0$ in the interaction vertex at the outset would hide it. This electromagnetic anomalous magnetic moment is not a failure of gauge invariance of the kind called a quantum anomaly.

A gauge generator is the representation matrix of a basis element of the Lie algebra of a continuous gauge group on a specified set of fields. For Hermitian generators $T^a$, an infinitesimal transformation is $\delta \varphi =i{\alpha }^a{T}^a\varphi$, and $[T^a,T^b]=i{f}^{ab}{}_c{T}^c$. Gauge invariance of a superpotential consequently requires $W_i(T^a{)}^i{}_j{\varphi }^j=0$ for each generator.

Gauge invariance is invariance under local changes of gauge representative. Gauge-invariant observables depend only on the physical gauge orbit.

A gauge theory uses this redundancy to describe the same physical state by different field representatives.

Write the superconducting order parameters as ${\psi }_j=|{\psi }_j|e^{i{\theta }_j}$, using a field of pair electric charge $q=-2e$. For a specified path across the superconducting weak link, defineHere $\mathbf{A}$ is the magnetic vector potential. To check electromagnetic gauge invariance, use a scalar function $\chi$ and transformThe change of ${\theta }_2-{\theta }_1$ is $q({\chi }_2-{\chi }_1)/\hslash$, exactly cancelled by the change of the line integral. Thus $\varphi$ is unchanged although each local quantum phase changes. This is the same charge/sign bookkeeping discussed in gauge-coupling sign in Ginzburg-Landau superconductivity. Different physical paths can enclose magnetic flux, so fixing the path matters.

For stationary reservoirs with equal internal pair chemical potentials and a time-independent vector potential, the local Schrödinger equation gives ${\dot{\theta }}_j=-q{U}_j/\hslash$ after dropping the common internal term. With electric potentials $U_j$ and $V=U_2-U_1$, subtraction gives $\dot{\varphi }=-qV/\hslash =2eV/\hslash$. For a general circuit, $V$ denotes the corresponding measured electrochemical voltage and the electromagnetic contribution must be treated consistently. A bare difference of phases without the vector potential term is insufficient in an arbitrary gauge.

An unbroken gauge symmetry forbids an explicit local Proca mass for its gauge vector. A Higgs mechanism can generate that mass through a charged vacuum expectation value, but the stability of the resulting vector scale then depends on the scalar sector that fixes the expectation. Gauge invariance alone does not protect a fundamental scalar mass.

For canonical global four-dimensional N=1 supersymmetry, define $F^i=\overline{W_i}$, $H_{ij}=W_{ij}$ and $G_{ia}=g^a{\bar{\varphi }}_j(T^a{)}^j{}_i$ at a stationary vacuum. Gauge invariance of the superpotential gives $G^{T}F=0$, while stationarity of $V={\sum }_i|W_i{|}^2+\frac{1}{2}{\sum }_a(D^a{)}^2$ gives $HF-GD=0$. Therefore the canonically normalized fermion mass matrix, after a harmless gaugino phase choice, obeysIf supersymmetry is broken, this vector is nonzero and specifies a massless Goldstino. The matrix with off-diagonal blocks $-G$ instead acts on $(F,D)$; it is related to the canonical matrix by a change of normalization, not by equality of canonical entries. Additional zero modes can coexist with the Goldstino.

In their 1964 paper, François Englert and Robert Brout showed that gauge bosons associated with generators that rotate the chosen vacuum acquire masses while gauge invariance is maintained. Their discussion included both scalar and fermionic models.^[ref]

Independently, Peter Higgs exhibited a massive vector and a surviving massive scalar field by linearizing a simple gauge theory. His paper explicitly distinguishes this classical calculation from a proof for the full quantized theory. These 1964 mechanisms supplied an ingredient for the later electroweak interaction, rather than the complete Standard Model.^[ref]

In $\mathcal{L}=-g_{ab}{F}_{\mu \nu }^a{F}^{b\mu \nu }/4$, only the symmetric part of $g$ contributes. A constant symmetric bilinear form gives local gauge invariance precisely when it is an invariant bilinear form on a Lie algebra, because the gauge field strength transforms in the Adjoint representation. A nondegenerate kinetic term requires a nondegenerate bilinear form; positivity of the Hamiltonian is an additional condition. For a compact simple real Lie algebra, $-\kappa$ is positive definite, and a positive multiple supplies the usual positive-energy convention with Minkowski signature $(+---)$.

Every Lie algebra automorphism $S$ obeys ${\mathrm{ad}}_{SX}=S{\mathrm{ad}}_X{S}^{-1}$. The cyclic property of the trace therefore makes the Killing form invariant under $S$. For a matrix Lie group, $S={\mathrm{Ad}}_g$ is conjugation by $g$, proving the displayed identity even when the group is disconnected. This directly proves gauge invariance of Killing-form contractions of adjoint fields.

An adjoint scalar has adjoint covariant derivative $D_{\mu }\varphi ={\partial }_{\mu }\varphi +[A_{\mu },\varphi ]$. A symmetric invariant bilinear form on a Lie algebra contracts the gauge field strength and scalar kinetic terms to give gauge invariance. On a compact real form the positive internal metric is $-\kappa$, because the Killing form itself is negative definite; complex scalar components require the associated Hermitian pairing. The Killing form is degenerate on Abelian factors, where another invariant metric is needed for a nondegenerate kinetic term.

For a real compact semisimple algebra, $B=-\kappa$ is a positive internal metric. With signature $(+---)$ and connection $D_{\mu }={\partial }_{\mu }+A_{\mu }$, the healthy Lagrangian is $\mathcal{L}=-B(F_{\mu \nu },F^{\mu \nu })/(4g^2)=\kappa (F_{\mu \nu },F^{\mu \nu })/(4g^2)$. Gauge invariance follows from Killing-form invariance and ${\delta }_{X}F=ϵ[X,F]$. The physical Hamiltonian density is $[B(E_i,E_i)+B(B_i,B_i)]/(2g^2)$ after imposing the Gauss law constraint in gauge theory and treating the spatial boundary flux appropriately. An Abelian factor needs a separate positive invariant metric because its Killing form vanishes.

In gauge field theory its standard form is $A^{+}=n_{\mu }{A}^{\mu }=0$ for a fixed null direction $n$. A light-cone gauge uses light-cone coordinates to fix a longitudinal variable, often choosing $x^{+}$ as the evolution parameter for a relativistic particle phase-space action. Related field gauges set selected minus components to zero when a field has the required gauge invariance. A massive field without that gauge freedom must instead eliminate dependent components through its equations of motion.

A Majorana mass term pairs a Weyl spinor field with itself, schematically ${\mathcal{L}}_m=-\frac{1}{2}m\psi \psi +h.c.$ with the spinor indices contracted. Under the continuous phase rotation $\psi \mapsto e^{i\alpha }\psi$, the bilinear gains $e^{2i\alpha }$, so a nonzero fixed mass breaks that continuous number symmetry.

Gauge invariance requires the contracted bilinear to be a gauge singlet, not every component of the field to be a singlet. A suitable real representation, including the Adjoint representation, can admit an invariant Majorana mass term; an adjoint gaugino is an example. A single field with nonzero conserved electric charge cannot have such a term, because its pair carries twice that electric charge.^[ref]

A free massive $p$-form obeys the displayed equation, with the divergence constraint following by applying the codifferential. For $m>0$ and $0\le p\le D-1$, a rest frame leaves an antisymmetric tensor on $D-1$ spatial directions, giving $\left(\genfrac{}{}{0ex}{}{D-1}{p}\right)$ physical polarizations. The mass term removes the ordinary gauge invariance, unless a Stueckelberg mechanism restores a redundant description.

// Target: quantum-field-theory.bigb