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. Define renormalized insertions by

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

These equations define renormalized composite operators, not naive pointwise products of bare fields. Repeated functional differentiation therefore includes the local contact terms needed to renormalize 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. An infinitesimal local Weyl transformation acts as

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

The corresponding functional generator is

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

For constant $\sigma$, this reduces to ordinary RG transport combined with a rescaling of lengths. 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^I[O_I]+\mathcal A. }$$

This compact formula has three distinct layers:

1. $\beta^I[O_I]$ is explicit quantum scale breaking along the RG vector field.
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.$$

With the current convention above, background gauge invariance gives, up to genuine flavor anomalies and 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^I-(Sg)^I, \qquad (Sg)^I\equiv S^A(T_Ag)^I.$$

Using the flavor Ward identity trades the term proportional to $\nabla_\mu\sigma\,S^A$ in the original local generator for a covariant vector beta function. Define $P_I^A$ operationally by the resulting representative:

$$\begin{aligned} \Delta_\sigma = \int d^4x\sqrt{\gamma}\, \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. In the unreduced description, the flavor-orbit piece satisfies

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

for constant $S^A$ in the displayed convention, so it appears as a virial-current divergence. For constant sources the $P_I^A$ term vanishes, but the distinction between $\beta^I$ and $B^I$ can remain. Osborn derives this replacement and the associated vector-source consistency conditions in Osborn 1991, § 3, pp. 15–16, Open PDF.

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 flat space and constant scalar sources. Away from coincident points, curvature and source-derivative terms vanish, and

$$T^\mu{}_\mu(x) = \beta^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^I \langle[O_I(x)][O_J(y)]\rangle_c \\ &- \partial_J\beta^I\, \delta^{(4)}(x-y) \langle[O_I(x)]\rangle +\mathcal C_J(x,y), \end{aligned}$$

where $\mathcal C_J$ collects local variations of the renormalized operator, improvement terms, and the anomaly functional. More generally, differentiating an $n$-insertion identity produces a contact term at each insertion,

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

plus the additional local counterterms required by operator mixing. At separated points all delta-supported terms disappear. If the interaction is written with the opposite source sign, every source-differentiation identity changes sign consistently; the location and matrix content of the contact term do not.

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_\lambda = \frac{3\lambda^2}{16\pi^2} +O(\lambda^3), \qquad \partial_\lambda\beta_\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 Euclidean action convention. The same one-loop beta function was derived on the beta-functions page; here its derivative controls the coincident trace insertion. Osborn’s exact local identities show how such delta-function terms and source counterterms are required for compatibility with RG equations for two-point functions Osborn 1991, §§ 2–3, pp. 6–7 and 11, 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. In Osborn’s four-dimensional normalization, one of the resulting equations 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, pp. 10–11, 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

The chapter’s comparison table applies without modification. Local counterterms move anomaly representatives and coupling coordinates, while a consistent translation preserves the functional Ward identity and physical response.

Item	What may change	What survives a consistent translation	Required qualification or check
Renormalized $g^i$, masses, and field normalizations	Numerical values under finite scheme or basis changes	A prediction expressed in the same physical inputs	Translate every parameter and field factor through the retained order
Beta function away from a fixed point	Components and higher-order coefficients	The integral curves as geometric trajectories under a nonsingular coordinate map	Compare transformed vector fields, not coefficients at equal numerical coupling
Elementary-field anomalous dimension	Finite field rescaling; gauge parameter in a gauge theory	Scaling of a gauge-invariant observable after all factors are combined	Never identify a gauge-dependent elementary-field exponent with an observable
Exact fixed point	Coordinate location $g_\star^i$	Existence of the zero under a regular map	Exclude singular redefinitions and verify the fixed point lies in the method’s domain
Fixed-point stability data	Matrix representation and basis	Eigenvalues in a closed physical sector	Include operator mixing and redundant directions before diagonalizing
Transmuted scale	Its conventional normalization	Matched dimensionless ratios or predictions	State the scheme and reference condition defining the scale
Zero or singularity of a truncated beta function	Location and even apparent existence at insufficient order	Only the demonstrated breakdown of the stated approximation	Vary scheme/order and stop before couplings become large
Wilson coefficient versus power correction	Factorization scheme and, for an asymptotic series, summation prescription	Their consistently defined sum in an observable	Match the ambiguity of the perturbative term to the operator matrix element; developed on the renormalon page
Residual $\mu$ or scheme dependence	Numerical size at finite order	Vanishing in the exact consistently matched prediction	Treat the residual as a diagnostic, not a universal probability law

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_\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_\lambda\, \delta^{(4)}(x-y) \langle[O_\lambda(x)]\rangle -\beta_\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_\lambda = -\frac{3\lambda}{8\pi^2} +O(\lambda^2).$$

Starting from the one-form consistency equation, 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.