Saddles, Negative Modes, and Steepest-Descent Cycles

A gravitational saddle contributes only if its thimble appears in the declared integration cycle. Before evaluating its determinant, fluctuations must be decomposed into gauge directions, collective zero modes, positive physical modes, and genuine negative physical modes; the last category can signal thermodynamic instability or an imaginary contribution, but only relative to the contour and ensemble.

Required background. Conformal-Factor Problem, Integration Contours, and Resurgent-Completion Proposals fixes the convergent-cycle problem. Negative Modes and Instability Indices supplies the ordinary saddle classification.

Helpful background. Decay Rates, the Negative Mode, and Prefactors explains when one negative mode produces an imaginary part. Gauge Fixing, BRST Constraints, and the Gribov Problem supplies the gauge-theory qualifications.

Physical quadratic fluctuations

For $g_{\mu\nu}=g_{\mu\nu}^{(s)}+h_{\mu\nu}$, choose a covariant gauge and decompose

$$h_{\mu\nu}=h_{\mu\nu}^{\mathrm{TT}} +\nabla_{(\mu}\xi_{\nu)} +\left(\nabla_\mu\nabla_\nu-\frac{1}{D}g_{\mu\nu}\nabla^2\right)\psi +\frac{1}{D}g_{\mu\nu}h .$$

The Faddeev–Popov determinant cancels gauge-orbit factors only after compatible boundary conditions are imposed. Isometries and moduli yield zero modes; they are replaced by collective coordinates with a Jacobian. On the gauge-invariant transverse-traceless sector the quadratic form is schematically

$$I_E^{(2)}=\frac{1}{2}\langle h^{\mathrm{TT}}, \Delta_L h^{\mathrm{TT}}\rangle+\cdots,$$

where $\Delta_L$ is the appropriate Lichnerowicz operator including curvature and matter mixing. A negative eigenvalue is meaningful only in this physical boundary-value problem.

Application: the Euclidean Schwarzschild negative mode

For four-dimensional Euclidean Schwarzschild,

$$ds^2=f(r)d\tau^2+\frac{dr^2}{f(r)}+r^2d\Omega_2^2, \qquad f(r)=1-\frac{r_+}{r}, \qquad \tau\sim\tau+4\pi r_+ .$$

Regularity fixes the inverse temperature $\beta=4\pi r_+$. In the canonical ensemble the heat capacity is

$$C=\frac{dM}{dT} =\frac{d(r_+/2G)}{d(1/4\pi r_+)} =-\frac{2\pi r_+^2}{G}<0.$$

The reduced action along an off-shell family at fixed $\beta$ has negative curvature at the saddle. The full gauge-invariant spectral problem indeed contains one normalizable transverse-traceless negative mode Gross, Perry, and Yaffe 1982. Rotating this coordinate onto its descent direction supplies a phase to the Gaussian. Whether that phase represents decay depends on the surrounding contour and on what thermal ensemble is held fixed.

The comparison is instructive in AdS: sufficiently large Schwarzschild–AdS black holes have positive heat capacity, and the corresponding negative mode disappears, while small black holes retain it Prestidge 2000. Thus the spectrum tests the declared boundary ensemble, not a geometry in isolation.

Determinants, zero modes, and contour membership

For a saddle $s$ on a thimble $\mathcal J_s$,

$$Z_s\simeq n_s\,e^{-I_s} \frac{\det{}'\Delta_{\mathrm{gh}}}{\sqrt{\det{}'\Delta_{\mathrm{phys}}}} J_{\mathrm{coll}}\int_{\mathcal M_s}d\mu .$$

The intersection number $n_s=\langle\mathcal C,\mathcal K_s\rangle$ pairs the original cycle with the upward cycle $\mathcal K_s$. A perfectly regular solution with $n_s=0$ does not contribute. Conversely, a contributing saddle with one negative direction is not simply discarded; its descent contour must be defined.

Adversarial gauge-invariance check

Repeat the spectral calculation in two gauges with the same physical boundary data. Ghost and longitudinal spectra may change, but the number of normalizable negative modes in the reduced physical quadratic form must agree. Also vary the boundary ensemble: holding $\beta$ fixed and holding energy fixed are different Hessians. If the reported index changes under a pure gauge-parameter variation, a constraint or boundary mode was misclassified; if it changes under an ensemble change, that may be physical.

Limits and handoff

One-loop stability neither proves dominance nor convergence of the topology sum. Higher-order interactions, additional matter modes, moduli ends, and Stokes jumps can invalidate a Gaussian conclusion. The same classification is required before interpreting a connected saddle on Euclidean Wormholes and Connected Boundary Amplitudes.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Gross, D. J., M. J. Perry, and L. G. Yaffe. “Instability of Flat Space at Finite Temperature.” Physical Review D 25 (1982): 330–355. DOI.
• Prestidge, T. “Dynamic and Thermodynamic Stability and Negative Modes in Schwarzschild–Anti-de Sitter.” Physical Review D 61 (2000): 084002. DOI.
• Reall, H. S. “Classical and Thermodynamic Stability of Black Branes.” Physical Review D 64 (2001): 044005. DOI.