Skip to content

JT Gravity and the Schwarzian

Guiding question. Why do so many controlled calculations of islands and replica wormholes use Jackiw–Teitelboim gravity, and what is the Schwarzian mode that makes nearly AdS2_2 gravity dynamical?

The island formula is conceptually general, but explicit computations require a model where three things are simultaneously under control:

  1. the gravitational entropy term,
  2. the semiclassical matter entropy,
  3. the backreaction of Hawking radiation on the geometry.

Jackiw–Teitelboim gravity, usually called JT gravity, is the simplest model with all three ingredients. Its metric is locally fixed to AdS2_2, so it has no propagating gravitons. But it is not trivial. The dilaton measures the transverse area of a near-extremal black hole, the boundary of nearly AdS2_2 has a physical reparametrization mode, and that mode is governed by the Schwarzian action.

In this page we build the JT toolkit needed for the later Page-curve and replica-wormhole pages. The main formulas are

IJT=116πGN[Md2xgΦ0R+2MduhΦ0K+Md2xgΦ(R+2)+2MduhΦbK]+Ict+Imatter,I_{\rm JT} = -{1\over 16\pi G_N} \left[ \int_M d^2x\sqrt g\,\Phi_0 R +2\int_{\partial M}du\sqrt h\,\Phi_0 K +\int_M d^2x\sqrt g\,\Phi(R+2) +2\int_{\partial M}du\sqrt h\,\Phi_b K \right]+I_{\rm ct}+I_{\rm matter}, R=2,R=-2, Sgrav(p)=Φ0+Φ(p)4GN,S_{\rm grav}(p)= {\Phi_0+\Phi(p)\over 4G_N},

and

ISch[f]=Cdu{f(u),u},{f,u}=ff32(ff)2.I_{\rm Sch}[f]=-C\int du\,\{f(u),u\}, \qquad \{f,u\}= {f'''\over f'}-{3\over 2}\left({f''\over f'}\right)^2.

The first says that JT gravity is two-dimensional dilaton gravity. The second says that the metric is locally AdS2_2. The third says that a point in two-dimensional gravity carries black-hole entropy through the dilaton. The fourth says that the physical boundary mode of nearly AdS2_2 is a reparametrization f(u)f(u) with Schwarzian dynamics.

1. Why JT gravity is the island laboratory

Section titled “1. Why JT gravity is the island laboratory”

In a higher-dimensional near-extremal charged or rotating black hole, the near-horizon region often contains a long AdS2_2 throat. The area of the transverse sphere is not constant along the throat. After reducing on the angular directions, that varying area becomes a two-dimensional scalar field: the dilaton.

Schematically,

higher-dimensional metricAdS2 metric gμν plus dilaton Φ.\text{higher-dimensional metric} \quad\longrightarrow\quad \text{AdS}_2\text{ metric }g_{\mu\nu} \text{ plus dilaton }\Phi.

The dilaton remembers the size of the transverse space. For an ordinary black hole the Bekenstein–Hawking entropy is area over 4GN4G_N. In the two-dimensional reduction, the same statement becomes

SBH=Φ0+Φh4GN,S_{\rm BH}= {\Phi_0+\Phi_h\over 4G_N},

where Φh\Phi_h is the dilaton evaluated at the horizon. The constant Φ0\Phi_0 gives the extremal entropy S0=Φ0/(4GN)S_0=\Phi_0/(4G_N), while the varying part Φ\Phi gives the near-extremal entropy above extremality.

Near-extremal black hole throat and JT reduction

A near-extremal black hole can develop a long nearly AdS2_2 throat. Dimensional reduction on the transverse directions gives a two-dimensional metric plus a dilaton Φ\Phi, which measures the transverse area. The extremal entropy is encoded in Φ0\Phi_0, while the varying dilaton controls the entropy above extremality.

This is why JT gravity is not just a random toy model. It captures the universal low-energy dynamics of a broad class of near-extremal black holes. It is also simple enough that the gravitational path integral, the Schwarzian boundary mode, and many matter entropies can be handled explicitly.

There is one important warning. JT gravity is not a complete microscopic theory of a single conventional AdS/CFT system. Its nonperturbative completion is closely related to matrix ensembles, and this creates factorization questions discussed later in the course. For island computations, however, JT gravity is invaluable because it gives a precise semiclassical arena where the generalized-entropy prescription can be evaluated.

There are many normalization conventions in the literature. We will use a convention in which the Euclidean JT action is

IJT=116πGN[Md2xgΦ0R+2MduhΦ0K+Md2xgΦ(R+2)+2MduhΦbK]+Ict+Imatter.I_{\rm JT} = -{1\over 16\pi G_N} \left[ \int_M d^2x\sqrt g\,\Phi_0 R +2\int_{\partial M}du\sqrt h\,\Phi_0 K +\int_M d^2x\sqrt g\,\Phi(R+2) +2\int_{\partial M}du\sqrt h\,\Phi_b K \right]+I_{\rm ct}+I_{\rm matter}.

Here:

  • gμνg_{\mu\nu} is the two-dimensional metric;
  • Φ\Phi is the dynamical dilaton;
  • Φ0\Phi_0 is a constant topological dilaton;
  • KK is the extrinsic curvature of the asymptotic boundary;
  • IctI_{\rm ct} denotes local boundary counterterms;
  • ImatterI_{\rm matter} is the matter theory coupled to the JT geometry.

The constant-dilaton part is topological:

Φ016πGN[MgR+2MhK]=S0χ(M),S0=Φ04GN,-{\Phi_0\over 16\pi G_N} \left[ \int_M \sqrt g\,R+2\int_{\partial M}\sqrt h\,K \right] = -S_0\,\chi(M), \qquad S_0={\Phi_0\over 4G_N},

where χ(M)\chi(M) is the Euler characteristic. This factor is important in replica wormholes and higher-topology sums because it weights different topologies by powers of eS0e^{S_0}.

The dynamical part is the term Φ(R+2)\Phi(R+2). Varying with respect to Φ\Phi gives

R+2=0.R+2=0.

Thus every classical solution is locally AdS2_2 with unit AdS radius. The dilaton does not make the metric locally fluctuate; instead, it controls boundary dynamics, entropy, and backreaction.

Varying the metric gives the dilaton equation. In a schematic Lorentzian convention, it has the form

μνΦgμν2Φ+gμνΦ=8πGNTμνmatter,\nabla_\mu\nabla_\nu\Phi -g_{\mu\nu}\nabla^2\Phi +g_{\mu\nu}\Phi =8\pi G_N T_{\mu\nu}^{\rm matter},

up to sign changes from Euclidean versus Lorentzian conventions. The important point is physical: matter stress-energy does not change the local curvature constraint R=2R=-2, but it changes the dilaton and the embedding of the boundary. In nearly AdS2_2, backreaction is mostly the dynamics of the boundary clock.

3. Classical solutions: AdS2_2 and the JT black hole

Section titled “3. Classical solutions: AdS2_22​ and the JT black hole”

The Poincare patch of AdS2_2 is

ds2=dt2+dz2z2,z>0.ds^2={-dt^2+dz^2\over z^2}, \qquad z>0.

A simple vacuum dilaton profile is

Φ=ϕrz.\Phi={\phi_r\over z}.

The divergence near z=0z=0 reflects the fact that the two-dimensional description is glued to a UV region or a boundary system. The constant ϕr\phi_r fixes the renormalized boundary value of the dilaton and becomes the coefficient of the Schwarzian action.

The eternal JT black hole can be written as

ds2=(r2rh2)dt2+dr2r2rh2,Φ=ϕrr.ds^2=-(r^2-r_h^2)dt^2+{dr^2\over r^2-r_h^2}, \qquad \Phi=\phi_r r.

The horizon is at r=rhr=r_h. Regularity of the Euclidean geometry gives

T=rh2π.T={r_h\over 2\pi}.

The black-hole entropy is

SBH=S0+Φh4GN=S0+ϕrrh4GN.S_{\rm BH}=S_0+{\Phi_h\over 4G_N} =S_0+{\phi_r r_h\over 4G_N}.

Equivalently, if

C=ϕr8πGN,C={\phi_r\over 8\pi G_N},

then the near-extremal entropy and energy scale as

SS0=4π2CT,E=2π2CT2,S-S_0=4\pi^2 C T, \qquad E=2\pi^2 C T^2,

up to an additive choice of the zero of energy. This linear-in-temperature entropy is one of the universal signatures of the nearly AdS2_2 throat.

JT black hole and dilaton profile

The JT black-hole metric is locally AdS2_2, but the dilaton is nontrivial. The horizon value Φh\Phi_h contributes to the black-hole entropy, while the renormalized boundary value ϕr\phi_r controls the Schwarzian coupling C=ϕr/(8πGN)C=\phi_r/(8\pi G_N).

Notice the division of labor. The metric knows about causal structure and temperature. The dilaton knows about entropy and backreaction. This is exactly what makes JT gravity so efficient for Page-curve calculations.

AdS2_2 has a peculiarity that is crucial for black-hole information. The boundary of AdS2_2 is one-dimensional, and the asymptotic symmetry group contains arbitrary reparametrizations of boundary time,

uf(u).u\mapsto f(u).

But the exact AdS2_2 geometry preserves only a finite-dimensional subgroup,

PSL(2,R).PSL(2,\mathbb R).

Thus the pattern is

time reparametrizationsPSL(2,R).\text{time reparametrizations} \quad\longrightarrow\quad PSL(2,\mathbb R).

The modes in the quotient

Diff(S1)PSL(2,R)\frac{\text{Diff}(S^1)}{PSL(2,\mathbb R)}

are the soft boundary modes of nearly AdS2_2. They are not ordinary bulk gravitons. They are fluctuations of how the physical boundary curve sits inside the fixed AdS2_2 geometry.

A convenient way to impose the nearly AdS2_2 boundary conditions is to draw a cutoff curve in Poincare AdS2_2:

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

with induced proper length

ds=duϵ.ds_{\partial}={du\over \epsilon}.

The parameter uu is the physical boundary time, while f(u)f(u) is the Poincare time seen by the bulk coordinates. Different functions f(u)f(u) describe different boundary trajectories.

Nearly AdS2 boundary curve and Schwarzian mode

In nearly AdS2_2, the bulk metric is locally fixed, but the cutoff boundary curve is dynamical. The reparametrization t=f(u)t=f(u) is the physical boundary mode. Evaluating the JT boundary action on this curve gives the Schwarzian action.

This boundary mode is the gravitational degree of freedom that controls low-energy dynamics, correlator backreaction, shock waves, and chaos in nearly AdS2_2 systems.

Evaluating the JT action on the nearly AdS2_2 boundary curve gives an effective action for the reparametrization f(u)f(u):

ISch[f]=Cdu{f(u),u},I_{\rm Sch}[f] =-C\int du\,\{f(u),u\},

where

{f,u}=ff32(ff)2\{f,u\}= {f'''\over f'}-{3\over 2}\left({f''\over f'}\right)^2

is the Schwarzian derivative. The coefficient is

C=ϕr8πGNC={\phi_r\over 8\pi G_N}

in the convention used above.

The Schwarzian has two key properties.

First, it is invariant under projective transformations

f(u)af(u)+bcf(u)+d,adbc=1.f(u)\mapsto {a f(u)+b\over c f(u)+d}, \qquad ad-bc=1.

This is the residual PSL(2,R)PSL(2,\mathbb R) redundancy of AdS2_2.

Second, it penalizes deviations from exact PSL(2,R)PSL(2,\mathbb R) motion. It is therefore the effective action for the pseudo-Goldstone mode associated with the breaking of reparametrization symmetry.

At finite temperature, one often writes the thermal boundary coordinate as

f(u)=tanπτ(u)β,f(u)=\tan {\pi \tau(u)\over \beta},

so that

ISch[τ]=C0βdu{tanπτ(u)β,u}.I_{\rm Sch}[\tau] =-C\int_0^\beta du\, \left\{\tan {\pi \tau(u)\over \beta},u\right\}.

For the thermal saddle τ(u)=u\tau(u)=u,

{tanπuβ,u}=2(πβ)2.\left\{\tan {\pi u\over \beta},u\right\}=2\left({\pi\over \beta}\right)^2.

This reproduces the near-extremal thermodynamics

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

and therefore

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

The dots include one-loop measure factors and possible matter contributions. The leading thermodynamic dependence is controlled by the Schwarzian.

Schwarzian symmetry breaking pattern

The nearly AdS2_2 boundary mode lives in reparametrizations modulo PSL(2,R)PSL(2,\mathbb R). The Schwarzian action is the universal low-energy action for this pseudo-Goldstone mode and controls the near-extremal thermodynamics.

JT gravity by itself describes a nearly AdS2_2 gravitational region. To model Hawking radiation and islands, one couples it to matter and often to a nongravitating bath.

A typical setup has

I=IJT[g,Φ]+ICFT[g]+Ibath+Iinterface.I=I_{\rm JT}[g,\Phi]+I_{\rm CFT}[g]+I_{\rm bath}+I_{\rm interface}.

The matter sector is frequently a two-dimensional CFT because entanglement entropies of intervals are known explicitly. For an interval in flat space, the vacuum entropy is

SCFT([x1,x2])=c3logx1x2ϵ.S_{\rm CFT}([x_1,x_2])={c\over 3}\log {|x_1-x_2|\over \epsilon}.

In Lorentzian coordinates and curved backgrounds, the formula is dressed by light-cone separations and Weyl factors, but the basic point remains: in two dimensions, SmatterS_{\rm matter} can be computed precisely enough to extremize SgenS_{\rm gen}.

The bath is usually nongravitating. This is not a cosmetic choice. It gives the radiation region RR an ordinary Hilbert-space meaning, so S(R)S(R) is a standard von Neumann entropy. The gravitational region supplies the black hole and possible islands; the bath stores the Hawking radiation.

Transparent or absorbing boundary conditions allow energy to leave the AdS2_2 gravitational region. Reflecting boundary conditions would instead keep the black hole in equilibrium.

In JT gravity, the local curvature remains R=2R=-2 even with matter, but the boundary trajectory and dilaton respond to stress-energy. This is why many evaporating JT models can be treated as conformal transformations of simple AdS2_2 or black-hole geometries, with the nontrivial physics carried by the dilaton and Schwarzian boundary mode.

The island formula in two-dimensional JT gravity is especially transparent because a codimension-two surface is a point. If the island boundary consists of points pip_i, then the gravitational part of the generalized entropy is

Sgrav(I)=piIΦ0+Φ(pi)4GN.S_{\rm grav}(\partial\mathcal I) =\sum_{p_i\in\partial\mathcal I}{\Phi_0+\Phi(p_i)\over 4G_N}.

Thus

Sgen(R,I)=piIΦ0+Φ(pi)4GN+Smatter(RI).S_{\rm gen}(R,\mathcal I) =\sum_{p_i\in\partial\mathcal I}{\Phi_0+\Phi(p_i)\over 4G_N} +S_{\rm matter}(R\cup\mathcal I).

The quantum extremal surface condition is simply endpoint extremization:

piSgen(R,I)=0.\partial_{p_i}S_{\rm gen}(R,\mathcal I)=0.

In words, the dilaton gradient balances the endpoint dependence of the matter entropy. This is the JT version of the general QES equation

δ(Area4GN)+δSbulk=0.\delta\left({\operatorname{Area}\over 4G_N}\right)+\delta S_{\rm bulk}=0.

JT island generalized entropy

In JT gravity an island boundary is a set of points. Each endpoint contributes (Φ0+Φ)/(4GN)({\Phi_0+\Phi})/(4G_N) to the generalized entropy, while the matter term is the entropy of the union RIR\cup\mathcal I. The QES equation balances the dilaton gradient against the variation of SmatterS_{\rm matter}.

For many island examples the dominant endpoint lies near the horizon. This statement should not be overinterpreted. The invariant content is not the coordinate location of the endpoint, but the fact that the endpoint solves the QES equation and that the corresponding island saddle has smaller generalized entropy than the no-island saddle.

To see the structure, suppose a one-sided island has a single relevant endpoint coordinate aa. Write

Sgen(a)=Φ0+Φ(a)4GN+Smatter(RIa).S_{\rm gen}(a) ={\Phi_0+\Phi(a)\over 4G_N}+S_{\rm matter}(R\cup I_a).

The QES equation is

14GNdΦ(a)da+ddaSmatter(RIa)=0.{1\over 4G_N}\,{d\Phi(a)\over da} +{d\over da}S_{\rm matter}(R\cup I_a)=0.

The first term is classical and geometric. The second is quantum and nonlocal. The equation can have no solution, one solution, or several solutions depending on the radiation region, the state, and the matter theory.

After solving the endpoint equation, one still has to compare saddles:

S(R)=min{Smatter(R),  Sgen(a),  }.S(R)=\min\left\{S_{\rm matter}(R),\; S_{\rm gen}(a_*),\; \ldots\right\}.

This is the same extremize-then-minimize logic as the previous page, now specialized to the dilaton formula.

9. The Schwarzian as backreaction of the boundary clock

Section titled “9. The Schwarzian as backreaction of the boundary clock”

A useful physical picture is that the Schwarzian is the action for the boundary clock. Matter falling into or escaping from the JT region changes the relation between boundary time and bulk time. This is the two-dimensional remnant of gravitational backreaction.

In pure AdS2_2, a boundary reparametrization is nearly a gauge redundancy. In nearly AdS2_2, the cutoff boundary and dilaton boundary condition make this mode physical. Correlators of matter operators inserted at the boundary are therefore dressed by the fluctuating map f(u)f(u).

For a boundary operator of dimension Δ\Delta, the vacuum two-point function dressed by a reparametrization has the schematic form

(f(u1)f(u2)(f(u1)f(u2))2)Δ.\left({f'(u_1)f'(u_2)\over (f(u_1)-f(u_2))^2}\right)^\Delta.

Integrating over ff with the Schwarzian action produces gravitational corrections to boundary correlators. In particular, out-of-time-order correlators display maximal chaos with Lyapunov exponent

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

in the semiclassical Schwarzian regime. This same backreaction physics underlies shock-wave calculations and the sensitivity of near-horizon modes to time translations.

For islands, the Schwarzian is less visible in the final one-line formula, but it is part of what makes the semiclassical JT path integral calculable. It controls the boundary dynamics, the thermal ensemble, and the gravitational dressing of matter correlators used in replica computations.

10. Disk partition function and density of states

Section titled “10. Disk partition function and density of states”

The Schwarzian path integral gives the leading disk partition function of JT gravity. Up to a conventional normalization,

Zdisk(β)eS0C3/2β3/2exp(2π2Cβ).Z_{\rm disk}(\beta) \sim e^{S_0}\,{C^{3/2}\over \beta^{3/2}} \exp\left({2\pi^2 C\over \beta}\right).

The corresponding density of states behaves as

ρ(E)eS0sinh(2π2CE).\rho(E)\sim e^{S_0}\sinh\left(2\pi\sqrt{2CE}\right).

At high enough energy within the near-extremal regime, this gives

S(E)S0+2π2CE.S(E)\sim S_0+2\pi\sqrt{2CE}.

The factor eS0e^{S_0} is the large extremal degeneracy. The square-root entropy above extremality is the microcanonical form of the linear-in-temperature entropy.

This disk result is not the whole nonperturbative theory. Once one sums over topologies, JT gravity is related to a matrix integral. That topic belongs to the later pages on replica wormholes, Euclidean wormholes, ensemble averaging, and factorization. For now, the key lesson is simple: the same model that gives a clean black-hole thermodynamics also supplies a controlled gravitational path integral.

11. Why JT is enough, and why it is not everything

Section titled “11. Why JT is enough, and why it is not everything”

JT gravity is enough for many lessons because it contains:

  • a black-hole entropy term;
  • a horizon and Hawking temperature;
  • semiclassical matter fields with computable entropies;
  • boundary backreaction through the Schwarzian;
  • a gravitational path integral with replica saddles;
  • QES endpoints whose generalized entropy can be explicitly extremized.

It is not everything because:

  • it has no propagating gravitons;
  • its geometry is locally fixed to AdS2_2;
  • it is usually tied to near-extremal physics;
  • its nonperturbative completion has ensemble-like features;
  • it does not by itself solve the microscopic factorization problem of a single UV-complete holographic theory.

This is the right balance. JT gravity is not the final theory of black holes. It is the cleanest solvable arena in which the modern fine-grained entropy rules become concrete.

The next page will compute the Page curve in JT gravity. The ingredients from this page will appear there as follows:

Sgen=piΦ0+Φ(pi)4GN+SCFT(RI),S_{\rm gen} =\sum_{p_i}{\Phi_0+\Phi(p_i)\over 4G_N} +S_{\rm CFT}(R\cup\mathcal I),

with SCFTS_{\rm CFT} computed from two-dimensional conformal field theory and the endpoint positions pip_i determined by extremization. The no-island saddle reproduces the Hawking growth. The island saddle gives a late-time answer controlled by the remaining black-hole entropy.

The replica-wormhole page will then explain where this prescription comes from in the gravitational replica path integral. In JT gravity, the n1n\to1 limit of the replica geometry is especially explicit, and the fixed points of the replica symmetry become the island endpoints.

Pitfall 1: “JT gravity is trivial because R=2R=-2.”

The local metric has no propagating degrees of freedom, but the theory is not trivial. The dilaton, boundary trajectory, topology, and matter backreaction carry the physics relevant for entropy and islands.

Pitfall 2: “The Schwarzian is an arbitrary boundary term.”

The Schwarzian is the effective action obtained by evaluating the JT boundary action under nearly AdS2_2 boundary conditions. It encodes the physical boundary reparametrization mode.

Pitfall 3: “The dilaton is just a spectator field.”

No. The dilaton determines black-hole entropy, controls the Schwarzian coupling, and appears directly in the QES equation.

Pitfall 4: “An island endpoint in JT is a literal area surface.”

In two-dimensional gravity, codimension-two surfaces are points. The “area” term is replaced by the dilaton entropy (Φ0+Φ)/(4GN)({\Phi_0+\Phi})/(4G_N) at those points.

Pitfall 5: “JT islands prove every detail of realistic four-dimensional evaporation.”

They prove something more precise and more limited: in a controlled semiclassical gravitational model, the fine-grained entropy of radiation is computed by QES/island saddles and can follow a Page curve.

Vary the JT action with respect to the dilaton Φ\Phi and show that the classical metric has constant negative curvature.

Solution

The dynamical dilaton appears in the bulk as

IΦ=116πGNMd2xgΦ(R+2).I_\Phi=-{1\over 16\pi G_N}\int_M d^2x\sqrt g\,\Phi(R+2).

Varying Φ\Phi gives

δIΦ=116πGNMd2xgδΦ(R+2).\delta I_\Phi=-{1\over 16\pi G_N}\int_M d^2x\sqrt g\,\delta\Phi(R+2).

Since δΦ\delta\Phi is arbitrary in the bulk, the equation of motion is

R+2=0.R+2=0.

Thus the metric is locally AdS2_2 with unit AdS radius. The nontrivial dynamics are in the dilaton, boundary mode, matter, and topology.

Compute the Schwarzian derivative of

f(u)=eauf(u)=e^{a u}

and of

f(u)=tanπuβ.f(u)=\tan {\pi u\over \beta}.
Solution

For f(u)=eauf(u)=e^{a u},

ff=a,ff=a2.{f''\over f'}=a, \qquad {f'''\over f'}=a^2.

Therefore

{eau,u}=a232a2=a22.\{e^{a u},u\}=a^2-{3\over 2}a^2=-{a^2\over 2}.

For f(u)=tan(ku)f(u)=\tan(k u), a direct calculation gives

{tan(ku),u}=2k2.\{\tan(k u),u\}=2k^2.

With k=π/βk=\pi/\beta,

{tanπuβ,u}=2(πβ)2.\left\{\tan {\pi u\over \beta},u\right\}=2\left({\pi\over \beta}\right)^2.

This is the identity used to evaluate the thermal Schwarzian saddle.

For

ds2=(r2rh2)dt2+dr2r2rh2,Φ=ϕrr,ds^2=-(r^2-r_h^2)dt^2+{dr^2\over r^2-r_h^2}, \qquad \Phi=\phi_r r,

show that the temperature is T=rh/(2π)T=r_h/(2\pi) and compute the entropy.

Solution

Near r=rhr=r_h, write r=rh+δrr=r_h+\delta r. Then

r2rh22rhδr.r^2-r_h^2\approx 2r_h\delta r.

After Wick rotation t=iτt=-i\tau, the near-horizon metric is

ds22rhδrdτ2+d(δr)22rhδr.ds^2\approx 2r_h\delta r\,d\tau^2+{d(\delta r)^2\over 2r_h\delta r}.

Set

ρ2=2δrrh.\rho^2={2\delta r\over r_h}.

Then

ds2dρ2+rh2ρ2dτ2.ds^2\approx d\rho^2+r_h^2\rho^2 d\tau^2.

Regularity requires rhτr_h\tau to have period 2π2\pi, so

β=2πrh,T=rh2π.\beta={2\pi\over r_h}, \qquad T={r_h\over 2\pi}.

The entropy is the dilaton entropy at the horizon:

SBH=Φ0+Φh4GN=S0+ϕrrh4GN.S_{\rm BH}= {\Phi_0+\Phi_h\over 4G_N} =S_0+{\phi_r r_h\over 4G_N}.

Exercise 4. Endpoint extremization in a toy JT island

Section titled “Exercise 4. Endpoint extremization in a toy JT island”

Suppose an island endpoint has coordinate aa and the generalized entropy is approximated by

Sgen(a)=S0+αa4GN+c6log(La),S_{\rm gen}(a)=S_0+{\alpha a\over 4G_N}+{c\over 6}\log(L-a),

where 0<a<L0<a<L and α>0\alpha>0. Find the QES equation and solve for aa_*.

Solution

Extremizing gives

dSgenda=α4GNc61La=0.{dS_{\rm gen}\over da} ={\alpha\over 4G_N}-{c\over 6}{1\over L-a}=0.

Hence

La=2cGN3α,L-a_*={2cG_N\over 3\alpha},

so

a=L2cGN3α.a_*=L-{2cG_N\over 3\alpha}.

The endpoint exists inside the assumed interval if

0<L2cGN3α<L.0<L-{2cG_N\over 3\alpha}<L.

The exercise illustrates the balance between the classical dilaton gradient and the quantum matter-entropy gradient.

Using

logZ(β)=S0+2π2Cβ,\log Z(\beta)=S_0+{2\pi^2 C\over \beta},

compute E(β)E(\beta) and S(β)S(\beta). Then write S(E)S(E).

Solution

The canonical energy is

E=βlogZ=2π2Cβ2.E=-\partial_\beta\log Z={2\pi^2 C\over \beta^2}.

The entropy is

S=logZ+βE=S0+2π2Cβ+2π2Cβ=S0+4π2Cβ.S=\log Z+\beta E =S_0+{2\pi^2 C\over \beta}+{2\pi^2 C\over \beta} =S_0+{4\pi^2 C\over \beta}.

Solving for β\beta gives

β=2π2CE.\beta=\sqrt{2\pi^2 C\over E}.

Thus

S(E)=S0+2π2CE.S(E)=S_0+2\pi\sqrt{2CE}.

This is the leading semiclassical JT density-of-states entropy above extremality.

  • R. Jackiw, “Lower Dimensional Gravity,” Nucl. Phys. B 252 (1985) 343.
  • C. Teitelboim, “Gravitation and Hamiltonian Structure in Two Spacetime Dimensions,” Phys. Lett. B 126 (1983) 41.
  • A. Almheiri and J. Polchinski, “Models of AdS2_2 Backreaction and Holography,” arXiv:1402.6334.
  • J. Maldacena, D. Stanford, and Z. Yang, “Conformal Symmetry and Its Breaking in Two Dimensional Nearly Anti-de-Sitter Space,” arXiv:1606.01857.
  • P. Saad, S. H. Shenker, and D. Stanford, “JT Gravity as a Matrix Integral,” arXiv:1903.11115.
  • A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, and A. Tajdini, “Replica Wormholes and the Entropy of Hawking Radiation,” arXiv:1911.12333.
  • A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, and A. Tajdini, “The Entropy of Hawking Radiation,” arXiv:2006.06872.