Worldline Methods in Curved Space

The worldline formalism rewrites a matter heat trace as a path integral over closed particle trajectories. It is an alternative representation of the same quantum-field determinant, not a claim that the underlying field theory has been replaced by fundamental particle mechanics. In curved space the path-integral measure, the translational zero mode, spin variables, and regulator-dependent finite counterterm are essential.

Required background. One-Loop Matter Effective Actions in Curved Space fixes the determinant, and Green Operators, Causal Propagators, and State-Dependent Two-Point Functions distinguishes the Euclidean heat kernel from Lorentzian propagators.

Helpful background. Feynman and Schwinger Parameters introduces proper time, and Heat Kernels and the Schwinger–DeWitt Expansion supplies the coefficients to be reproduced.

From the heat trace to closed paths

Use the Hamiltonian normalization

$$H=-\frac12\nabla_E^2-\frac\xi2R_E, \qquad \mathcal D=2H=-\nabla_E^2-\xi R_E,$$

so that $\operatorname{Tr}e^{-s\mathcal D}=\operatorname{Tr}e^{-\beta H}$ with $\beta=2s$. Formally,

$$\operatorname{Tr}e^{-\beta H} =\int_{x(\beta)=x(0)}\!\mathcal D x\, \prod_\tau\sqrt{g(x(\tau))} \exp\!\left[-\int_0^\beta\mathrm d\tau \left(\frac12g_{\mu\nu}\dot x^\mu\dot x^\nu -\frac\xi2R_E+V_{\rm ct}\right)\right].$$

The nonlinear sigma model contains products of distributions. In worldline dimensional regularization, with precisely this $H=-\nabla^2/2+V$ normalization, the finite counterterm is

$$V_{\rm ct}^{\rm DR}=-\frac18R_E.$$

Mode regularization and time slicing use different, partly noncovariant counterterms, but the completed transition amplitude agrees. The regulator and counterterms are tabulated in Bastianelli 2005, § 3, Eqs. (3)–(5). Quoting $-R/8$ without the Hamiltonian normalization would be ambiguous.

Exponentiating the measure introduces commuting and anticommuting worldline ghosts. For a loop, decompose

$$x^\mu(\tau)=x_0^\mu+q^\mu(\tau), \qquad \int_0^\beta\mathrm d\tau\,q^\mu(\tau)=0.$$

The center $x_0$ is a collective coordinate; the constrained fluctuation propagator inverts the kinetic operator only on the nonzero-mode subspace. Different choices of loop center are related by a BRST treatment of this zero mode and must agree after total derivatives and measure terms are handled consistently.

First application: recover the scalar a₁ coefficient

Expand the metric and curvature in Riemann normal coordinates about $x_0$. Gaussian contraction of the quadratic fluctuations, measure ghosts, and the counterterm yields

$$K(s;x_0,x_0) =\frac1{(4\pi s)^{d/2}} \left[1+s\left(\xi+\frac16\right)R_E(x_0)+O(s^2)\right]$$

for $\mathcal D=-\nabla_E^2-\xi R_E$. The explicit potential contributes $+s\xi R_E$ because it appears with the sign inherited from $H$, while the combined kinetic, measure, ghost, and finite-counterterm graphs supply $+sR_E/6$. This reproduces the heat-kernel result and vanishes at the site’s conformal coupling $\xi=-1/6$.

Now compute with time slicing. Its counterterm differs from $V_{\rm ct}^{\rm DR}$ by a local connection-dependent expression, and individual diagrams are not manifestly covariant. The completed coefficient must still be $(\xi+1/6)R_E$. If it is not, the regulator’s prescribed finite counterterm or measure ghosts have been omitted. This is the declared two-regulator adversarial check.

For spinor or $p$-form matter, worldline Grassmann variables produce spin parallel transport and curvature couplings. Gauge systems also bring worldline gauge fixing and their own zero modes. Those constructions still evaluate matter determinants; worldline gravitons would be a different loop theory.

The structure map places the worldline path integral parallel to spectral and heat-kernel routes. Inspect the reunion at the same coefficient and determinant, rather than treating it as a new observable.

Worldline fields reorganize the matter loop; regulator counterterms and collective-coordinate fixing are required for agreement with the covariant heat kernel. Schematic; not to scale.

Domain and failure conditions

The displayed formula is Euclidean, scalar, and one loop. Its target-space metric is smooth, the loop is periodic, and the center zero mode is removed. Spin, boundaries, noncompact spaces, and Lorentzian contours require additional structures. Compare methods in Domain and failure conditions.

The failure map highlights the relevant wrong turn: a bare coordinate path integral with $\prod\sqrt g$ suppressed and $V_{\rm ct}=0$ does not define the desired covariant Hamiltonian, even if its flat-space limit is correct.

Flat-space agreement does not test the measure and ordering terms; the curved $a_1$ coefficient is the first decisive fixture. Schematic; not to scale.

Handoffs

Higher local coefficients return to Seeley–DeWitt Coefficients and Curvature Invariants. Numerical coefficient generation must state the truncation, basis, recursion convention, and validation identities.

References

• Bastianelli, Fiorenzo. “Path Integrals in Curved Space and the Worldline Formalism.” 2005 lecture review, § 3. arXiv.
• Bastianelli, Fiorenzo, and Peter van Nieuwenhuizen. Path Integrals and Anomalies in Curved Space. Cambridge: Cambridge University Press, 2006, chs. 2–4. Publisher.