Quantum Currents, Improvements, and Conservation

A classical Noether formula is only a candidate for a quantum current. The quantum current is an operator-valued distribution; whenever its formula contains products at the same spacetime point, those products require a renormalized composite prescription. Its conservation law must then be read as an identity among insertions, including equation-of-motion and contact terms, and its representative is ambiguous up to improvements. Only after these local questions are settled does it make sense to ask whether the spatial integral defines the charge constructed on the preceding page.

The useful data are therefore a chosen normalized representative, its allowed redefinitions, its insertion identity, and the boundary conditions under which it defines a charge.

This page gives structural tests for a quantum current. Detailed mixing matrices, anomalous dimensions, and scheme-by-scheme calculations are developed in Symmetry-Protected Operators, Currents, and Improvement.

Required background. Continuous Symmetries, Generators, and Charges supplies the hypersurface-charge construction and generator convention. Classical Symmetries, Currents, and Stress Tensors supplies the classical Noether current being promoted to an operator.

Helpful background. Local and Composite Operator Insertions supplies the renormalized local-operator and composite-insertion language. Differential Forms, Integration, Orientation, and Stokes Theorem supplies the Stokes and exact-form language used for improvements and surface dependence.

When a current contains composite products

Suppose a classical symmetry produces $j^\mu_{a,\mathrm{cl}}$. Its quantum version must first be defined as an operator-valued distribution. If the formula contains products such as $\phi^\dagger(x)\partial^\mu\phi(x)$, they are singular at coincidence, so a regulator and subtraction prescription must define a renormalized insertion

$$[j^\mu_a]_R(x).$$

In a basis of local vector operators with the same exact quantum numbers, its schematic form is

$$[j^\mu_a]_R =Z_a{}^b j^\mu_{b,B} +\sum_r c_{ar}\mathcal O^\mu_{r,B}.$$

The allowed basis can include total derivatives and operators proportional to the renormalized equations of motion, subject to their contact terms. This deliberately schematic formula records possible mixing; it is not a claim that every displayed coefficient is nonzero. Operator Mixing and Renormalization Matrices develops the detailed basis and matrix calculation. The finite normalization is fixed by requiring the associated charge or Ward identity to generate the declared symmetry action, not by blindly inheriting the coefficient of a bare formula.

Weinberg explicitly warns that a same-point current product requires regularization and that regulated current commutators can contain extra terms at Weinberg 1995, Vol. I, § 10.5, p. 449. The full renormalization calculation is downstream; here the consequence is that every coincident product in a current must include its prescription.

What conservation means in a quantum correlator

For an exact, nonanomalous symmetry, the local conservation statement is distributional. If

$$\mathcal X =\mathcal O_1(x_1)\cdots\mathcal O_n(x_n),$$

then

$$\partial_\mu \left\langle \mathrm T\{[j^\mu_a]_R(x)\mathcal X\} \right\rangle =0 \qquad x\ne x_i$$

for separated insertions, subject to the chosen state and boundary conditions. At $x=x_i$, derivatives of the time-ordering prescription and variations of the inserted operators produce contact distributions. Thus the complete statement has the form

$$\partial_\mu \left\langle \mathrm T\{[j^\mu_a]_R(x)\mathcal X\} \right\rangle =\mathcal C_a(x;\mathcal X).$$

For an exact nonanomalous symmetry in the bulk, with no explicit breaking and away from physical boundaries, $\mathcal C_a$ is supported at the insertion points $x_i$. Breaking, anomaly, and boundary terms add other distributions.

Schwartz derives this distinction directly: the classical equation $\partial_\mu j^\mu=0$ holds inside time-ordered correlators only away from the delta-function contacts at Schwartz 2014, § 14.8, pp. 277–280. Weinberg obtains the same contact structure from current conservation and equal-time commutators at Weinberg 1995, Vol. I, §§ 10.4–10.5, pp. 447–450.

An operator proportional to the renormalized equations of motion is redundant only modulo the relevant Schwinger–Dyson contact terms; it cannot be set to zero inside a time-ordered product. Localized Transformations and Ward–Takahashi Identities derives the full identity; Contact Terms, Equal-Time Commutators, and Schwinger Terms develops the contact algebra.

Improvements preserve the local divergence

Let $B_a^{[\nu\mu]}$ be a renormalized local antisymmetric tensor,

$$B_a^{[\nu\mu]} =-B_a^{[\mu\nu]}.$$

Define an improved current by

$$[j_a^{\prime\mu}]_R =[j_a^\mu]_R +\partial_\nu B_a^{[\nu\mu]}.$$

Because distributional derivatives commute,

$$\partial_\mu\partial_\nu B_a^{[\nu\mu]}=0,$$

so the improvement does not change the divergence identity. It can nevertheless change local matrix elements of the current.

On an equal-time surface,

$$\begin{aligned} Q'_a-Q_a &=\int\mathrm d^{d-1}x\, \partial_i B_a^{[i0]} \\ &=\lim_{R\to\infty} \int_{S_R}\mathrm dS_i\, B_a^{[i0]}. \end{aligned}$$

The charges agree only if this boundary term vanishes. With a physical boundary, nontrivial asymptotics, singular operator support, or a tensor not globally defined, two locally equivalent representatives can lead to different boundary data.

The original current also has a quantum surface-dependence test. For a slab containing no insertions and no breaking or anomalous source, with future-oriented $\Sigma_1,\Sigma_2$ and outward-oriented side boundary $\mathscr B$,

$$Q_{a,R}[\Sigma_2]-Q_{a,R}[\Sigma_1] =-\int_{\mathscr B}\mathrm d\Sigma_\mu\, [j^\mu_a]_R.$$

Surface independence requires vanishing boundary flux and existence of the smeared large-region operator limit. If a surface crosses an insertion, the contact distribution instead supplies that insertion’s symmetry action.

In differential-form language, lower the vector index first and define the current form $\mathcal J_a=\star j_a^\flat$. It is a $(d-1)$-form, and conservation is $\mathrm d\mathcal J_a=0$. Choose the $(d-2)$-form $K_a$ corresponding to $B_a^{[\mu\nu]}$ so that, with the site orientation and Hodge convention, the improvement is

$$\mathcal J_a \longmapsto \mathcal J_a+\mathrm dK_a.$$

Stokes’ theorem gives two separate results. First, $\int_\Sigma\mathrm dK_a=0$ for closed $\Sigma$ when $K_a$ is globally defined, whereas it becomes a boundary integral when $\partial\Sigma\ne\varnothing$. Second, equality of current integrals on homologous surfaces follows from $\mathrm d\mathcal J_a=0$ only when there is no intervening boundary flux or source.

Three distinct equivalences

It is useful to keep three operations separate.

Change of representative	What remains unchanged	What may change
$\partial_\nu B^{[\nu\mu]}$ improvement	Local divergence	Local current matrix elements and boundary charge
Equation-of-motion operator	Redundancy modulo Schwinger–Dyson identities	Contact terms in time-ordered products
Finite composite-operator redefinition	Physical symmetry only after sources and couplings are transformed consistently	Local coefficients and, until rematched, the generated charge action

None authorizes discarding a surface term or a contact distribution. A current is accepted only after its normalization, insertion identity, and boundary behavior are compatible with the same physical symmetry.

Threaded complex-scalar current

For the exact complex-scalar $U(1)$, the classical candidate is

$$j^\mu_{\mathrm{cl}} =i\left( \phi^\dagger\partial^\mu\phi -(\partial^\mu\phi^\dagger)\phi \right).$$

In the interacting quantum theory, write its defined insertion as $[j^\mu]_R$. A symmetry-preserving regulator and counterterm prescription can normalize it so that

$$[Q,\phi]=-\phi, \qquad Q=\int\mathrm d^{d-1}x\,[j^0]_R,$$

whenever the charge limit exists. Conservation at separated points then reads

$$\partial_\mu \left\langle \mathrm T\{[j^\mu]_R(x)\mathcal X\} \right\rangle=0, \qquad x\notin\operatorname{supp}\mathcal X.$$

If $\mathcal X$ contains $\phi(x_i)$ or $\phi^\dagger(x_i)$, contact terms at $x=x_i$ encode their opposite $U(1)$ transformations. Those contacts are evidence that the current generates the symmetry, not violations of conservation.

Now include the controlled breaking

$$\Delta\mathcal L =h\phi^N+h^*(\phi^\dagger)^N, \qquad N\geq2.$$

Define the renormalized breaking insertion by

$$\partial_\mu[j^\mu]_R =-[\mathcal B]_R.$$

In a spurion-covariant convention for the couplings and composite operators, it can be written

$$[\mathcal B]_R =iN\left( h[\phi^N]_R -h^*[(\phi^\dagger)^N]_R \right).$$

These equalities use the already-declared equation-of-motion and contact conventions. Fixed nonzero $h$ leaves a residual $\mathbb Z_N$ action but no infinitesimal current for that discrete group. Treating $h$ as a spurion organizes the breaking operators; it does not turn the displayed current back into a conserved operator of the fixed theory.

Ordinary, covariant, and gauge-invariant are different

Non-Abelian gauge theory supplies a bounded classical on-shell diagnostic. With matter in a representation generated by $T^a$, define

$$j^{a\mu} =+\bar\psi_i\gamma^\mu T^a_{ij}\psi_j.$$

The field equations give

$$\begin{aligned} (D_\mu j^\mu)^a &=\partial_\mu j^{a\mu} +g f^{abc}A_\mu^b j^{c\mu} =0, \\ J^{a\mu} &=j^{a\mu} -f^{abc}A_\nu^bF^{c\mu\nu}, \\ \partial_\mu J^{a\mu} &=0. \end{aligned}$$

The matter current is gauge covariant rather than ordinarily conserved; the total Noether current is ordinarily conserved but gauge dependent. The displayed signs translate Schwartz’s current normalization to the active $U=e^{-i\epsilon^aQ_a}$ convention used here. Neither fact by itself produces a gauge-invariant measurable color charge. This distinction is worked out explicitly in Schwartz 2014, § 25.3, pp. 493–494.

Quantum insertion versions retain all the regulator, contact, boundary, and anomaly qualifications stated above.

The lesson is categorical:

• $\partial_\mu J^\mu=0$ is ordinary conservation;
• $D_\mu j^\mu=0$ is covariant conservation;
• gauge invariance is a property of the operator, not a consequence of either equation.

Gauge constraints, dressing, and boundary flux determine what charge—if any—acts on physical states.

Failure tests

Regulator and counterterms. A regulator may obscure a symmetry. If symmetry-restoring counterterms exist, the renormalized current must include them. If no compatible prescription exists, the issue is anomalous and belongs to Regulated Jacobians and Measure Variation.

Boundary behavior. An improvement that is harmless on $\mathbb R^{d-1}$ with rapid falloff may shift a physical boundary charge. Check the actual integration surface and asymptotic class.

Contact terms. Testing only separated correlators is insufficient when the current is meant to generate transformations of local insertions. The delta-function terms carry that action.

Spontaneous breaking and infrared limits. Local conservation does not prove that the infinite-volume charge exists in a selected representation. This remains the separate limit identified on the preceding page.

Gauge covariance. Never replace $D_\mu j^\mu=0$ by $\partial_\mu j^\mu=0$ without including the connection term, and never infer gauge invariance from conservation alone.

Check your understanding

Let $j^{\prime\mu}=j^\mu+\partial_\nu B^{[\nu\mu]}$. Show that the improvement preserves the divergence. Then determine the extra condition required for $Q'=\int j^{\prime0}$ to equal $Q=\int j^0$.

Check

Antisymmetry gives

$$\partial_\mu\partial_\nu B^{[\nu\mu]} =-\partial_\nu\partial_\mu B^{[\nu\mu]}=0,$$

so $\partial_\mu j^{\prime\mu}=\partial_\mu j^\mu$. The charge difference is the boundary integral

$$Q'-Q =\lim_{R\to\infty} \int_{S_R}\mathrm dS_i\,B^{[i0]}.$$

The two charges agree only if this flux vanishes. On a finite region, the same term is part of the boundary data and cannot be dropped.

What to carry forward

A meaningful quantum current requires four declarations: its renormalized composite definition, its insertion-level conservation law, its improvement class, and the boundary conditions under which its charge is defined.

Spacetime Currents, Stress Tensors, and Charge Algebras applies those declarations to translations and Lorentz symmetry. Localized Transformations and Ward–Takahashi Identities derives the correlator identities whose separated and contact parts were distinguished here.

References

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