The Trace Ward Identity and Weyl Anomaly

The trace Ward identity is the local equation that distinguishes a fixed-point Weyl anomaly from ordinary running, explicit masses, improvements, and contact terms. Its clean derivation starts from the generating functional with spacetime-dependent sources. The resulting trace is an operator-valued distribution; equations that hold away from other insertions need not include all of its contact terms. The local-RG derivation, including derivative-of-source terms, is given in Osborn 1991, §§2–3.

Required background. Weyl Covariance on Curved Backgrounds fixes the source and stress-tensor signs. Local RG and Trace Identities supplies the away-from-fixed-point framework. Helpful background. What Is an Anomaly? separates anomalous symmetry response from explicit breaking.

The local Weyl equation

Let $g^I(x)$ be dimensionless sources for renormalized operators $[\mathcal O_I]$. With the convention

$$\delta W=\frac12\int\sqrt g\,\langle T^{\mu\nu}\rangle\delta g_{\mu\nu} +\int\sqrt g\,\langle[\mathcal O_I]\rangle\delta g^I,$$

define a local RG transformation by

$$\Delta_\sigma =\int d^dx\sqrt g\left( 2\sigma g_{\mu\nu}\frac{\delta}{\delta g_{\mu\nu}} -\sigma\beta^I\frac{\delta}{\delta g^I} +\cdots\right).$$

The omitted terms act on background gauge fields and include derivatives of $\sigma$ required by vector beta functions and improvements. Renormalization gives

$$\Delta_\sigma W=\int d^dx\sqrt g\, \big[\sigma\mathcal A+\partial_\mu\sigma\,\mathcal Z^\mu+\cdots\big].$$

For constant sources and away from coincident insertions, this implies schematically

$$T^\mu{}_{\mu} =\beta^I[\mathcal O_I] +\nabla_\mu J^\mu +\mathcal A[g] +\text{explicit relevant-source terms}.$$

The sign of the beta term follows from the displayed definition of $\Delta_\sigma$. Other conventions may reverse both signs; comparing only the final trace equation is unsafe.

At a conformal fixed point with no virial obstruction, $\beta^I=0$ modulo redundant flavor rotations. On a curved background the trace can still equal $\mathcal A[g]$. In flat space the smooth curvature density vanishes, but differentiating the generating functional produces anomalous contact terms in stress-tensor correlators.

Fixed-point anomalies in two and four dimensions

On a closed two-dimensional manifold, choose

$$\langle T^\mu{}_{\mu}\rangle =\frac{c}{24\pi}R.$$

This convention fixes the sign of $c$ relative to the curvature tensor and to $W=-\log Z$. Integrating a constant Weyl rescaling gives

$$\frac{dW}{d\log R_{S^2}}=\frac{c}{3}$$

for a round sphere with $\int_{S^2}\sqrt g\,R=8\pi$. Zero modes and measure normalizations can add separate terms and must be handled before using this as a numerical check.

In four dimensions, a common convention is

$$\langle T^\mu{}_{\mu}\rangle =\frac{1}{(4\pi)^2} \left(c\,W_{\mu\nu\rho\sigma}^2-a\,E_4+b\,\nabla^2R\right),$$

with

$$E_4=R_{\mu\nu\rho\sigma}^2-4R_{\mu\nu}^2+R^2.$$

The $a$ and $c$ coefficients multiply nontrivial anomaly densities. The coefficient $b$ is shifted by a finite $\int\sqrt g\,R^2$ counterterm and is therefore scheme dependent, realizing the nontrivial-versus-removable classification of Deser and Schwimmer 1993. The displayed four-dimensional normalization and counterterm dependence are reviewed in Duff 1994, §§2–4. Boundaries introduce additional surface densities, so the closed-manifold formula cannot simply be integrated on a manifold with boundary.

Contact terms are part of the identity

Differentiate the Weyl equation with respect to a scalar source. Even at a fixed point,

$$\langle T^\mu{}_{\mu}(x)\mathcal O(y)\rangle =-\Delta_{\mathcal O}\,\delta^{(d)}(x-y) \langle\mathcal O(y)\rangle+\cdots,$$

where the omitted local terms depend on source and curvature mixing. Thus $T^\mu{}_{\mu}=0$ at separated flat-space points does not mean the trace insertion vanishes as a distribution. Ward identities act on other operators through precisely these delta functions.

The following map organizes the logically different contributions. Inspect the point where a local counterterm can change the response without changing separated-point CFT data.

Weyl response splits into universal anomaly coefficients, removable local terms, and beta-function contributions before any sphere, deformation, or flow conclusion is drawn. Each arrow is conditional on the displayed source, dimension, and counterterm choices; the diagram is schematic.

An equivalent text description is:

Starting datum	Renormalized output	Invariant conclusion
Metric source	Stress-tensor insertions plus local metric contacts	Separated-point $T$ data after normalization
Weyl variation at a fixed point	Type-A and type-B densities plus trivial terms	Nontrivial anomaly coefficients only
Running scalar sources	$\beta^I[\mathcal O_I]$ plus mixing and contacts	Fixed-point values and scheme-covariant flow statements
Round-sphere background	Radius dependence, finite terms, and zero-mode factors	Dimension-dependent universal part
Integrated deformation	UV singularities and counterterms	Beta functions or anomalous dimensions after basis and scheme are fixed

Counterterm and improvement tests

Before calling a trace contribution anomalous, ask whether it is the Weyl variation of a finite local functional. In four dimensions,

$$\delta_\sigma\int d^4x\sqrt g\,R^2$$

contains a $\sigma\nabla^2R$ term, so $b$ is adjustable. By contrast, no diffeomorphism-invariant local counterterm shifts the Euler and Weyl-squared coefficients while preserving the same fixed-point problem.

An improvement term changes $T^\mu{}_{\mu}$ by $\nabla^2L$. Whether it can remove a virial or trace term depends on the existence, dimension, and global definition of $L$. A statement about scale versus conformal invariance must therefore name the improvement hypothesis rather than deleting total derivatives formally.

Common pitfalls

Setting $T^\mu{}_{\mu}=0$ as an operator distribution. At a CFT it vanishes at separated flat-space points after improvement, but Ward-identity contacts and curved-space anomalies remain.

Calling the beta term an anomaly. A nonzero $\beta^I\mathcal O_I$ describes running under a chosen coupling parametrization. A fixed-point Weyl anomaly remains even when beta functions vanish.

Treating $\nabla^2R$ as universal in four dimensions. Its coefficient changes under a finite $R^2$ counterterm. Only a declared scheme makes a numerical value meaningful.

Exercises

Use the two-dimensional anomaly to compute the response of $W$ to a constant rescaling of a round $S^2$.

Solution

For $\delta\sigma=\delta\log R$, $\delta W=\delta\sigma\int\sqrt g\,cR/(24\pi)$. Gauss–Bonnet gives $\int\sqrt gR=8\pi$, hence $\delta W=(c/3)\delta\log R$ in the stated convention.

References

• Deser, S., and Schwimmer, A. “Geometric Classification of Conformal Anomalies in Arbitrary Dimensions.” Physics Letters B 309 (1993): 279–284. arXiv. DOI.
• Duff, M. J. “Twenty Years of the Weyl Anomaly.” Classical and Quantum Gravity 11 (1994): 1387–1404. arXiv. DOI.
• Osborn, H. “Weyl Consistency Conditions and a Local Renormalization Group Equation for General Renormalisable Field Theories.” Nuclear Physics B 363 (1991): 486–526. DOI.