Schwarzian Zero Mode: Theory & Applications

• Schwarzian zero mode is the residual flat reparametrization direction that persists after gauge fixing in theories such as the pure Schwarzian model, BTZ perturbations, and flat JT gravity.
• It manifests variably—as a gauge redundancy, a Goldstone mode, or a dilatonic constraint—thereby altering the path integral measure and saddle structure according to the underlying framework.
• Its treatment directly impacts observable quantities, including one-loop determinants and effective Lyapunov exponents, with significant implications for quantum gravity and holographic models.

The Schwarzian zero mode is the flat reparametrization direction associated with actions built from the Schwarzian derivative, but the term is not used in a single uniform sense. In the finite-temperature BTZ setting, linearized spin-2 perturbations reduce at the boundary to a reparametrization $t\to f(u)$, and the corresponding boundary effective action is Schwarzian; in that reduced theory the constant shift of $f$ is the unique true zero mode, while a separate infinite tower of BTZ perturbative modes becomes exact zero modes in the extremal limit $r_-\to r_+$ (Acito et al., 10 Nov 2025). In the standard Schwarzian path integral, by contrast, the quadratic fluctuation operator around the saddle has three exact zero eigenmodes, $n=0,\pm1$, reflecting the $\mathrm{SL}(2,\mathbb R)$ redundancy before gauge fixing (Anninos et al., 2021). In flat JT gravity, the phrase denotes an additional dilatonic zero mode required by the boundary conditions and the variational principle, rather than merely the constant shift of a reparametrization field (Afshar et al., 2021).

1. Terminological scope and structural distinctions

The literature represented here suggests that “Schwarzian zero mode” denotes a family of closely related structures rather than a single universal object. In the pure Schwarzian theory, one expands a monotone circle map $f$ or $\phi$ around the identity and encounters flat directions generated by global Möbius transformations. In the BTZ-derived Schwarzian action, the constant, $u$-independent shift $\epsilon_0$ is identified as the unique true zero mode after the $\mathrm{SL}(2,\mathbb R)$ structure is taken into account. In flat JT gravity, an extra term proportional to $f$0 is itself identified as the zero mode because it encodes the off-shell dilaton constraint $f$1 (Acito et al., 10 Nov 2025).

These usages are related by a common mechanism: broken or gauge-redundant reparametrization symmetry leaves special directions in field space that are not lifted by the Schwarzian dynamics. What differs from one framework to another is whether the relevant flat direction is a residual gauge orbit, a physical Goldstone mode, a dilatonic boundary datum, or a near-zero perturbative mode that becomes exact in a special limit. The distinction is essential because the operational consequences are different: removal by quotienting, restoration of a saddle, localization of the path integral, or emergence of an infinite near-extremal tower (Anninos et al., 2021).

2. Pure Schwarzian theory: zero modes, gauge fixing, and exact partition functions

In the one-dimensional Schwarzian theory, the dynamical field is a reparametrization of the circle,

$f$2

with action

$f$3

This action is invariant under the Möbius $f$4 subgroup, so the corresponding global directions are zero directions of the action. Writing $f$5 and Fourier expanding $f$6, the infinitesimal $f$7 transformations act as

$f$8

hence $f$9 are exact zero modes of the quadratic fluctuation operator (Anninos et al., 2021).

The standard treatment is therefore to impose three orthogonality conditions, or equivalently to omit the Fourier components $r_-\to r_+$0. With the local $r_-\to r_+$1-invariant measure

$r_-\to r_+$2

the nonzero-mode path integral is Gaussian. The resulting determinant obeys $r_-\to r_+$3, and the exact partition function takes the form

$r_-\to r_+$4

The characteristic $r_-\to r_+$5 prefactor is the imprint of the removed zero-mode sector (Anninos et al., 2021).

A complementary exact treatment regularizes the zero-mode divergence by dividing by the regularized $r_-\to r_+$6 volume. In that formulation, the path-integral measure factorizes as

$r_-\to r_+$7

and the constant mode $r_-\to r_+$8 is flat because the action is invariant under global shifts. After cancellation of the zero-mode divergences against the regularized group volume, one obtains

$r_-\to r_+$9

In these conventions, the factor $n=0,\pm1$0 is precisely the zero-mode contribution, encoding the regularized volume of the three flat directions $n=0,\pm1$1 (Belokurov et al., 2017).

3. BTZ perturbations and the emergence of the Schwarzian zero mode

A geometric derivation of the Schwarzian sector begins with the Euclidean BTZ background with temperature

$n=0,\pm1$2

and considers transverse-traceless linearized spin-2 perturbations solving the Lichnerowicz problem. Using the ansatz

$n=0,\pm1$3

regularity at the Euclidean horizon, normalizability at the boundary, and Matsubara periodicity $n=0,\pm1$4 select a discrete family of normalizable modes. In BTZ coordinates they factorize as

$n=0,\pm1$5

Their spin-2 spectrum is

$n=0,\pm1$6

As $n=0,\pm1$7, one has $n=0,\pm1$8, and an infinite tower of exact zero modes emerges in the extremal limit (Acito et al., 10 Nov 2025).

At large radius, however, the leading boundary fluctuation is completely captured by a reparametrization of the Euclidean time circle,

$n=0,\pm1$9

whose induced boundary metric acquires a Schwarzian derivative. Evaluating the regulated Einstein-Hilbert action plus Gibbons-Hawking term, or equivalently using a reduced two-dimensional description, yields the boundary effective action

$\mathrm{SL}(2,\mathbb R)$0

and after $\mathrm{SL}(2,\mathbb R)$1 gauge fixing,

$\mathrm{SL}(2,\mathbb R)$2

The coupling is

$\mathrm{SL}(2,\mathbb R)$3

Expanding $\mathrm{SL}(2,\mathbb R)$4, the quadratic action is

$\mathrm{SL}(2,\mathbb R)$5

In this description the constant shift $\mathrm{SL}(2,\mathbb R)$6 is the unique true zero mode, and its path-integral normalization is chosen so that the zero-mode volume is $\mathrm{SL}(2,\mathbb R)$7. Geometrically it is the Goldstone mode for spontaneous breaking of boundary time-reparametrization symmetry down to the $\mathrm{SL}(2,\mathbb R)$8 isometries of BTZ (Acito et al., 10 Nov 2025).

The same sector also admits a Kerr-Schild construction,

$\mathrm{SL}(2,\mathbb R)$9

with $f$0 null and geodesic. Solving the Kerr-Schild conditions reproduces exactly the perturbative Schwarzian modes $f$1. Since the entire infinite tower is then an exact Kerr-Schild deformation, it is one-loop-exact in three dimensions. The factorized form $f$2 further places the BTZ Schwarzian sector in the classical double-copy and double-field-theory framework (Acito et al., 10 Nov 2025).

4. Flat JT gravity and the dilatonic Schwarzian zero mode

In Minkowskian JT gravity in Bondi gauge, the bulk variational problem is not well posed unless one adds a one-dimensional boundary term together with the off-shell condition

$f$3

At finite temperature one parameterizes

$f$4

and in the strict flat limit the Euclidean boundary action becomes

$f$5

The middle term is singled out as the zero mode; equivalently,

$f$6

It is precisely the dilatonic zero mode enforced by the boundary condition on $f$7 (Afshar et al., 2021).

This extra zero mode changes the dynamics qualitatively. The pure BMS$f$8 Schwarzian $f$9 alone has no saddle: varying it leads to

$\phi$0

which cannot be solved by a strictly increasing periodic $\phi$1 for generic nonzero $\phi$2. Adding the zero-mode term shifts the equation to

$\phi$3

and $\phi$4 can then be chosen so that $\phi$5 const is a valid saddle. In this sense the dilatonic zero mode both ensures a well-defined variational principle and restores the missing extremum (Afshar et al., 2021).

The path-integral measure is induced by the Kirillov-Kostant symplectic form of the BMS$\phi$6 coadjoint orbit. Because the zero-mode piece is linear in $\phi$7, integrating out $\phi$8 produces a delta-functional imposing the linearized equation of motion for $\phi$9. The remaining nonzero modes are Gaussian, and the full partition function localizes to a one-loop exact result,

$u$0

or, for backgrounds with enhanced stabilizer,

$u$1

Here the zero mode is not merely a shift symmetry; it is the dynamical remnant of the dilaton boundary condition (Afshar et al., 2021).

5. Other realizations: stretched horizons, DSSYK, and Schwarzian mechanics

In Carlip’s stretched-horizon model for stationary non-extremal black holes, the boundary dynamics is governed by

$u$2

or a pure-Dirichlet variant with different coupling and $u$3. In this setting the Schwarzian term breaks the full $u$4 invariance down to rigid shifts $u$5, so the constant zero mode is modded out by working on $u$6. Expanding around $u$7, the Dirichlet-Neumann case yields

$u$8

so $u$9 are additional zero eigenmodes of the quadratic form. The one-loop determinant is then divergent, and after analytic continuation of the fluctuation contour and zeta regularization one obtains a finite but $\epsilon_0$0-independent constant. Thus the one-loop Schwarzian sector does not contribute nontrivially to the thermodynamics in that model (Ali et al., 2022).

In double-scaled SYK, low-temperature soft modes of the bilocal Liouville description are identified with reparametrizations of twisted coordinates. Plugging the reparametrized saddle into the Liouville action gives an emergent Schwarzian action

$\epsilon_0$1

The Fourier expansion about $\epsilon_0$2 is taken with $\epsilon_0$3, and the constant mode $\epsilon_0$4 is the true flat direction: $\epsilon_0$5 Its infinite volume is divided out, and the induced measure

$\epsilon_0$6

matches the known Schwarzian measure. The resulting one-loop exact partition function is

$\epsilon_0$7

Here the zero mode is inherited directly from the UV-complete chord-diagram description (Berkooz et al., 2024).

A different use of the term appears in Schwarzian mechanics, where the “zero-mode equation” is the third-order $\epsilon_0$8-invariant condition

$\epsilon_0$9

Its general solution is an arbitrary Möbius transform of a tanh profile,

$\mathrm{SL}(2,\mathbb R)$0

or equivalently $\mathrm{SL}(2,\mathbb R)$1. In this usage the “zero mode” refers to a distinguished dynamical sector of higher-derivative mechanics, with conserved $\mathrm{SL}(2,\mathbb R)$2 charges and a five-dimensional Brinkmann embedding obeying Einstein’s equations (Galajinsky, 2018).

6. Physical consequences and recurrent misconceptions

One recurrent misconception is to treat all Schwarzian zero modes as equivalent. The sources instead distinguish at least four situations. First, in the unreduced Schwarzian path integral, $\mathrm{SL}(2,\mathbb R)$3 are gauge or stabilizer directions that must be removed by quotienting $\mathrm{SL}(2,\mathbb R)$4. Second, in the BTZ effective action after gauge fixing, the constant shift is the unique true zero mode and has the interpretation of a Goldstone direction. Third, in flat JT gravity, the crucial zero mode is dilatonic and restores the saddle that the pure BMS-Schwarzian lacks. Fourth, in Carlip’s stretched-horizon model, extra $\mathrm{SL}(2,\mathbb R)$5 zero eigenvalues of the quadratic operator signal a divergent one-loop determinant rather than a thermodynamically dominant boundary degree of freedom (Acito et al., 10 Nov 2025).

The zero-mode sector also controls observable dynamics. In the semiclassical analysis of Schwarzian soft-mode Feynman diagrams, one expands

$\mathrm{SL}(2,\mathbb R)$6

with the $\mathrm{SL}(2,\mathbb R)$7 gauge conditions removing $\mathrm{SL}(2,\mathbb R)$8. The order-$\mathrm{SL}(2,\mathbb R)$9 correction to the out-of-time-order correlator contains a term proportional to $f$00, which shifts the effective Lyapunov exponent to

$f$01

Thus quantum fluctuations of the Schwarzian soft mode decrease the maximal Lyapunov exponent (Qi et al., 2019).

A plausible synthesis is that the Schwarzian zero mode is best understood as the minimal nontrivial remnant of reparametrization symmetry after bulk constraints, asymptotic conditions, and gauge identifications are imposed. Depending on the model, this remnant manifests as a quotient direction, a Goldstone coordinate, a dilatonic constraint mode, or a near-extremal tower becoming exact. What remains invariant across these realizations is its decisive role in fixing the measure, defining the saddle structure, and determining whether the resulting theory is merely perturbative or one-loop exact (Afshar et al., 2021).