For in space dimensions, write , and . Eliminating the rotation frequency by gives the displayed fixed-charge scaling. The positive-power charge term can balance the gradient and potential terms even for . This evades the static Derrick theorem because the field is time-dependent and the relevant variations preserve its Noether charge.
For the internal rotation symmetry of two real scalar fields with and , the Noether charge is . Its commutators satisfy , so these creation operators produce charge eigenstates in the one-particle state sector. Substitution gives , converting the rotation of real components into opposite charges in a complex basis.
Conserved charge 2026-10-06
An integral of the time component of a conserved current is a conserved charge when the spatial boundary flux vanishes. Charges need not come from an immediately apparent elementary symmetry; a field theory can have an infinite higher-derivative current hierarchy. A Noether charge is obtained from the symmetry current supplied by the Noether theorem.
For constant internal matrices acting on Dirac fields, the equal-time canonical anticommutation relations give
with the corresponding spatial delta functions for fields. The quartic terms cancel after fermion reordering. Integrating proves the displayed algebra for well-defined global Noether charges, with normal ordering and a regulator that preserves the nonanomalous internal symmetry. Orthogonal chiral projectors make the left/right mixed commutators zero. This reduces current-charge closure to a finite matrix calculation.
For ghost term and the current convention , localize , . The two differentiated parameters give this current. Its Noether charge grades ghosts by and antighosts by , up to the corresponding overall generator normalization.
Noether current for a first-derivative scalar field Created 2026-10-05 Updated 2026-10-14
For and a variational symmetry of a Lagrangian density, write and . The product rule gives . Therefore obeys , so it is a conserved current on shell. Spatial integration gives a conserved Noether charge only when the boundary flux vanishes. The formula extends to several components by summation.
For and , the fixed-coordinate field variation is . Suppose action invariance is expressed as . Writing and , the product rule gives . Thus is a conserved current on shell. A vanishing spatial boundary flux is additionally required for its Noether charge to be conserved. This formula includes internal transformations, translations and Lorentz transformations.
Non-topological soliton 2026-10-14
A non-topological soliton is a localized finite-energy field configuration whose existence or stability is not protected by a nontrivial topological charge. A conserved ordinary Noether charge can instead obstruct its decay. A Q-ball is a standard complex-scalar example: its profile is localized while its phase rotates in time.
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , so
The continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . Put
These are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths gives
The scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomes
For each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum is
The radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combination
Its overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations imply
The quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, write
The displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator gives
where is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
Use Minkowski spacetime with and units . 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 current
Indeed, the cross terms in its divergence cancel, and the two Klein-Gordon equations imply
For 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 , with equal-time canonical commutation relations
Consequently . Operators of different components commute, so this expression is Hermitian without an ordering correction. Write , and . Substituting the oscillator expansions and using the Dirac delta function from the spatial integral gives
The terms with two annihilation operators cancel after ; the terms with two creation operators cancel in the same way. In the remaining terms use
There is no commutator constant between the distinct components. The result is already in normal ordering:
For the charged oscillator basis of a scalar doublet, compute
It follows that . The Fock vacuum satisfies , so has charge , and has charge . To obtain a normalized one-particle state, replace the sharp momentum by , where . The charge is unchanged. Equivalently,
The generator convention is , which reproduces the original rotation signs.
For stability of a two-scalar quartic potential, the relevant potential energy density is
Along either axis boundedness requires ; along it requires . Conversely the displayed sum is nonnegative whenever both conditions hold. With the origin is then the unique global minimum, including the equality cases. Hence the stable-vacuum conditions are
Strict positivity of the quartic term away from the origin would instead require and . That stronger condition is unnecessary for a positive mass term. If , 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 by
The interacting Euler-Lagrange equations consequently give
Thus the same Noether charge is conserved for all field configurations precisely when . Then preserves the internal rotation symmetry of two real scalar fields; imposing stability additionally requires .
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 and define
The Euler-Lagrange field equations are . For a fixed-coordinate variation , the product rule gives the off-shell identity
This identity is the proof's essential integration-by-parts step.
For a general spacetime symmetry write and . At a fixed point , while the volume-element variation contributes . Suppose action invariance takes the form
Combining with the preceding identity proves
This is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which . A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation gives
Thus 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 for translation in direction . Then , and the internal-form proof with gives the canonical energy-momentum tensor
Its four spatial integrals are the conserved energy and momentum. For a real scalar field with density this becomes . Direct differentiation gives , which vanishes by the field equation.
Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, is symmetric, so the Lorentz transformation currents can be written
Their divergence is . 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 , the constant transformation leaves the density invariant. Using and gives the Noether current
For a Dirac field, the corresponding variations , yield instead , 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 and one . 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 : its electromagnetic field tensor is unchanged. For charged matter use together with . Differentiating shows , so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of 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 . In the pure Maxwell field, action invariance under a compactly supported implies
Thus holds off shell, directly because 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.
Let and . For a sufficiently regular finite-energy field configuration with vacuum asymptotics, the scaled field stays in the same boundary sector. Changing variables gives the Derrick scaling formula
A static solution must be stationary under this variation, so the Derrick virial identity is
For , both terms are nonnegative, so both vanish and the field is constant at a vacuum. Hence there are no nonconstant smooth finite-energy static solitons of this scalar type for . For the identity is , allowing kinks. For it requires : a nonzero potential contribution excludes a static soliton, but the scaling identity alone does not exclude a purely derivative energy.
There is a useful refinement specific to the unconstrained flat target . If is differentiable and nonnegative, implies and on the image. The static Euler-Lagrange field equations then give . Each first derivative is an entire harmonic function in L2 space. Its mean-value bound over a disk of radius is at most its total squared norm divided by ; letting shows that derivative is zero. Thus even the exceptional two-dimensional case has only constant smooth finite-energy solutions into this flat target. This two-dimensional flat-target Derrick obstruction uses the field equations in addition to the scale identity.
The Yang-Mills theory with a Higgs field escapes the original scaling because the gauge curvature is quadratic in spatial scaling. In three dimensions use and . Then and . Writing the magnetic, Higgs-gradient and Higgs-potential energies as , the Derrick scaling of Yang-Mills-Higgs energy gives
at stationarity. These terms can balance. In particular, the zero-potential Bogomolny-Prasad-Sommerfield monopole has .
For a nonlinear sigma model in two dimensions, the harmonic map energy is purely quadratic in first derivatives and is scale invariant: . Its target is a curved manifold, not the unconstrained Euclidean target of the refinement above. Its equation is the nonlinear harmonic-map equation, not componentwise . The Derrick theorem therefore gives no obstruction. Nonconstant finite-energy maps into , as in the O3 nonlinear sigma model, provide examples with nonzero degree.
For the complex theory, regard and as independent variables in the variation, and write , . Variation in gives
Thus
The factor 2 follows from the printed normalization of the complex kinetic term; equivalently vary its two real components.
A non-topological soliton is a localized finite-energy persistent field solution with no protecting winding or other nontrivial topological sector. In this complex theory a Q-ball has a stationary spatial profile and a rotating phase,
with real . It is not static as a field even though its energy density is time-independent. The global phase symmetry gives the Noether charge
The profile equation is . Its energy is . To vary the size at fixed charge one must also vary the frequency, because scaling at fixed would change . Eliminating gives charge-constrained scalar-field scaling:
The new positive-power term can balance the other terms for , including , so the static Derrick theorem does not rule out these solutions. Equivalently, at fixed frequency the profile extremizes , whose effective potential need not be nonnegative. This explains both the time dependence and the charge constraint behind the evasion; a complex field by itself is not enough.
For an explicit example take the sextic unique-vacuum Q-ball potential
It is nonnegative, since , and its only vacuum is zero. Its small-field mass squared is , while . It supports localized Q-balls, for example radial ones in three dimensions with . In that range the profile potential is positive quadratic near zero but negative somewhere away from zero, permitting a localized nontrivial profile. This example uses a conserved phase charge and no vacuum winding.
Use target signature and worldsheet signature . The Polyakov action has local worldsheet diffeomorphism and Weyl invariance, together with global target-space Poincaré symmetry. Under a worldsheet coordinate change , the embedding coordinates are scalars and the worldsheet metric is a tensor:
A Weyl transformation acts as and leaves unchanged. In two dimensions scales by and by , so the action is invariant. Target translations act by , and Lorentz transformations by with ; they leave unchanged. Infinitesimally the latter have , where .
Locally, the two diffeomorphism functions put the metric into the form , and Weyl invariance removes the conformal factor. In this conformal gauge, the embedding coordinates are free scalar fields and satisfy
The metric equation must still be imposed after gauge fixing. Varying the ungauged metric gives the worldsheet stress-energy tensor constraint
With a dot and prime denoting the two coordinate derivatives, the independent Virasoro constraints are
equivalently . Local conformal gauge leaves residual conformal transformations; on general worldsheet topologies it also leaves global moduli, rather than removing all metric information.
For target translations, differentiation of the Lagrangian with respect to gives the Noether current
The embedding equation is . In conformal gauge, , so integration over the closed string gives
Periodic boundary conditions make its time derivative vanish. For an infinitesimal Lorentz transformation, the antisymmetric coefficient of gives the current . Its divergence vanishes because the remaining product of embedding derivatives is symmetric in . Thus the Noether charge is
These are the target-space Noether charges of a string.
For the circular solution take , and let and . Its derivatives are
Each spatial coordinate has equal second derivatives in and , while the time coordinate has both second derivatives zero. Furthermore
so both the field equations and the Virasoro constraints hold, including the collapse instants.
At target time , the string is a circle in the plane of radius . It contracts from radius to zero and re-expands; the negative cosine reverses material labels by a half-turn rather than creating a negative radius. The spatial configuration repeats after target time . This is a pulsating circular string. Its induced metric degenerates at collapse, but the conformal-gauge embedding and constraints give its continuation.
The integrals of and vanish, so the momentum is
The spatial velocity is radial, giving zero angular momentum density in the plane; all boost-charge terms integrate to zero as well. Hence for every pair of indices.
At maximum expansion, all string elements are instantaneously at rest, and the length is . Thus the rest mass per unit length, equal to the string tension, is
At other times the instantaneous circumference is , and the elements have speed . Their Lorentz factor is , so the energy remains . The rest-energy density is ; the total rest-frame energy divided by the changing circumference is not constant. This distinguishes the requested intrinsic mass density from the larger energy density of moving string elements.
For the usual canonical scalar field theory, subtract the vacuum energy so that the potential is nonnegative, and write the static energy in space dimensions as
Assume finite energy and sufficient decay to justify the scaling variation, with a fixed vacuum at infinity. Under Derrick scaling ,
A static solution must be stationary under this admissible variation. Thus the Derrick virial identity is
For both terms are nonpositive, and the coefficient of is strictly negative. Therefore : the field is a constant vacuum. This proves the Derrick theorem under its hypotheses. Negative potentials, additional derivative terms, gauge fields or time dependence can invalidate this particular obstruction; it is not a theorem about arbitrary energy functionals.
A non-topological soliton can instead be supported by a conserved ordinary Noether charge. For a complex scalar field with global invariance, take and let . In the normalization with kinetic density , its charge is . At fixed charge, eliminating gives
The charge-constrained scalar-field scaling now reads
The positive scaling power of the charge term can balance the others even for . Such a Q-ball is time-dependent although its energy density is stationary, and the fixed-charge variational problem is different from the static one.
Suitable potentials permit this mechanism in any spatial dimension. For example, suppose for and the ratio below attains a strictly positive minimum:
Such a potential can favor a large region of nearly constant nonzero amplitude. At its preferred amplitude, the bulk terms minimize at , with energy about . A wall has surface energy of order , lower order than the bulk term for every fixed . For large charge the energy can therefore be below the free-particle threshold . This explains how a localized fixed-charge solution may exist and resist dispersal. Existence and stability still require a suitable potential and charge range; not every complex-field theory or every member of a rotating family is a constrained minimum.
For the particular one-dimensional profile, substituting the rotating field into the equation gives
Multiplying by shows that
Both and vanish at infinity, so the integration constant is zero. Hence
Here . This potential is not globally bounded below; the existence of the displayed localized solutions alone does not prove their nonlinear stability.
Use metric signature and set
The Lorentz boost of a Q-ball gives
The peak follows . Because the equation is Lorentz invariant and the field is a scalar, this is again a solution.
The canonical stress-energy tensor gives the energy and signed physical momentum at fixed time:
The minus sign agrees with the scalar-field momentum flux in the chosen signature. For the boosted field,
and
The first integral gives . Changing variable to , so , yields
Thus the rest-energy normalization and the relativistic energy-momentum relation are
For fields with a first-derivative Lagrangian density, suppose an infinitesimal global transformation at fixed coordinates is and , with constant infinitesimal . Noether theorem gives the on shell conserved current
This follows by varying the Lagrangian, integrating the terms with by parts, and setting the Euler-Lagrange expressions to zero. If spatial boundary flux vanishes, is a conserved Noether charge. Spacetime symmetries are covered by including the induced field variation at fixed coordinates and the corresponding total derivative .
An example of a theory with a Lorentz four-vector is the source-free Maxwell field with electromagnetic four-potential . Under an Abelian gauge transformation,
The change in is , so the Maxwell Lagrangian is gauge-invariant. For define and . With signature ,
The minus sign in gives the positive electric kinetic term and positive physical field energy; reversing it would reverse the Hamiltonian's sign for the physical modes. The normalization accounts for antisymmetry and yields the conventional equations. Varying gives .
For time translation at fixed coordinates take . Since is constant, , and hence . Thus . The momentum derivative is
Noether theorem therefore gives the canonical stress-energy tensor's time-translation current
Here was used. The canonical momentum of vanishes, while that of the lower spatial component is : acts as a multiplier for Gauss law, not a propagating degree of freedom. The density above is not manifestly gauge-invariant, but its charge agrees with the physical energy on the constraint surface and with appropriate boundary conditions.
The gauge-covariant time translation instead has . It is time translation combined with a gauge transformation of parameter . Directly,
using the definition of , equivalently its Bianchi identity. The total derivative in is unchanged. The improved current is
It is the gauge-invariant Maxwell stress-energy tensor. In particular,
The spatial current is the Poynting vector , so conservation gives . This is the familiar positive local electromagnetic field energy density, expressed entirely in measurable fields.
To compare the currents,
The last term vanishes on the source-free Maxwell equations, leaving a stress-energy tensor improvement generated by a stress-energy superpotential. At the charge level,
when the surface term vanishes and Gauss law holds. Thus the symmetries yield the same conserved energy under these conditions while the second supplies a gauge-invariant local density. Boundary terms would have to be retained if those boundary conditions were not imposed.
Take and use the complex sine-Gordon theory reduced density , with physical lengths and times . Physical rest energy is , and the dimensionless Noether charge is obtained from the reduced action. Put , , , so . Initially take , avoiding the singular target-space boundary.
The canonical Hamiltonian density is
Here , , and . Since , the kinetic contribution is simply . Consequently
To fix the charge sign, take the Noether current directly from , :
Thus positive internal rotation has positive charge in this convention. With and the supplied integral,
Reversing the definition of the generator would reverse all charge labels but not any mass. The limit is the vacuum with zero mass and charge. At the field reaches at its center and the current's coordinate expression becomes singular. The mass still has the finite limiting value , but
The displayed local density does not assign a unique endpoint charge merely by substituting .
The four collective parameters. Translation, a Lorentz boost of rapidity , and the global phase symmetry produce
The independent real parameters are , with periodic modulo . A further time translation is absorbed into these parameters. The energy and momentum are and , while is invariant. The internal angle is the collective coordinate whose canonical momentum is this Noether charge.
Semiclassical quantization. For one rest-frame internal rotation, the period in dimensionless time is . The action around the orbit is
Equivalently this is , where is the reduced rest energy. Bohr-Sommerfeld quantization with gives . Because the internal orbit is a cyclic angle, not a one-dimensional oscillator between turning points, there is no half-integer Maslov index shift. Hence
On the nonsingular branch . The elementary charge-one mass approaches at weak coupling. For positive with , , where , . Thus : the charge- soliton cannot fragment into smaller like-charge particles. For a general charge-conserving partition, a constituent with already has mass at least ; if every , the decreasing ratio gives , strictly for nontrivial fragmentation. Thus opposite-charge constituents cannot open a lower-energy decay either. This is charged rather than topological stability, and the semiclassical spectrum is reliable at weak coupling.
Counting states and the endpoint. Write . If is not an integer, the regular branch gives
If is an integer, the local nonsingular calculation gives only regular states. The formal closed-branch list has charge labels, but its last two labels are limits of the same singular static solution. Counting them needs a global completion; it cannot be decided from a regular current integral at .
In the additional integer-level completion, at leading semiclassical order and charges are identified modulo integer . There are then nonzero charge sectors. For odd , positive and negative labels are distinct; for even , the endpoint labels describe one self-conjugate state. This supplies states when , rather than endpoint labels. This global interpretation, and the distinction between classical and renormalized couplings, are discussed in Dorey and Hollowood, section 2. A generic classical does not automatically define an integer or specify this quantum completion.
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 and their first derivatives, define and . Suppose a one-parameter transformation has fixed-coordinate variation and satisfies . The Noether's first theorem asserts that
For 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 . On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge and . Thus 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 and , the current is , where
The 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 . 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, , has
Its charge distinguishes particles and antiparticles. A Dirac phase transformation gives . This is preserved by the real-scalar Yukawa interaction, because the phases of and cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on has orthogonal internal rotations. Their antisymmetric currents can be written .
Discrete examples include 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 and the gauge covariant derivative; the invariant contraction uses the opposite representation for . 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 and integrate its derivative term:
Therefore
This 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 , 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.
Fix the current sign convention by defining the localized variation as . For a first-derivative Lagrangian invariant without a boundary term under constant parameters, this means ; include the usual improvement term if the constant variation is a total derivative. On solutions, arbitrary compactly supported parameters imply . The Noether charge is and is conserved if the spatial flux vanishes. This sign convention matches the printed Ward identity; reversing the current also reverses the corresponding generator convention.
Assume an invariant regulated functional measure, invariant vacuum boundary conditions and no quantum anomaly. Changing variables in the normalized path integral gives . Integration by parts then yields
For a product of scalar fields, the local Ward identity contact terms are
Away from the insertions this is current conservation. Time-ordering or the distributional functional identity supplies the contact terms.
For the gauge theory write and use the left-acting BRST differential , with . It obeys the graded Leibniz rule and
Assume the structure constants satisfy the Jacobi identity and the dot product is invariant; antisymmetry alone would not be enough. Since and are odd, their Lie brackets are symmetric in these two arguments. Consequently
Also . The graded Jacobi identity gives , so ; the other three fields have zero second variation immediately. For independent odd parameters, . These are off-shell BRST nilpotence identities because the Nakanishi-Lautrup field is retained.
The Yang-Mills theory variation is proportional to . The gauge-fixing variation is , while the ghost variation is its negative; the term does not vary. Equivalently these terms are for the gauge-fixing fermion . BRST nilpotence makes this expression invariant. Ghost-number scaling also leaves every term invariant: the ghost and antighost factors carry opposite weights.
Here are the two explicit currents in the same sign convention as the Ward identity. Localizing the even ghost parameter gives coefficient . Localizing the odd parameter, keeping it on the left, gives coefficient
The last sign comes from moving the odd parameter through the odd antighost derivative. Since the current was defined as minus this coefficient,
These are the ghost-number Noether current and the BRST current in derivative-b gauge fixing. If the opposite Noether sign is used, both displayed currents acquire an overall minus sign. Integrating the gauge-fixing term by parts changes the Noether representative by the associated boundary improvement; mixing the two Lagrangian conventions without that improvement gives incorrect signs.
With no BRST anomaly, the conserved odd BRST charge has . The BRST cohomology identifies closed states modulo exact states . Nilpotence puts every exact state in the closed space. In the usual indefinite gauge-fixed state space, a Hermitian BRST charge makes exact states orthogonal to closed states; the standard no-ghost/positivity assumptions then give a physical inner product on the quotient. The physical sector is its ghost-number-zero component,
The ghost number assigns to , to and zero to gauge and auxiliary fields. Gauge-invariant observables and the chosen vacuum have ghost number zero; unphysical ghost excitations are removed in BRST pairs. Thus physical representatives are expected to satisfy . This zero-grading selection is part of the physical-state prescription, not a consequence of nilpotence alone.