Renormalization of Gravitational Couplings by Matter Loops

Matter loops require the gravitational background action to contain every local generally covariant term needed to absorb their ultraviolet divergences. This is true even when the metric is never quantized. The resulting running is the matter contribution to gravitational couplings, not a graviton-loop beta function.

Required background. Heat Kernels and the Schwinger–DeWitt Expansion identifies the pole, Seeley–DeWitt Coefficients and Curvature Invariants fixes its curvature polynomial, and Local Counterterms and Subdivergence Structure supplies locality of counterterms.

Helpful background. Local Field Redefinitions and the Equivalence Theorem explains redundant coefficients, and Trace Anomalies and Convention Translation fixes the anomaly basis.

The local gravitational basis

In four Euclidean dimensions take

$$S_g=\int\mathrm d^4x\sqrt{g_E}\left[ \Lambda+c_RR_E+c_CC^2+c_EE_4+c_{R^2}R_E^2+c_\Box\nabla_E^2R_E \right],$$

where $c_R$ is related to Newton’s coupling after the Lorentzian–Euclidean sign translation, $C^2$ is Weyl-tensor squared, and $E_4$ is the Euler density. On a closed four-manifold, $\int E_4$ is topological and $\int\nabla^2R=0$, but retaining both terms is useful for local anomalies, dimensional continuation, and boundaries.

For a real scalar with

$$\mathcal L_E=-\nabla_E^2+m^2-\xi R_E,$$

the residue polynomial is

$$\mathcal P_4=\frac{m^4}{2} -m^2\left(\xi+\frac16\right)R_E +\frac1{120}C^2-\frac1{360}E_4 +\frac12\left(\xi+\frac16\right)^2R_E^2 +\left(\frac1{30}+\frac\xi6\right)\nabla_E^2R_E.$$

With the proper-time sign convention used in this chapter,

$$\Gamma_{E,\mathrm{div}}^{(1)} =-\frac1{2(4\pi)^2\bar\epsilon} \int\sqrt{g_E}\,\mathcal P_4,$$

and $S_{g,\mathrm{ct}}$ carries the opposite pole. The universal coefficient source is Vassilevich 2003, Eqs. (4.26)–(4.28). This single expression displays the cosmological, Newton, Weyl-squared, Euler, $R^2$, and total-derivative sectors.

First application: matching and scale dependence

Write bare and renormalized couplings as

$$c_i^{\rm bare}=\mu^{-2\epsilon} \left(c_i(\mu)+\delta c_i\right).$$

Minimal subtraction chooses $\delta c_i$ to cancel the corresponding coefficient of $\mathcal P_4/[2(4\pi)^2\bar\epsilon]$. Differentiating $c_i^{\rm bare}$ at fixed bare parameters gives the one-loop matter contribution to $\beta_{c_i}$. Rather than hiding signs in a beta-function convention, a reproducible result reports the residue vector

$$\left(\frac{m^4}{2}, -m^2\left(\xi+\frac16\right), \frac1{120}, -\frac1{360}, \frac12\left(\xi+\frac16\right)^2, \frac1{30}+\frac\xi6\right)$$

in the ordered basis $(1,R,C^2,E_4,R^2,\nabla^2R)$, together with the common real-scalar factor and the pole sign above. A complex scalar doubles it; fermions carry their statistics and spin-bundle coefficients.

At $\xi=-1/6$ and $m=0$, the $R^2$ residue vanishes while the $C^2$ and Euler residues remain. The local $\nabla^2R$ term is scheme dependent because a finite $R^2$ counterterm shifts it. This separates universal anomaly data from a conventional total derivative.

Field-redefinition adversary

Consider a local metric redefinition

$$g_{\mu\nu}\mapsto g_{\mu\nu} +\frac1{M^2}\left(aR_{\mu\nu}+bR_Eg_{\mu\nu}\right).$$

Applied to the lower-derivative gravitational action, it generates curvature-squared terms proportional to the leading metric equations of motion. Consequently, coefficients of redundant Ricci-based operators move. On-shell amplitudes and consistently transformed observables do not. The $C^2/E_4/R^2$ residue written above is therefore a basis report, not six independently measurable numbers.

The adversarial check is to perform the redefinition on the classical action, counterterms, and observable variation together. If only the printed loop coefficient is transformed, apparent disagreement results. On a boundary, the induced boundary terms must also be retained. Pure-gravity and ghost loops remain absent throughout.

The structure map places this matching after the local coefficient calculation and before threshold decoupling. Inspect how the same residue can be expressed in different local bases without changing the determinant.

Local matter-loop poles close on the generally covariant gravitational basis; field redefinitions can move redundant coefficients but do not introduce graviton loops. Schematic; not to scale.

Domain and failure conditions

The residue is for one smooth-boundaryless real scalar in the stated Euclidean convention. Boundaries add surface couplings; other spins add bundle and gauge structure; physical threshold running requires a mass-dependent observable. See Domain and failure conditions.

The failure map’s loop-content branch is decisive: adding a metric Hessian or gravitational ghosts changes both field content and gauge dependence, and the result must be reassigned to quantum gravity EFT.

Matter-loop running, pure-gravity running, basis changes, and physical threshold decoupling are distinct statements with distinct inputs. Schematic; not to scale.

Handoffs

Mass Thresholds, Decoupling, and Curvature Expansions converts mass-independent residues into low-energy matching statements. Graviton and ghost contributions belong to One-Loop Graviton EFT.

References

• Birrell, Nicholas D., and Paul C. W. Davies. Quantum Fields in Curved Space. Cambridge: Cambridge University Press, 1982, § 6.2. DOI.
• Vassilevich, Dmitri V. “Heat Kernel Expansion: User’s Manual.” Physics Reports 388 (2003): 279–360. DOI. Open PDF.