General solutions of Einstein gravity at D → 2

Einstein gravity at D → 2 limit can be obtained from the Kaluza–Klein procedure by taking the dimensions of the internal space to zero while keeping only the breathing mode. The resulting scalar–tensor theory can be further reduced to JT gravity or the Liouville CFT at the large central charge limit, bridging the two important 2d models. We construct the general solutions of the theory, including black holes and wormholes for both positive and negative cosmological constants. We obtain the on-shell action of the nearly AdS 2 and show that for suitable boundary slices, the Schwarzian action governs the leading-order dynamics at the ﬁnite boundary cutoff in later time. For positive cosmological constant, we ﬁnd that the scalar is well deﬁned on the 2-sphere.


Introduction
Two-dimensional (2d) gravity was well studied in the 80s owing to its close connection to the perturbative string theory [1,2].Notable examples include Liouville conformal field theory (CFT) [1,3].There has been a resurgence in the topic in the context of the anti-de Sitter(AdS)/CFT correspondence.It was proposed [4] that JT gravity [5,6] may provide a gravity dual to the SKY model [7,8].Recently, the work [9,10] on Page curve [11] of evaporating black hole of JT gravity has brought much attention to 2d gravitational models.Owing to the fact that the Einstein-Hilbert action in two dimensions has no dynamics but describes the topology of 2d manifolds, 2d models are either beyond Einstein gravity, such as the Liouville CFT, or simply the Kaluza-Klein reduction of Einstein gravity in higher dimensions, such as JT gravity.
If one would like to define a theory based on its characteristic solutions, Einstein gravity in two dimensions ought to exist, since the Schwarzschild-AdS black hole has a straightforward and smooth D → 2 limit.(Its D → 3 limit is in fact much more subtle in that the naively expected logarithmic dependence is actually absent, as we can see in the well-known BTZ black hole [12].)We can refer to such a 2d model as Einstein gravity at D → 2 limit.The theory was first constructed in [13], by taking the conformal transformation of Einstein gravity in general D dimensions that introduces a scalar field.A nontrivial scalar-tensor theory emerges after taking an appropriate D → 2 limit.It was later observed [14] that the theory can also be obtained from the Kaluza-Klein approach by taking the zero limit of the dimensions of the internal space.Specifically, one may consider Einstein gravity in general D = n+2 dimensions, reduced on some n dimensional internal space, keeping only the breathing zero mode [14]: Here dΣ 2 n is a compact Einstein metric with constant curvature λ: Rij = (n − 1)λg ij and R = n(n − 1)λ.After taking an appropriate n → 0 limit, one not only reproduces the theory of [13], but also introduces a Liouville-like exponential potential λe −2φ .Indeed this limit of Einstein gravity at D → 2 gives rise to the Liouville CFT at c → ∞ limit, where c is the central charge [14].This procedure was later independently developed [15,16] to obtain a Horndeski-like scalar-tensor theory in four dimensions as a candidate for the Einstein-Gauss-Bonnet theory at D → 4 limit, proposed in [17].The generalization to general even dimensions were given in [18].As in the case of pure gravities in general dimensions [19,20], these special scalar-tensor theories also have Lagrangian holographic relations [21].
We shall review Einstein gravity at D → 2 limit in section 2. Depending whether we include a minimally-coupled cosmological constant, the theory will not only lead to the Liouville CFT at large c, but also to JT gravity, making it a particularly interesting 2d model.In section 3, we construct both the most general static and time-dependent AdS 2 black holes and study their global structures.As in the case of JT gravity, the curvature tensor is constant and we obtain the most general scalar profile and study how the scalar hair affects the black hole thermodynamics and stability.Unlike JT gravity, Einstein gravity at D → 2 can also have a scalar fixed point such that the vacuum preserves the full AdS 2 isometry.In section 4, we consider solutions with positive cosmological constant.In this case, the solutions naturally describe traversable wormholes connecting two cosmic horizons.In sections 5 and 6, we study the Euclidean-signatured nearly AdS 2 space, which can be either hyperbolic 2-space if the cosmological constant is negative, or 2-sphere if the cosmological constant is positive.In the latter case, the scalar is well defined on the 2-sphere.We obtain the on-shell actions and study whether the Schwarzian action can emerge in the former case.We conclude the paper in section 7.

The theory 2.1 A D → limit of Einstein gravity
The action of Einstein gravity coupled to a cosmological constant Λ = − 1 2 n(n + 1)/ℓ 2 , together with some minimally coupled matter in general D = n + 2 dimensions takes the form It is consistent to perform Kaluza-Klein reduction on some Einstein spaces, keeping only the breathing scalar mode φ.The reduction ansatz is given by (1).For the gravity sector S g , the resulting 2d Lagrangian is There are two special cases of particular interest, namely n = 1 and n = 0.The former leads to JT gravity [5,6]: where we use ϕ to rename e φ that describes the radius of the U (1) cycle in D = 3.If we take n = 0, we arrive at a purely topological term L (0) = √ −gR.However a nontrivial result can nevertheless be obtained in the n → 0 limit when the Newton's constant simultaneously goes zero.The resulting scalar-tensor theory can be viewed as Einstein gravity at the D → 2 limit, and it is this theory we would like to study.The action in the n → 0 gives The first term is purely topological, giving rise to the Euler number of the 2d manifold; it diverges in the small G limit.The leading-order dynamics is governed by the second term.
From the action point of view, the physical degrees of freedom of the 2d gravity describes the small perturbation to the topological Euler number.Setting λ = 0 leads to the theory of [13].
We shall call the minimally-coupled Λ 0 = −1/ℓ 2 as the bare cosmological constant, which can be positive, negative or zero.

Limiting to JT gravity
As we shall see presently, the equations of motion indicate that the curvature of the 2d spacetime is constant, which is a characteristics of JT gravity.However, unlike JT gravity, the theory we obtained has a fixed point for the scalar field, namely This implies that Einstein gravity at D → 2 admits a true AdS 2 vacuum, and the corresponding dual field theory is conformal with the full Virasoro algebra, rather than some nearly conformal field theory (NCFT) such as the SYK model, where the symmetry is broken into its SL(2, R) subgroup [22].
It is straightforward to see that the leading-order perturbation of ( 5) is JT gravity, namely where the ellipsis denotes the higher-order terms in n and ǫ.We may choose ǫ ∼ n, in which case, we have G ∼ n 2 .It is rather intriguing that JT gravity from the n = 1 reduction can also be obtained from some appropriate n → 0 limit.It should be pointed out that the CFT 1 (in one dimension) is vacuous and trivial, and nontrivial dynamics exists in NCFT 1 that is dual to the nearly AdS 2 where the scalar field is turned on.The fact that JT gravity can emerge indicates that the theory is nontrivial and it provides a connection between CFT 1 and NCFT 1 .
The theory (5) has a symmetry of constant shift of the scalar field, together with the redefinition of the coupling constant λ.The effect of the transformation is to introduce a non-dynamic Einstein-Hilbert term.Thus a local φ = 0 at certain point in spacetime is not a singularity.In fact in the AdS 2 vacuum, the constant scalar φ can be set zero globally by the shifting symmetry.In the case of JT gravity derived above, on the other hand, this symmetry is fixed at φ = φ and hence the local ϕ = 0 is singular.

Limiting to Liouville CFT
The relation to Liouville theory was observed in [14].The semi-classical limit of Liouville CFT in a 2d space is defined by the local action where the parameter Q is called the background charge.The conformal invariance of the action requires what The corresponding central charge of the Virasoro algebra is c = 1 + 6Q 2 .At the first sight, the theory (5) does not fit the pattern.We can redefine the scalar by The action (5) becomes where λ = λ/b 2 and l = bℓ.After setting 1/ l = 0, this theory can match the semiclassical limit of Liouville CFT, provided that b ≪ 1, in which case, we have The overall minus sign in the second term of ( 11) is due to the fact that the theory is in the Lorentzian signature.Thus the Liouville theory with large central charge arises from Einstein gravity with zero bare cosmological constant in two dimensions under the limit One way to impose the above inequality constraint is to let G ∝ n 2 .We then have b ∝ √ n, Q ∝ 1/ √ n and c ∝ 1/n, in the limit of n → 0.
Thus we see that in the same G ∼ n 2 → 0 limit, both JT gravity and the Liouville theory can arise; the former requires a nonvanishing bare cosmological constant Λ 0 = −1/ℓ 2 such that the scalar has a fixed point, and JT gravity describes the perturbative dynamics of this fixed point.The latter requires vanishing Λ 0 and hence the 2d spacetime is flat.Einstein gravity at D → 2 limit thus bridges JT gravity and Liouville CFT at large c.

Equations of motion
We have so far considered the dimensional reduction only of the gravity sector.If the minimallycoupled matter sector involves only the scalar and vector fields, its Lagrangian L m will simply descend down to D = 2 in the same form at the n → 0 limit.We thus have an effect Lagrangian The scalar and Einstein equations of motion are given by δφ : R + 2λe −2φ + 2 φ = 0 , The second equation above can be split into the trace and traceless parts: Together with the scalar equation, we arrive at It is now worth examining how the Schwarzschild-AdS solution, with T m = 0, reduces to two dimensions.The spherically-symmetric and static solution in general (n + 2) dimensions takes the form It follows from the reduction-based construction, in the limit of n → 0, we have It is easy to verify that the 2d black hole satisfies all the equations in (15).

Black holes
In this paper, we shall focus on the study of the Lagrangian ( 14), but with no matter fields.
We have already obtained a black hole solution (19) that arises from the limiting case of Schwarzschild-AdS black holes in general dimensions.We expect that the theory admits a more general class of black holes involving an independent scalar hair parameter.The 2d theory is relatively simple and we are to construct the most general static and time-dependent black holes.Discussions of black holes in a more general class of theories can be found in [23].

General static black holes
The equations of motion indicates that the metric must have constant curvature R = −2/ℓ 2 .
In two dimensions, this means the metric must be locally AdS 2 .We shall take the metric to be the Schwarzschild-AdS, given by The m = 0 and k = 1 metric is the AdS 2 in global coordinates.Note that the linear rdependence in f can be removed by a constant shift of the r coordinate r → r , while the metric ansatz remains in the same form.For the solution to be static, we require that the scalar field depends only on the r coordinate.The scalar equation can be solved straightforwardly, giving where a is an independent scalar hair parameter.The black hole (19) corresponds to taking a = 0 and k = 1.The r-dependence of the scalar field implies that the AdS 2 isometry of the metric is broken by the scalar field so that the solution is nearly AdS 2 .This is analogous to JT gravity; however, the full AdS 2 vacuum with constant scalar (6) exists in our theory.This vacuum solution does not arise from some asymptotic regions, but only emerges if we take parameter a → ±∞ in (21).This should be contrasted with the usual AdS/CFT picture in higher dimensions, where the AdS geometry is typically restored as the radial coordinate r runs from the bulk to asymptotic infinity which is the AdS boundary.This process is the dual version of renormalization group flow to the ultraviolet conformal fixed point.However, in the 2d theory the flow is not described by the radial variable r, but by the parameter a associated with the scalar charge that we shall discuss momentarily.
We now analyse the global properties of the local solution.The static solution is invariant under the constant coordinate scaling t → ct and r → cr, together with the appropriate scaling of the integration constants, namely (k, m, a) → (c 2 k, cm, ca).This implies that we can set k = 0, ±1, without loss of generality.The solution thus contains two continuous integration constants m and a.The metric has in general two horizons (r − ≤ r + ): The outer horizon r + is the event horizon, and corresponding temperature and entropy are Although the metric has no curvature singularity, but the scalar can have.As discussed in section 2, the scalar in our theory is dilaton-like and the dynamics is invariant under the constant shift of the scalar.Therefore φ = 0 is not a singularity.The r → ∞ boundary is not singular either since both e −2φ and (∂φ) 2 converge.The scalar singularity is at r = a, where e φ vanishes.
For the black hole to be well defined on and outside of the horizon, restriction on the integration constant a must be imposed.Note that f (a) = (a − r + )(a − r − )/ℓ 2 .We therefore must impose a < r − such that f (a) > 0. In other words, the parameter a lies in the region In order to determine the black hole mass, we appeal to the free energy from the Euclidean action, which, including the boundary terms, is given by The resulting free energy is This suggests that the mass is not only determined by the metric, but also modified by the parameter a of the scalar hair, namely such that the free energy can be expressed as F = M − T S, i.e. it is the Helmholtz free energy.
That the mass depends on the scalar hair is not surprising for a non-minimally coupled theory of gravity and matter.Since the constant φ solution arises from the a → −∞ limit, it follows that even the AdS 2 vacuum with m = 0, has infinite mass or energy, indicating that it is not stable.
We find that the first law can then be given by The "charge" Q associated with the scalar hair can be recognized as the leading coefficient of e −2φ at the boundary r → ∞.However, we do not have an independent way of determining its thermodynamic potential Φ, other than by completing the first law, which is in itself quite nontrivial.In this picture, the a = 0 solution (19) is not hairless, since f (0) does not vanish in general.In fact all black holes necessarily contain scalar hair since f (a) should not vanish.
Since the solution contains additional dimensionful parameters such as (λ, ℓ), we cannot read off the Smarr relation from the first law.Instead it is simply given by We may also treat the bare cosmological constant Λ 0 = −1/ℓ 2 as a thermodynamic pressure or the force P = 1/(16πℓ 2 ), the first law can then be augmented further by LdP where L = (r + − a) is the black hole "thermodynamic length" conjugate to the force.Note that within the allowed parameter region, the length L is positive definite.
Having obtained the black hole thermodynamic variables that satisfy the first law, we can now discuss some of the thermodynamic properties.It is instructive to introduce a dimensionless parameter b, defined by The condition a < r − becomes b > 0. We shall focus on k = 1, in which case, the asymptotic AdS 2 is in global coordinates.The black hole becomes extremal at m ext = 1/ℓ, and we must have m ≥ m ext .We can easily see that These quantities are all nonnegative, indicating that they are all well defined in the allowed parameter region.(The thermodynamic constant contribution to the entropy above comes from the topological Einstein-Hilbert term.)However the entropy becomes divergent as b → 0, which, as we shall see presently, implies that the free energy is unbounded below.It follows from (31), we have The extremal black hole saturates the inequality.It is worth commenting here that if the parameter m is less than m ext , then the function f (r) in the metric has no real roots, and the metric describes a wormhole, connecting two AdS 2 boundaries at r → ±∞.However, the full solution is actually singular since the scalar φ is singular at r = a.Further discussions on wormholes will be given in section 4.
According to the Euclidean action, the thermodynamic system is a canonical ensemble with Helmholtz free energy.The specific heat is given by This suggests that the black hole is locally stable, but the free energy tells a different story.
There is a thermodynamic global instability associated with the free energy In this expression, we have chosen without loss of generality λℓ 2 = 1, such that φ = 0.For the given metric that is specified by the temperature T , the mass and free energy (M, F ) are both monotonously increasing functions of the scalar charge Q.For the constant-scalar black hole that sits at b → ∞ (Q ∼ ∞), both mass and free energy approach positively infinity.As b → 0 (Q → 0), we have M → T /4, but the free energy is unbounded below with logarithmic divergence, unless the temperature vanishes.This suggests that the extremal black hole is stable, but non-extremal black holes are not.The time-evolution of the non-extremal black holes should lead to the vanishing of e −2φ at the later time.We shall verify this in the next subsection.

General time-dependent black holes
Motivated by the thermodynamic global instability of the black holes, we construct the timedependent solution here.By time dependence, we mean that the scalar field φ depends not only r, but also the time t.Define ϕ = e φ , we find that the Einstein equation in the tr direction This equation can be completely solved, and substituting the result into the remainder of the scalar equations ( 16), we find that the most general solution is given by The scalar is well defined on and outside of the horizon where f (r) ≥ 0. Inside the horizon where f (r) < 0, we need to analytically continue to t → t + i/(4T ), and the scalar singularity can arise.The four parameters (α, β, γ, t 0 ) are not all independent.They satisfy the constraint The static solution arises by setting γ = 0 and redefining the parameters to be a = mℓ 2 − α/β.
For the general solution with nonvanishing γ, the scalar field is unstable and becomes divergent at later time with e −2φ → 0, confirming the global analysis in the previous subsection.The scalar has linear time dependence in later time, namely There are two notable exceptions.One is when the black hole is extremal, in which case, the black hole is stable and time independent.This confirms the prediction in the thermodynamic analysis of the static black hole.The other is that for general black holes, the scalar on the horizon with f (r + ) = 0 is also stable, independent of time.This is a characteristic feature of 2d gravities and is independent of coordinate transformation.We can thus describe a 2d black hole with the vacuum metric and the null line of the black hole is specified by the constant scalar field [24].

Including the Hamilton-Jacobi counterterm
A Hamilton-Jacobi (HJ) counterterm was introduced in [23] for a general class of 2d gravities.
For the theory (14), it takes the form [14] in the Euclidean signature signature where we add an additional dimensionless constant c, and it was determined in [14] as c = −1.
In fact in the limit of φ = φ + ǫϕ discussed in subsection 2.2, the bulk action of (25) becomes that of JT gravity, and the total boundary terms of ( 25) and (39) yields the one of JT gravity only when c = 1.To be specific, we have The variation of this boundary action (39) simply vanishes under the Dirichlet boundary condition and therefore it will not affect the variation principle that yields the equation of motion.Furthermore, this term is convergent on the AdS 2 boundary even for a generic value of c, and its contribution to the free energy is c f (a)/(8πℓ).This implies that the HJ counterterm modifies the mass of the black hole to become It can be easily verified that the first law (28) continues to hold.Therefore we see that the HJ counterterm has no effect on the thermodynamic local properties.It can however affect the global properties.It can be established that the mass for the black holes are all nonnegative provided that c ≥ −1 and the value determined by [14] saturates the bound.Since f (a) vanishes as a → r − , it does not affect the conclusion that the free energy is unbounded below as the scalar charge Q approaches zero.

Wormholes
4.1 When the bare cosmological constant Λ 0 is positive, the 2d spacetime becomes locally dS 2 , in which case, the two roots in the metric function f describe the cosmic horizons rather than the black hole horizons.Therefore there can be no black hole in this case, but only the traversable wormhole that connects two cosmic horizons.It is more convenient to define l2 = −ℓ 2 > 0 and λ = −λ > 0. The metric and the scalar are now given by where the constants (α, β, γ, t 0 ) are subject to the constraint The existence of dS 2 vacuum with costant φ implies that λ > 0. The function f is quadratic and always has two roots r c ± , regardless the real value of m: The solution is static with (r, t) being spacelike and timelike respectively in the region r ∈ (r c − , r c + ), confirming our earlier statement that the solution describes a traversable wormhole connecting the two cosmic horizons r c ± , beyond which the spacetime becomes cosmological.The condition (43) ensures that the scalar is free from singularity within the cosmic horizons; the singularity lies outside the cosmic horizons.The wormhole becomes symmetric if we set β = 0, and can be made manifestly in the metric by the coordinate shift r → r − m l2 .

Λ
In this case, as we have discussed earlier, the general solution describes black holes for m 2 ℓ 2 ≥ 1.
When m 2 ℓ 2 < 1, the metric becomes a traversable wormhole; however, as we illustrated in subsection 3.1, there is no static scalar solution that is well defined in the whole wormhole space, except when the scalar is a constant.The conclusion remains true for time-dependent scalar solution; however, the singularity becomes rather intriguing when we allow the time dependence.For 1 − m 2 ℓ 2 > 0, the scalar solution, after taking k = 1, is given by Note that we have set the corresponding β in (36) to zero so that the "wormhole" solution is symmetric between r and −r, where r = r − mℓ 2 and f = r2 /ℓ 2 + 1 − m 2 /ℓ 2 .The parameters (α, γ) are subject to the constraint The wormhole "throat" is located at r = 0 for which the function f is at its minimum The scalar function is periodic with period ∆t = τ 0 ≡ 2πℓ/ √ 1 − m 2 ℓ 2 .Intriguingly, during half of the period, namely t ∈ [0, 1 2 τ 0 ], the wormhole opens up, and the solution is free from spatial singularity and it connects two asymptotic AdS 2 boundaries.The situation changes in the other half, t ∈ ( 1 2 τ 0 , τ 0 ), and the two scalar singularities enclose the spacetime from reaching the boundaries.The space during this half period is confined in As time t increases from 1 2 τ 0 , the world size decreases monotonously from infinity to the minimum |r| < rmin = ℓ α 2 /γ 2 − f min at 3τ 0 /4.The condition (46) ensures that a real value of rmin always exists.The world increases its size as t runs from 3τ 0 /4 to the whole wormhole space at t = τ 0 , after which the wormhole fully opens up for the next half period, and then repeats the whole time cycle.

The on-shell action
For JT gravity, the bulk term in the action vanishes identically, thus only the surface term contributes to the total action.This leads immediately to the Schwarzian action [4] S sch = 2 du Φ inf Sch(t(u), u) . (63) In our case, the bulk contribution does not vanish, given by where χ = β sin θ + 2γt.Note that we have integrated the radial variable ǫ from ∞ to ǫ → 0.
The asymptotic boundary of the AdS 2 is located at ǫ = 0, but we would like to consider the finite cutoff away from the boundary with ǫ as an expansion parameter.Together with the surface contribution, the total on-shell action is given by with Here the Y ǫ terms are total derivative and do not contribute the dynamics.Up to and including the ǫ 3 order, we find The on-shell action in general is rather complicated.However, it can be easily established that L 0 is a total derivative, since it takes the form of L 0 = U (t(u)) ṫ, for some complicated function of U .That L 0 is trivial may be related to the fact that the theory admits full AdS 2 vacuum whose CFT dual is trivial.Nontrivial dynamics emerges only at the finite cutoff away from the boundary, associated with the higher-order of ǫ terms, where the full conformal symmetry is broken.
The action simplifies dramatically in later time t → ∞, for which, ψ 0 ∼ t 2 and χ ∼ t.We therefore have Thus we see that at the leading ǫ order, the later time dynamics is governed by the Schwarzian action, at the finite cutoff of the AdS 2 boundary.
We now consider the effect of the Hamilton-Jacobi counterterm (39) to the on-shell action.
It is convergent and its contribution to the total action is 8π The leading term is again a total derivative, and furthermore these terms all vanish at later time and hence do not affect the conclusion (68).

The semi-on-shell action
In the case of JT gravity, the Φ inf (u) in (63) is the background field and the equation motion associated with the variation of t(u) can be solved precisely by the on-shell Φ inf that can be also obtained from the general bulk solution.A coordinate transformation Φ inf du = dũ is necessarily so that the action in (63) become Schwarzian, where Φ inf can be treated as a constant [4].
Here we would like to repeat the same analysis and treat the (ψ 0 , ψ 1 , ψ 2 ) etc. as abstract background field and rederive the action.We shall obtain the action only up to and including the ǫ order, therefore, we only need to consider The convergence of the bulk action at ǫ → ∞ requires that ψ 2 = γ ṫ, where for convenience we have chosen the same γ parameter as in the on-shell solution.We find that total action is given by Note that now the fields ψ 0 and ψ 1 are the abstract background fields.Although this is a rather complicated Lagrangian; nevertheless, we find that its equation of motion associated with the variation of the dynamic variable t, namely can be solved precisely by the on-shell solutions of (ψ 0 , ψ 1 ), given in (62).Note that the HJ counterterm contributes 1/ψ 0 in the leading term, and it does not affect on the Lagrange equation ( 72).Thus as in the case of the black hole thermodynamics, the HJ term (39) does not affect our physical conclusion when the metric is AdS 2 or asymptotic to AdS 2 .
At the ǫ log ǫ order, the action is a total derivative ˙ Y 1 , independent of (ψ 0 , ψ 1 ), as in the case of the on-shell action.At the ǫ order we have Substituting the on-shell results obtained from L 0 yields precisely the on-shell action obtained earlier at this order.We therefore achieved a consistent picture of the boundary dynamics of the nearly AdS 2 at the finite cutoff.

Euclidean dS 2 and its action
When the bare cosmological constant is positive, corresponding to, without loss of generality, with θ ∈ [0, π] and τ ∈ [0, 2π).The most general solution for the scalar field is with the parameter λ given by The vacuum, where φ is a constant, emerges when β = 0 = γ, and hence λ = −α 2 .Thus we must have λ < 0 for the theory to admit such a vacuum.For the scalar to be well defined on the 2-sphere, we must have which is precisely satisfied by λ < 0. It is worth comparing to JT gravity with a positive cosmological constant, in which case, the scalar is given by where (α, β, τ 0 ) are free parameters.Thus we see that the ϕ = 0 singularity cannot be avoided on the manifold.We find that the on-shell action for the S 2 solution is (The above provides a nice formula for the definite integration in the second line.)In other words, the parameters in the scalar field does not affect the action.Note that since S 2 has no boundary and the scalar is well defined, there is no boundary contribution in the evaluation of the action.

Conclusion
In this paper, we studied a candidate theory for Einstein gravity at the D → 2 limit.The theory was obtained from Kaluza-Klein reduction of Einstein gravity in general D = 2 + n dimensions, reduced on n-dimensional internal Einstein space of constant curvature λ, keeping only the breathing scalar mode.Under some suitable n → 0 limit, a scalar-tensor theory involving Ricci scalar emerges.The theory was known to be related to Liouville CFT of a large central charge.We found that when the theory is minimally coupled to a bare cosmological constant, the theory can also reduce to JT gravity that describes the perturbative dynamics around the scalar fixed point.
We studied the properties of the theory by constructing the full solution space.We first construct the static black holes, which is governed by two parameters associated with the mass M and the charge Q of scalar hair.We obtained the first law of black hole thermodynamics and derived from the Euclidean action that thermodynamic potential is the Helmholtz free energy.Our black hole mass formula indicate that the AdS 2 vacuum at the scalar fixed point has infinity mass and free energy, indicating that it is not a stable vacuum.
We found that the black holes were all locally stable since the specific heat is nonnegative.
However, for non-extremal black holes, there is a thermodynamic global instability associated with the scalar charge.Specifically, the black hole metric is specified by temperature T only.
For the scalar field to be absent from a singularity, the scalar charge Q must be non-vanishing.
As Q → ∞, the solution becomes the black hole with the constant scalar, and the mass and free energy are both positively infinite.As Q → 0, the mass is finite M → T /4 and the free energy becomes unbounded below, except at zero temperature.This motivated us to construct the most general time-dependent black hole and we saw that the time-dependence dropped out at zero temperature, indicating that extremal black holes are stable.When T > 0, the time evolution drives the black hole to the singular Q → 0 limit.The 2d gravity model provides us a simple analytical example of illustrating the connection between the black hole thermodynamic instability and its time evolution.
It is straightforward to construct traversable wormhole metrics in two dimensions that connect two asymptotic AdS boundaries.However, we found that scalar field was necessary singulary.However, we showed that this singularity has intriguing properties when the scalar was allowed to be time dependent and it was periodic.The wormhole opens up and connects the two AdS 2 boundaries during half of the period, and singularities develop and close in during the other half.When the cosmological constant is positive and the metric is asymptotic to dS 2 , the solution is necessarily a traversable wormhole connecting two cosmic horizons.In this case, the scalar singularities lie beyond the cosmic horizons.
We further studied the solution space in the Euclidean signature.For the negative bare cosmological constant, the 2-space is hyperbolic.We followed the work of [4] and studied the boundary dynamics in some nontrivial boundary slices.We found that the total action was trivial in that it is a total derivative, perhaps consistent with the fact that the theory has the full AdS 2 fixed point.Nontrivial dynamics could arise if we moved away from the asymptotic boundary to some finite boundary slices.The Schwarzian action with SL(2, R) symmetry would arise at the leading order of the finite boundary cutoff, but only at later time with t → ∞.For a positive bare cosmological constant, the space is a 2-sphere, and we found that the scalar field was well defined everywhere on the 2-manifold.This should be contrasted to JT gravity where the scalar would suffer some inevitable singularities.To conclude, the properties we uncovered in this paper make the theory a particularly interesting model to investigate further.