Local Couplings, Trace Identities, and the Local Renormalization Group

An ordinary renormalization-group equation varies one constant subtraction scale. The local renormalization group asks a sharper question: what happens if every marginal coupling is promoted to a spacetime-dependent source and the metric is Weyl-rescaled by an arbitrary function? The answer packages operator insertions, trace identities, contact terms, flavor-current ambiguities, and Weyl anomalies into one functional equation.

This page develops that equation for a four-dimensional renormalizable theory with dimensionless scalar sources. It derives the flat-space trace identity and its contact terms, then extracts one Weyl-consistency relation. Relevant sources, boundary terms, and the classification of curvature anomalies require additional structures and are identified at the point where they enter.

Required background. Scale Independence and the Callan–Symanzik Equation supplies fixed-bare RG transport. Dual Evolution of Operators and Wilson Coefficients supplies operator mixing and the contragredient source convention. Current Sources and Generating Functionals supplies background sources and functional Ward identities.

Helpful background. Quantum Currents, Improvements, and Conservation explains improvement and virial terms. Spurions, Local Counterterms, and Symmetry Response develops the local-counterterm freedom of background-field functionals.

Local couplings as operator probes

Work temporarily in Euclidean signature on a background metric $\gamma_{\mu\nu}$. This makes the local functional identities economical; analytic continuation returns to the site’s (+---) Lorentzian convention. Let

$$W[\gamma_{\mu\nu},g^I,A_\mu^A] \equiv -\ln Z[\gamma_{\mu\nu},g^I,A_\mu^A]$$

for an action in which $+\int d^4x\sqrt{\gamma}\,g^I O_I$ is the source-dependent interaction. Normalize renormalized operators through their one-point functions:

$$\begin{aligned} \langle[O_I(x)]\rangle &= \frac{1}{\sqrt{\gamma(x)}} \frac{\delta W}{\delta g^I(x)}, \\ \langle T^{\mu\nu}(x)\rangle &= \frac{2}{\sqrt{\gamma(x)}} \frac{\delta W}{\delta\gamma_{\mu\nu}(x)}, \\ \langle J_A^\mu(x)\rangle &= \frac{1}{\sqrt{\gamma(x)}} \frac{\delta W}{\delta A_\mu^A(x)}. \end{aligned}$$

The operators themselves are defined by variations of the renormalized action together with its source-dependent counterterms; the derivatives of $W$ above give their expectation values. Higher functional derivatives generate connected correlators, including explicit source variations of the operators and the local contact terms required at coincident insertions. Promoting $g^I$ to $g^I(x)$ exposes those terms; setting the sources constant too early hides them.

The sources are external probes. They do not acquire kinetic equations and are not integrated over. Their derivatives simply enumerate the momenta carried by operator insertions. Osborn’s construction begins precisely by treating couplings as arbitrary functions and using them, together with the metric, as sources for finite local operators Osborn 1991, § 2, pp. 4–6, Open PDF.

Local sources enlarge the counterterm problem. In four dimensions a dimensionless $g^I(x)$ permits logarithmically divergent local functionals with four derivatives in total:

Sector	Representative local structures
Pure curvature	$W_{\mu\nu\rho\sigma}^2$, $E_4$, $R^2$, $\nabla^2R$
Curvature and two source derivatives	$G^{\mu\nu}\nabla_\mu g^I\nabla_\nu g^J$, $R\nabla_\mu g^I\nabla^\mu g^J$, $\nabla_\mu R\nabla^\mu g^I$
Four source derivatives	$\nabla^2g^I\nabla^2g^J$, $\nabla g^I\nabla g^J\nabla^2g^K$, $(\nabla g)^4$
Background flavor fields	$F_{\mu\nu}^AF_A^{\mu\nu}$ and gauge-covariant combinations of $F_{\mu\nu}^A$ with $D_\mu g^I$

Each structure carries a coupling-dependent coefficient, and integrations by parts or finite counterterms relate different bases. A bare $(\nabla g)^2$ term by itself has dimension two, so it is not a marginal four-dimensional counterterm without another dimension-two factor. Osborn gives a complete basis appropriate to his assumptions and displays the associated finite-counterterm transformations Osborn 1991, § 3, pp. 9–11, Open PDF.

The local Weyl generator and trace identity

First suppress background flavor fields. Use the ordinary mass-scale beta function $\beta_\mu^I=\mu\,dg^I/d\mu|_0$ at fixed bare data. The combined local metric/source transformation acts as

$$\delta_\sigma\gamma_{\mu\nu} =2\sigma(x)\gamma_{\mu\nu}, \qquad \delta_\sigma g^I =+\sigma(x)\beta_\mu^I(g).$$

The functional derivatives above are ordinary coordinate-density derivatives: their integration measure is $d^4x$. The corresponding generator is

$$\boxed{ \Delta_\sigma = \int d^4x\, \sigma(x) \left( 2\gamma_{\mu\nu}\frac{\delta}{\delta\gamma_{\mu\nu}} +\beta_\mu^I\frac{\delta}{\delta g^I} \right). }$$

The signs follow from the declared covariant-metric stress and $W=-\log Z$. For constant sources, $W=W(g,\mu r)$ at fixed dimensionless shape; the fixed-bare equation $(\mu\partial_\mu+\beta_\mu^I\partial_I)W=\text{local}$ implies $r\partial_rW=-\beta_\mu^I\partial_IW+\text{local}$. A length-scale beta instead obeys $\beta_{\rm length}^I=-\beta_\mu^I$ and would reverse the source term in the displayed generator.

Osborn uses $W_O=+\log Z$ and a positive inverse-metric Weyl generator; denote his combined Weyl-minus-beta operator by $\Delta_{\sigma,O}$. After metric inversion and conversion to ordinary coordinate-density derivatives, our combined generator is $\Delta_\sigma=-\Delta_{\sigma,O}$ and $W=-W_O$. Hence $\Delta_\sigma W=\Delta_{\sigma,O}W_O$: the anomaly functional itself keeps Osborn’s coefficient basis Osborn 1991, §2, printed pp. 5–6, Eqs. (2.1)–(2.5), Open PDF.

For arbitrary $\sigma(x)$, renormalization gives a local anomalous response,

$$\Delta_\sigma W =\mathcal A_\sigma, \qquad \mathcal A_\sigma = \int d^4x\sqrt{\gamma}\, \left[ \sigma\,\mathcal B +(\nabla_\mu\sigma)\mathcal Z^\mu \right].$$

Here $\mathcal B$ is a local scalar assembled from curvature, $g^I$, and derivatives of $g^I$; $\mathcal Z^\mu$ is a local vector. After integrating the second term by parts, define

$$\mathcal A \equiv \mathcal B-\nabla_\mu\mathcal Z^\mu.$$

Because $\sigma(x)$ is arbitrary, the functional equation implies the local trace identity

$$\boxed{ T^\mu{}_\mu = -\beta_\mu^I[O_I]+\mathcal A. }$$

This compact formula has three distinct layers:

1. $-\beta_\mu^I[O_I]$ is explicit quantum scale breaking in this stress/source convention.
2. Derivatives of local sources occur inside $\mathcal A$ and vanish when $g^I$ is constant.
3. Pure curvature terms can survive even at an RG fixed point; they are Weyl-anomaly data, not a nonzero beta function.

Equation-of-motion operators, improvements, relevant couplings, and total derivatives can add terms to a chosen representative of the trace. They must be retained when the corresponding sources are present. Within the bounded marginal-source problem, however, the displayed equation is the central result.

Flavor rotations, vector beta functions, and virial currents

If operators transform under a continuous flavor group $G_F$, introduce a background connection $A_\mu^A$ and replace $\nabla_\mu g^I$ by

$$D_\mu g^I = \nabla_\mu g^I +A_\mu^A(T_Ag)^I.$$

Take the background transformations $\delta_\omega g=-\omega^AT_Ag$ and $\delta_\omega A_\mu=D_\mu\omega$, so $D_\mu g$ transforms covariantly. Substituting them into the positive source first variation and integrating by parts gives, in a flavor-anomaly-free prescription and up to equation-of-motion terms,

$$D_\mu J_A^\mu =-(T_Ag)^I[O_I].$$

Consequently a beta-function component tangent to a flavor orbit is not an independent scalar breaking. Write

$$B^I \equiv \beta_\mu^I-(Sg)^I, \qquad (Sg)^I\equiv S^A(T_Ag)^I.$$

Before this reduction, the vector-source part of our generator is $\int d^4x\,(\sigma\rho_I^A D_\mu g^I-\partial_\mu\sigma\,S^A)\delta/\delta A_\mu^A$. Add the vanishing background gauge generator with parameter $\omega^A=\sigma S^A(g)$. Its scalar term changes $\beta_\mu^I$ to $B^I$, and its vector term cancels $\partial_\mu\sigma$. In a local coupling basis with flavor-equivariant $S$, this defines $P_I^A=\rho_I^A+\partial_I S^A$. The resulting representative is

$$\begin{aligned} \Delta_\sigma = \int d^4x\, \bigg[ &2\sigma\gamma_{\mu\nu} \frac{\delta}{\delta\gamma_{\mu\nu}} +\sigma B^I\frac{\delta}{\delta g^I} \\ &+\sigma P_I^A D_\mu g^I \frac{\delta}{\delta A_\mu^A} \bigg]. \end{aligned}$$

The trace identity becomes

$$\boxed{ T^\mu{}_\mu = -B^I[O_I] -P_I^A D_\mu g^I J_A^\mu +\mathcal A +\text{equations of motion and improvements}. }$$

This formula distinguishes three ideas often compressed into the phrase “the beta function.” The scalar flow $B^I$ is the flow after quotienting flavor rotations, $P_I^A$ governs source gradients coupled to currents, and $\mathcal A$ is the local Weyl response. The gauge Ward identity itself has not changed sign. The flavor-orbit piece satisfies

$$(Sg)^I[O_I] =-D_\mu(S^A J_A^\mu)$$

for covariantly constant $S^A$ in the displayed convention; otherwise the derivative of $S^A$ must also be retained. In the trace, $-\beta_\mu^I[O_I]=-B^I[O_I]-(Sg)^I[O_I]$, so the latter term becomes the corresponding positive current divergence. For covariantly constant scalar sources the $P_I^A$ term vanishes, but the distinction between $\beta_\mu^I$ and $B^I$ can remain. These transformations and the reduction agree with Osborn 1991, §3, printed pp. 15–16, Eqs. (3.38)–(3.41), Open PDF, after the generator and $W$ translation above.

Thus an endpoint is characterized invariantly by $B^I=0$, not merely by every component of a scheme-dependent raw beta function vanishing. Whether a remaining virial current is removable by an improvement is a separate question; the conformal consequences belong to Local RG and Weyl Consistency Conditions.

Contact terms from a differentiated trace identity

Return to the scalar-source representative with background flavor sources suppressed, flat space and constant scalar couplings. Away from coincident points, curvature and source-derivative terms vanish, and

$$T^\mu{}_\mu(x) = -\beta_\mu^I[O_I(x)]$$

holds inside correlators, modulo equations of motion and improvements. Coincident points are different. Differentiate the one-point identity with respect to $g^J(y)$. For the standard Euclidean action sign used here,

$$\frac{\delta\langle X\rangle}{\delta g^J(y)} = -\langle X[O_J(y)]\rangle_c +\left\langle \frac{\delta X}{\delta g^J(y)} \right\rangle.$$

It follows that

$$\begin{aligned} \langle T^\mu{}_\mu(x)[O_J(y)]\rangle_c ={}& -\beta_\mu^I \langle[O_I(x)][O_J(y)]\rangle_c \\ &+ \partial_J\beta_\mu^I\, \delta^{(4)}(x-y) \langle[O_I(x)]\rangle +\mathcal C_J(x,y), \end{aligned}$$

Here $\mathcal C_J$ includes the explicit source variation of the trace, plus $\beta_\mu^I\langle\delta[O_I]/\delta g^J\rangle$ and the negative source derivative of the anomaly, with the additional improvement and renormalization contacts. These terms depend on the chosen composite-operator prescription. More generally, differentiating an $n$-insertion identity produces a principal contact term at each insertion,

$$+\sum_{a=1}^n \delta^{(4)}(x-y_a) \partial_{J_a}\beta_\mu^I \left\langle [O_I(y_a)] \prod_{b\ne a}[O_{J_b}(y_b)] \right\rangle_c,$$

plus operator-mixing terms and additional contacts at simultaneous multiple coincidences, including higher source derivatives of the beta functions. At separated points all delta-supported terms disappear. If the interaction is written with the opposite source sign, the connected insertion term in the differentiation rule changes sign; explicit operator variations must still be retained separately.

As a concrete first application, take the improved massless scalar theory

$$\mathcal L_E = \frac12(\partial\phi)^2 +\frac{\lambda}{4!}\phi^4, \qquad [O_\lambda] = \left[\frac{\phi^4}{4!}\right].$$

In minimal subtraction,

$$\beta_{\mu,\lambda} = \frac{3\lambda^2}{16\pi^2} +O(\lambda^3), \qquad \partial_\lambda\beta_{\mu,\lambda} = \frac{3\lambda}{8\pi^2} +O(\lambda^2).$$

Therefore the principal contact map associated with a $\lambda$ insertion has coefficient

$$+\frac{3\lambda}{8\pi^2} +O(\lambda^2)$$

in the present covariant-metric and positive-action-source convention. The positive one-loop MS beta function is unchanged; it was derived on the beta-functions page. Its derivative controls this principal contact, while the additional local terms remain prescription dependent. Osborn’s local two-point identities illustrate why these contacts cannot be dropped Osborn 1991, §3, printed p. 11, Eq. (3.14), Open PDF.

Weyl consistency from commuting local rescalings

Weyl rescalings form an Abelian group, so two local transformations must commute on the renormalized functional:

$$[\Delta_\sigma,\Delta_{\sigma'}]W=0.$$

Since $\Delta_\sigma W=\mathcal A_\sigma$, this is a nontrivial integrability condition on the anomaly coefficients:

$$\Delta_\sigma\mathcal A_{\sigma'} -\Delta_{\sigma'}\mathcal A_\sigma =0.$$

Terms with independent tensor structures in $\sigma$, $\sigma'$, and their derivatives must vanish separately. For the following scalar-source consistency calculation, write $\beta^I\equiv\beta_\mu^I$ and keep $\beta_b,w_I,\chi^g_{IJ}$ literally in Osborn’s anomaly-functional basis. Because both the generator and $W$ reversed sign in the translation above, $\mathcal A_\sigma=\mathcal A_{\sigma,O}$; these coefficients are not individually negated. The basis is displayed in Osborn 1991, §3, printed p. 9, Eqs. (3.1)–(3.4), Open PDF. One resulting equation is

$$\boxed{ 8\partial_I\beta_b -\chi^g_{IJ}\beta^J = -\mathcal L_\beta w_I, }$$

where $\beta_b$ multiplies the Euler density in his anomaly basis, $w_I$ multiplies a derivative-of-Weyl-factor term, $\chi^g_{IJ}$ is a source-derivative anomaly coefficient, and

$$(\mathcal L_\beta w)_I = \beta^J\partial_Jw_I +(\partial_I\beta^J)w_J$$

is the Lie derivative of a one-form on coupling space. This relation is valid in the scalar-source setting and is replaced by its flavor-covariant $B^I$ form when vector sources are active.

Contract with $\beta^I$. The identity

$$\beta^I(\mathcal L_\beta w)_I = \beta^I\partial_I(w_J\beta^J)$$

then gives

$$\boxed{ \beta^I\partial_I\widetilde\beta_b = \frac18\chi^g_{IJ}\beta^I\beta^J, \qquad \widetilde\beta_b \equiv \beta_b+\frac18w_I\beta^I. }$$

This is a genuine Weyl-consistency check: the scalar on the left and the quadratic form on the right must agree in one declared anomaly normalization. Osborn derives both equations and their behavior under finite local counterterms in Osborn 1991, §3, printed pp. 10–11, Eqs. (3.10a), (3.11)–(3.13), Open PDF.

Commutativity alone does not prove that $\chi^g_{IJ}$ is positive everywhere. Positivity requires additional dynamical input and a controlled domain; without it, the last equation is not a global nonperturbative monotonicity theorem. It also does not identify $\widetilde\beta_b$ with a unique convention-independent function away from fixed points. At a fixed point, finite-counterterm shifts proportional to the flow vanish and the universal anomaly data can be isolated.

Coordinate-dependent data and invariant claims

Apply the comparison of scheme-dependent coordinates and invariant claims to the physical coupling sector after quotienting flavor rotations, using the invariant scalar flow defined above.

For local RG, “consistent translation” means transforming the coupling coordinates, operator basis, vector sources, anomaly coefficients, and finite local counterterms together. A shift of $\beta_b$ or $w_I$ by itself is not an observable change. The scheme-transformation page develops the coordinate geometry; the present page adds the local-counterterm sector.

Fixed points, flat space, and neighboring subjects

At an invariant endpoint $B^I=0$. In flat space with constant sources, the derivative terms and curvature anomaly vanish, so separated correlators obey a traceless Ward identity after removable improvements and equations of motion are handled. This is the statement relevant to scale and conformal correlators.

On a curved background, the same fixed-point theory can have

$$\langle T^\mu{}_\mu\rangle \ne0$$

because local curvature invariants remain in $\mathcal A$. Thus “the beta function vanishes,” “the flat-space trace vanishes at separated points,” and “the Weyl anomaly vanishes” are three different claims.

This page supplies the generic local-RG grammar but not every endpoint classification:

• What Is an Anomaly? classifies genuine quantum obstructions and their counterterm dependence.
• Local RG and Weyl Consistency Conditions develops conformal fixed-point applications and anomaly data.
• Interacting Fields and Local Covariant Renormalization develops renormalization on general curved backgrounds.
• Trace Anomalies and Convention Translation classifies curvature terms and translates anomaly conventions.

Common pitfalls

Treating $g^I(x)$ as a new dynamical field. A local coupling is an external source used to generate insertions and probe response. No path integral over $g^I$ is implied.

Keeping only constant-coupling counterterms. Coincident insertions generate derivative-of-source divergences. Omitting the allowed four-derivative local terms makes the local functional equation inconsistent even if ordinary constant-coupling amplitudes were renormalized.

Equating $\beta^I=0$ with every notion of a fixed point. Flavor-orbit components can be traded for current divergences, so $B^I$ is the invariant scalar flow. Curvature anomalies can remain when $B^I=0$.

Reading positivity from consistency alone. Weyl commutativity yields an integrability relation. Positivity of its quadratic form is an extra physical statement with its own hypotheses.

Dropping source-sign conventions in contact identities. The sign of a functional insertion depends on how the coupling enters the Euclidean action. State it once; transform every insertion and contact term together.

Exercises

Derive the principal contact term for one $\lambda$ insertion in massless $\phi^4$ theory.

Solution

Start from the flat, constant-source identity

$$\langle T^\mu{}_\mu(x)\rangle = -\beta_{\mu,\lambda}\langle[O_\lambda(x)]\rangle.$$

With $+\lambda O_\lambda$ in the Euclidean action,

$$\frac{\delta\langle X\rangle}{\delta\lambda(y)} = -\langle X[O_\lambda(y)]\rangle_c +\left\langle \frac{\delta X}{\delta\lambda(y)} \right\rangle.$$

Differentiating the right-hand side produces

$$-\partial_\lambda\beta_{\mu,\lambda}\, \delta^{(4)}(x-y) \langle[O_\lambda(x)]\rangle +\beta_{\mu,\lambda} \langle[O_\lambda(x)][O_\lambda(y)]\rangle_c$$

plus local variations of $[O_\lambda]$. Moving the overall insertion signs to the correlator identity gives the principal contact coefficient

$$+\partial_\lambda\beta_{\mu,\lambda} = +\frac{3\lambda}{8\pi^2} +O(\lambda^2).$$

Starting from the one-form consistency equation in Osborn’s coefficient basis above, with $\beta^I=\beta_\mu^I$, derive the flow equation for $\widetilde\beta_b$.

Solution

Contract

$$8\partial_I\beta_b-\chi^g_{IJ}\beta^J =-\mathcal L_\beta w_I$$

with $\beta^I$. For a one-form,

$$\begin{aligned} \beta^I(\mathcal L_\beta w)_I &= \beta^I\beta^J\partial_Jw_I +\beta^I(\partial_I\beta^J)w_J \\ &= \beta^I\partial_I(w_J\beta^J). \end{aligned}$$

Hence

$$\beta^I\partial_I \left( \beta_b+\frac18w_J\beta^J \right) = \frac18\chi^g_{IJ}\beta^I\beta^J.$$

No sign or normalization can be compared with another anomaly basis until its definitions of the Euler coefficient, $w_I$, and the RG direction have been translated.

Where to continue

• Renormalons, OPE Ambiguities, and Power Corrections applies the scheme-versus-invariant distinction to asymptotic perturbation theory.
• Multiple Couplings and Coupled RG Flows supplies the vector-field and stability-matrix geometry used here.
• Scheme Transformations and RG Invariants develops finite coordinate changes and fixed-point invariants.

References

• Osborn, Hugh. “Weyl Consistency Conditions and a Local Renormalisation Group Equation for General Renormalisable Field Theories.” Nuclear Physics B 363 (1991): 486–526. DOI. Open PDF, author preprint DAMTP/91-1; the page locators above use its printed labels.