Trace Anomalies and Convention Translation

A classically Weyl-invariant field can have a nonzero renormalized stress trace. In four dimensions the physically stable local information is the coefficient of $c\,C^2-a\,E_4$; the coefficient of $\Box R$ can be shifted by a finite $R^2$ counterterm. A comparison is meaningful only after the curvature, stress-variation, field-normalization, and subtraction conventions have been translated.

Required background. Renormalized Stress Tensor: Axioms and Curvature Ambiguities supplies the finite local freedom; Trace Ward Identities and the Weyl Anomaly supplies the Weyl identity; What Is an Anomaly? distinguishes an anomaly from a removable breaking.

Helpful background. Anomaly Coefficients and Central Charges fixes common CFT normalizations; Wess–Zumino Consistency and Descent explains the cohomological classification.

Weyl variation and the four-dimensional basis

On this page

$$\delta\Gamma_{\mathrm m} = \frac12\int\mathrm d^4x\,\sqrt{-g}\, \langle T_{\mu\nu}\rangle\,\delta g^{\mu\nu}.$$

For $\delta_\sigma g_{\mu\nu}=2\sigma g_{\mu\nu}$, hence $\delta_\sigma g^{\mu\nu}=-2\sigma g^{\mu\nu}$,

$$\delta_\sigma\Gamma_{\mathrm m} =-\int\mathrm d^4x\,\sqrt{-g}\, \sigma\,\langle T^\mu{}_\mu\rangle .$$

With the site curvature convention $[\nabla_\mu,\nabla_\nu]V^\rho=R^\rho{}_{\sigma\mu\nu}V^\sigma$, define

$$\begin{aligned} E_4&= R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} -4R_{\mu\nu}R^{\mu\nu}+R^2,\\ C^2&= R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} -2R_{\mu\nu}R^{\mu\nu}+\frac13R^2. \end{aligned}$$

For a four-dimensional conformal theory without boundaries, the local trace has the form

$$\langle T^\mu{}_\mu\rangle = \frac{1}{(4\pi)^2} \left(c\,C^2-a\,E_4+b\,\Box R\right) +\sum_i\beta_i\,\mathcal O_i .$$

The type-A coefficient $a$ multiplies the Euler density, the type-B coefficient $c$ multiplies the Weyl invariant, and running couplings supply the beta-function terms. The displayed $b$ is not another universal central charge. Deser and Schwimmer’s classification separates the Euler and Weyl-invariant classes from removable local terms Deser and Schwimmer 1993, pp. 279–283; Duff gives the field-content coefficients and convention comparisons Duff 1994, §§2–4, pp. 1389–1397.

Adding

$$\Delta\Gamma=\alpha\int\mathrm d^4x\,\sqrt{-g}\,R^2$$

changes its Weyl variation by $-12\alpha\int\sqrt{-g}\,\sigma\Box R$, up to a boundary term. In the stress convention above,

$$\Delta\langle T^\mu{}_\mu\rangle=12\alpha\,\Box R.$$

Thus $b$ records a finite prescription unless an additional renormalization condition fixes it. By contrast, no four-dimensional local metric counterterm shifts $a$ or $c$ while preserving the same Ward identities. This statement concerns the local anomaly; the nonlocal action whose Weyl variation reproduces it belongs to Chapter 8.

First application: conformal scalar basis translation

For a real, massless scalar with the site operator

$$P=\Box+\xi R,\qquad \xi_{\mathrm{conf}}=-\frac16,$$

the common $a,c$ normalization is

$$a=\frac1{360},\qquad c=\frac1{120}.$$

Expand the scheme-independent combination:

$$\begin{aligned} cC^2-aE_4 ={}&(c-a)R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\\ &+(-2c+4a)R_{\mu\nu}R^{\mu\nu} +\left(\frac c3-a\right)R^2\\ ={}&\frac1{180} \left( R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} -R_{\mu\nu}R^{\mu\nu} \right). \end{aligned}$$

Therefore a result quoted in the quadratic-curvature basis translates to

$$\langle T^\mu{}_\mu\rangle_{\mathrm{scalar}} = \frac{R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} -R_{\mu\nu}R^{\mu\nu}}{2880\pi^2} +\frac{b}{(4\pi)^2}\Box R.$$

The first term is the invariant $cC^2-aE_4$ content. The second must be reported with its finite $R^2$ prescription. In a conformally flat geometry $C^2=0$, but the type-A term need not vanish; in flat spacetime all curvature terms vanish. For a massive or nonconformally coupled scalar, explicit mass and improvement terms enter the trace and must not be renamed “the anomaly.”

Adversarial convention translation

Suppose a reference reverses the Riemann tensor, $\widetilde R^\rho{}_{\sigma\mu\nu}=-R^\rho{}_{\sigma\mu\nu}$. Then $\widetilde R_{\mu\nu}=-R_{\mu\nu}$ and $\widetilde R=-R$, while $C^2$ and $E_4$, being quadratic, are unchanged. Because the metric and $\Box$ were not reversed, $\widetilde\Box\widetilde R=-\Box R$. The same local trace is consequently described by

$$\widetilde a=a,\qquad \widetilde c=c,\qquad \widetilde b=-b$$

when both authors define the displayed basis with the same overall stress sign. An additional reversal in $T_{\mu\nu}$‘s functional-derivative convention flips the whole table instead. Comparing the raw coefficient of $\Box R$ without these translations creates an apparent disagreement where none exists.

The strongest convention-independent claim is the matched $a,c$ content and the beta-function data in a declared operator normalization. A numerical value of $b$ is a scheme result, not a universal anomaly coefficient.

Structure and failure maps

The structure map shows where the trace identity is imposed: after local subtraction and finite-term choice, but before exporting a stress tensor or induced action.

The universal comparison keeps $cC^2-aE_4$ separate from the prescription-dependent $\Box R$ term; the map is schematic and not to scale.

The failure map is especially useful when two anomaly tables appear to disagree: inspect curvature and stress signs before interpreting a coefficient difference.

A convention-swapped table and a genuine change of field content are different failure modes; the map is schematic and not to scale.

Use Domain and failure conditions. Record dimension, field multiplicity and reality condition, curvature convention, stress variation, $E_4$ normalization, operator sign, boundary data, and the finite $R^2$ prescription.

Check your understanding

Show directly that the conformal-scalar invariant has no $R^2$ term in the quadratic-curvature basis.

Solution

The coefficient is $c/3-a=(1/120)/3-1/360=0$. The absence is a property of the invariant $cC^2-aE_4$ for this field; a scheme-dependent $\Box R$ term may still be present.

Spin, Gauge, and Gravitational-Anomaly Responses applies descent data to current and stress Ward identities. Chapter 8 owns anomaly-induced actions; Volume IX owns extracting $a,c$ as CFT data; Volume XVI owns theorem-level local-covariant scaling.

References

• Stanley Deser and Andreas Schwimmer, “Geometric Classification of Conformal Anomalies in Arbitrary Dimensions,” Physics Letters B 309 (1993), 279–284, DOI, arXiv:hep-th/9302047.
• Michael J. Duff, “Twenty Years of the Weyl Anomaly,” Classical and Quantum Gravity 11 (1994), 1387–1404, DOI, arXiv:hep-th/9308075.