Currents, Charges, and Quantum Ward Identities

Use this chapter when a continuous symmetry must be turned into a statement about operators or correlation functions. Its common spine runs from an infinitesimal action to a localized variation, from that variation to a quantum current, and from the current either to a hypersurface charge or to a Ward–Takahashi identity with insertions. Spacetime symmetry supplies the parallel stress-tensor branch, while time ordering and coincident current products supply contact terms and possible Schwinger terms.

Every arrow has its own hypotheses. Local conservation does not by itself make an integrated charge finite or surface independent; a classical Noether formula is not yet a renormalized operator; and a separated-point identity does not determine its delta-supported terms. The chapter makes those qualifications visible and stops before developed anomalous, gauge-fixed, boundary-Ward-identity, surface-charge, and model-specific treatments. Boundary-flux tests remain part of deciding whether a charge exists.

Helpful background. Classical Symmetries, Currents, and Stress Tensors supplies the variational Noether construction. It becomes required preparation before the generator, quantum-current, and spacetime-current leaves.

Parent volume. Symmetry and Gauge Structure

Choose by the statement you need to establish

Reader question	Route	Capability at the end
When does an infinitesimal symmetry have a charge that generates it?	What Is a Symmetry of a QFT? + Classical Symmetries $\to$ Continuous Symmetries, Generators, and Charges	Test current conservation, boundary flux, operator existence, and the commutator action separately
Which local operator deserves to be called the quantum current?	Generators and Charges $\to$ Quantum Currents, Improvements, and Conservation	Specify a renormalized current, its insertion identity, its improvement class, and its charge boundary conditions
How do translations and Lorentz transformations produce their generators?	Generators and Charges + Classical Symmetries $\to$ Spacetime Currents, Stress Tensors, and Charge Algebras	Relate stress-tensor and Lorentz-current representatives to $P^\mu$, $M^{\mu\nu}$, and their qualified algebra
How does a symmetry constrain time-ordered correlators?	Quantum Currents + Changes of Variables and Regulated Jacobians + The Generating Functional $\to$ Localized Transformations and Ward–Takahashi Identities	Derive the local and integrated identities with breaking and insertion variations explicit
Where do contact and central-looking terms come from?	Localized Ward Identities + Coincident Products and Contact Terms $\to$ Contact Terms, Equal-Time Commutators, and Schwinger Terms	Recover insertion contacts from time ordering and decide what a Schwinger term does—and does not—establish

The sidebar order is not one hard chain. The spacetime-current page branches after the generator page. The correlator branch instead passes through the quantum-current page and then the localized Ward identity before reaching the contact algebra.

Three quick checks locate missing preparation:

• Noether localization. Ready means that localizing a constant parameter lets you isolate the coefficient of $\partial_\mu\alpha$; enter Generators and Charges or the spacetime-current branch. If that step is uncertain, repair it on Classical Symmetries, Currents, and Stress Tensors.
• Functional variation. Ready means that you can state why a regulated, one-to-one change of variables preserves an integral and can interpret a time-ordered generating functional; enter Localized Transformations and Ward–Takahashi Identities. If either point is uncertain, repair it on Changes of Variables and Regulated Jacobians and The Generating Functional.
• Distributional contacts. Ready means that you can differentiate a step function and interpret a derivative of a delta distribution under smearing; enter Contact Terms, Equal-Time Commutators, and Schwinger Terms. If that calculation is uncertain, repair it on Delta Distributions, Weak Derivatives, Pullbacks, and Pushforwards.

A chain of qualified implications

Across the chapter, the active operator action is $\mathcal O\mapsto U\mathcal O U^{-1}$, and self-adjoint generators use

$$U(\epsilon)=e^{-i\epsilon^aQ_a}, \qquad \delta_a\mathcal O=-i[Q_a,\mathcal O].$$

Localizing a smooth compactly supported parameter fixes the sign convention for a current representative and its explicit-breaking insertion:

$$\delta_\alpha S =-\int\mathrm d^d x\, j_a^\mu\partial_\mu\alpha^a +\int\mathrm d^d x\, \alpha^a\mathcal B_a.$$

This is a diagnostic variation and regulated change of variables, not a promotion of the global symmetry to a gauge redundancy. Improvements, equation-of-motion terms, and finite counterterms can still change the local current representative.

Let $\mathcal X=\mathcal O_1(x_1)\cdots\mathcal O_n(x_n)$, and let $\mathcal X_{a,k}$ denote the same ordered product with $\mathcal O_k$ replaced by $\delta_a\mathcal O_k$. Brackets $[\cdot]_R$ denote defined renormalized composite insertions. For a normalized quantum current, the corresponding identity has the schematic form

$$\begin{aligned} \partial_\mu \left\langle \mathrm T\{[j_a^\mu]_R(x)\mathcal X\} \right\rangle ={}&-\left\langle \mathrm T\{[\mathcal B_a]_R(x)\mathcal X\} \right\rangle \\ &+i\sum_k\delta^{(d)}(x-x_k) \left\langle \mathrm T\{\mathcal X_{a,k}\} \right\rangle . \end{aligned}$$

This formula assumes that the regulated change of variables preserves the integration data and that a symmetry-compatible renormalized limit exists. Derivative insertions, boundaries, noninvariant states, and a nontrivial measure Jacobian add terms or qualifications. The change-of-variables derivation and its insertion contacts are developed in Schwartz 2014, § 14.8, pp. 277–282; the complementary operator derivation from time ordering and equal-time commutators appears in Weinberg 1995, Vol. I, §§ 10.4–10.5, pp. 442–450.

For a future-oriented Cauchy surface $\Sigma$, the candidate bulk charge is

$$Q_a[\Sigma] =\int_\Sigma\mathrm d\Sigma_\mu\,[j_a^\mu]_R$$

For an exact, nonanomalous bulk symmetry with no explicit-breaking source, it is surface independent only when the intervening boundary flux vanishes. If a boundary subsystem absorbs nonzero flux, the displayed bulk charge remains surface dependent; one may instead define a distinct total charge such as $Q_{\mathrm{tot}}=Q_{\mathrm{bulk}}+Q_{\partial}$. Conservation of that total charge and its action on the full system must be established separately. A candidate generator also requires a controlled smearing and large-region limit, fixed normalization, and a suitable invariant operator domain. The passage from localized action to current, hypersurface charge, and generator is treated in Weinberg 1995, Vol. I, § 7.3, pp. 306–314.

Two branches share the same local data

The current and its localization support two related but distinct branches.

Branch	Main objects	Decisive qualification
Charges and spacetime generators	$[j^\mu]_R$, $Q[\Sigma]$, $T^{\mu\nu}$, $P^\mu$, and $M^{\mu\nu}$	Conservation is local; surface independence, self-adjointness, domains, and boundary flux are additional conditions
Correlators and contact algebra	$\langle\mathrm T\{j^\mu\mathcal X\}\rangle$, insertion variations, equal-time commutators, and Schwinger terms	The identity is distributional; separated points do not determine coincident support

The spacetime branch specializes the general charge construction. Translations give a stress-tensor current, and Lorentz transformations combine orbital and intrinsic-spin terms. Canonical and improved representatives give the same integrated generators only under the appropriate surface conditions. Curved-background metric stress tensors and conformal improvements require separate constructions. The Belinfante construction and its surface qualification are given in Weinberg 1995, Vol. I, § 7.4, pp. 315–317.

The correlator branch localizes a regulated change of variables. Its contact terms record how the current acts on insertions. Differentiating the time-ordering step functions reproduces them from the operator side, while coincident current products can add prescription-dependent local distributions.

These nearby statements must remain separate:

Statement	What it establishes
$\partial_\mu j^\mu=0$ at separated points	A local bulk conservation equation away from insertions
A Ward–Takahashi identity	A distributional relation including insertion, breaking, and regulator terms
A Schwinger term	An additional local distribution in a regulated equal-time current commutator
A candidate central term	A term that survives in the relevant integrated algebra and commutes with its generators; Jacobi and implementation consistency still have to be checked
An anomaly	An obstruction to imposing the complete quantum symmetry identity after allowed counterterms

Neither a contact term nor a Schwinger term is automatically a central extension or an anomaly.

The quantum-current page also separates ordinary conservation, $\partial_\mu J^\mu=0$, from covariant conservation, $D_\mu j^\mu=0$, and from gauge invariance of the operator. Neither conservation equation alone produces a gauge-invariant physical color charge.

Exact chapter guide

1. Continuous Symmetries, Generators, and Charges. This page asks when an infinitesimal continuous action becomes a generator. It derives the current, hypersurface charge, boundary-flux test, and commutator action. It requires the operational symmetry definition and the classical variational Noether construction. Continue to the quantum-current page for local-operator questions or directly to the spacetime branch for Poincaré generators.

2. Quantum Currents, Improvements, and Conservation. This page asks when the classical formula defines a meaningful quantum operator. It separates composite renormalization, insertion-level conservation, improvements, equation-of-motion contacts, and surface dependence. It requires the generator page and the classical Noether construction. Continue to the localized-identity page when correlators are the target.

3. Spacetime Currents, Stress Tensors, and Charge Algebras. This independent branch after the generator page develops translation and Lorentz currents, Belinfante improvement, Poincaré charges, and their qualified algebra. Detailed metric stress tensors, conformal improvements, and renormalization lie beyond its flat-space scope; its most useful continuations are the boundary, curved-spacetime, and conformal routes listed below.

4. Localized Transformations and Ward–Takahashi Identities. This page performs the regulated localized change of variables and derives the local, integrated, and momentum-contraction identities. It requires the quantum-current page together with regulated Jacobians and generating functionals. Its momentum-space result remains off shell until pole, amputation, and external-state hypotheses are supplied. Continue to the contact page for the operator-side derivation or to current sources for the functional organization.

5. Contact Terms, Equal-Time Commutators, and Schwinger Terms. This page reconstructs the insertion contacts by differentiating time ordering and then examines regulated current-current commutators. It requires the localized identity and a prescription for coincident products; it ends by separating local contacts, integrated central terms, and anomalies. Continue to background sources for current products or to renormalization for prescription dependence.

One scalar tests every arrow

The charge-one complex scalar introduced in Foundations keeps one physical system fixed while the questions become more demanding:

$$\phi\longmapsto e^{i\alpha}\phi, \qquad j^\mu =i\left( \phi^\dagger\partial^\mu\phi -(\partial^\mu\phi^\dagger)\phi \right).$$

The generator page checks the sign of $[Q,\phi]$ and the boundary condition needed for $Q$ to be conserved. The quantum-current page replaces the same-point products by defined composite insertions and tracks improvements. The Ward-identity page turns the opposite transformations of $\phi$ and $\phi^\dagger$ into opposite delta-function contacts, and the final page recovers those contacts from equal-time commutators.

Adding

$$h\phi^N+h^*(\phi^\dagger)^N, \qquad N\in\mathbb Z,\quad N\geq2,$$

reduces the internal $U(1)$ phase rotation to its $\mathbb Z_N$ subgroup for fixed nonzero scalar coupling $h$, subject to any additional symmetries of the complete action. The current divergence then contains an explicit-breaking insertion. Transforming $h$ spurionically organizes a covariant family of theories; it does not restore a conserved $U(1)$ charge in one fixed theory. By contrast, constant $h$ preserves translations and Lorentz symmetry, while profiles $h(x)$ and $h^*(x)$ can exchange energy–momentum with the scalar system through terms proportional to $\partial_\nu h$ and $\partial_\nu h^*$. This separates internal breaking, spacetime breaking, spurionic covariance, and contact support within one example.

The example does not make every conclusion universal. A selected broken state can obstruct a global charge, boundaries can retain improvement terms, and a derivative-delta current contact can vanish under constant smearing without vanishing locally.

Boundaries and exact continuations

• To package current insertions as functional derivatives and then couple a symmetry probe, continue to Current Sources and Generating Functionals and Coupling to Background Gauge Fields and Bundles.
• To separate response from local counterterm ambiguity, continue to Spurions, Local Counterterms, and Symmetry Response.
• When flux crosses a physical or asymptotic boundary, use Boundaries, Flux, and Boundary Ward Identities before asserting surface independence.
• When the regulated measure or counterterms obstruct the symmetry identity, use Regulated Jacobians and Measure Variation.
• For mixing matrices, protected normalizations, and scheme dependence of current operators, use Symmetry-Protected Operators, Currents, and Improvement.
• To turn an off-shell momentum-contraction identity into a statement about amplitudes, supply the pole and external-state hypotheses on LSZ Reduction: Poles, Residues, and Stable States.
• When an integrated algebra may be projective or centrally extended, use Quantum Implementations, Projective Actions, and Central Extensions.
• Gauge-fixed redundancies require Slavnov–Taylor and Zinn-Justin Identities, not the ordinary global-symmetry formula displayed here.
• Curved-background stress tensors belong to Renormalized Stress Tensor: Axioms and Curvature Ambiguities; conformal currents and improvements belong to Conserved Currents and the Stress Tensor.
• For a theorem-first perturbative treatment, continue to Ward Identities and Anomalous Obstructions.

Check your preparation and review the chapter

Current-to-charge trace. Given a conserved local current, list the extra facts needed before its integral generates a symmetry. A successful response names smearing and the large-region limit, boundary flux, self-adjointness or a common invariant domain, normalization, and the commutator action. Repair on Continuous Symmetries, Generators, and Charges.

Ward-identity reconstruction. Starting from the localized action variation, explain the origin and sign of the current-divergence, explicit-breaking, and insertion-contact terms. Success means that each term has one identifiable source and that the answer states the regulator, measure, and boundary hypotheses. Repair on Localized Transformations and Ward–Takahashi Identities.

Four-layer comparison. Classify an insertion delta function, a derivative-delta current contact, a term in an integrated charge algebra, and a failed quantum symmetry identity. Success means identifying, respectively, an insertion contact, a possible Schwinger term, a candidate central term requiring further consistency checks, and an anomaly test without treating the labels as synonyms. Repair on Contact Terms, Equal-Time Commutators, and Schwinger Terms.

Convention translation. Suppose a source uses $U=e^{+i\epsilon Q}$ or the opposite Fourier phase. Translate its commutator and momentum-contraction identities into this chapter’s conventions. Success means that the physical charge action and the integrated position-space identity are unchanged after the full translation; changing one sign in isolation is a failure. Repair on Continuous Symmetries, Generators, and Charges and Localized Transformations and Ward–Takahashi Identities.

Transfer to a varying source. Replace a constant scalar coupling by $h(x)$, with $N\in\mathbb Z$ and $N\geq2$, and predict which internal and spacetime conservation statements change. A successful response distinguishes a breaking insertion in the internal Ward identity from energy–momentum exchange proportional to $\partial_\nu h$ and $\partial_\nu h^*$. Repair on Spacetime Currents, Stress Tensors, and Charge Algebras.

Missing-term diagnosis and synthesis. Given a proposed derivation that starts from a classical current and ends with a charge algebra, mark where it must declare composite renormalization, insertion contacts, boundary flux, operator domains, and possible anomalous measure terms. Success is a complete typed chain in which no local identity is silently promoted to a global operator statement. Use the exact chapter guide above to repair the first missing step.

Continue from here

For the shortest correlator route, read Continuous Symmetries, Generators, and Charges, then Quantum Currents, Improvements, and Conservation, Localized Transformations and Ward–Takahashi Identities, and Contact Terms, Equal-Time Commutators, and Schwinger Terms. Add the spacetime-current branch directly after the generator page when stress tensors or the Poincaré algebra are the target.

The next chapter begins by packaging the same insertions in Current Sources and Generating Functionals. For curriculum ordering without currently authored formal practice, use Symmetry, currents, and Ward identities.

References

• Schwartz, Matthew D. Quantum Field Theory and the Standard Model. 1st ed. Cambridge: Cambridge University Press, 2014. DOI
• Weinberg, Steven. The Quantum Theory of Fields. Volume I: Foundations. 1st ed. Cambridge: Cambridge University Press, 1995. DOI