---
title: DeWitt-Kallosh Theorem in Quantum Gravity
url: https://www.emergentmind.com/topics/dewitt-kallosh-theorem
type: topic
---

# DeWitt-Kallosh Theorem in Quantum Gravity

Searching arXiv for relevant papers on the DeWitt–Kallosh theorem and closely related formulations.
The DeWitt–Kallosh theorem, in the form established for Einstein gravity coupled to a scalar in the background-field formalism, states that the dependence of the effective action on continuous gauge-fixing parameters is governed by BRST identities and vanishes when the background fields satisfy their equations of motion. In the explicit one-loop analysis of a general background gauge with parameters \(\xi\) and \(\zeta\), the theorem is realized as
\[
\left.\frac{\partial\Gamma_{\mathrm{eff}}}{\partial \xi}\right|_{\text{on-shell}}
=
\left.\frac{\partial\Gamma_{\mathrm{eff}}}{\partial \zeta}\right|_{\text{on-shell}}
=0,
\]
with the further implication that the on-shell effective action, and hence the on-shell counterterms, are independent of gauge-fixing parameters and of the parametrization of the fields. In the same framework, the theorem is used to isolate a nonzero gauge-independent one-loop divergence, thereby exposing the non-renormalizability of gravity coupled to matter in this setting [2603.23332].

## 1. Formal statement

In the formulation analyzed in “Quantum gravity and matter fields in a general background gauge” [2603.23332], the theorem is a background-field BRST statement for an interacting quantum theory of gravitational and matter fields. The background effective action is constructed from the invariant Einstein–Hilbert plus free-scalar Lagrangian
\[
\mathcal{L}^{\mathrm{inv}}(\bar g,\bar\phi)
=
-\frac{1}{\kappa^2}\sqrt{\bar g}\,\bar R
-\frac{1}{2}\sqrt{\bar g}\,\bar g^{\mu\nu}\partial_\mu\bar\phi\,\partial_\nu\bar\phi,
\qquad
\kappa^2\equiv 16\pi G_N,
\]
with the background split
\[
\bar g_{\mu\nu}=g_{\mu\nu}+\kappa h_{\mu\nu},
\qquad
\bar\phi=\phi+\varphi.
\]

The theorem is expressed by the identities
\[
\left.\delta_\xi \exp\{i\Gamma_{\mathrm{eff}}\}\right|_{\text{on-shell}}
=
\left.\delta_\zeta \exp\{i\Gamma_{\mathrm{eff}}\}\right|_{\text{on-shell}}
=0,
\]
or equivalently, at the level of the effective action,
\[
\left.\frac{\partial\Gamma_{\mathrm{eff}}}{\partial \xi}\right|_{\text{on-shell}}
=
\left.\frac{\partial\Gamma_{\mathrm{eff}}}{\partial \zeta}\right|_{\text{on-shell}}
=0.
\]
The on-shell condition is the vanishing of the functional derivatives with respect to the background fields, namely \(\delta \Gamma/\delta \Phi^i=0\), realized here as the classical background equations \(\delta \mathcal{L}^{\mathrm{inv}}/\delta g=0\) and \(\delta \mathcal{L}^{\mathrm{inv}}/\delta \phi=0\).

A compact reformulation given in the same source is that the gauge-parameter derivatives of \(\Gamma_{\mathrm{eff}}\) can be written as field-equation terms,
\[
\frac{\partial\Gamma_{\mathrm{eff}}}{\partial\xi}
=
\int d^4x\,\sum_i
\frac{\delta\Gamma_{\mathrm{eff}}}{\delta\Phi^i(x)}\,X^i_\xi(x),
\qquad
\frac{\partial\Gamma_{\mathrm{eff}}}{\partial\zeta}
=
\int d^4x\,\sum_i
\frac{\delta\Gamma_{\mathrm{eff}}}{\delta\Phi^i(x)}\,X^i_\zeta(x),
\]
for suitable local functionals \(X^i_\alpha\). This makes the on-shell gauge-parameter independence immediate.

## 2. Background-field and BRST structure

The theorem is implemented in a two-parameter background gauge. The gauge-fixing functional is
\[
\chi_\mu
=
h_{\mu\nu}{}^{;\nu}
-\frac{1}{2}h^\alpha{}_\alpha{}^{;\mu}
-\zeta\,\kappa\,\varphi\,\partial^\mu\phi,
\]
and the gauge-fixing Lagrangian is
\[
\mathcal{L}_{\mathrm{gf}}
=
-\frac{1}{2\xi}\sqrt g\,\chi^\mu\chi_\mu.
\]
Here \(\xi\) controls the graviton sector of the gauge fixing, while \(\zeta\) controls the graviton–scalar mixing term inside \(\chi_\mu\).

An equivalent Nakanishi–Lautrup representation introduces an auxiliary field \(B_\mu\),
\[
\mathcal{L}'_{\mathrm{gf}}
=
\sqrt g\left[
\frac{\xi}{2}B_\mu B^\mu
+
B_\mu\left(
h^{\mu\nu}{}_{;\nu}
-\frac{1}{2}h^\alpha{}_\alpha{}^{;\mu}
-\zeta\,\kappa\,\varphi\,\partial^\mu\phi
\right)
\right].
\]
The ghost sector is determined by the Faddeev–Popov operator \(M\),
\[
\mathcal{L}_{\mathrm{gh}}
=
\sqrt g\,\bar\eta^\mu\left[
\eta_{\mu;\alpha}{}^{\alpha}
-
R_{\mu\nu}\eta^\nu
-
\zeta\,\kappa\,(\partial_\mu\phi)(\partial_\nu\phi)\eta^\nu
\right],
\]
equivalently
\[
(M\eta)_\mu
=
\left(
D^2\delta_\mu{}^\nu
-
R_\mu{}^\nu
-
\zeta\,\kappa\,\partial_\mu\phi\,\partial^\nu\phi
\right)\eta_\nu.
\]

The BRST differential \(\mathsf s\) acts nilpotently, \(\mathsf s^2=0\), on the quantum fields, ghosts, antighosts, and \(B_\mu\), while leaving the background fields \(g_{\mu\nu}\) and \(\phi\) inert. The decisive structural fact is that the gauge-fixing plus ghost sector is \(\mathsf s\)-exact:
\[
\mathcal{L}'_{\mathrm{gf}}+\mathcal{L}_{\mathrm{gh}}
=
\mathsf s\left\{
\sqrt g\left[
-\frac{\xi}{2}\bar\eta_\mu B^\mu
-
\bar\eta_\mu\left(
h^{\mu\nu}{}_{;\nu}
-\frac{1}{2}h^\alpha{}_\alpha{}^{;\mu}
-\zeta\kappa\,\varphi\,\partial^\mu\phi
\right)
\right]
\right\}.
\]
This \(\mathsf s\)-exactness, together with nilpotency, is the algebraic basis of the theorem.

## 3. Gauge-parameter identities and their derivation

The effective action is defined by the background-field path integral after subtracting the background invariant action and the linear terms in the quantum fluctuations. At one loop, only the quadratic terms in \(h\), \(\varphi\), and the ghosts contribute. In schematic operator language,
\[
\Gamma^{(1)}[g,\phi]
=
\frac{i}{2}\ln\det\Delta_h
-
i\ln\det \Delta_{\mathrm{ghost}}
+
\frac{i}{2}\ln\det\Delta_\varphi
+\text{(mixed terms)}.
\]

The gauge-parameter dependence is extracted by varying the gauge-fixing sector. For an infinitesimal \(\Delta\xi\),
\[
\delta_\xi \exp\{i\Gamma_{\mathrm{eff}}\}
=
\frac{i\,\Delta\xi}{2}\int d^4x\,\sqrt g\,\langle B_\mu B^\mu\rangle.
\]
Using \(\mathsf s\)-exactness and nilpotency,
\[
\langle \mathsf s(\bar\eta_\mu B^\mu)\rangle
=
-\langle B_\mu B^\mu\rangle,
\]
and the Ward identity gives
\[
\langle \mathsf s(\bar\eta_\mu B^\mu)\rangle
=
i\Big\langle
\bar\eta_\mu B^\mu
\int d^4x'
\Big[
\kappa\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta g_{\alpha\beta}}\mathsf s h_{\alpha\beta}
+
\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta\phi}\mathsf s\varphi
\Big]_{x'}
\Big\rangle.
\]
Combining these relations yields
\[
\delta_\xi \exp\{i\Gamma_{\mathrm{eff}}\}
=
\frac{\Delta\xi}{2}\int d^4x\,\sqrt{g(x)}
\Big\langle
(\bar\eta_\mu B^\mu)(x)
\int d^4x'
\Big[
\kappa\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta g_{\alpha\beta}}\mathsf s h_{\alpha\beta}
+
\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta\phi}\mathsf s\varphi
\Big]_{x'}
\Big\rangle.
\]

The \(\zeta\)-identity is analogous,
\[
\delta_\zeta \exp\{i\Gamma_{\mathrm{eff}}\}
=
-\kappa\,\Delta\zeta\int d^4x\,\sqrt{g(x)}
\Big\langle
(\bar\eta^\mu\partial_\mu\phi\,\varphi)(x)
\int d^4x'
\Big[
\kappa\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta g_{\alpha\beta}}\mathsf s h_{\alpha\beta}
+
\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta\phi}\mathsf s\varphi
\Big]_{x'}
\Big\rangle.
\]

Because the right-hand sides are proportional to the background equations of motion, they vanish on shell. The theorem is therefore the gravity-and-matter analogue of Nielsen identities in Yang–Mills theory: off-shell gauge dependence is present, but on-shell gauge-parameter dependence drops out [2603.23332].

## 4. Off-shell one-loop structure in a general background gauge

The one-loop calculation in a general background gauge exhibits explicit off-shell dependence on \(\xi\) and \(\zeta\). With dimensional regularization in \(D=4-2\epsilon\), the divergent counterterm Lagrangian takes the form
\[
\mathcal{L}_{\mathrm{CT}}
=
\frac{\sqrt g}{16\pi^2\epsilon}
\Big[
c_1(\xi,\zeta)R^2
+
c_2(\xi,\zeta)R_{\mu\nu}R^{\mu\nu}
+
\kappa^2 c_3(\xi,\zeta)(D_\mu D^\mu\phi)^2
\]
\[
\qquad
+
\kappa^2 c_4(\xi,\zeta)R\,\partial_\mu\phi\,\partial^\mu\phi
+
\kappa^2 c_5(\xi,\zeta)R^{\mu\nu}\partial_\mu\phi\,\partial_\nu\phi
+
\kappa^4 c_6(\xi,\zeta)(\partial_\mu\phi\,\partial^\mu\phi)^2
\Big],
\]
with coefficients
\[
c_1(\xi,\zeta)=\frac{1}{80}+\frac{1}{6}(\xi-1)^2,
\qquad
c_2(\xi,\zeta)=\frac{43}{120}+\frac{\xi(\xi-1)}{3},
\]
\[
c_3(\xi,\zeta)=\frac{\zeta}{2},
\]
\[
c_4(\xi,\zeta)= -\frac{1}{12} - \frac{(\xi-1)(\xi+5)}{12} + \frac{(\xi-\zeta)^2}{4},
\qquad
c_5(\xi,\zeta)= \frac{(\xi-1)(2\xi+5)}{6},
\]
\[
c_6(\xi,\zeta)= \frac{1}{2} + \frac{\xi-1}{4} + \frac{(\xi-\zeta)^2}{8}.
\]

In fully assembled form,
\[
\mathcal{L}_{\mathrm{CT}}
=
\frac{\sqrt g}{16\pi^2\epsilon}
\Bigg[
\frac{1}{240}\bigl(3+40(\xi-1)^2\bigr)R^2
+
\frac{1}{120}\bigl(43+40\xi(\xi-1)\bigr)R_{\mu\nu}R^{\mu\nu}
+
\frac{\kappa^2}{2}\zeta\,(D^2\phi)^2
\]
\[
-\frac{\kappa^2}{12}
\Bigl(1+(\xi-1)(\xi+5)-3(\xi-\zeta)^2\Bigr)
R\,\partial_\mu\phi\,\partial^\mu\phi
+
\frac{\kappa^2}{6}(\xi-1)(2\xi+5)R^{\mu\nu}\partial_\mu\phi\,\partial_\nu\phi
\]
\[
+
\frac{\kappa^4}{8}
\Bigl(4+2(\xi-1)+(\xi-\zeta)^2\Bigr)
(\partial_\mu\phi\,\partial^\mu\phi)^2
\Bigg].
\]

These expressions exhibit the central limitation of the theorem: it does not remove off-shell gauge dependence. Rather, it constrains that dependence to vanish after imposing the equations of motion. The same calculation shows two notable specializations. For \(\xi=1\), with arbitrary \(\zeta\), the result reproduces Grisaru’s result and the \(R^{\mu\nu}\partial_\mu\phi\,\partial_\nu\phi\) term vanishes because \(c_5=0\). For the ’t Hooft–Veltman choice \(\xi=\zeta=1\), the counterterm reduces to
\[
\mathcal{L}_{\mathrm{CT}}\big|_{\xi=\zeta=1}
=
\frac{\sqrt g}{16\pi^2\epsilon}
\left[
\frac{1}{80}R^2
+\frac{43}{120}R_{\mu\nu}R^{\mu\nu}
+\frac{\kappa^2}{2}(D^2\phi)^2
-\frac{\kappa^2}{12}R\,(\partial\phi)^2
+\frac{\kappa^4}{2}(\partial\phi)^4
\right],
\]
which is the off-shell divergent part in the ’t Hooft–Veltman background gauge [2603.23332].

## 5. On-shell reduction and the non-renormalizability argument

The theorem becomes operational when the background equations of motion are imposed. For the Einstein–scalar system,
\[
R_{\mu\nu}-\frac{1}{2}Rg_{\mu\nu}
=
\frac{\kappa^2}{2}T_{\mu\nu},
\qquad
D_\mu D^\mu\phi=0,
\]
with
\[
T_{\mu\nu}
=
\frac{1}{2}g_{\mu\nu}\partial_\alpha\phi\,\partial^\alpha\phi
-
\partial_\mu\phi\,\partial_\nu\phi.
\]
These imply
\[
R_{\mu\nu}
=
-\frac{\kappa^2}{2}\partial_\mu\phi\,\partial_\nu\phi,
\qquad
R
=
-\frac{\kappa^2}{2}\partial_\mu\phi\,\partial^\mu\phi.
\]

Substituting these relations into the general counterterm yields the on-shell divergent part
\[
\left.\mathcal{L}_{\mathrm{CT}}\right|_{\text{on-shell}}
=
\frac{\sqrt g}{16\pi^2\epsilon}
\,
\frac{\kappa^4}{4}
\,
\bigl[c_1+c_2-2c_4-2c_5+4c_6\bigr]
\,
(\partial_\mu\phi\,\partial^\mu\phi)^2
=
\frac{\sqrt g}{16\pi^2\epsilon}
\,\frac{203}{320}\,
\kappa^4(\partial\phi)^4.
\]
The crucial point is that the explicit coefficient \(203/320\) is independent of \(\xi\) and \(\zeta\), exactly as required by the theorem.

The renormalizability test is then formulated through local field redefinitions. If divergences could be absorbed by redefining \(g_{\mu\nu}\) and \(\phi\), one would require
\[
\mathcal{L}^{\mathrm{inv}}(g+\Delta g,\phi+\Delta\phi)
=
\mathcal{L}^{\mathrm{inv}}(g,\phi)+\mathcal{L}_{\mathrm{CT}},
\]
which at one loop gives
\[
\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta g_{\mu\nu}}\Delta g_{\mu\nu}
+
\frac{\delta\mathcal{L}^{\mathrm{inv}}}{\delta\phi}\Delta\phi
=
\mathcal{L}_{\mathrm{CT}}.
\]
Using the most general local variations compatible with dimensions and symmetries,
\[
\Delta g_{\mu\nu}
=
\frac{\kappa^2}{16\pi^2\epsilon}
\Big[
C_1Rg_{\mu\nu}
+
C_2R_{\mu\nu}
+
\kappa\big(C_3\partial_\mu\phi\,\partial_\nu\phi
+
C_4g_{\mu\nu}(\partial\phi)^2\big)
\Big],
\]
\[
\Delta\phi
=
\frac{\kappa^2}{16\pi^2\epsilon}C_5D^2\phi,
\]
one obtains the consistency condition
\[
c_1+c_2-2c_4-2c_5+4c_6=0.
\]
If this held, the on-shell counterterm would vanish. Because the explicit computation instead gives the nonzero on-shell divergence above, the condition fails, and the divergences cannot be absorbed into a finite set of local field redefinitions of the original Einstein–Hilbert plus scalar action. The theorem is essential here because it prevents any appeal to a special gauge choice: no choice of \(\xi\) or \(\zeta\) can eliminate the nonzero on-shell divergence [2603.23332].

## 6. Scope, subtleties, and related usage of the name

Several technical qualifications delimit the theorem’s scope. First, it is a statement about the effective action and on-shell quantities, not about off-shell expressions; the explicit dependence of the coefficients \(c_i(\xi,\zeta)\) on the gauge parameters is therefore not a contradiction but the expected behavior. Second, the derivation relies on BRST invariance and the \(\mathsf s\)-exact structure of gauge fixing plus ghosts. Third, the one-loop analysis uses dimensional regularization with \(D=4-2\epsilon\), employs the Gauss–Bonnet combination in the flat-background expansion, and assumes the discrete symmetry \(\phi\to-\phi\), which forbids odd-in-\(\phi\) counterterms.

The Landau–DeWitt limit \(\xi\to 0\), \(\zeta\to 0\) illustrates a further subtlety. Individual diagrams can become singular in this limit, but Ward identities enforce the cancellation of such singularities in physical quantities. At the same time, unlike Yang–Mills theory, the ghost–background graviton–ghost vertex is ultraviolet divergent in Landau–DeWitt gauge, which the cited analysis presents as another manifestation of gravity’s non-renormalizability [2603.23332].

A separate point of terminology is required because the expression “DeWitt–Kallosh theorem” also appears in the supplied literature in a distinct cosmological context. In “DeWitt wave function in Hořava-Lifshitz cosmology with tensor perturbation,” the phrase “DeWitt–Kallosh no-go statement” denotes the incompatibility, in general relativity with tensor perturbations, between the DeWitt boundary condition \(\Psi(a\to0)=0\) and a normalizable perturbative wave function. There the Wheeler–DeWitt small-\(a\) expansion leads, in the general-relativistic case \(f_d=0\), to a leading equation for \(F_0(\mathfrak h)\) with non-normalizable exponential or hyperbolic solutions; in Hořava–Lifshitz gravity, by contrast, \(f_d>0\) generates a confining quadratic term and Gaussian-normalizable solutions [2205.11746].

This suggests a terminological distinction. In the background-field BRST literature represented by [2603.23332], the DeWitt–Kallosh theorem is the on-shell gauge-parameter independence theorem for the effective action. In the cosmological usage represented by [2205.11746], the name is attached to a no-go statement about the DeWitt wave function in the presence of perturbations. The two statements are conceptually different: one concerns BRST control of gauge-fixing dependence in quantum effective actions, while the other concerns the viability of a boundary condition in Wheeler–DeWitt quantization.

Source: https://www.emergentmind.com/topics/dewitt-kallosh-theorem