Trace Anomalies, Local Covariance, and Scaling

A massless conformally coupled field can have a traceless classical stress tensor and still acquire a nonzero renormalized trace. In four dimensions the anomaly is a local curvature scalar. Its Weyl-squared and Euler-density coefficients are fixed by the field content, while the total-derivative $\Box R$ coefficient can be shifted by an allowed finite $R^2$ counterterm. This distinction is local and covariant; it is not a choice of quantum state.

Required background. The renormalized stress tensor: conservation and ambiguities supplies the finite curvature tensors. Local covariant Wick powers and operator products supplies the scaling classification.

Helpful background. Analytic continuation between Euclidean and Lorentzian domains explains why Euclidean effective-action formulas require convention translation. The Stückelberg–Petermann renormalization group describes finite renormalizations. Trace anomalies and convention translation works through the curved-spacetime formula. Noether-charge entropy and higher-curvature terms and conical entropy from the effective action show where the same counterterms reappear in gravitational observables.

The four-dimensional scalar anomaly

Consider a real massless scalar satisfying $(\Box_g+R/6)\phi=0$ on a smooth four-dimensional boundaryless spacetime. Classically, the improved on-shell tensor obeys $T^a{}_a=0$. No renormalization prescription can simultaneously preserve local covariance, conservation, the field equation, and this trace identity. For the curvature convention used on this site, write

$$C^2=C_{abcd}C^{abcd},\qquad E_4=R_{abcd}R^{abcd}-4R_{ab}R^{ab}+R^2.$$

Then an admissible prescription has

$$\langle T^a{}_a\rangle =\frac{1}{(4\pi)^2} \left(\frac{1}{120}C^2-\frac{1}{360}E_4+b\Box R\right).$$

The displayed signs assume the stated Lorentzian curvature convention; sources using the opposite Riemann tensor or defining the effective action with a different overall sign must be translated. The coefficients $1/120$ and $1/360$ are for one real conformal scalar. Dirac fields, vector fields, interacting fixed points, boundaries, and nonconformal couplings have different formulas. The cohomological separation of the nontrivial Weyl and Euler terms from removable local terms is reviewed with explicit free-field coefficients in Duff 1994, §§ 2–3, pp. 139–148.

The constant $b$ is deliberately not assigned a universal value. A quoted value is meaningful only after the subtraction prescription and finite gravitational counterterms are fixed. In particular, a boundary can convert a nominal total derivative into a surface contribution, so the boundaryless classification does not transfer unchanged.

Why scaling produces the trace

Hadamard subtraction introduces a length $\ell$ through a logarithmic term. Under a rigid rescaling of the metric and dimensionful parameters, the parametrix does not transform homogeneously: a smooth local curvature polynomial remains. Local covariance and almost-homogeneous scaling constrain this remainder to the same finite family that classifies Wick powers and the stress tensor. Contracting the corresponding conserved tensor gives the anomalous trace. The result is state independent because the difference of any two Hadamard two-point functions is smooth and transforms without the universal logarithmic singularity.

Equivalently, for a renormalized effective action $W[g]$, an infinitesimal Weyl variation $\delta_\sigma g_{ab}=2\sigma g_{ab}$ gives

$$\delta_\sigma W =\int_M\sigma\,\langle T^a{}_a\rangle \sqrt{|g|}\,\mathrm d^4x$$

up to the sign convention relating $W$ and $T_{ab}$. The integrals of $C^2$ and $E_4$ represent nontrivial four-dimensional terms: the former is Weyl invariant and the latter is topological on a compact manifold without boundary, yet their local densities appear in the anomaly. A finite $R^2$ term is different. With

$$I_{ab}=\frac{2}{\sqrt{|g|}}\frac{\delta}{\delta g^{ab}} \int_M R^2\sqrt{|g|}\,\mathrm d^4x,$$

one finds $g^{ab}I_{ab}=12\Box R$ for this variational convention. Therefore adding a finite multiple of $\int R^2$ shifts only $b$. Hollands and Wald derive the local covariant scaling freedom underlying this conclusion in Hollands and Wald 2001, Theorem 5.1 and § 5.2, pp. 312–323.

Conformally flat application

The calculation on trace anomalies and convention translation specializes to a spatially flat FLRW metric. Because $C_{abcd}=0$, the Weyl-squared term vanishes. The remaining Euler-density term is fixed and the $\Box R$ term records the chosen finite $R^2$ coupling. This provides two independent checks: the result must vanish on exactly flat Minkowski space without boundaries, and changing $b$ must not alter the coefficient multiplying $E_4$.

The anomaly is a local statement about the renormalized operator. It does not imply particle creation, a nonzero energy density in every state, or a unique effective action. In a conformally flat spacetime the conservation equation plus the trace can constrain the stress tensor after symmetry and state-dependent integration constants are supplied, but the trace alone does not determine the full tensor.

Failure boundary: the removable coefficient

An adversarial derivation forbids finite $R^2$ counterterms and then declares all three coefficients universal. Restore the permitted counterterm $\Delta W=\alpha\int R^2\sqrt{|g|}\,\mathrm d^4x$. Its stress variation is local and conserved, satisfies the same covariance and dimension requirements, and shifts the trace by a multiple of $\Box R$. Thus the proposed universality of $b$ fails. No such local counterterm changes the $C^2$ or Euler coefficients in the same boundaryless four-dimensional classification, so those coefficients survive the test.

The converse also fails: observing a $\Box R$ term does not by itself diagnose a quantum anomaly, because the coefficient may be entirely a finite-prescription choice. One must identify the nonremovable terms or specify the scheme.

Exercises

Compute the trace of the metric variation of $\int R^2\sqrt{|g|}\,\mathrm d^4x$ in four dimensions.

Solution

Before the overall factor used in the definition of $I_{ab}$, the variation is $2RR_{ab}-\tfrac12g_{ab}R^2+2(g_{ab}\Box-\nabla_a\nabla_b)R$. Its trace is $6\Box R$: the algebraic $R^2$ terms cancel and $2(4-1)\Box R$ remains. Multiplying by the defining factor of two gives $g^{ab}I_{ab}=12\Box R$. Hence this counterterm changes only the total-derivative anomaly coefficient.

References

• Duff, Michael J. “Twenty Years of the Weyl Anomaly.” Classical and Quantum Gravity 11 (1994): 1387–1404. DOI; Open PDF.
• Hollands, Stefan, and Robert M. Wald. “Local Wick Polynomials and Time Ordered Products of Quantum Fields in Curved Spacetime.” Communications in Mathematical Physics 223 (2001): 289–326. DOI; Open PDF.
• Wald, Robert M. “Trace Anomaly of a Conformally Invariant Quantum Field in Curved Spacetime.” Physical Review D 17 (1978): 1477–1484. DOI.