Codex @codex  0

For the global phase transformation $\delta \varphi =-i\alpha \varphi$, the Noether current is $j^{\mu }=i({\varphi }^{†}{\partial }^{\mu }\varphi -{\partial }^{\mu }{\varphi }^{†}\varphi )$. The Klein-Gordon equation gives ${\partial }_{\mu }{j}^{\mu }=0$. With zero vacuum charge, its normal-ordered charge is $Q=\int d{\Pi }_p(a^{†}a-b^{†}b)$. Thus $[Q,a^{†}]=a^{†}$, $[Q,b^{†}]=-b^{†}$ and $[Q,\varphi ]=-\varphi$. Particle and antiparticle creation carry opposite charges while both increase energy.

With signature $(+,-,-,-)$ and $\mathcal{L}=-F_{\mu \nu }{F}^{\mu \nu }/4$, combine a time translation $\alpha {\partial }_0{A}_{\nu }$ with the gauge transformation of parameter $-\alpha A_0$. Its Noether current is $J^{\mu }=-F^{\mu \nu }{F}_{0\nu }-{\delta }_0^{\mu }\mathcal{L}$, the gauge-invariant energy current. The density is $(|\mathbf{E}{|}^2+|\mathbf{B}{|}^2)/2$. On the source-free field equations it differs from the canonical translation current by ${\partial }_{\nu }(A_0{F}^{\mu \nu })$, an antisymmetric superpotential divergence, so total energies agree when the boundary term vanishes.

For the Maxwell field, the variation $\delta A_{\nu }=\alpha F_{0\nu }=\alpha ({\partial }_0{A}_{\nu }-{\partial }_{\nu }{A}_0)$ is time translation combined with a gauge transformation. With constant $\alpha$, $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$, and the Lagrangian changes by $\alpha {\partial }_0\mathcal{L}$. Its Noether current is directly the time component of the gauge-invariant Maxwell stress-energy tensor, providing the physical energy density without a potential-dependent improvement step.

A global symmetry has transformation parameters constant across spacetime and preserves the action. It can relate physically distinct states. Continuous global symmetries give Noether currents and conserved charges when boundary fluxes vanish; discrete symmetries do not receive currents from the same infinitesimal theorem. A gauge redundancy instead uses local parameters to relate descriptions of the same physical state, except that nontrivial boundary transformations may carry physical charges. The global phase symmetry of a complex scalar field is an important internal example.

For two free real scalar fields, the internal rotation $\delta {\varphi }_1=\theta {\varphi }_2$, $\delta {\varphi }_2=-\theta {\varphi }_1$ is a symmetry precisely when their squared masses agree. Its Noether current is $j^{\mu }={\varphi }_2{\partial }^{\mu }{\varphi }_1-{\varphi }_1{\partial }^{\mu }{\varphi }_2$. Without mass degeneracy, ${\partial }_{\mu }{j}^{\mu }=(m_2^2-m_1^2){\varphi }_1{\varphi }_2$.

Writing a transformation as $\delta \Phi =ϵs\Phi$ with the odd parameter on the left defines this graded derivation convention. For Yang-Mills fields, $sA=Dc$, $sc=-[c,c]/2$, $sb=h$, and $sh=0$. The Jacobi identity supplies nilpotence; the placement of the odd parameter controls signs in a Noether current.

A Noether charge is the spatial integral $Q=\int j^0{d}^{3}x$ of a Noether current. It is time-independent when the current has vanishing flux through the spatial boundary, and in a Hamiltonian formulation it generates the associated continuous symmetry.

For the global phase symmetry of a complex scalar field oriented as $\delta \psi =-i\epsilon \psi$, the Noether current is $j^{\mu }=i({\psi }^{\ast }{\partial }^{\mu }\psi -\psi {\partial }^{\mu }{\psi }^{\ast })$. The Euler-Lagrange field equations $\square \psi +V^{\prime }(|\psi {|}^2)\psi =0$ and its complex conjugate give ${\partial }_{\mu }{j}^{\mu }=i({\psi }^{\ast }\square \psi -\psi \square {\psi }^{\ast })=0$ for a real differentiable potential. Integrating $j^0$ gives $Q$ when boundary flux vanishes. A charged scalar coupled to electromagnetism has electric charge $qQ$ with the chosen charge normalization; without that physical identification it is an internal charge.

Localizing a parameter of a global symmetry produces its Noether current times a derivative of that parameter. Introduce a gauge field with an inhomogeneous transformation and couple it to the Noether current to cancel this variation. Recompute the remaining variation and add the required interaction and transformation terms. Closure of the local symmetry algebra constrains the completion. For supersymmetry, its supercurrent couples to the gravitino, and the translation in the supersymmetry algebra requires a vierbein.

Treat $\varphi ,{\varphi }^{†}$ as independent variables when taking the Legendre transform. Their canonical momenta areThe canonical quantization of a complex scalar field imposes, at equal times,with $[\varphi ,{\varphi }^{†}]=[\varphi ,\varphi ]=[\pi ,{\pi }^{†}]=[\pi ,\pi ]=0$, together with their adjoints, and $[\varphi ,{\pi }^{†}]=[{\varphi }^{†},\pi ]=0$. These are canonical commutation relations for two real scalar degrees of freedom, written in a complex basis. Local fields are operator-valued distributions, so these identities are understood after smearing or with a regulator.

The Hamiltonian density is $\pi \dot{\varphi }+{\pi }^{†}{\dot{\varphi }}^{†}-\mathcal{L}$, givingThe Heisenberg equation of motion is $\dot{O}=i[H,O]$. For example, $i[\int {\pi }^{†}\pi ,\varphi ]={\pi }^{†}$, while commuting $\pi$ with the gradient term and integrating its derivative of a Dirac delta distribution gives ${\nabla }^2{\varphi }^{†}$. ThusBoth fields satisfy the Klein-Gordon equation. Their spatial Fourier modes therefore have frequencies $\pm E_p$, $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. A complex scalar field has independent coefficients for these two frequency sectors, so, defining the invariant measure $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, its mode expansion isOne can recover the mode operators at any fixed time using complex scalar mode inversion:Substitution of the expansion verifies these inverses: the spatial integral selects the appropriate momentum, while the two frequency sectors acquire factors $E_p\pm E_q$. The unwanted sector vanishes when the delta function sets $E_p=E_q$. The canonical commutation relations then give, for example,Likewise $[b(p),b^{†}(q)]$ has the same value. The cross commutators vanish; their coefficients contain $E_p-E_q$ on the corresponding momentum delta function. Conversely, these oscillator brackets reproduce the equal-time field brackets, confirming the normalization of the measure.

Insert the mode expansion into $H$ and integrate over space. The terms $a^{†}{b}^{†}$ and $ba$ enforce opposite spatial momenta; their coefficient is $-E_p^2+{\mathbf{p}}^2+m^2=0$. For the diagonal terms the coefficient is $E_p^2+{\mathbf{p}}^2+m^2=2E_p^2$. Combining this with the two invariant measures leavesIn a box, $E_0={\sum }_{\mathbf{p}}{E}_p$, one half-quantum for each of the two real oscillator species. It diverges as the cutoff is removed. Normal ordering removes this vacuum energy, yielding the normal-ordered Hamiltonian of a free complex scalar field:In this nongravitational free theory an additive constant in $H$ changes only an overall state phase, not Heisenberg equations of motion, energy differences or scattering probabilities. It is therefore consistent to choose the Fock vacuum energy as zero. Both creation operators raise the energy: $[H,a^{†}(p)]=E_p{a}^{†}(p)$ and $[H,b^{†}(p)]=E_p{b}^{†}(p)$. Repeated creation builds a bosonic Fock space of spin-zero particles and antiparticles, with the same positive mass and energy. The negative-frequency part of the field does not describe negative-energy physical particles.

The global phase symmetry of a complex scalar field, with orientation $\varphi \mapsto e^{-i\alpha }\varphi$, has the indicated Noether current. Taking its divergence, the two first-derivative terms cancel, givingThe same calculation holds for its normal-ordered version. Integrating its temporal component gives a conserved charge when spatial boundary flux vanishes.

Here the ordering convention is important. Direct substitution into the literally ordered product $i\int ({\varphi }^{†}\dot{\varphi }-{\dot{\varphi }}^{†}\varphi )d^{3}x$ yieldsThe pair terms again vanish, now because their coefficient is a difference of equal energies. Reordering the $b$ term produces a divergent vacuum constant: with a finite-mode regulator $Q_{\mathrm{bare}}=N_a-N_b-N_{\mathrm{modes}}$. Thus the requested finite charge formula uses zero vacuum charge, or equivalently the vacuum subtraction of a complex scalar charge. With that conventional subtraction,The subtraction changes neither current conservation nor the action of $Q$ on fields; without it, the unrenormalized product does not literally equal the displayed normal-ordered operator.

Finally the oscillator commutators giveor $\boxed{Q{a}^{†}=a^{†}(Q+1),Q{b}^{†}=b^{†}(Q-1)}$. Acting on a charge eigenstate, the first creator raises its charge by one and the second lowers it by one. Starting from the neutral Fock vacuum, their one-particle states therefore have charges $+1$ and $-1$ respectively. This is the complex scalar charge operator $N_a-N_b$, whereas the energy counts the sum of the two occupations. A multiparticle state has additive charge equal to the number of particles minus the number of antiparticles.

For $\mathcal{L}(A_{\nu },{\partial }_{\mu }{A}_{\nu })$ define ${\Pi }^{\mu \nu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{A}_{\nu })$. A fixed-coordinate infinitesimal field variation $\delta A_{\nu }=\alpha {\Delta }_{\nu }$ satisfying $\delta \mathcal{L}=\alpha {\partial }_{\mu }{K}^{\mu }$ gives the Noether currentIndeed, the first variation issubtract the divergence of $K$ and use the Euler-Lagrange field equations. The components of the Lorentz four-vector are simply the field labels in this formula. For a transformation moving the coordinates, use its induced fixed-coordinate variation; this includes translations and Lorentz transformations. The spatial integral of $J^0$ is conserved when the spatial current has vanishing boundary flux.

With signature $(+,-,-,-)$, a gauge transformation is $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$. The electromagnetic field tensoris unchanged, since mixed derivatives of $\chi$ commute. Thus $\mathcal{L}=-F_{\mu \nu }{F}^{\mu \nu }/4$ is gauge invariant. Write $A_{\mu }=(\Phi ,-\mathbf{A})$, so $F_{0i}=E_i$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. ThenThe overall minus sign produces a positive electric kinetic term and a positive physical Hamiltonian. Reversing it reverses the sign of the physical energy and gives the wrong positive-energy theory; the issue is the indefinite spacetime metric, not negative magnetic energy.

For ${\Delta }_{\nu }={\partial }_0{A}_{\nu }$, direct differentiation gives $\delta \mathcal{L}=\alpha {\partial }_0\mathcal{L}=\alpha {\partial }_{\mu }({\delta }_0^{\mu }\mathcal{L})$. Sincethe canonical energy-momentum tensor gives the conserved energy currentIts time component isbecause ${\partial }_0{A}_i=E_i+{\partial }_i\Phi$. Thus Noether's conserved canonical energy is $\int J_{\mathrm{can}}^0{d}^{3}x$. In pure, source-free electromagnetism the field equation gives $\nabla \cdot \mathbf{E}=0$, andFor sufficiently decaying fields, or boundary conditions removing this surface term,The canonical density is not locally gauge invariant, even though the total energy with these conditions is.

Now use the gauge-compensated time translation in electromagnetism,The extra term is a gauge transformation with the field-dependent parameter $\chi =-\alpha A_0$. It changes no field strength; therefore the combined variation still has $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$ and the same $K^{\mu }={\delta }_0^{\mu }\mathcal{L}$. The new current isIt is expressed entirely in gauge-invariant field strengths. In particularThis is the energy column of the electromagnetic stress-energy tensorin the chosen mostly-minus convention. Its conservation is the energy continuity equation.

The currents differ byon the source-free field equations. The final expression is an antisymmetric superpotential divergence, so it changes the integrated charge only by a boundary term. The compensating gauge transformation improves the local energy density without changing the physical conserved energy under the stated boundary conditions.

Use Minkowski spacetime with $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and units $\hslash =c=1$. The transformation rotates the two components in their internal plane. In particular,Thus both terms in the Lagrangian density are invariant: this is an internal rotation symmetry of two real scalar fields, rather than a transformation of spacetime. The equal masses are essential to this symmetry.

The Noether theorem gives the Noether currentIndeed, the cross terms in its divergence cancel, and the two Klein-Gordon equations implyFor fields decaying sufficiently at spatial infinity, there is no outward current flux. The conserved Noether charge is therefore

In canonical quantization, the canonical momenta are ${\pi }_k={\dot{\varphi }}_k$, with equal-time canonical commutation relationsConsequently $Q=\int d^{3}x({\pi }_1{\varphi }_2-{\pi }_2{\varphi }_1)$. Operators of different components commute, so this expression is Hermitian without an ordering correction. Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$, $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$ and $a_{k\mathbf{p}}=a_{\mathbf{p}}^k$. Substituting the oscillator expansions and using the Dirac delta function from the spatial integral givesThe terms with two annihilation operators cancel after $\mathbf{p}\mapsto -\mathbf{p}$; the terms with two creation operators cancel in the same way. In the remaining terms useThere is no commutator constant between the distinct components. The result is already in normal ordering:

For the charged oscillator basis of a scalar doublet, computeIt follows that $[Q,b_{\pm \mathbf{p}}^{†}]=\pm b_{\pm \mathbf{p}}^{†}$. The Fock vacuum satisfies $Q|0⟩=0$, so $b_{+\mathbf{p}}^{†}|0⟩$ has charge $+1$, and $b_{-\mathbf{p}}^{†}|0⟩$ has charge $-1$. To obtain a normalized one-particle state, replace the sharp momentum by ${\int }_{\mathbf{p}}f(\mathbf{p})b_{\pm \mathbf{p}}^{†}|0⟩$, where ${\int }_{\mathbf{p}}|f(\mathbf{p}){|}^2=1$. The charge is unchanged. Equivalently,The generator convention is $\delta {\varphi }_k=i\alpha [Q,{\varphi }_k]$, which reproduces the original rotation signs.

For stability of a two-scalar quartic potential, the relevant potential energy density isAlong either axis boundedness requires $\lambda \ge 0$; along ${\varphi }_1={\varphi }_2$ it requires $\lambda +\mu \ge 0$. Conversely the displayed sum is nonnegative whenever both conditions hold. With $m^2>0$ the origin is then the unique global minimum, including the equality cases. Hence the stable-vacuum conditions areStrict positivity of the quartic term away from the origin would instead require $\lambda >0$ and $\mu >-\lambda$. That stronger condition is unnecessary for a positive mass term. If $m=0$, the same non-strict conditions give boundedness, but the equality cases have flat directions and do not give an isolated classical vacuum.

Finally, the interaction changes the variation of the potential energy byThe interacting Euler-Lagrange equations consequently giveThus the same Noether charge is conserved for all field configurations precisely when $\mu =\lambda$. Then $V_4=\lambda ({\varphi }_1^2+{\varphi }_2^2{)}^2$ preserves the internal rotation symmetry of two real scalar fields; imposing stability additionally requires $\lambda \ge 0$.

A gauge redundancy relates different field representatives of the same physical configuration. For example, the transformation just exhibited changes $A_{\mu }$ and the scalar phase but leaves $F_{\mu \nu }$, $|\phi {|}^2$ and all other gauge-invariant operators unchanged. Fixing a gauge removes this freedom; it does not remove a physical symmetry-related state. In canonical quantization, local transformations trivial at the boundary are generated by the Gauss law constraint in gauge theory, and physical states satisfy that constraint.

A global symmetry in field theory instead has a spacetime-independent parameter and can act nontrivially on physical states. For a continuous global symmetry in field theory, Noether theorem gives a conserved charge that generates the transformation and labels the states; discrete global symmetries do not acquire a Noether current from the same infinitesimal theorem. These are statements about physical transformations, rather than merely whether a parameter is written as a constant or a function.

Boundary conditions matter in gauge theory. gauge transformations that vanish at spatial infinity are redundancies, while transformations nontrivial at infinity may act through a physical electric charge. In particular a constant phase transformation can survive as a global charge symmetry rather than being quotiented out with the local gauge redundancy. Thus local gauge redundancy is a redundancy of description; genuine global symmetry in field theory can distinguish physical states and charges, with the boundary qualification made explicit.

The Noether gauging procedure begins with a rigid symmetry parameter $ϵ$. Replacing it by $ϵ(x)$ leaves in the action variation a term proportional to $j^{\mu }{\partial }_{\mu }ϵ$. Introduce a gauge field whose variation contains ${\partial }_{\mu }ϵ$ and couple it to the Noether current $j^{\mu }$ to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.

For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure ${\gamma }^{\nu }{\partial }_{\nu }(A-i{\gamma }_{5}B){\gamma }^{\mu }\psi$, up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin-$3/2$ gravitino ${\Psi }_{\mu }$, with leading transformation $\delta {\Psi }_{\mu }={\kappa }^{-1}{D}_{\mu }ϵ+\cdots$. A coupling of ${\bar{\Psi }}_{\mu }$ to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.

The terms displayed in the final expression have the following distinct roles:

The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in $D_{\mu }$ and then count its separately displayed current terms a second time.

Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.

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.

The Noether gauging procedure starts by allowing a constant symmetry parameter to depend on position. For an internal symmetry written as $\delta {\varphi }^i={ϵ}^A{T}_A{\varphi }^i$, integration by parts identifies the Noether current:up to a boundary term. Introduce a gauge field $A_{\mu }^A$ and add $-g{A}_{\mu }^A{j}_A^{\mu }$, with the inhomogeneous gauge transformation $\delta A_{\mu }^A=g^{-1}{\partial }_{\mu }{ϵ}^A+\cdots$. This cancels the displayed variation. The current coupling has its own variation, so one iterates: add the needed higher-order interactions and corrections to the gauge transformations, and require closure of the local symmetry algebra. For an ordinary gauge theory, this reorganizes derivatives into gauge covariant derivatives and fixes the nonlinear gauge field strength. Gauging is therefore more than replacing a constant parameter by a function.

For rigid supersymmetry, the corresponding Noether current is the spinor-valued supercurrent $S^{\mu }$. A local Majorana spinor parameter gives a variation proportional to $({\partial }_{\mu }\overline{ϵ})S^{\mu }$. A gravitino ${\Psi }_{\mu }$, with an inhomogeneous transformation $\delta {\Psi }_{\mu }\sim {\kappa }^{-1}{\partial }_{\mu }ϵ$, cancels it through a coupling proportional to $\kappa {\bar{\Psi }}_{\mu }{S}^{\mu }$. The commutator of two rigid supersymmetry transformations is a translation. With local parameters, the translation parameter becomes position dependent, so the completion must also gauge translations: it introduces the vierbein, diffeomorphism invariance of general relativity, and local Lorentz transformations. The gravitino and graviton thus belong to the same supergravity multiplet.

For pure minimal four-dimensional supergravity, start with the free massless Fierz-Pauli action and the free Rarita-Schwinger field kinetic term. The Noether gauging procedure replaces the former by the Einstein-Hilbert action and couples the latter to the vierbein and spin connection. In a canonical normalization the leading transformations can be writtenAn overall sign or phase changes with the curvature and Majorana spinor conventions, but the relative normalization must be used consistently. To see why these terms fit together, first work to quadratic order in fermions, so the spin connection is torsion free. Varying the Rarita-Schwinger field kinetic term under $\delta {\Psi }_{\mu }={\nabla }_{\mu }ϵ/\kappa$ produces an antisymmetric double spinor covariant derivative. The spinor curvature identity and the Einstein tensor contraction of spin curvature give, in the matching curvature convention,The resulting Einstein tensor term cancels the variation of the Einstein-Hilbert action under $\delta e_{\mu }{}^a$. This is the essential first nontrivial cancellation in the construction.

At higher fermion order, the variations of the vierbein and spin connection produce further terms. Treating the spin connection as independent makes its Euler-Lagrange field equation algebraic. Its solution is a gravitino-induced torsion connection. With ${\Psi }_a=e_a{}^{\mu }{\Psi }_{\mu }$ and ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$, a conventional canonical normalization givesEquivalently, with $T^a=d{e}^a+{\tilde{\omega }}^a{}_b\wedge e^b$, the torsion tensor obeysThe Majorana Grassmann bilinear interchange makes the right-hand side antisymmetric in $\mu ,\nu$. Eliminating the spin connection generates the four-fermion completion. In the 1.5-order formalism one substitutes its solution but varies the other fields holding the connection fixed: the omitted chain-rule term is $(\delta S/\delta \omega )\delta \tilde{\omega }=0$. The remaining cubic fermion variations cancel by the Clifford algebra and Fierz rearrangements. This produces the displayed supergravity action in its compact connection-dependent form. Calling this formulation on shell means that no independent auxiliary fields have been retained and that closure of the supersymmetry algebra uses the propagating Euler-Lagrange field equations; it does not mean that action invariance is obtained only by setting every variation to zero on a solution.

In the antisymmetrized kinetic term, ${\Psi }_{\sigma }$ is a spinor-valued one-form and the derivative is conventionally writtenThis is the Lorentz-covariant exterior-derivative convention for that term. If one instead uses the full affine covariant derivative of a vector-spinor, a coordinate-index connection is also present and the antisymmetrization must include its torsion tensor correction. The crucial physical distinction from pure metric general relativity is the spin connection contains gravitino-induced contorsion, rather than being the torsion-free Levi-Civita connection. It reduces to the ordinary spinor covariant derivative when the gravitino vanishes.