Measures, Determinants, and BRST Structure

Gauge fixing replaces integration along infinitesimal diffeomorphism orbits by a determinant and ghost fields. Around a chosen background this construction is precise enough for perturbation theory, provided zero modes, boundary conditions, and the functional measure are specified. BRST symmetry then packages gauge independence into a nilpotent differential. None of these local steps supplies a unique nonperturbative measure on the full space of geometries.

Required background. Gravitational Actions and Boundary Terms supplies the action and admissible boundary variations; Flat-Spacetime Quantum Field Theory supplies Gaussian functional integrals, gauge fixing, and Grassmann fields.

Helpful background. Einstein Equations supplies the background saddle; Quantum Information supplies state and inner-product language; and Quantum Gravity supplies the distinction between perturbative control and microscopic completion.

Background gauge and its determinant

Split the metric as $g_{\mu\nu}=\bar g_{\mu\nu}+\kappa h_{\mu\nu}$, with $\kappa=\sqrt{32\pi G}$. The background $\bar g$ and fluctuation $h$ are bookkeeping fields; physical results must not depend on a pure change of the split. A convenient covariant gauge is

$$F_\mu[h]=\bar\nabla^\nu h_{\mu\nu}-\frac12\bar\nabla_\mu h, \qquad h=\bar g^{\mu\nu}h_{\mu\nu}.$$

Holding $\bar g$ fixed, an infinitesimal diffeomorphism generated by the unscaled physical vector $\xi^\mu$ gives, at linear order,

$$\delta_\xi h_{\mu\nu} =\kappa^{-1}(\bar\nabla_\mu\xi_\nu+\bar\nabla_\nu\xi_\mu)+O(h).$$

Commuting covariant derivatives therefore yields

$$\delta_\xi F_\mu= \kappa^{-1}\left(\bar\Box\delta_\mu{}^\nu+\bar R_\mu{}^\nu\right)\xi_\nu.$$

The field-independent factor $\kappa^{-1}$ is absorbed into the determinant normalization, and we define $M_\mu{}^\nu=\bar\Box\delta_\mu{}^\nu+\bar R_\mu{}^\nu$. Thus the normalized infinitesimal orbit Jacobian is $\Delta_{\mathrm{FP}}=\det M$. Faddeev and Popov derive the determinant insertion and its ghost representation in Faddeev and Popov 1967, pp. 29–30.

Ghosts and BRST structure

The determinant becomes a Grassmann integral over ghost $c^\mu$ and antighost $\bar c_\mu$,

$$\det M\propto\int\mathcal D\bar c\,\mathcal Dc\, \exp\left(i\int d^4x\sqrt{-\bar g}\,\bar c_\mu M^\mu{}_{\nu}c^\nu\right).$$

The proportionality absorbs the field-independent phase from the Grassmann integration convention. Adding an auxiliary field $B_\mu$, the gauge-fixing and ghost action can be written as a BRST-exact term. Choose $s$ as a left odd derivation, so $s(XY)=(sX)Y+(-1)^{|X|}X(sY)$, and use the unscaled ghost vector. Then

$$s g_{\mu\nu}=\mathcal L_c g_{\mu\nu}, \qquad sc^\mu=\frac12[c,c]_{\rm gr}^\mu =c^\nu\partial_\nu c^\mu, \qquad s\bar c_\mu=B_\mu, \qquad sB_\mu=0.$$

Here $[c,c]_{\rm gr}$ is the graded vector-field bracket; it is nonzero because $c$ is odd. A scalar field provides a direct sign check: if $s\phi=c^\mu\partial_\mu\phi$, then $s^2\phi=(sc^\mu-c^\nu\partial_\nu c^\mu)\partial_\mu\phi=0$, with the term containing two derivatives canceled by ghost antisymmetry. The same graded Lie-derivative identity gives $s^2g=0$. Changing the sign of $sg$ or using a right derivation requires translating $sc$ as well. Gauge-invariant observables lie in BRST cohomology: they are $s$-closed modulo $s$-exact insertions. The original BRST construction and the cohomological role of the symmetry are given in Becchi, Rouet, and Stora 1976, §§2–4.

A regulated measure can break BRST symmetry. Then the Ward identity acquires an anomaly, and changing the gauge-fixing fermion can change physical amplitudes. Checking the Slavnov–Taylor identity is therefore an independent gauge test, not decorative formalism.

One-loop determinants and zero modes

Expanding about a saddle $g_*$ gives a quadratic bosonic operator $\Delta_2$ and ghost operator $M$. Formally,

$$Z_{\text{1-loop}}\propto \frac{\det{}' M}{\sqrt{\det{}'\Delta_2}}\,J_{\rm coll}.$$

Primes remove zero modes, and $J_{\rm coll}$ is the Jacobian for collective coordinates. A Killing vector produces a ghost zero mode because it leaves the saddle invariant. A modulus produces a bosonic zero mode that moves through a family of saddles. Treating either as an ordinary Gaussian eigenvalue makes the determinant vanish or diverge spuriously.

The powers of the determinants are themselves a normalization check. An ordinary real bosonic Gaussian contributes one inverse square root of its Hessian determinant, whereas a complex Grassmann ghost pair contributes the determinant in the numerator. Longitudinal metric modes and ghosts should cancel according to the chosen gauge, leaving the two physical graviton polarizations on flat space. A mismatch usually signals a missed Jacobian, boundary mode, or incorrect field multiplicity.

Boundary conditions must make the operators and their adjoints compatible with the variational problem. The heat-kernel or zeta-function determinant also needs a renormalization scale; its ultraviolet divergences are absorbed by local gravitational counterterms. DeWitt develops the covariant second variation, gauge operator, and measure factors in DeWitt 1967, pp. 1203–1221.

Field parametrization and what is observable

Linear, exponential, and densitized metric parametrizations rearrange off-shell vertices and Jacobians. A one-loop effective action evaluated away from its equations of motion can therefore depend on the parametrization and gauge. Properly defined on-shell amplitudes or gauge-invariant boundary observables should agree after counterterms and source translations are handled consistently.

The essential checks are: reproduce the number of propagating graviton polarizations on a simple background; cancel longitudinal determinants against ghosts; isolate rather than discard zero modes; verify BRST or Ward identities; and confirm gauge-parameter independence of an on-shell quantity. This perturbative scope does not establish a global quotient, a contour for the conformal mode, or a sum over topology. Those are separate gravitational questions, and string or holographic measures remain outside this page.

Exercises

On a flat background with fields vanishing sufficiently fast at infinity, apply the de Donder condition to $\delta_\xi h_{\mu\nu}=\kappa^{-1}(\partial_\mu\xi_\nu+\partial_\nu\xi_\mu)$. Derive the normalized ghost operator and identify its zero modes if constant gauge parameters are admitted.

Solution

The trace changes by $\delta h=2\kappa^{-1}\partial_\rho\xi^\rho$. Hence

$$\delta F_\mu=\kappa^{-1}\left[\partial^\nu(\partial_\mu\xi_\nu+\partial_\nu\xi_\mu)-\partial_\mu\partial_\rho\xi^\rho\right]=\kappa^{-1}\Box\xi_\mu.$$

After absorbing the field-independent $\kappa^{-1}$ into the determinant normalization, the Faddeev–Popov operator is $M_\mu{}^\nu=\Box\delta_\mu{}^\nu$. With decay at infinity, constant vectors are excluded and no such zero mode occurs. On a compact flat space or with boundary conditions admitting constants, $\Box\xi^\mu=0$ for constant $\xi^\mu$; these translations are stabilizers of the background. They must be removed from $\det M$ and represented by their group volume or collective coordinates rather than counted as ordinary ghost fluctuations.

References

• Becchi, Carlo, Alain Rouet, and Raymond Stora. “Renormalization of Gauge Theories.” Annals of Physics 98 (1976): 287–321. DOI.
• DeWitt, Bryce S. “Quantum Theory of Gravity. II. The Manifestly Covariant Theory.” Physical Review 162 (1967): 1195–1239. DOI.
• Faddeev, L. D., and V. N. Popov. “Feynman Diagrams for the Yang–Mills Field.” Physics Letters B 25 (1967): 29–30. DOI.