Skip to content

AdS2/CFT1: JT gravity and the SYK model

These notes are a self-contained guide to the best-understood examples of AdS2/CFT1AdS_2/CFT_1 holography:

  • Jackiw–Teitelboim (JT) gravity, a universal effective theory of nearly AdS2AdS_2 regions (e.g. near-horizons of near-extremal black holes).
  • The Sachdev–Ye–Kitaev (SYK) model, a solvable large-NN quantum mechanics whose IR dynamics is governed by the same universal Schwarzian mode.

A recurring lesson is that exact AdS2AdS_2 is “too rigid”. If you insist on the strict AdS2AdS_2 boundary conditions familiar from higher-dimensional AdS/CFT, then finite-energy excitations typically do not exist as normalizable states: backreaction forces you out of the strict AdS2AdS_2 asymptotics. The correct low-energy physics of near-extremal black holes is instead described by nearly AdS2AdS_2, where an approximate reparametrization symmetry is broken down to an exact SL(2,R)SL(2,\mathbb{R}) subgroup and the surviving pseudo-Goldstone mode is described by the Schwarzian action. This same mode appears in SYK.

Conventions. We set c==kB=1c=\hbar=k_B=1. The AdS2AdS_2 radius is LL (often set to L=1L=1 temporarily). The 2D Newton constant is GG; in embeddings into higher dimensions, GG is related to the higher-dimensional GdG_d by dimensional reduction.


1. Why AdS2AdS_2 is special (and subtle)

Section titled “1. Why AdS2AdS_2AdS2​ is special (and subtle)”

A “CFT1CFT_1” is not a local QFT in the usual sense; it is conformal quantum mechanics. The global conformal group in 1D is the Möbius group acting on time:

SL(2,R):τaτ+bcτ+d,adbc=1.SL(2,\mathbb{R}) :\quad \tau \mapsto \frac{a\tau+b}{c\tau+d},\qquad ad-bc=1.

It is generated by the familiar triplet

  • HH (time translations),
  • DD (dilatations),
  • KK (special conformal transformations),

which can be represented as differential operators acting on functions of τ\tau:

H=τ,D=ττ,K=τ2τ,H = \partial_\tau,\qquad D=\tau\,\partial_\tau,\qquad K=\tau^2\,\partial_\tau,

obeying the sl(2,R)sl(2,\mathbb{R}) commutation relations

[D,H]=H,[D,K]=K,[H,K]=2D.[D,H]=H,\qquad [D,K]=-K,\qquad [H,K]=2D.

A primary operator O(τ)\mathcal{O}(\tau) of scaling dimension Δ\Delta transforms under SL(2,R)SL(2,\mathbb{R}) as

O(τ)  (cτ+d)2ΔO ⁣(aτ+bcτ+d).\mathcal{O}(\tau)\ \mapsto\ (c\tau+d)^{-2\Delta}\,\mathcal{O}\!\left(\frac{a\tau+b}{c\tau+d}\right).

Consequently, the SL(2,R)SL(2,\mathbb{R})-invariant vacuum two-point function takes the usual conformal form

O(τ)O(0)1τ2Δ.\langle \mathcal{O}(\tau)\mathcal{O}(0)\rangle \propto \frac{1}{|\tau|^{2\Delta}}.

Emergent reparametrizations and the Schwarzian

Section titled “Emergent reparametrizations and the Schwarzian”

At large NN, several quantum mechanical systems (SYK being the canonical example) exhibit an emergent (approximate) reparametrization symmetry

τf(τ),\tau \to f(\tau),

which is much larger than SL(2,R)SL(2,\mathbb{R}). In an IR conformal regime, SL(2,R)SL(2,\mathbb{R}) is typically exact, while the full Diff\mathrm{Diff} symmetry is:

  • explicitly broken by UV effects (in SYK, by the τ\partial_\tau term in the SD equations), and
  • spontaneously broken by choosing a particular thermal state (or vacuum).

The corresponding pseudo-Goldstone mode is governed by the Schwarzian action, whose central object is the Schwarzian derivative

{f(τ),τ}f(τ)f(τ)32(f(τ)f(τ))2.\{f(\tau),\tau\}\equiv \frac{f'''(\tau)}{f'(\tau)}-\frac{3}{2}\left(\frac{f''(\tau)}{f'(\tau)}\right)^2.

A crucial identity is that the Schwarzian is invariant under Möbius transformations:

f(τ)  af(τ)+bcf(τ)+d{f(τ),τ} is unchanged.f(\tau)\ \to\ \frac{a f(\tau)+b}{c f(\tau)+d}\quad\Rightarrow\quad \{f(\tau),\tau\}\ \text{is unchanged}.

This is why the physical configuration space of the Schwarzian mode is Diff/SL(2,R)\mathrm{Diff}/SL(2,\mathbb{R}) rather than all of Diff\mathrm{Diff}.


1.2 The geometry of AdS2AdS_2 and its boundary

Section titled “1.2 The geometry of AdS2AdS_2AdS2​ and its boundary”

A convenient form of Poincaré AdS2AdS_2 is

ds2=L2z2(dt2+dz2),z>0.ds^2=\frac{L^2}{z^2}\left(-dt^2+dz^2\right),\qquad z>0.

The boundary is at z0z\to 0, and in higher-dimensional holography one usually fixes the conformal class of the induced boundary metric there.

Another common coordinate system is global AdS2AdS_2:

ds2=L2(cosh2ρdt2+dρ2),ρ(,).ds^2 = L^2\left(-\cosh^2\rho\,dt^2 + d\rho^2\right), \qquad \rho\in(-\infty,\infty).

Equivalently, one can use

ds2=L2cos2σ(dτ2+dσ2),σ(π2,π2),ds^2 = \frac{L^2}{\cos^2\sigma}\left(-d\tau^2 + d\sigma^2\right), \qquad \sigma\in\left(-\frac{\pi}{2},\frac{\pi}{2}\right),

where the boundary components are at σ±π/2\sigma\to \pm \pi/2.

Key peculiarity: global AdS2AdS_2 has two disconnected boundaries (left and right). This already signals that AdS2AdS_2 holography is not a naïve dimensional reduction of AdSd3AdS_{d\ge 3} intuition.


In 2D, the Einstein tensor vanishes identically:

GμνRμν12Rgμν=0.G_{\mu\nu}\equiv R_{\mu\nu}-\frac12 R\,g_{\mu\nu}=0.

Equivalently, the Einstein–Hilbert action in 2D computes a topological invariant (the Euler characteristic):

116πGMd2xgRχ(M).\frac{1}{16\pi G}\int_M d^2x\,\sqrt{g}\,R \propto \chi(M).

So pure 2D Einstein gravity has no local dynamics: there are no propagating graviton degrees of freedom.

To obtain a dynamical theory that still captures near-horizon physics, one introduces a dilaton field Φ\Phi. In many higher-dimensional settings, Φ\Phi arises from dimensional reduction and measures the transverse area of the compact space (e.g. an Sd2S^{d-2}):

Φ  Area(K)4Gd.\Phi\ \sim\ \frac{\mathrm{Area}(\mathcal{K})}{4G_d}.

The universal nearly-AdS2AdS_2 effective theory of this type is JT gravity.


1.4 Backreaction in AdS2AdS_2: why “nearly AdS2AdS_2” is the right concept

Section titled “1.4 Backreaction in AdS2AdS_2AdS2​: why “nearly AdS2AdS_2AdS2​” is the right concept”

A useful way to summarize the subtlety is:

  • In higher-dimensional AdS/CFT, one usually fixes the boundary metric (up to Weyl rescaling) and studies normalizable bulk excitations.
  • In strict AdS2AdS_2, with the most naïve analog of those boundary conditions, finite-energy excitations typically backreact so strongly that the would-be AdS2AdS_2 boundary conditions are destroyed.

In near-extremal black holes, the correct low-energy sector is therefore not an autonomous “CFT1CFT_1 with a standard stress tensor,” but rather a nearly-AdS2AdS_2 throat whose only universal degree of freedom is a boundary reparametrization. This is precisely the Schwarzian mode.

A concrete way to see this in JT gravity is that the bulk curvature is fixed (R=2/L2R=-2/L^2), so the bulk metric is locally AdS2AdS_2 and the only dynamical imprint of energy above extremality is encoded in the boundary curve (or equivalently, the reparametrization function).


2. Nearly AdS2AdS_2 from near-extremal black holes

Section titled “2. Nearly AdS2AdS_2AdS2​ from near-extremal black holes”

2.1 Near-horizon AdS2×KAdS_2\times \mathcal{K}

Section titled “2.1 Near-horizon AdS2×KAdS_2\times \mathcal{K}AdS2​×K”

Many extremal black holes (charged, rotating, supersymmetric, etc.) have a near-horizon throat containing an AdS2AdS_2 factor,

ds2dsAdS22+dsK2,ds^2 \approx ds^2_{AdS_2} + ds^2_{\mathcal{K}},

where K\mathcal{K} is a compact space (often an Sd2S^{d-2}).

A standard example is the extremal Reissner–Nordström black hole in 4D, for which the near-horizon limit yields

ds2L22(ρ2dt2+dρ2ρ2)+r02dΩ22,ds^2 \approx L_2^2\left(-\rho^2 dt^2 + \frac{d\rho^2}{\rho^2}\right) + r_0^2\,d\Omega_2^2,

i.e. AdS2(L2)×S2(r0)AdS_2(L_2)\times S^2(r_0). (The specific relation between L2L_2 and r0r_0 depends on the UV completion and conventions; the essential point is the appearance of an AdS2AdS_2 throat.)

For a near-extremal black hole, the throat is not exactly AdS2AdS_2: it is a long, nearly-AdS2AdS_2 region whose departure from AdS2AdS_2 is controlled by a small energy above extremality. The universal low-energy description of this departure is JT gravity.


Under reduction from dd dimensions to 2 dimensions, one typically writes an ansatz of the schematic form

dsd2=gμν(x)dxμdxν+,ds_d^2 = g_{\mu\nu}(x)\,dx^\mu dx^\nu + \cdots,

where the omitted terms include a compact metric with an overall scale factor depending on the 2D coordinates. In the simplest (spherically symmetric) case,

dsd2=gμν(x)dxμdxν+r(x)2dΩd22,ds_d^2 = g_{\mu\nu}(x)\,dx^\mu dx^\nu + r(x)^2\,d\Omega_{d-2}^2,

and the dilaton is essentially the transverse area,

Φ(x)  r(x)d2.\Phi(x)\ \propto\ r(x)^{d-2}.

Fluctuations of Φ\Phi are not optional: they encode how the near-horizon throat glues to the asymptotic region. In the nearly-AdS2AdS_2 regime, the metric remains locally AdS2AdS_2 while the dilaton becomes dynamical and carries the information about energy and entropy above extremality.


JT gravity is the simplest 2D dilaton gravity that enforces constant negative curvature and captures universal near-extremal dynamics.

A standard Euclidean JT action is

IJT=116πG[Md2xgΦ(R+2L2)+2MduhΦK]+Ict.I_{\mathrm{JT}} = -\frac{1}{16\pi G}\left[\int_M d^2x\,\sqrt{g}\,\Phi\left(R+\frac{2}{L^2}\right) +2\int_{\partial M} du\,\sqrt{h}\,\Phi\,K\right] + I_{\mathrm{ct}}.

Here

  • hh is the induced metric on the boundary curve M\partial M,
  • KK is the extrinsic curvature (in 1D: the geodesic curvature) of that curve,
  • the boundary term is the 2D analog of the Gibbons–Hawking–York term ensuring a good variational principle for Dirichlet boundary conditions on the metric, and
  • IctI_{\mathrm{ct}} is a counterterm that removes divergences at the asymptotic boundary and implements holographic renormalization.

A convenient counterterm is

Ict=+18πGMduhΦL.I_{\mathrm{ct}}=+\frac{1}{8\pi G}\int_{\partial M} du\,\sqrt{h}\,\frac{\Phi}{L}.

Equivalently, one often packages the boundary terms as

Ibdy=18πGMduhΦ(K1L),I_{\mathrm{bdy}}=-\frac{1}{8\pi G}\int_{\partial M} du\,\sqrt{h}\,\Phi\left(K-\frac{1}{L}\right),

which makes it clear that only the deviation of KK from its AdS2AdS_2 value contributes after renormalization.

It is often useful to split the dilaton into a constant part and a fluctuating part,

Φ=Φ0+ϕ.\Phi = \Phi_0 + \phi.

The Φ0\Phi_0 piece multiplies the Euler characteristic:

116πGMgΦ0R18πGMhΦ0K=Φ04Gχ(M).-\frac{1}{16\pi G}\int_M \sqrt{g}\,\Phi_0 R -\frac{1}{8\pi G}\int_{\partial M}\sqrt{h}\,\Phi_0 K = -\frac{\Phi_0}{4G}\,\chi(M).

This produces a constant contribution to the black hole entropy,

S0=Φ04G,S_0=\frac{\Phi_0}{4G},

interpreted as the extremal (zero-temperature) entropy.

Varying IJTI_{\mathrm{JT}} with respect to Φ\Phi gives the constant-curvature condition

R=2L2.R=-\frac{2}{L^2}.

So the metric is locally AdS2AdS_2.

Varying with respect to gμνg_{\mu\nu} gives a linear equation for the dilaton:

μνΦgμν2Φ+1L2gμνΦ=0\nabla_\mu\nabla_\nu \Phi - g_{\mu\nu}\nabla^2\Phi + \frac{1}{L^2}g_{\mu\nu}\Phi = 0

in vacuum. With matter coupled to the 2D metric, the right-hand side becomes proportional to the matter stress tensor (details depend on the matter coupling).


3.2 Classical solutions: AdS2AdS_2 and the JT black hole

Section titled “3.2 Classical solutions: AdS2AdS_2AdS2​ and the JT black hole”

Because RR is fixed, solutions are locally AdS2AdS_2 but can differ globally and through the dilaton profile.

A convenient Lorentzian “black hole patch” of AdS2AdS_2 is

ds2=r2rh2L2dt2+L2r2rh2dr2,ds^2 = -\frac{r^2-r_h^2}{L^2}\,dt^2 + \frac{L^2}{r^2-r_h^2}\,dr^2,

with a dilaton profile

Φ(r)=Φ0+ΦrrL.\Phi(r)=\Phi_0 + \Phi_r\,\frac{r}{L}.

Here Φr\Phi_r sets the slope of the dilaton and is fixed by the UV completion (e.g. by matching to the higher-dimensional geometry).

The Hawking temperature is

T=rh2πL2,T=\frac{r_h}{2\pi L^2},

and the entropy is determined by the dilaton at the horizon:

S=Φ(rh)4G=S0+Φr4GrhL.S=\frac{\Phi(r_h)}{4G}=S_0+\frac{\Phi_r}{4G}\frac{r_h}{L}.

Eliminating rhr_h in favor of TT yields the characteristic linear-in-TT near-extremal entropy:

S(T)=S0+2π(ΦrL4G)T.S(T)=S_0 + 2\pi \left(\frac{\Phi_r L}{4G}\right) T.

The combination in parentheses is (up to conventions) the same parameter that becomes the Schwarzian coupling.


3.3 Boundary conditions and the boundary reparametrization mode

Section titled “3.3 Boundary conditions and the boundary reparametrization mode”

To define “nearly AdS2AdS_2” precisely, one introduces a cutoff boundary curve close to the asymptotic region and fixes two pieces of data:

  1. The proper boundary line element (i.e. the induced metric along the curve).
  2. The leading divergence of the dilaton along the curve.

A standard choice is to require the induced metric to be

ds2=du2ϵ2,ds^2_{\partial} = \frac{du^2}{\epsilon^2},

where uu is the boundary time and ϵ\epsilon is a UV cutoff. One also fixes

Φ=ϕrϵ,\Phi\big|_{\partial} = \frac{\phi_r}{\epsilon},

where ϕr\phi_r is a renormalized parameter kept fixed as ϵ0\epsilon\to 0.

The boundary curve in Poincaré AdS2AdS_2

Section titled “The boundary curve in Poincaré AdS2AdS_2AdS2​”

Work in Euclidean Poincaré AdS2AdS_2,

ds2=L2z2(dt2+dz2).ds^2=\frac{L^2}{z^2}\left(dt^2+dz^2\right).

A boundary curve is described by an embedding (t(u),z(u))(t(u),z(u)). Imposing ds2=du2/ϵ2ds^2_{\partial}=du^2/\epsilon^2 fixes the curve to be asymptotically

t(u)=f(u),z(u)=ϵf(u)+O(ϵ3),t(u)=f(u),\qquad z(u)=\epsilon\,f'(u)+O(\epsilon^3),

for some monotonic function f(u)f(u). So the only remaining dynamical degree of freedom is the reparametrization f(u)f(u): it tells you how the physical boundary time uu is embedded into the “natural” AdS2AdS_2 time tt.


3.4 The Schwarzian action from JT: the essential derivation

Section titled “3.4 The Schwarzian action from JT: the essential derivation”

On-shell, the bulk term vanishes because R=2/L2R=-2/L^2, so the effective action reduces to the renormalized boundary term:

IJT,on-shell=18πGMduhΦ(K1L)S0χ(M).I_{\mathrm{JT,on\text{-}shell}} = -\frac{1}{8\pi G}\int_{\partial M} du\,\sqrt{h}\,\Phi\left(K-\frac{1}{L}\right) - S_0\,\chi(M).

Now evaluate KK for the near-boundary curve. One finds the universal expansion

K=1L(1+ϵ2{f(u),u}+O(ϵ4)).K = \frac{1}{L}\left(1 + \epsilon^2\,\{f(u),u\} + O(\epsilon^4)\right).

Plugging h=1/ϵ\sqrt{h}=1/\epsilon and Φ=ϕr/ϵ\Phi=\phi_r/\epsilon into the boundary action gives

IJT,on-shell=S0Cdu{f(u),u}+O(ϵ2),I_{\mathrm{JT,on\text{-}shell}} = -S_0 - C\int du\,\{f(u),u\} + O(\epsilon^2),

where the Schwarzian coupling is

C=ϕr8πG.C = \frac{\phi_r}{8\pi G}.

(Depending on conventions and how LL is scaled, you may encounter C=ϕrL/(8πG)C=\phi_r L/(8\pi G); what matters is that CC has dimensions of energy×\timestime2^2 and controls the near-extremal specific heat.)

Two structural points are worth emphasizing:

  1. Symmetry: the Schwarzian is invariant under SL(2,R)SL(2,\mathbb{R}), so the physical configuration space is

    Diff(S1)/SL(2,R).\mathrm{Diff}(S^1)/SL(2,\mathbb{R}).
  2. Universality: any UV completion producing a long nearly-AdS2AdS_2 throat yields the same low-energy action; all model dependence is encoded in S0S_0 and CC.


At finite temperature β1\beta^{-1} we work on the Euclidean circle uu+βu\sim u+\beta. The classical saddle corresponding to a smooth Euclidean black hole is represented by a map with constant Schwarzian, for example

f(u)=tan(πuβ){f(u),u}=2π2β2.f(u)=\tan\left(\frac{\pi u}{\beta}\right) \quad\Rightarrow\quad \{f(u),u\}=\frac{2\pi^2}{\beta^2}.

Plugging this into the Schwarzian action yields the leading low-temperature partition function

logZ(β)=S0+2π2Cβ+.\log Z(\beta)=S_0+\frac{2\pi^2 C}{\beta}+\cdots.

Hence

E(β)=βlogZ=2π2Cβ2+,S(β)=logZ+βE=S0+4π2Cβ+.E(\beta)=-\partial_\beta \log Z = \frac{2\pi^2 C}{\beta^2}+\cdots, \qquad S(\beta)=\log Z+\beta E = S_0+\frac{4\pi^2 C}{\beta}+\cdots.

This reproduces the hallmark near-extremal scaling:

ET2,SS0T.E\propto T^2,\qquad S-S_0\propto T.

Beginner note: the exact Schwarzian path integral can be solved (see [11]) and yields a universal density of states with a characteristic sinh\sinh behavior at high energy. The precise prefactors depend on the normalization convention for CC, so it is best to consult a reference when you need the exact expression.


3.6 Matter correlators in nearly AdS2AdS_2

Section titled “3.6 Matter correlators in nearly AdS2AdS_2AdS2​”

A simple way to include probe matter is to consider a bulk scalar of mass mm, dual to a boundary primary operator O(u)\mathcal{O}(u) of dimension Δ\Delta related by

m2L2=Δ(Δ1).m^2 L^2 = \Delta(\Delta-1).

For a fixed reparametrization f(u)f(u), the conformal two-point function takes the universal form

O(u1)O(u2)f(f(u1)f(u2)[f(u1)f(u2)]2)Δ.\langle \mathcal{O}(u_1)\mathcal{O}(u_2)\rangle_f \propto \left( \frac{f'(u_1)f'(u_2)}{\left[f(u_1)-f(u_2)\right]^2} \right)^{\Delta}.

The physical correlator is obtained by integrating over ff with weight eISch[f]e^{-I_{\mathrm{Sch}}[f]}. This “gravitational dressing by the Schwarzian” is the robust universal prediction of nearly-AdS2AdS_2 gravity.


Nearly-AdS2AdS_2 gravity exhibits maximal Lyapunov growth in out-of-time-order correlators (OTOCs). The universal statement is

λL=2πβ,\lambda_L = \frac{2\pi}{\beta},

which saturates the general chaos bound. On the gravity side, this is tied to high-energy scattering near the horizon (shockwave physics). In the Schwarzian theory, it comes from the dynamics of the reparametrization mode, which enhances certain four-point functions and produces the exponential growth.


SYK is a solvable large-NN quantum mechanics of NN Majorana fermions with random all-to-all interactions. It provides a concrete microscopic realization of the Schwarzian mode and of maximal chaos.

The (Majorana) SYK Hamiltonian with even qq-fermion interactions is

H=iq/21i1<<iqNJi1iqψi1ψiq,H = i^{q/2}\sum_{1\le i_1<\cdots<i_q\le N} J_{i_1\cdots i_q}\,\psi_{i_1}\cdots\psi_{i_q},

with Majorana fermions obeying

{ψi,ψj}=δij.\{\psi_i,\psi_j\}=\delta_{ij}.

The couplings are drawn from a Gaussian ensemble with

Ji1iq=0,Ji1iq2=(q1)!J2Nq1.\langle J_{i_1\cdots i_q}\rangle=0, \qquad \langle J_{i_1\cdots i_q}^2\rangle = \frac{(q-1)!\,J^2}{N^{q-1}}.

The scaling with NN is chosen so that the model has a sensible large-NN limit: typical energies remain O(N)O(N) and correlation functions admit a controlled 1/N1/N expansion.


4.2 Disorder average and bilocal formulation

Section titled “4.2 Disorder average and bilocal formulation”

After averaging over Ji1iqJ_{i_1\cdots i_q} (using replicas, supersymmetry, or self-averaging assumptions), the theory can be rewritten in terms of bilocal collective fields:

  • the fermion two-point function G(τ1,τ2)G(\tau_1,\tau_2), and
  • a self-energy Σ(τ1,τ2)\Sigma(\tau_1,\tau_2) enforcing the definition of GG.

At large NN, the effective action takes the schematic form

Ieff[G,Σ]N=12logdet(τΣ)+12dτ1dτ2[ΣGJ2qGq].\frac{I_{\mathrm{eff}}[G,\Sigma]}{N} = -\frac12 \log\det(\partial_\tau-\Sigma) +\frac12 \int d\tau_1 d\tau_2\left[\Sigma\,G-\frac{J^2}{q}G^q\right].

Varying with respect to GG and Σ\Sigma gives the Schwinger–Dyson equations. In frequency space,

G(iωn)1=iωnΣ(iωn),Σ(τ)=J2G(τ)q1,G(i\omega_n)^{-1}=-i\omega_n-\Sigma(i\omega_n), \qquad \Sigma(\tau)=J^2\,G(\tau)^{q-1},

and in the time domain one often writes the first equation as a convolution:

(τ1Σ)G=δ,(\partial_{\tau_1}-\Sigma)\circ G = \delta,

meaning

dτ3(τ1δ(τ1τ3)Σ(τ1,τ3))G(τ3,τ2)=δ(τ1τ2).\int d\tau_3\,(\partial_{\tau_1}\delta(\tau_1-\tau_3)-\Sigma(\tau_1,\tau_3))\,G(\tau_3,\tau_2)=\delta(\tau_1-\tau_2).

4.3 Emergent conformal regime and reparametrizations

Section titled “4.3 Emergent conformal regime and reparametrizations”

In the deep IR, ωJ|\omega|\ll J (equivalently βJ1\beta J\gg 1 at finite temperature), one can often neglect the iωn-i\omega_n term. The SD equations then become approximately invariant under time reparametrizations

τf(τ),\tau \to f(\tau),

with the transformation law

G(τ1,τ2)[f(τ1)f(τ2)]ΔG(f(τ1),f(τ2)),Δ=1q.G(\tau_1,\tau_2)\to \left[f'(\tau_1)f'(\tau_2)\right]^{\Delta}\,G(f(\tau_1),f(\tau_2)), \qquad \Delta=\frac{1}{q}.

A conformal solution at zero temperature is

Gc(τ)=bsgn(τ)Jτ2Δ,Δ=1q,G_c(\tau)=b\,\frac{\mathrm{sgn}(\tau)}{|J\tau|^{2\Delta}}, \qquad \Delta=\frac{1}{q},

with bb fixed by the SD equations. A common (convention-dependent) expression is

bq=12π(12Δ)tan(πΔ).b^q=\frac{1}{2\pi}(1-2\Delta)\tan(\pi\Delta).

At finite temperature, the conformal correlator is obtained by mapping the line to the circle:

Gc(τ)=b(π/βJsin(πτ/β))2Δsgn(τ).G_c(\tau)=b\left(\frac{\pi/\beta}{J\sin(\pi\tau/\beta)}\right)^{2\Delta}\mathrm{sgn}(\tau).

4.4 Explicit breaking and the Schwarzian action in SYK

Section titled “4.4 Explicit breaking and the Schwarzian action in SYK”

The UV term iωn-i\omega_n (or τ\partial_\tau in the time domain) explicitly breaks reparametrization symmetry. The resulting low-energy effective action for the soft mode is again the Schwarzian:

ISch[f]=CSYK0βdτ{f(τ),τ},I_{\mathrm{Sch}}[f] = -C_{\mathrm{SYK}}\int_0^\beta d\tau\,\{f(\tau),\tau\},

with

CSYK=αS(q)NJ,C_{\mathrm{SYK}} = \alpha_S(q)\,\frac{N}{J},

where αS(q)\alpha_S(q) is a known positive qq-dependent number (see e.g. [6,10]).

This is one of the sharpest pieces of evidence for the nearly-AdS2AdS_2 interpretation: the same effective theory controls both SYK and JT gravity.


4.5 Four-point function, ladder diagrams, and chaos

Section titled “4.5 Four-point function, ladder diagrams, and chaos”

The connected four-point function at large NN is dominated by ladder diagrams. One introduces a kernel K\mathcal{K} acting on bilocal functions; schematically,

F=F0+KF,\mathcal{F} = \mathcal{F}_0 + \mathcal{K}\circ \mathcal{F},

so F\mathcal{F} is controlled by eigenvalues of K\mathcal{K}. A crucial role is played by an eigenmode corresponding to an operator of dimension h=2h=2, associated to reparametrizations. This is precisely the mode captured by the Schwarzian effective action.

In real time, the OTOC exhibits exponential growth controlled by the Lyapunov exponent

λL=2πβ,\lambda_L=\frac{2\pi}{\beta},

saturating the chaos bound. The associated scrambling time scales as

tβ2πlogN,t_* \sim \frac{\beta}{2\pi}\log N,

up to qq-dependent factors and corrections at finite coupling.


4.6 Spectral statistics and random-matrix behavior

Section titled “4.6 Spectral statistics and random-matrix behavior”

At very late times, SYK exhibits spectral correlations well described by random matrix theory, including the “ramp” and “plateau” in spectral form factors. This is closely related to the fact that Euclidean JT gravity, when defined by summing over topologies, computes ensemble-averaged quantities—see Section 5.4.


5. The JT/SYK correspondence: what matches and what it means

Section titled “5. The JT/SYK correspondence: what matches and what it means”

A clean and widely used statement is not “JT is dual to SYK” in precisely the same sense as higher-dimensional AdS/CFT, but rather:

JT gravity captures the universal, symmetry-controlled low-energy sector of near-extremal black holes, and SYK provides an explicit solvable quantum system whose low-energy sector is governed by the same Schwarzian dynamics.

The matching includes:

  • Thermodynamics: SS0TS-S_0\propto T and ET2E\propto T^2 with the same Schwarzian coefficient.
  • Correlation functions: the conformal form dressed by reparametrizations matches.
  • Chaos: λL=2π/β\lambda_L=2\pi/\beta and the structure of OTOCs match.
  • Operator structure: the reparametrization (stress-tensor-like) sector in SYK corresponds to boundary graviton/dilaton fluctuations in JT.

There are two key parameters on the JT side:

  • S0S_0 (or Φ0\Phi_0): the extremal entropy.
  • CC (or ϕr/G\phi_r/G): the Schwarzian coupling controlling the near-extremal specific heat.

On the SYK side, at large NN and strong coupling (βJ1\beta J\gg 1):

  • S0S_0 is the residual entropy at T0T\to 0 (large at large NN).
  • CSYK=αS(q)N/JC_{\mathrm{SYK}}=\alpha_S(q)N/J controls the Schwarzian effective action.

Schematically,

S0JTS0SYK,CJTCSYK.S_0^{\mathrm{JT}} \leftrightarrow S_0^{\mathrm{SYK}}, \qquad C^{\mathrm{JT}} \leftrightarrow C^{\mathrm{SYK}}.

Once this identification is made, many low-energy observables coincide.


5.3 What should “CFT1CFT_1” mean here?

Section titled “5.3 What should “CFT1CFT_1CFT1​” mean here?”

A common source of confusion is what “CFT1CFT_1” should mean in AdS2/CFT1AdS_2/CFT_1. Three useful viewpoints are:

  1. Effective-sector viewpoint: near-extremal black holes have a universal nearly-AdS2AdS_2 sector described by the Schwarzian; SYK realizes the same sector microscopically.

  2. Ensemble viewpoint (Euclidean JT): when JT is defined by summing over Euclidean topologies, the path integral computes an ensemble average over boundary quantum systems. This is powerful for reproducing spectral correlations, but it means the “dual” is not a single fixed Hamiltonian.

  3. Embedding viewpoint (UV completion): in string theory / higher-dimensional gravity, an AdS2AdS_2 throat is embedded into a UV-complete theory with additional degrees of freedom. The full dual is a standard CFT (or quantum system) in the UV, and the AdS2AdS_2 dynamics describes a subsector.

Which viewpoint is appropriate depends on the question you are asking. For many low-energy thermodynamic and chaotic observables, the Schwarzian sector is the robust universal content.


5.4 Wormholes, factorization, and matrix integrals (important caveat)

Section titled “5.4 Wormholes, factorization, and matrix integrals (important caveat)”

If one sums over Euclidean topologies in JT gravity, one finds contributions from wormholes connecting multiple boundaries. This reproduces universal random-matrix correlations and leads naturally to a matrix-integral description of JT gravity.

However, wormhole contributions imply that multi-boundary partition functions do not factorize in the naïve way expected of a single quantum theory:

Z(β1,β2)Z(β1)Z(β2)Z(\beta_1,\beta_2)\neq Z(\beta_1)\,Z(\beta_2)

in the gravitational computation. The modern understanding is that the JT path integral computes ensemble-averaged quantities, for which such non-factorization is expected.

In higher-dimensional black holes, the nearly-AdS2AdS_2 region is a low-energy effective description inside a larger UV-complete theory, and one should be careful about which “sum over topologies” is physically appropriate.


6. Beyond the minimal setup (brief roadmap)

Section titled “6. Beyond the minimal setup (brief roadmap)”

Standard directions beyond the simplest JT/SYK story include:

  • Complex SYK and U(1)U(1) charge: charged nearly-AdS2AdS_2 gravity and additional soft modes (phase mode + Schwarzian).
  • Supersymmetric SYK: additional structure and protected sectors.
  • Tensor models (no disorder): SYK-like solvability without quenched randomness.
  • Extra matter in AdS2AdS_2: modifies operator content while retaining the universal Schwarzian sector at low energies.
  • Embedding into string theory: relating S0S_0 and CC to microscopic degeneracies and moduli of higher-dimensional black holes.

[1] C. Teitelboim, Gravitation and Hamiltonian Structure in Two Spacetime Dimensions, Phys. Lett. B 126, 41 (1983).

[2] R. Jackiw, Lower Dimensional Gravity, in Quantum Theory of Gravity (S. Christensen, ed.), (Hilger, Bristol, 1984).

[3] S. Sachdev and J. Ye, Gapless Spin-Fluid Ground State in a Random Quantum Heisenberg Magnet, Phys. Rev. Lett. 70, 3339 (1993).

[4] S. Sachdev, Bekenstein–Hawking Entropy and Strange Metals, Phys. Rev. X 5, 041025 (2015) [arXiv:1506.05111].

[5] A. Almheiri and J. Polchinski, Models of $AdS_2$ Backreaction and Holography, JHEP 11, 014 (2015) [arXiv:1402.6334].

[6] J. Maldacena and D. Stanford, Remarks on the Sachdev–Ye–Kitaev Model, Phys. Rev. D 94, 106002 (2016) [arXiv:1604.07818].

[7] K. Jensen, Chaos in $AdS_2$ Holography, Phys. Rev. Lett. 117, 111601 (2016) [arXiv:1605.06098].

[8] J. Maldacena, D. Stanford and Z. Yang, Conformal Symmetry and its Breaking in Two-Dimensional Nearly Anti-de Sitter Space, Prog. Theor. Exp. Phys. 2016, 12C104 (2016) [arXiv:1606.01857].

[9] J. Polchinski and V. Rosenhaus, The Spectrum in the Sachdev–Ye–Kitaev Model, JHEP 04, 001 (2016) [arXiv:1601.06768].

[10] A. Kitaev and S. J. Suh, The Soft Mode in the Sachdev–Ye–Kitaev Model and its Gravity Dual, JHEP 05, 183 (2018) [arXiv:1711.08467].

[11] T. G. Mertens, G. J. Turiaci and H. L. Verlinde, Solving the Schwarzian Theory, JHEP 08, 136 (2017) [arXiv:1705.08408].

[12] P. Saad, S. H. Shenker and D. Stanford, JT Gravity as a Matrix Integral, JHEP 04, 120 (2020) [arXiv:1903.11115].

[13] D. Stanford and E. Witten, JT Gravity and the Ensembles of Random Matrix Theory, Adv. Theor. Math. Phys. 26, 1 (2022) [arXiv:1907.03363].

[14] P. Saad, S. H. Shenker and D. Stanford, A Semiclassical Ramp in SYK and in Gravity, JHEP 03, 067 (2019) [arXiv:1806.06840].

[15] E. Witten, An SYK-Like Model Without Disorder, J. Phys. A 52, 474002 (2019) [arXiv:1610.09758].

[16] I. R. Klebanov and G. Tarnopolsky, Uncolored Random Tensors, Melon Diagrams, and the SYK Models, Phys. Rev. D 95, 046004 (2017) [arXiv:1611.08915].

[17] D. Grumiller, W. Kummer and D. V. Vassilevich, Dilaton Gravity in Two Dimensions, Phys. Rept. 369, 327 (2002) [arXiv:hep-th/0204253].

[18] A. Kitaev, A Simple Model of Quantum Holography, KITP program “Entangled Quantum Matter” (2015). (See also the early SYK literature and later write-ups cited above.)