Foundations of fermionic localization for the Schwarzian theory: the SL(2,R)-invariant lattice regulator, a formal Duistermaat-Heckman theorem for symplectic supermanifolds, and the microscopic N=2 winding-saddle sum

By fermionic localization on the Virasoro coadjoint orbit $\mathrm{diff}(S^1)/\mathrm{SL}(2,\mathbb{R})$, Stanford and Witten (2017) proved that the Schwarzian path integral is one-loop exact, fixing $Z(g)=\#/g^3\,e^{\pi/g^2}$ up to a regulator-dependent overall constant $\#$, and computed the exact partition functions and densities of states of the $\mathcal{N}=1$ and $\mathcal{N}=2$ super-Schwarzian theories. The paper left a bundle of foundational issues open, and later literature has resolved its two central parts: the overall constant has been computed inside several ultraviolet completions (a regulated two-particle model in $\mathrm{AdS}_2$, Liouville/ZZ-brane constructions, and double-scaled SYK), where it is the model-dependent degeneracy factor; and the smooth density of states is now understood as the disk-level, ensemble-averaged density of a matrix-integral ensemble, whose discrete microscopic level statistics arise from nonperturbative topology sectors rather than from the Schwarzian alone. What survives, and is stated here as the problem, is the foundations work: (1) no regulated definition of the Schwarzian path integral with a controlled continuum limit is known — the $\mathrm{SL}(2,\mathbb{R})$-preserving lattice discretization proposed in the source paper has neither a proven continuum limit nor an analysis of how one-loop exactness emerges from it, and the recent rigorous probabilistic construction of the continuum Schwarzian measure bypasses rather than answers the regulator question; (2) the Duistermaat-Heckman formula for symplectic supermanifolds, on which the supersymmetric exact results rest, exists only as a physics proof, with Berezinian square-root sign subtleties resolved by ratio cancellations and global super-orbit issues untreated; (3) a quantitative first-principles derivation of the $\mathcal{N}=2$ winding-saddle prescription from ordinary-scaling supersymmetric SYK remains to be assembled, although analogs are established in double-scaled, q-deformed, and gravitational settings.

Background

The Sachdev-Ye-Kitaev (SYK) model is a quantum-mechanical system of $N$ randomly coupled fermions which, at low energies, develops an emergent approximate reparametrization symmetry of the thermal circle. The pseudo-Goldstone mode of its breaking (the light residual field left over when an approximate symmetry is spontaneously broken) is described by the Schwarzian theory: a one-dimensional path integral over a reparametrization $\phi(\tau)$ of the circle, with action given by the Schwarzian derivative $\{\phi,\tau\}=\phi'''/\phi'-\tfrac{3}{2}(\phi''/\phi')^2$, integrated over $\phi\in\mathrm{diff}(S^1)/\mathrm{SL}(2,\mathbb{R})$ — the quotient of circle diffeomorphisms by the global conformal group $\mathrm{SL}(2,\mathbb{R})$, since constant shifts and Möbius transformations act trivially. The same theory governs the boundary mode of nearly-$\mathrm{AdS}_2$ Jackiw-Teitelboim (JT) gravity, a two-dimensional dilaton-gravity model in which the dilaton imposes a fixed curvature and the boundary reparametrization is the only dynamical boundary degree of freedom.

The quotient $\mathrm{diff}(S^1)/\mathrm{SL}(2,\mathbb{R})$ is a coadjoint orbit of the Virasoro group, and every coadjoint orbit carries a natural symplectic form (a closed, nondegenerate two-form defining the phase-space measure). The Duistermaat-Heckman (DH) formula states that on a symplectic manifold, the integral of $\exp(H/g^2)$, where the Hamiltonian $H$ generates a compact $U(1)$ symmetry via Poisson brackets, is exactly reproduced by its one-loop (Gaussian) approximation around the critical points of $H$ — a finite-dimensional avatar of supersymmetric localization. Stanford and Witten applied this to the Schwarzian path integral: the Schwarzian action generates time translations, a $U(1)$ symmetry of the orbit, so the path integral is one-loop exact, giving $Z(g)=\#/g^3\,e^{\pi/g^2}$, where $g^2=\beta/(2\pi C)$ with $\beta$ the inverse temperature and $C$ the Schwarzian coupling. The constant $\#$ is not fixed by localization: it depends on the ultraviolet regularization of the path integral. Inverting the Laplace transform gives a smooth density of states $\rho(E)\propto\sinh(2\pi\sqrt{2CE})$, which the paper shows cannot be $\mathrm{Tr}\,e^{-\beta H}$ of any single Hamiltonian (a continuous spectrum would make the trace diverge); at best it is a smoothed, coarse-grained density, expected in SYK to carry a prefactor exponential in $N$.

Three further loose ends matter here. First, Appendix B of the paper introduced a lattice discretization of the path integral that preserves the exact $\mathrm{SL}(2,\mathbb{R})$ gauge invariance at finite lattice spacing, sampled it by Monte Carlo, and stated the expectation that the lattice theory is one-loop exact only in the continuum limit (explicitly not at finite spacing) — but no proof of the continuum limit, nor any analysis of how the localization mechanism emerges from the discrete theory, was given. Second, the exact $\mathcal{N}=1$ and $\mathcal{N}=2$ (one and two supersymmetries) super-Schwarzian partition functions (the low-energy limits of supersymmetric SYK models built from supercharges, as constructed by Fu, Gaiotto, Maldacena, and Sachdev) rest on an extension of the DH formula to symplectic supermanifolds — spaces with commuting and anticommuting coordinates — given in Appendix A as a physics proof. In the super case there is no analog of the Pfaffian (the signed square root of a determinant that the symplectic form defines in the bosonic case): the measure involves square roots of the Berezinian (the super-determinant), each of which has an ambiguous sign because the odd tangent bundle has no natural orientation; the proof only shows that the signs cancel in a ratio, and global issues for general super-orbit spaces are not addressed. Related rigorous work on integrals over supermanifolds appears in the references — reference 21 gives a localization and stationary-phase formula for finite-dimensional supermanifolds carrying an odd symmetry, including the Berezinian and orientation apparatus, and reference 22 gives a residue-localization formula on complex supermanifolds — but both are finite-dimensional and require a non-degenerate fixed locus, and neither establishes a super-Duistermaat-Heckman formula for a compact $U(1)$-Hamiltonian flow on the infinite-dimensional super-orbit spaces appearing in the super-Schwarzian theories. Third, in the $\mathcal{N}=2$ case the partition function is a sum over saddles labeled by a winding number $n$ of the compact $U(1)$ phase field around the thermal circle; the paper fixes the prescription — all integer $n$ with coefficient one when the number $N$ of complex SYK fermions is even, alternating signs $(-1)^n$ when $N$ is odd — only by requiring consistency under a $2\pi$ shift of a chemical potential, not by derivation from the microscopic theory.

Subsequent developments resolved much of this. Maldacena, Stanford, and Yang matched the Schwarzian partition function of JT gravity including its degeneracy factor $e^{S_0}$ (the extremal entropy); Kitaev and Suh built a regulated two-particle model in $\mathrm{AdS}_2$ with a cutoff-independent renormalization scheme computing $\rho(E)$ explicitly; Mertens, and Blommaert, Mertens, and Verschelde, derived the result with fixed normalization from Liouville theory and Wilson lines; Belokurov and Shavgulidze evaluated the functional integral exactly using quasi-invariant measures on the diffeomorphism group; and the double-scaled SYK program (in which the fermion interaction length $p$ grows with $N$) derives the Schwarzian action, its one-loop determinant, and the full microscopic spectrum from solvable chord-diagram combinatorics (a diagrammatic exact solution of the disorder-averaged fermion moments). Saad, Shenker, and Stanford showed that JT gravity is equivalently a double-scaled matrix integral (an integral over random matrices whose expansion is organized by surface genus), so the Schwarzian is its genus-zero (disk) contribution and the smooth $\rho(E)$ is an ensemble-averaged density; discrete level statistics arise only from the sum over topologies. Most recently, Bauerschmidt, Losev, and Wildemann constructed the Schwarzian theory as a rigorously defined finite measure on the quotient of circle reparametrizations by $\mathrm{PSL}(2,\mathbb{R})$, via a nonlinear transformation of a Brownian bridge following Belokurov and Shavgulidze, and computed its partition function from a change-of-variables formula; companion works by Losev derive its exact correlation functions, its low-temperature large-deviation principle, and its high-temperature limit. Ferrari laid groundwork for a discretized ultraviolet completion of JT gravity — a matrix model counting random disks of constant curvature — from which the Schwarzian emerges as an effective theory at large negative cosmological constant. None of these routes passes through the finite, symmetry-preserving regulator proposed in the source paper, and none analyzes how one-loop exactness emerges from a cutoff. What these developments leave open is the subject of the problem below.

Problem Statement

Give the one-loop-exact Schwarzian partition function a complete regulator-level and mathematical foundation. The localization argument of Stanford and Witten (2017) fixes the coupling dependence $Z(g)=\#/g^3\,e^{\pi/g^2}$ (equivalently $Z(\beta)\propto\beta^{-3/2}e^{2\pi^2 C/\beta}$ with $g^2=\beta/(2\pi C)$) but is silent about everything the argument uses from the continuum theory; later literature has already determined the overall constant within several ultraviolet completions and settled the ensemble interpretation of the smooth density of states. The surviving problem has three linked components, each asking for a piece of the foundation that the localization argument assumes rather than establishes:

(1) Regulated definition with a controlled continuum limit. Construct and control a finite regulator of the Schwarzian path integral over $\mathrm{diff}(S^1)/\mathrm{SL}(2,\mathbb{R})$ and establish: (i) that the regulated theory converges, in a specified sense, to the exact continuum partition function and density of states $\rho(E)\propto\sinh(2\pi\sqrt{2CE})$, with the regulator-dependent constant tracked consistently; (ii) how one-loop exactness emerges: at what stage of the continuum limit do the higher-loop corrections cancel, given that the finite regulator is expected not to be one-loop exact; and (iii) whether any finite-cutoff version of exactness holds (for example an exact lattice fermionic symmetry). Currently the lattice model has only been sampled by illustrative Monte Carlo, and the only published follow-up checks agreement to second order in a boundary cutoff in a different (dilaton-gravity) setting. The recent rigorous probabilistic definition of the continuum bosonic measure sharpens but does not answer this component: it is a direct construction rather than the limit of a finite regulator, and it neither exhibits a mechanism by which one-loop exactness emerges from a cutoff nor extends to the supersymmetric theories.

(2) Formal Duistermaat-Heckman theorem for symplectic supermanifolds. State and prove (or correct/refute) the super-DH formula used in Appendix A of the source paper: for a compact $U(1)$-Hamiltonian flow on a symplectic supermanifold, the Berezinian integral of $\exp(H/g^2)$ equals its one-loop approximation, with a treatment of the orientation signs of the Berezinian square roots (there is no super-Pfaffian, and the odd tangent bundle has no natural orientation; the physics proof only shows the signs cancel in a ratio) and of global issues for general super-orbit spaces, including the infinite-dimensional supergroup quotients (quotients by symmetry groups with anticommuting generators, such as $\mathrm{SU}(1,1|1)$ orbits) appearing in the super-Schwarzian theories. The source paper sets out this formula only as a physics proof in Appendix A and does not itself pose a formal theorem, or its proof, as an open question; what is requested here is the statement and proof (or correction/refutation) that supplies that formal basis. The finite-dimensional statement and the sign treatment are given in the Berezinian-square-root measure used in Appendix A, with the signs fixed in the same conventions.

(3) First-principles derivation of the $\mathcal{N}=2$ winding-saddle prescription at ordinary scaling. Derive the prescription for summing winding saddles in the $\mathcal{N}=2$ super-Schwarzian — all integer windings $n$ with coefficient one for an even number $N$ of complex fermions, alternating signs $(-1)^n$ for odd $N$, together with the chemical-potential twist — directly from the microscopic $\mathcal{N}=2$ supersymmetric SYK path integral at fixed interaction length and $N\to\infty$, matching overall normalizations and phase factors quantitatively, rather than by consistency with $2\pi$-periodicity of the chemical potential. Analogous derivations exist in the double-scaled model, in q-deformed settings, and for gravitational ($\mathrm{AdS}_5$) black holes; the ordinary-scaling case remains to be assembled from its ingredients.

References

1. Douglas Stanford and Edward Witten, 'Fermionic Localization of the Schwarzian Theory', JHEP 10 (2017) 008, DOI 10.1007/JHEP10(2017)008, arXiv:1703.04612, https://arxiv.org/abs/1703.04612 (source paper)
2. Juan Maldacena, Douglas Stanford, and Zhenbin Yang, 'Conformal symmetry and its breaking in two-dimensional nearly anti-de Sitter space', Prog. Theor. Exp. Phys. 2016 (2016) 12C104, DOI 10.1093/ptep/ptw124, arXiv:1606.01857, https://arxiv.org/abs/1606.01857
3. Vladimir V. Belokurov and Evgeniy T. Shavgulidze, 'Exact solution of the Schwarzian theory', Phys. Rev. D 96, 101701 (2017), DOI 10.1103/PhysRevD.96.101701, https://doi.org/10.1103/PhysRevD.96.101701
4. Thomas G. Mertens, 'The Schwarzian Theory - Origins', JHEP 05 (2018) 036, DOI 10.1007/JHEP05(2018)036, arXiv:1801.09605, https://arxiv.org/abs/1801.09605
5. Andreas Blommaert, Thomas G. Mertens, and Henri Verschelde, 'The Schwarzian Theory - A Wilson Line Perspective', JHEP 12 (2018) 022, DOI 10.1007/JHEP12(2018)022, arXiv:1806.07765, https://arxiv.org/abs/1806.07765
6. Alexei Kitaev and S. Josephine Suh, 'Statistical mechanics of a two-dimensional black hole', JHEP 05 (2019) 198, DOI 10.1007/JHEP05(2019)198, arXiv:1808.07032, https://arxiv.org/abs/1808.07032
7. Phil Saad, Stephen H. Shenker, and Douglas Stanford, 'JT gravity as a matrix integral', arXiv:1903.11115, https://arxiv.org/abs/1903.11115
8. Yingfei Gu, Alexei Kitaev, Subir Sachdev, and Grigory Tarnopolsky, 'Notes on the complex Sachdev-Ye-Kitaev model', JHEP 02 (2020) 157, DOI 10.1007/JHEP02(2020)157, arXiv:1910.14099, https://arxiv.org/abs/1910.14099
9. Micha Berkooz, Nadav Brukner, Vladimir Narovlansky, and Amir Raz, 'The double scaled limit of super-symmetric SYK models', JHEP 12 (2020) 110, DOI 10.1007/JHEP12(2020)110, arXiv:2003.04405, https://arxiv.org/abs/2003.04405
10. Micha Berkooz, Vladimir Narovlansky, and Himanshu Raj, 'Complex Sachdev-Ye-Kitaev model in the double scaling limit', JHEP 02 (2021) 113, DOI 10.1007/jhep02(2021)113, arXiv:2006.13983, https://arxiv.org/abs/2006.13983
11. Mikhail Khramtsov and Elena Lanina, 'Spectral form factor in the double-scaled SYK model', JHEP 03 (2021) 031, DOI 10.1007/JHEP03(2021)031, arXiv:2011.01906, https://arxiv.org/abs/2011.01906
12. Cheng Peng and Stefan Stanojevic, 'Soft modes in N=2 SYK model', JHEP 01 (2021) 082, DOI 10.1007/jhep01(2021)082, arXiv:2006.13961, https://arxiv.org/abs/2006.13961
13. Su-Kuan Chu, Chen-Te Ma, and Chih-Hung Wu, 'Two-dimensional dilaton gravity theory and lattice Schwarzian theory', Int. J. Mod. Phys. A 34 (2019) 1950176, DOI 10.1142/S0217751X19501768, arXiv:1802.04599, https://arxiv.org/abs/1802.04599
14. Bryce Kobrin, Zhenbin Yang, Gregory D. Kahanamoku-Meyer, Christopher T. Olund, Joel E. Moore, Douglas Stanford, and Norman Y. Yao, 'Many-Body Chaos in the Sachdev-Ye-Kitaev Model', Phys. Rev. Lett. 126, 030602 (2021), DOI 10.1103/PhysRevLett.126.030602, arXiv:2002.05725, https://arxiv.org/abs/2002.05725
15. Henry W. Lin, Juan Maldacena, Liza Rozenberg, and Jieru Shan, 'Holography for people with no time', SciPost Phys. 14, 150 (2023), DOI 10.21468/SciPostPhys.14.6.150, arXiv:2207.00407, https://arxiv.org/abs/2207.00407
16. Jan Boruch, Matthew T. Heydeman, Luca V. Iliesiu, and Gustavo J. Turiaci, 'BPS and near-BPS black holes in $\mathrm{AdS}_5$ and their spectrum in $\mathcal{N}=4$ SYM', JHEP 07 (2025) 220, DOI 10.1007/jhep07(2025)220, arXiv:2203.01331, https://arxiv.org/abs/2203.01331
17. Andreas Blommaert, Thomas G. Mertens, and Shunyu Yao, 'The q-Schwarzian and Liouville gravity', JHEP 11 (2024) 054, DOI 10.1007/JHEP11(2024)054, arXiv:2312.00871, https://arxiv.org/abs/2312.00871
18. Andreas Blommaert, Adam Levine, Thomas G. Mertens, Jacopo Papalini, and Klaas Parmentier, 'An entropic puzzle in periodic dilaton gravity and DSSYK', arXiv:2411.16922, https://arxiv.org/abs/2411.16922
19. Micha Berkooz, Ronny Frumkin, Ohad Mamroud, and Josef Seitz, 'Twisted times, the Schwarzian and its deformations in DSSYK', JHEP 05 (2025) 080, DOI 10.1007/jhep05(2025)080, arXiv:2412.14238, https://arxiv.org/abs/2412.14238
20. Wenbo Fu, Davide Gaiotto, Juan Maldacena, and Subir Sachdev, 'Supersymmetric Sachdev-Ye-Kitaev models', Phys. Rev. D 95, 026009 (2017), DOI 10.1103/PhysRevD.95.026009, arXiv:1610.08917, https://arxiv.org/abs/1610.08917 (arXiv title: 'Supersymmetric SYK models')
21. Valentin Zakharevich, 'Localization and stationary phase approximation on supermanifolds', J. Math. Phys. 58, 083506 (2017), DOI 10.1063/1.5000042, arXiv:1701.01183, https://arxiv.org/abs/1701.01183
22. Leonardo Abath, Maurício Corrêa, and Miguel Rodríguez Peña, 'On residue localization for complex supermanifolds', arXiv:1909.13087, https://arxiv.org/abs/1909.13087
23. Roland Bauerschmidt, Ilya Losev, and Peter Wildemann, 'Probabilistic Definition of the Schwarzian Field Theory', arXiv:2406.17068, https://arxiv.org/abs/2406.17068
24. Ilya Losev, 'Probabilistic Correlation Functions of the Schwarzian Field Theory', arXiv:2406.17071, https://arxiv.org/abs/2406.17071
25. Ilya Losev, 'Large Deviations of the Schwarzian Field Theory', arXiv:2406.17069, https://arxiv.org/abs/2406.17069
26. Ilya Losev, 'Schwarzian Field Theory at High Temperatures', arXiv:2607.29423, https://arxiv.org/abs/2607.29423
27. Frank Ferrari, 'Random Disks of Constant Curvature: the Lattice Story', arXiv:2406.06875, https://arxiv.org/abs/2406.06875