Papers
Topics
Authors
Recent
Search
2000 character limit reached

Generalised Schwarzian Theories

Updated 5 July 2026
  • Generalised Schwarzian theories are extensions of the classical Schwarzian derivative that incorporate higher-order, supersymmetric, and geometric invariants to capture richer reparametrization dynamics.
  • They employ methods from nonlinear realizations, orbit theory, and gauge reductions to generalize projective and tensorial properties, impacting models in JT gravity, SYK, and conformal geometry.
  • These theories provide a unifying framework for understanding reparametrization invariance across one-dimensional gravity, holography, Finsler geometry, and higher-spin systems.

Generalised Schwarzian theories extend the classical Schwarzian derivative

{f,τ}=f(τ)f(τ)32(f(τ)f(τ))2\{f,\tau\}=\frac{f'''(\tau)}{f'(\tau)}-\frac32\left(\frac{f''(\tau)}{f'(\tau)}\right)^2

and the associated Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R) action into a family of constructions that includes higher-order Schwarzians, supersymmetric and higher-rank projective invariants, tensorial conformal objects on manifolds, Virasoro coadjoint-orbit path integrals, BF and Chern–Simons boundary reductions, gauge-covariant deformations, and rigorous probabilistic measures on quotients of diffeomorphism groups. In the cited literature, the term encompasses both generalized derivatives and generalized actions, and also their realizations in SYK, JT gravity, near-dS2\mathrm{dS}_2, higher-spin systems, conformal geometry, and related exact functional-integral frameworks (Kozyrev et al., 2022, Özer et al., 13 Jun 2026, Maxfield, 18 Mar 2026, Bauerschmidt et al., 2024).

1. Classical template and structural data

The classical benchmark is the ordinary Schwarzian derivative, which is invariant under fractional linear transformations

faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,

and obeys the standard composition law

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].

This invariance under Möbius transformations and the associated cocycle property supply the model for essentially all generalised Schwarzian constructions (Galajinsky, 2023).

In one-dimensional gravity and holography, the corresponding action is

S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},

with ff defined modulo SL(2,R)SL(2,\mathbb R). In the Hamiltonian-reduction picture, the path integral is over Diff/SL\mathrm{Diff}/SL, or Diff(S1)/SL\mathrm{Diff}(S^1)/SL at finite temperature, and bilocal observables take the form

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)0

This is the basic Schwarzian/JT datum from which several generalized theories are obtained by changing the orbit, gauge group, or reduction scheme (Blommaert et al., 2018).

A parallel orbit-theoretic formulation writes the action as a pairing between a transformed Virasoro coadjoint vector and a coupling function: Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)1 In that formulation, the ordinary Schwarzian is the special orbit with stabilizer Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)2 and constant representative Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)3 (Maxfield, 18 Mar 2026).

2. Higher-order, supersymmetric, and higher-rank generalizations

One systematic construction uses nonlinear realizations. For Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)4, one parametrizes

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)5

computes the Maurer–Cartan forms, imposes Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)6 and Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)7, and finds

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)8

The same method extends to superconformal algebras by introducing an inert superspace and covariant constraints on Cartan forms. In the Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)9 case the residual invariant is the dS2\mathrm{dS}_20 super-Schwarzian, while for dS2\mathrm{dS}_21 the generalized dS2\mathrm{dS}_22-extended super-Schwarzian is encoded in a completely antisymmetric superfield dS2\mathrm{dS}_23 (Kozyrev et al., 2022).

A distinct higher-order extension is provided by Bertilsson’s higher Schwarzians. The literature discussed in "Remarks on higher Schwarzians" distinguishes three families: Aharonov invariants, Bertilsson’s higher Schwarzians, and Schippers’ higher Schwarzians. Bertilsson’s family is the central object there: for dS2\mathrm{dS}_24 it reproduces the negative of the standard Schwarzian derivative, it vanishes on Möbius maps, and it obeys a generalized composition law

dS2\mathrm{dS}_25

For dS2\mathrm{dS}_26, those lower-order terms involve the entire tower dS2\mathrm{dS}_27, so the composition rule is hierarchical rather than closed at fixed order. The same paper emphasizes a recursive construction and the fact that these higher Schwarzians arise as the anomalous terms controlling covariance of higher-derivative systems under the dS2\mathrm{dS}_28-conformal Galilei group (Galajinsky, 2023).

Higher-rank projective geometry yields another generalization. In a bulk-first BF formulation, the dS2\mathrm{dS}_29 Drinfeld–Sokolov reduction gives the Hill equation and the ordinary projective connection

faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,0

For faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,1, the reduced linear problem becomes

faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,2

and the invariant data are the second and third Wilczynski invariants faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,3 and faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,4. The generalized Schwarzian action is then

faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,5

with explicit formulas for faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,6 and faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,7 in terms of

faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,8

This places the generalized Schwarzian in projective geometry of curves in faf+bcf+d,adbc=1,f\mapsto \frac{af+b}{cf+d}, \qquad ad-bc=1,9, rather than on a projective line (Özer et al., 13 Jun 2026).

3. Tensorial and geometric extensions on manifolds

A geometric generalization appears in Finsler geometry. If two Finsler structures are conformally related by

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].0

the generalized Schwarzian tensor is

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].1

It is symmetric and traceless, reduces in dimension S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].2 to the classical Schwarzian derivative, and in the Riemannian case to the Osgood–Stowe Schwarzian tensor. A conformal diffeomorphism is called Möbius when S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].3, equivalently S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].4, and the vanishing condition is the Finsler analogue of the Möbius equation

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].5

The central geometric statement is that a conformal diffeomorphism is Möbius if and only if it preserves geodesic circles. In the forward geodesically complete case, Möbius symmetry implies that the indicatrix is conformally diffeomorphic to the Euclidean sphere S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].6; in the absolutely homogeneous scalar-flag-curvature case, a nontrivial Möbius mapping forces the Finsler manifold to be Riemannian with constant sectional curvature (Bidabad et al., 2020).

A related tensorial perspective appears in general relativity and cosmology. Under temporal reparametrization,

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].7

so a time-dependent cosmological constant acquires a Schwarzian derivative term unless the reparametrization belongs to S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].8. In higher dimensions, the relevant object is the Schwarzian tensor

S[T(t(t));t]=S[t(t);t]+(dtdt)2S[T(t);t].S[T(t'(t));t] = S[t'(t);t] + \left(\frac{dt'}{dt}\right)^2 S[T(t');t'].9

which satisfies a composition law analogous to the one-dimensional case and measures how the trace-free Ricci tensor changes under conformal rescaling. In that setting, the Schwarzian tensor governs whether a theory with variable dark energy can be mapped to one with constant dark energy by a change of conformal frame (Gibbons, 2014).

4. Coadjoint orbits, BF reduction, and gauge-theoretic actions

The orbit-theoretic classification of generalized Schwarzian theories is particularly explicit for Virasoro. A complete classification of theories defined by integrals over any Virasoro coadjoint orbit yields five orbit families: S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},0, special S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},1 orbits at S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},2, hyperbolic branches S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},3, and parabolic exceptional orbits S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},4 and S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},5. The monodromy class of the Hill equation

S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},6

organizes these orbits into identity, elliptic, hyperbolic, and parabolic types. The resulting path integrals can be oscillatory, with weight S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},7, and may require sign-changing coupling functions S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},8, principal-value integrals of S=Cdτ{f,τ},S=-C\int d\tau\,\{f,\tau\},9, and a choice of self-adjoint extension for the quadratic fluctuation operator at the zeroes of ff0 (Maxfield, 18 Mar 2026).

Bulk gauge reductions provide another major source of generalized Schwarzian dynamics. In two-dimensional BF gravity,

ff1

the ff2 reduction gives the ordinary Schwarzian, while the ff3 reduction gives Wilczynski invariants and the generalized action already noted. A closely related ff4 Chern–Simons reduction yields a universal one-dimensional boundary action

ff5

from which two inequivalent sectors arise. The standard boundary condition ff6 reproduces the Drinfel'd–Sokolov/Schwarzian action

ff7

whereas the generalized boundary condition

ff8

leads to the deformed Schwarzian functional

ff9

The first sector has residual SL(2,R)SL(2,\mathbb R)0 projective symmetry; the second has affine SL(2,R)SL(2,\mathbb R)1 symmetry (Chirco et al., 14 May 2026).

A further extension gauges the global SL(2,R)SL(2,\mathbb R)2 symmetry of the Schwarzian action. The construction introduces an SL(2,R)SL(2,\mathbb R)3-valued composite field SL(2,R)SL(2,\mathbb R)4, a gauge potential SL(2,R)SL(2,\mathbb R)5, the covariant field SL(2,R)SL(2,\mathbb R)6, and the gauge-invariant Schwarzian analogue

SL(2,R)SL(2,\mathbb R)7

When SL(2,R)SL(2,\mathbb R)8, this reduces to the ordinary Schwarzian. On topologically trivial domains SL(2,R)SL(2,\mathbb R)9 can be gauged away, but on Diff/SL\mathrm{Diff}/SL0 the theory has distinct topological sectors classified by Diff/SL\mathrm{Diff}/SL1, with representatives such as Diff/SL\mathrm{Diff}/SL2 (Pinzul et al., 5 Jul 2025).

A related reformulation treats the Schwarzian as the gauge-fixed, moduli-frozen sector of a local one-dimensional conformal quantum gravity. In that approach the usual Goldstone path integral is recovered from a local gauge theory once gauge-invariant moduli such as Diff/SL\mathrm{Diff}/SL3 are fixed, and the standard Schwarzian partition function is reproduced without localization (Anninos et al., 2021).

5. Probabilistic and functional-integral formulations

A rigorous probabilistic definition of the Schwarzian field theory constructs a finite Borel measure on

Diff/SL\mathrm{Diff}/SL4

starting from a reweighted Brownian bridge and the Belokurov–Shavgulidze transformation

Diff/SL\mathrm{Diff}/SL5

The measure is characterized by a quasi-invariance formula under Diff/SL\mathrm{Diff}/SL6, and its total mass is

Diff/SL\mathrm{Diff}/SL7

The same framework defines generalized Schwarzian measures for a positive Diff/SL\mathrm{Diff}/SL8 metric Diff/SL\mathrm{Diff}/SL9,

Diff(S1)/SL\mathrm{Diff}(S^1)/SL0

with partition function

Diff(S1)/SL\mathrm{Diff}(S^1)/SL1

Cross-ratios

Diff(S1)/SL\mathrm{Diff}(S^1)/SL2

serve there as the genuinely probabilistically well-defined observables (Bauerschmidt et al., 2024).

A complementary measure-theoretic approach uses the quasi-invariance of Wiener measure under diffeomorphisms to decompose it into “radial” and “angular” pieces. The polar decomposition

Diff(S1)/SL\mathrm{Diff}(S^1)/SL3

rewrites the Schwarzian path integral as a Fourier transform of a one-dimensional model with inverse-square Calogero potential,

Diff(S1)/SL\mathrm{Diff}(S^1)/SL4

with imaginary mass Diff(S1)/SL\mathrm{Diff}(S^1)/SL5 and imaginary coupling Diff(S1)/SL\mathrm{Diff}(S^1)/SL6. In that representation the Schwarzian partition function is obtained from a Fourier-transformed Calogero model integral (Belokurov et al., 2018).

Rigorous functional-integral calculus on diffeomorphism groups was also developed using quasi-invariant measures on Diff(S1)/SL\mathrm{Diff}(S^1)/SL7, Diff(S1)/SL\mathrm{Diff}(S^1)/SL8, and Diff(S1)/SL\mathrm{Diff}(S^1)/SL9. The central reduction expresses functional integrals in terms of a single explicitly computed object,

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)00

and shows that line and circle theories differ because the line inherits the Markov property while the circle inherits Brownian-bridge structure. Accordingly, time-ordered four-point functions factorize on Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)01 but not on Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)02 (1908.10387, Belokurov et al., 2018).

In SYK and its generalizations, the Schwarzian appears as the effective theory of broken reparametrization invariance. In double-scaled SYK, the exact ultraviolet completion is a bilocal Liouville theory, and the physical soft modes are reparametrizations of twisted coordinates

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)03

Their action reduces exactly to the Schwarzian,

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)04

Deformations with several independent random Hamiltonians produce a multi-field Liouville theory, and for Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)05 the leading infrared effect is a renormalization of the Schwarzian coefficient, while for Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)06 the infrared theory becomes a nonlocal reparametrization theory rather than a pure Schwarzian (Berkooz et al., 2024).

In two-dimensional conformal field theory, a universal Schwarzian sector arises in the grand canonical ensemble at large central charge, low left-moving temperature, and very high right-moving temperature. In that regime, modular bootstrap reduces the left-moving vacuum data to the Schwarzian partition function and Schwarzian bilocal correlators, while the right-moving sector contributes a thermal cylinder factor. The same regime has a gravitational interpretation in terms of the near-horizon nearly Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)07 throat of near-extremal rotating BTZ black holes, with JT gravity coupled to a Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)08 field and boundary dynamics governed by the Schwarzian action with coefficient Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)09 (Ghosh et al., 2019).

Higher-spin extensions of that picture replace Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)10 by Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)11 or its supersymmetric analogues. In the near-extremal limit of Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)12 CFTs, the low-energy sector is described by a generalized Schwarzian theory, with partition function

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)13

up to an overall Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)14-dependent constant. The exponent Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)15 is half the number of generators of Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)16, and the same answer is reproduced by BF higher-spin gravity in Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)17 (Datta, 2021).

The Wilson-line and rational-model perspectives broaden the same structural pattern. In the Schwarzian/JT setting, boundary-anchored Wilson lines in BF theory become bilocal operators, with Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)18-symbols at endpoints and Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)19-symbols at crossings (Blommaert et al., 2018). In rational models and compact symmetry sectors, a double-scaling limit of WZW theory gives a particle-on-a-group action rather than the ordinary Schwarzian, with partition functions

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)20

This is presented as a generalized Schwarzian framework relevant to SYK-type models with internal symmetries (Mertens, 2018).

Outside gravity and many-body physics, Schwarzian-type equations also organize exact symmetries of differential equations and modular transformations. For algebraic pullbacks of hypergeometric functions, the relevant condition is

Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)21

which the literature identifies with Casale’s rank-three, or Schwarzian, condition (Abdelaziz et al., 2016). A different application extracts a Schwarzian sector from weakly coupled Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)22 Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)23 SYM by a large-Diff(S1)/SL(2,R)\mathrm{Diff}(S^1)/SL(2,\mathbb R)24 flow to a continuum of charges; there the Schwarzian appears as the first nontrivial low-temperature correction, and the associated mass gap is compared to the strong-coupling supergravity result (Cabo-Bizet, 2024).

Taken together, these constructions do not define a single generalized Schwarzian theory, but rather a structured class of theories in which Schwarzian invariance, projective or conformal covariance, orbit geometry, and exact or quasi-exact functional integration reappear in different guises. This suggests a common organizing role for Schwarzian-type invariants across one-dimensional effective actions, higher projective geometry, conformal manifold theory, and symmetry reductions of gauge and gravitational systems.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Generalised Schwarzian Theories.