Exact Embeddings of JT Gravity in Strings and M-theory

We show that two-dimensional JT gravity, the holographic dual of the IR fixed point of the SYK model, can be obtained from the consistent Kaluza-Klein reduction of a class of EMD theories in general $D$ dimensions. For $D=4$, $5$, the EMD theories can be themselves embedded in supergravities. These exact embeddings provide the holographic duals in the framework of strings and M-theory. We find that a class of JT gravity solutions can be lifted to become time-dependent charged extremal black holes. They can be further lifted, for example, to describe the D1/D5-branes where the worldsheet is the Milne universe, rather than the typical Minkowski spacetime.


Introduction
The AdS/CFT correspondence [1] serves as a bridge that connects some conformal field theory (CFT d ) in d dimensions and gravity in the anti-de Sitter (AdS D ) background in D = d + 1 dimensions. This holographic duality was best studied between the N = 4 D = 4 superconformal field theory and type IIB string in the AdS 5 × S 5 background. The duality is however expected to be applicable for other classes of conformal field theories.
The duality remains largely conjectural, and the simplest examples to prove this duality may be associated with the integrable models that can be solved completely. However, such models with conformal symmetries are hard to come by.
Recently, Sachdev-Ye-Kitaev (SYK) model [2][3][4], which describes random all-to-all interactions between N Majorana fermions in 0 + 1 dimension, has drawn a large amount of attentions due to its integrability in the large N limit. The SYK model exhibits approximate conformal symmetry in the infrared (IR) limit, suggesting that the SYK model may be a CFT 1 at low energy. It was shown to be maximally chaotic [3][4][5] in the sense that its out-of-time order correlators exhibit Lyapunov exponents and butterfly effects [6] and they saturate [7] the chaos bound established by black holes [6]. Therefore, the SYK model may have an AdS 2 bulk gravity dual.
The NCFT 1 property is related to the fact that the bulk theory can not be Einstein gravity in D = 2 dimensions. Specifically, the Einstein-Hilbert action is simply a topological constant and thus gives no dynamics. Thus nontrivial D = 2 gravity must non-minimally couple to a matter field. The simplest example is perhaps the Jackiw-Teitelboim (JT) gravity [30,31] When Λ 0 is negative, the JT model admits the AdS 2 vacuum; however, the full AdS 2 symmetry is broken by the nontrivial dilaton Φ [32]. JT gravity may thus provide a gravity dual of the SYK model [33] (See appendix A for details.), and the SYK/AdS 2 duality can thus be addressed in the context of JT gravity [14,[32][33][34][35][36][37][38][39].
In fact, one may consider more complicated dilaton gravities in two dimensions, which were extensively studied in the last century for addressing basic problems of quantum gravity (see, e.g. [40] for a review.) Two-dimensional gravities received new attention in the light of holography. Almheiri and Polchinski (AP) recently introduced a general family of dilatongravity models [41] S = 1 16π For appropriate potential U , the theory admits AdS 2 vacuum with constantΦ 2 = Φ 0 . One can now perform a perturbation, the effective action for the linear perturbation is then precisely the JT gravity [42].
However, the above embeddings of JT gravity is at the linear perturbation level. We are interested in exact embeddings of JT gravity in higher dimensions. The simplest example is perhaps Einstein gravity with a cosmological constant in three dimensions, with the reduction ansatz being ds 2 3 = ds 2 2 + Φ 2 dz 2 [52][53][54][55]. Since AdS 3 emerges naturally in strings and M-theory, the reduction ansatz provides a direct link between SYK and string theories.
Ref. [52] also obtained JT gravity coupled to a Maxwell field from the STU supergravity model in four dimensions [56] by the Kaluza-Klein reduction on S 2 .
In this paper, we present an alternative exact embedding of JT gravity in higher di-mensions. We construct a class of Einstein-Maxwell-Dilaton (EMD) theories in general D dimensions with appropriate dilaton couplings and scalar potential. We demonstrate that JT gravity can be obtained from the EMD theories via consistent Kaluza-Klein reductions.
It turns out that for D = 4 and D = 5, the EMD theories without the scalar potential can be embedded in supergravities, which themselves can be obtained from the Kaluza-Klein reduction of strings and M-theory.
The paper is organized as follows. In section 2, we present a class of EMD theories in D dimensions and express them in the f (R)-frame where the manifest kinetic term of the dilaton vanishes. We then perform consistent Kaluza-Klein reductions and show that JT gravity can indeed emerge. In section 3, we consider solutions in JT gravity and oxidize them to become solutions in the EMD theories in higher dimensions. We find that a class of JT gravity solutions are related to the previously-known time-dependent extremal black holes.
In section 4, we consider the EMD theories in four and five dimensions and show they are consistent truncations of the bosonic sector of supergravities and/or gauged supergravities.
This allows to embed the solutions in strings and M-theory. We conclude the paper in section 5. In the appendix, we give some detail review of how JT gravity can give rise to the Schwarzian action.
2 An EMD embedding of JT gravity

A class of EMD theories
We begin with a class of EMD theories considered in [57]. The theories consist of the metric, a scalar φ, and two U (1) gauge fields A and A. The Lagrangian in the Einstein frame is given by where F = dA, F = dA and the dilatonic coupling constants satisfy The scalar potential V is inspired by those in gauge supergravities, given in terms of a super-potential W [57] For reasons that will become apparent, in this paper, we are particularly interested in the case with The potential is thus Note that if we set A = 0 and also turn off the scalar potential, the remainder of the theory is simply the Kaluza-Klein theory with A being the Kaluza-Klein vector. The EMD theories were inspired by gauged supergravities. In D = 4 and 5, the Lagrangians are the consistent truncations of the bosonic sector of the respective gauged STU models. Their embeddings in M-theory and type IIB strings via Kaluza-Klein sphere reductions were given in [58].
We now make a constant shift of φ, and redefine Dropping the tilde, the Lagrangian takes the same form as (2.1), but with V now given by This allows us to set the parameter g 1 and g 2 to zero independently.

Conformal transformation
We now make a conformal transformation [59] the Lagrangian, after dropping the tildes, becomes The conformal transformation (2.8) is such that the dilaton's kinetic term is absent and the equation of motion for Φ becomes algebraic. This can be generally done in supegravities or gauged supergravities and such a conformally transformed theory was referred as the f (R)-version of supergravity in [59]. In this paper we shall also refer (2.9) as gravity in the f (R)-frame.
In order to make contact with JT gravity through dimensional reduction, we take A = 0 and g 2 = 0, the resulting EMD theory in the f (R)-frame is In four and five dimensions, the theories can be obtained from taking appropriate limit of the bosonic sector of the STU gauged supergravity models. When g 1 = 0, they can be truncated consistently from supergravities and hence can be embedded in string and M-theory.

JT gravity from Kaluza-Klein reduction
In this subsection, we show that JT gravity can be obtained from this EMD theory (2.11) by the consistent Kaluza-Klein reduction. The internal space is taken to be (D−2)-dimensional The corresponding Ricci scalar is given by (2.12) In order for the reduction to be consistent, we take all the singlet of the isometry group of the internal space. The reduction ansatz is thus given by where µ = 0, 1 and x µ are respectively the indices and coordinates of the metric ds 2 2 . The Kaluza-Klein reduction in the Einstein frame down to dimensions higher than or equal to three was obtained in [60]. We find that the reduced Lagrangian from (2.11) in two dimensions is (2.14) The equation of motion associated with A is which can be solved by where λ is an integration constant associated with the electric charge and ǫ (2) is the volume 2-form of ds 2 2 . The variations associated with Φ and ϕ yield Finally, the equation of motion associated with the variation of g µν , when (2.17) and (2.18) are applied, is given by Taking the trace yields This equation, together with the two scalar equations (2.17) and (2.18), imply that we can take ϕ = ϕ 0 to be constant, provided that the charge parameter λ is The remainder equations can be summarized as It is now straightforward to see that the equations (2.22) can be derived from the action of JT gravity (1.2). In appendix A, we review how the JT action, together with the bounary terms of the Gibbons-Hawking type and the holographic counterterm, give rise to the Schwarzian action in the appropriate AdS 2 background.
To conclude, JT gravity with (2.23) can be obtained from the Kaluza-Klein reduction of the D-dimensional EMD theory (2.11) and the consistent reduction ansatz is (2.24)

Oxidations and time-dependent black holes
In the previous section, we demonstrate that JT gravity in two dimensions can be obtained from the consistent Kaluza-Klein reduction of the EMD theory (2.11) on an internal Einstein space. This allows us to oxidize all the two-dimensional solutions to higher dimensions. In particular, we find that some special two-dimensional solutions become the decoupling limit of time-dependent extremal black holes.

Oxidation of the solutions
The two-dimensional metric is Einstein with a negative cosmological constant. We can thus take the metric to be Then equations (2.22) of JT gravity admit the locally AdS 2 solution where α, β, γ are integral constants. The theory also admits the "black hole" solution For g 1 = 0, corresponding V = 0 in D dimensions, it follows from (2.23) that we must require k = 1, and hence In this case, the two-dimensional solutions can be lifted to become D-dimensional ones. In the Einstein frame, they take the form For g 1 = 0, we can have all k = 1, 0, −1, and Λ 0 is given by (2.23). The D-dimensional solutions become

Time-dependent extremal black holes
The general EMD theory (2.1) admits a class of charged black hole solutions [57]. For the dilaton coupling choice (2.4) and vanishing scalar potential, the charged extremal black hole is given by To make contact with the solutions in JT gravity, we setq = 0 and furthermore we take the decoupling limit with 1 in H dropped. The solution becomes

Embeddings in strings and M-theory
In the previous sections, we show that JT gravity can be obtained from consistent Kaluza-Klein reduction of a class of EMD theory (2.11) in general D dimensions. In four and five dimensions, the EMD theories can be embedded in supergravities, allowing exact embeddings of JT gravity in strings and M-theory. This will provide a better understanding of the time-dependence of the solutions.

The D = 5 theory
We first consider the D = 5 EMD theory (2.11). It follows from the discussion in section 2 that in the Einstein frame, the Lagrangian is given by The (truncated) reduction ansatz is given by 3) The D = 5 time-dependent extremal black hole (3.7) withq = 0 becomes This is the self-dual string, with the flat worldsheet metric being the two-dimensional Milne universe, namely where t = 1 4t 2 . The solution can be further lifted to become the intersecting D1/D5 system, or M2/M5-branes. The near horizon geometry has an AdS 3 factor whose boundary is the two-dimensional Milne universe rather than the Minkowski spacetime.

The D = 4 theory
The EMD theory (2.11) in four dimensions in the Einstein frame is given by For g 1 = 0, the theory can be embedded into the STU supergravity model, with three equal gauge potentials set equal and the fourth one set zero. The embedding of JT gravity in this theory is part of more general Kaluza-Klein reductions obtained in [52]. The D = 4 theory (g 1 = 0) can be obtained from the S 1 reduction of minimal supergravity in five dimensions, The five-dimensional Maxwell field descends down to four dimensions directly. The timedependent black hole solution becomes Turning off the charge by setting q = 0, and hence H = 1, the metric describes a Kasnertype cosmological solution. We can also lift the solution (3.5) to five dimensions and find where Φ is given in (3.2). This solution with α = 0 is precisely the decoupling limit of (4.9) with the 1 in H dropped.
The D = 4 EMD theory with g 1 = 0 can also be embedded in M-theory with the reduction ansatz given by where dΣ 2 6 is Euclidean or Ricci-flat Calabi-Yau space with a harmonic 2-form I (2) . The oxidized solution can be viewed as the M2/M2/M2 intersection, or M2-brane wrapping around the Calabi-Yau 2-cycles.
We have examined the EMD theories (2.11) for D = 4 and 5, with g 1 = 0. These theories can be embedded into supergravities. This provides many routes of JT gravity to strings and M-theory, since there are many different ways of embedding of these EMD theories in the fundamental theories. (See e.g. [63].) The higher dimensional solutions are related to M-branes, D-branes and their intersections, see e.g. [64][65][66] 4.3 D = 4, 5 theories with g 1 = 0 When g 1 = 0, the theory can also be obtained from taking an appropriate limit of gauged supergravities, by taking g 2 = 0 in the scalar potential (2.7). However, the sphere reduction ansätze constructed for g 1 g 2 = 0 [58] do not appear to allow the g 2 = 0 limit. It turns out that although the D = 4, 5 theories with g 2 = 0 and g 1 = 0 cannot be obtained M-theory or strings directly from sphere reductions, they can be obtained from S 1 reduction of gauged supergravities that can be reduced from higher dimensions on spheres.
For example, the Lagrangian for the bosonic sector of minimal gauged supergravity in five dimensions is For the pure electric ansatz we consider in this paper, the last F F A term can be dropped.
The reduction ansatz (4.8) with the F descending directly gives rise to precisely the D = 4 EMD theory (4.7), with g 1 = 2g. The five-dimensional gauged supergravity (4.12) can itself be obtained from type IIB supergravity on S 5 , and the reduction ansatz can be found in [58]. Its (singular) embedding in M-theory was also obtained [67]. The effective cosmological constant Λ 0 (2.23) in JT gravity now has contributions from D3-brane charges as well as the gauged supergravity R-charges associated with rotations of D3-branes.
The D = 5 theory can also be obtained from D = 6 Einstein gravity coupled to cosmological constant and a self-dual 3-form The reduction ansatz (4.3) gives precisely (4.1) with g 2 1 = 5g 2 /2. The (4.13) theory is a consistent truncation of the bosonic sector of D = 6, N = (1, 1) gauged supergravity that can be embedded in massive type IIA theory [69]. The effective cosmological constant in JT gravity in this embedding is related to the D4/D8-brane charges.
Finally, it is worth noting that for F = 0, the theory (2.11) in general D dimensions can all be obtained from the circle reduction of Einstein gravity with a cosmological constant in D + 1 dimensions [59].

Conclusions
In this paper, we demonstrated that JT gravity in two dimensions could be obtained from the consistent Kaluza-Klein reduction on a class of EMD theories (2.11)  intersections. For g 1 = 0, we find that the cosmological constant in JT gravity is related to D3-brane or D4/D8-brane charges depending on the specific route of the embeddings.
The fact that the Milne universe appears in the worldsheet or worldvolume of branes is tantalizing. Non-dilatonic extremal p-branes such as the M-branes or the D3-brane have in general AdS d × S D−d as their near-horizon geometry. When the boundary (the brane worldvolume) of the AdS d is the Milne universe, we have where dΩ 2 D−2,−1 is taken to be some compact metrics with negative cosmological constant. The Kaluza-Klein reduction on dΩ 2 D−2,−1 yields naturally a two-dimensional gravity with nearly AdS 2 vacuum geometry. It would be of great interest to investigate the corresponding holographic NCFT 1 .

A From JT gravity to SYK
In this appendix, we give a detail review of how the SYK model can arise from JT gravity.
This review is based on the work of [33]. JT gravity admits the nearly AdS 2 solution (3.2).
In the Euclidean signature, the solution reads where z = 1/r and we have chosen Λ 0 = −1 without loss of generality.
For the theory to be well-defined, we need to include the Gibbons-Hawking surface term and the appropriate counterterm to the action(1.2). The total action is given by (after setting Λ 0 = −1): where h is the induced metric on the relevant boundary. Note that we also included the holographic counterterm above, as was done in [68].
Following [33,36], we slice the original asymptotic boundary in terms of a new parameter u. In other words, the new boundary deviates from the AdS fixed point and is parameterized by (t(u), z(u)). The variables (t(u), z(u)) are then interpreted as the dynamical fields of the boundary, where u naturally serves as the Euclidean time of the boundary CFT. It is clear that the new boundary is fixed by where a prime denotes a derivative with respect to u, and ǫ is an infinitesimal constant representing the UV cutoff. Eq. (A.3) implies that t(u) and z(u) are not independent dynamic fields asymptotically, they are related by where Φ inf is given by The rigid AdS geometry causes the bulk action to vanish identically, and the total action will be given by the boundary action, namely To evaluate the vector n = n µ ∂ µ normal to the boundary, we note that the tangent vector is given by where we have used (A.4). Since the normal vector is defined by T µ n µ = 0 , n µ n ν g µν = 1 , (A.8) We find, up to the ǫ 2 order, that n 0 = t ′′ t ′2 1 + ǫ 2 Sch(t(u), u) , where Sch(t(u), u) is the Schwarzian derivative The normal vector n µ , the tangent vector T µ and the metric g µν satisfy the identity It follows that the extrinsic curvature can be rewritten as Substituting (A.7) and (A.9) into (A.12), we find K = 1 + Sch(t(u), u)ǫ 2 + · · · , (A. 13) where the dots represent those with higher powers of ǫ. Therefore, it is straightforward to see that (A.6) is given by where Φ c is a constant, we find S = Φ c 8π dũ Sch(t(ũ),ũ) − Sch(u(ũ),ũ) .
(A. 16) The second term in the bracket is a quantity that has no dynamical field and can be dropped, leading to the Schwarzian action S = Φ c 8π du Sch(t(u), u) .

(A.17)
It is the effective action describing the IR behavior of the SYK model [4], and is invariant under the SL(2, R) transformation It is of interest to note that had one considered Φ inf as a dynamical field, then eq. (A. 16) would imply that the system had a ghost excitation.