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\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=4$$\end{document}, 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,2] 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 wider classes of theories, possibly even beyond 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 [3][4][5], 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 [4][5][6] in the sense that its out-of-time order correlators exhibit Lyapunov exponents and butterfly effects [7] and they saturate [8] the chaos bound established by black holes [7]. Therefore, the IR limit of 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 [31,32] When 0 is negative, the JT model admits the AdS 2 vacuum; however, the full AdS 2 symmetry is broken by the nontrivial dilaton [33]. JT gravity may thus provide a gravity dual of the IR limit of the SYK model [34] (see Appendix A for details), and the SYK/AdS 2 duality can thus be addressed in the context of JT gravity [15,[33][34][35][36][37][38][39][40].
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. [41] for a review.) Two-dimensional gravities received new attention in the light of holography. Almheiri and Polchinski (AP) recently introduced a general family of dilaton-gravity models [42] 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 [43]. The AP class of models can be obtained from higher dimensional theories such as strings and M-theory via Kaluza-Klein reductions. This provides an understanding of SYK models from the higher dimensional point of view. Indeed, many higher dimensional extremal black holes has near horizon geometries as an AdS 2 × M [44][45][46][47][49][50][51][52], and the near horizon region can be effectively described by D = 2 dilaton gravities (1.3) in many situations [43][44][45][46][47][48].
However, the above embeddings of JT gravity is at the linear perturbation level. From the higher-dimensional point of view, AdS 2 spacetimes typically arise from the near-horizon geometry of some extremal black holes. Thus JT gravity as a linear perturbation of the AP class describes the leadingorder approximation away from the extremality. Since JT gravity itself only captures the IR behavior of SYK models, these embeddings have to deal with the subtleties associated with these two competing approximations. In this paper we seek exact embeddings of JT gravity in higher dimensions so that the leading-order approximation away from the extremality has a broader range of validity. 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 [14,[53][54][55][56]. Since AdS 3 emerges naturally in strings and M-theory, the reduction ansatz provides a direct link between SYK and string theories. Ref. [53] also obtained JT gravity coupled to a Maxwell field from the STU supergravity model in four dimensions [57] by the Kaluza-Klein reduction on S 2 .
In this paper, we present an alternative exact embedding of JT gravity in higher dimensions. 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 Sect. 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 Sect. 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 Sect. 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 Mtheory. We conclude the paper in Sect. 5. In the appendix, we give some detail review of how JT gravity can give rise to the Schwarzian action.

A class of EMD theories
We begin with a class of EMD theories considered in [58]. 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 = d A, 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 [58] 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 [59]. 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 [60] 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 [60]. 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 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 [61]. We find that the reduced Lagrangian from (2.11) in two dimensions is 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 Eq. (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. (A more general argument for how the Schwarzian action arises from AP models was presented in [53].) 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 In the case of D = 3, nontrivial results require the absorbing of the (D − 3) factor into g 2 1 . It is instructive simply to introduceg 2 1 = (D − 3)g 2 1 and declare thatg 2 1 is non-vanishing in D = 3. To be specific, we see that the D = 3 theory in the Einstein frame is In the f (R)-frame, it becomes The reduction ansatz from D = 3 to D = 2 is The resulting two-dimensional theory is then the JT theory (1.2) with 0 = − 1 2g 2 1 . Note that equations of motion of the resulting JT gravity are independent of the constant parameter ϕ 0 .
The D = 3 case perfectly illustrated the difference between our embedding of JT gravity in higher dimensions and those discussed previously in literature. In [14], (also see [53][54][55][56],) the higher-dimensional theory is pure AdS gravity and the scalar in JT gravity arises as the radius of the compactifying circle z. The running of the JT scalar is driven by this breathing mode of the internal space. On the other hand, in our embedding, the internal radius is fixed consistently by the equations of motion to be a constant. The JT scalar is a direct descendant of the dilaton in higher dimensions. Both embeddings are possible due to the fact that JT gravity is not conformal in that it has a running dilaton, which may arise directly from the higher-dimensional theory or from the modulus parameter of the compactifying space in a theory that has no scalar.

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 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 [58]. 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 set q = 0 and furthermore we take the decoupling limit with 1 in H dropped. The solution becomes where we have redefined the time coordinate byt = 2 √ t. Comparing with the Kaluza-Klein reduction ansatz (3.6), we see that ϕ 0 = r 0 . Performing the Kaluza-Klein reduction on the S D−2 sphere, and redefining the r coordinate and parameters bỹ we arrive, after dropping all the tildes, at the two-dimensional solution (3.2) of JT gravity with α = 0.

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 Sect. 2 that in the Einstein frame, the Lagrangian is given by For g 1 = 0, the theory can be embedded into the U (1) 3 supergravity with two field strengths set equal whilst the third set zero. The theory can be obtained from N = (1, 0) supergravity in D = 6 via Kaluza-Klein reduction on S 1 [63]. The relevant six-dimensional theory is Einstein theory coupled to a self-dual 3-form The (truncated) reduction ansatz is given by 3) The D = 5 time-dependent extremal black hole (3.7) with q = 0 becomes (3) , 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.
We can also lift the full two-dimensional solution (3.2) back to D = 6 directly, and we find In particular, when α = 0, this is precisely the near-horizon geometry of the Milne self-dual string discussed above.

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 [53]. The D = 4 theory (g 1 = 0) can be obtained from the S 1 reduction of minimal supergravity in five dimensions, with The five-dimensional Maxwell field descends down to four dimensions directly. The time-dependent black hole solution becomes Turning off the charge by setting q = 0, and hence H = 1, the metric describes a Kasner-type 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. [64]). The higher dimensional solutions are related to M-branes, D-branes and their intersections, see e.g. [65][66][67] 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 [59] 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 Mtheory 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 (4.12) 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 lifting of the (3.2) leads to 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 [59]. Its (singular) embedding in M-theory was also obtained [68]. 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 selfdual 3-form (4.14) The reduction ansatz (4.3) gives precisely (4.1) with g 2 1 = 5g 2 /2. The resulting solution is given by The (4.14) 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 [60].

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) in general D dimensions. For D = 4 and 5, the EMD theories are truncations of the bosonic sector of supergravities. This allows one to embed JT gravities in strings or M-theory, providing stringy interpretations of the SYK model.
The exact embeddings of this paper also allow one to understand the solutions of JT gravity in the light of higher dimensional theories. For g 1 = 0, we find that a class of JT gravity solutions are related to the time-dependent extremal charged black holes in the EMD theories. The solutions can be further lifted to become, for example, intersecting D1/D5brane, where the worldsheet is the 2d-Milne universe instead of the more traditional 2d-Minkowski spacetime. They can also be lifted to the time-dependent M2/M2/M2 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 exact embeddings of this paper imply that we can obtain the Schwarzian action directly in higher dimensions. The subtlety is that the worldsheet or worldvolume of branes should be described by the Milner metric rather than the usual Minkowski metric. The fact that the Milne universe appears in the worldsheet or worldvolume is tantalizing. Nondilatonic extremal p-branes such as the M-branes or the D3brane 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 .
where a prime denotes a derivative with respect to u, and is an infinitesimal constant representing the UV cutoff. Equation (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 Sch(t (u), u). 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.