Global embeddings of BTZ and Schwarzschild-AdS type black holes in a flat space

We study the problem of construction of global isometric embedding for non-spinning black holes with negative cosmological constant in various dimensions. Firstly, we show that there is no such embedding for 4D RN-AdS black hole in 6D flat ambient space, completing the classification, which we started earlier. Then we construct an explicit embedding of non-spinning BTZ black hole in 6D flat ambient space, which does not require an additional identification $\phi=\phi+2\pi$. Using this embedding as an anzats, we then construct a global explicit embedding of N-dimensional Schwarzschild-AdS black hole in a flat (N+3)-dimensional ambient space.


Introduction
Black holes are one of the most favorite objects of study in the general relativity.They are simple enough to be described only by a few parameters (for a historical survey of nohair theorem see, e.g.[1]) but nevertheless have a very rich structure and many interesting properties.Shortly after the appearance of the renowned Schwarzschild paper [2], his result was generalized by Kottler [3], who introduced a cosmological constant, and Reissner & Nordström [4], who considered a charged point source.
The n-dimensional generalization of the black hole metric was found by Tangherlini [5], who also mentioned that the absence of propagating degrees of freedom in (2+1)D gravitation with point masses is well-known1 since in (2 + 1) dimensions G µν = 0 implies R µναβ = 0.In the same year Staruszkiewicz showed [6] that the (2 + 1)D spacetime with point masses is a Minkowski spacetime with nontrivial global properties.This fact was later rediscovered many times, see [7] and references therein.Finally, in 1992 Banados, Teitelboim and Zanelli introduced [8] the concept of (2+1)-dimensional black hole (BTZ black hole) and started to investigate its global properties.BTZ black holes have been a subject of great interest among gravitationists since then, as their properties are often very similar to higher dimensional ones but BTZ are much more simple to study.
Isometric embeddings of GR manifolds have been used for the investigation of their geometric structure since the appearance of GR itself.Indeed, in 1921 Kasner found [9] the first embedding of Schwarzschild black hole in a (2+4)-dimensional flat ambient space.Unfortunately, this embedding was not global, i.e. it was not smooth at 0 < r < +∞ (here and hereafter we will use the term "global" in this sense) and cannot be extended under the horizon.In 1959 Fronsdal found [10] a global embedding of Schwarzschild black hole, which turned out to cover the maximal analytic extension of the Schwarzschild metric.Moreover, there is an evidence that Kruskal knew this embedding when he was constructing his famous coordinates, but did not publish it.Many other embeddings of static black holes have been constructed since then [11][12][13][14][15], but only a few of them are both minimal (i.e. the number of ambient space dimensions is equal to minimal possible for this metric, see below) and global [16].
The main goal of this paper is the construction and analysis of the global minimal embeddings of static black holes with negative cosmological constant in the background.In Section 2 we briefly review main properties of the embedding procedure and the method of construction of exact embeddings proposed in [13].In Section 3 we construct explicit global embedding of static BTZ black hole in 6D spacetime.In section 4 we finish the proof of the absense of global 6-dimensional embeddings for AdS black holes which was started in [16].Then we construct global 7-dimensional embedding for Schwarzschild-AdS black hole, as well as its generalization: the global embedding of d-dimensional Schwarzschild-AdS black hole in (d + 3)D flat spacetime.

The embedding of static black holes
The basis of the embedding procedure is Janet-Cartan-Friedman theorem [17]: An arbitrary n-dimensional pseudo-Riemannian manifold can be locally isometrically embedded in N-dimensional pseudo-Riemannian spacetime of proper signature, if N ≥ n(n + 1)/2.
In the construction of exact embeddings of black holes the ambient space is assumed to be flat, which is consistent with the Regge-Teitelboim approach to gravity [18][19][20][21][22][23][24] where flat ambient space was preferred due to quantization reasons.However, embeddings in which ambient space is conformally flat can also be of some use, see [25].
For specific manifolds (e.g. with symmetry) the minimal required value of N can be smaller than n(n + 1)/2.For example, 4D spherically symmetric spacetimes can be locally embedded in 6D Minkowski space since their metric consists of two 2 × 2 blocks each of which can be embedded in 3D spacetime.The number p = N min − n is called an embedding class and can be used as the invariant characteristic of the manifold.
Metric of the embedded spacetime becomes induced and can be expressed through the new geometric characteristic: an embedding function y a (x µ ) which is a vector w.r.t.Poincare group of ambient space such that where x µ are coordinates on the manifold and η ab is a metric of ambient space.For example, the well-known embedding of 2-sphere with metric interval ds 2 = r 2 (dθ 2 + sin 2 θdϕ 2 ) looks like y 3 = r sin θ sin ϕ.
The system (1) needs to be solved to construct an embedding.Unfortunately, in general case this system is very hard to solve explicitly, but in case of the metric with symmetries it is quite easier.Explicit embeddings of symmetric manifolds can be constructed using a method proposed in [13].Essentially, the idea of the method is to construct a surface, which transforms into itself under the action of some subgroup of Poincare group of ambient spacetime, which is isomorphic (maybe locally) to the symmetry group of the metric.The transformations of the ambient spacetime and the symmetry of the metric could be the same, as in the above example: SO(3) coordinate transformation corresponds to SO(3) transformation of the embedding function, but it could be different as well.Simplest example of this difference is 2-dimensional embedding of the metric with translational symmetry: y 1 = cos t, y 2 = sin t.Here translations of the coordinate t locally correspond to SO(2) rotations of the plane (y 1 , y 2 ).By listing all possible subgroups of ambient space Poincare group which are isomorphic to the symmetry group of metric one can obtain all possible types of surfaces with such metric.This procedure reduces the number of variables in the system (1), and if it becomes a system of ODEs, the problem often could be succesfully solved.
In case of spherically symmetric spacetimes this situation occurs when static2 spacetimes are considered.In this case the problem is reduced to the embedding of (t, r)-block of the metric as the embedding of (θ, φ)-block can always be chosen as in (2).Note that while this reduced anzats gives the exact answer only for static spherically symmetric spacetimes, the embedding of subspace of some non-symmetric spacetime is often interesting by itself.Embedding of such subspaces are called embedding diagrams [26].
It was shown in [13] that all possible symmetric (in the abovementioned sense) embeddings of such spacetimes fall into several types.These types are and where k and α are constant parameters and h(r), u(r) and f (r) are functions which has to be determined by solving the system (1).Embedding type (3) with k = 0 is called hyperbolic (the abovementioned Fronsdal embedding belongs to this type), the type (4) -spiral (or elliptic, if k = 0; example of this type is the Kasner embedding), the type (5) -parabolic and type ( 6) is called cusp (or cubic) embedding.
The construction and classification of embeddings for RN [15], Schwarzschild-de Sitter [27] and RN-dS [16] black holes was already done in our previous papers.The only remaining metric which has to be globally embedded in an ambient space with minimal possible number of dimensions is an embedding of the black hole (with or without an electric charge) with negative cosmological constant, i.e.Schwarzschild-AdS or RN-AdS one.
Unfortunately, it turned out that it is impossible to embed these metrics in 6-dimensional flat ambient space.For S-AdS we had proven it earlier [16].RN-AdS case is more complicated one, so it took us a little time to realize that global embedding of RN-AdS black hole in 6-dimensional Minkowski space also does not exist.We will show it in Section 4.1.As a result, we need to consider at least 7-dimensional ambient spacetime to proceed.It is worth noting that recently a 7-dimensional embedding of RN-AdS metric has been found [28], but it covers only the r > r − region of the manifold, so it is not global in our sense.
The main obstacle on the way of constructing 7-dimensional embedding is the significantly increased number of symmetric surface types.As we said earlier, three of the seven components of the embedding function can be fixed uniquely due to SO(3) symmetry, they correspond to the embedding of spherical part of the metric and coincide with (2), whereas the dependence of other four on t has to be determined by the abovementioned method.In this case the number of realizations of time translation symmetry drastically increases in comparizon with (3)-( 6) (for instance, one can consider all possible combinations of trigonometric and hyperbolic blocks in embedding function), and in this case the complete classification of surface types is much more tedious, so in this paper we do not want to perform it.Instead, we concentrate on the type of embedding which we found the most promising.To determine what type is it, let us turn to the 2+1-dimensional analog of Schwarzschild-AdS black hole, namely the static BTZ metric.

Global embedding of static BTZ spacetime
Let us start with the general form of BTZ metric: where r + and r − are the horizons and l is an AdS radius.The mass and the angular momentum are the following functions of the horizons: At first glance, there is no need to search for the embedding of (7) since shortly after the discovery of BTZ spacetime itself the following embedding3 was found [29]: where Unfortunately, it is not periodic w.r.t.angle ϕ, so one must manually perform the identification ϕ = ϕ + 2π for it to become an embedding of BTZ spacetime (in fact, without such identification it is merely an embedding of AdS spacetime [29]).To obtain this periodicity, one could replace hyperbolic functions in y 0 and y 1 with trigonometric functions of the argument ϕ.However, this transformation breaks the structure of the embedding (9) (see the footnote), where different regions of the manifold are described by different embeddings which are connected by smooth junction at the horizons.It turns out that we cannot globally embed all spacetime with the remaining hyperbolic block (y 2 , y 3 ), so we consider two trigonometric blocks instead of it, making the embedding 6-dimensional.On this way we only succeeded to construct a global embedding for the static case of BTZ (i.e. the analog of Schwarzschild-AdS black hole in 2+1 dimensions) where J = 0 and r + = r − for which the metric (7) reduces to and therefore we write down the embedding in the form which corresponds to g tϕ = 0 In this case the condition g tr = 0 leads to the following choice of function χ(r): Note that in Schwarzschild-like coordinates this metric ( 10) is diagonal, but has a singularity at the horizon where r = l √ M .To avoid this singularity we rewrite it in Eddington-Finkelstein coordinates: The substitution of ( 11) and ( 13) into (1) gives a simple system of ODEs which can be satisfied by the following form of embedding function: where the ambient space signature is (+ + −−−−) and γ is an arbitrary numerical constant.This embedding is smooth and real-valued at all r > 0.
4 Global embeddings of AdS black holes

The absence 6-dimensional embeddings
Let us turn to the consideration of the 3+1-dimensional black holes.As we mentioned earlier, the non-existence of 6-dimensional Schwarzschild-AdS black hole embedding was proven in [16], so we only need to analyse the remaining case of RN-AdS black hole which has the following metric: where According to [16], the only possible types of global embedding for this metric are spiral (3) and cusp ( 6) ones.The system (1) gives the only condition to satisfy in order for cusp embedding to exist (see [16]): After the substitution of ( 16) into ( 17) some high order polynomial w.r.t.r appears in the right-hand side.One might ask whether it is possible to find such α that this polynomial is non-negative for all r and all m, q and l corresponding to non-extremal RN-AdS black hole.It turns out that there are non-extremal black holes for which it is impossible.An example of such black hole is the one with Q = 2l and M = 4l.The analysis of r.h.s. of (17) in this case is given in Appendix A. It shows that at any value of free parameter α this polynomial would not be non-negative at r > 0. Taking (17) into account, it means that cusp-type embedding of such metric is non-global.Although there could be the other values of the black hole parameters for which r.h.s. of ( 17) can be made positive, this lead us to a conclusion that the cusp embedding of non-extremal RN-AdS black hole is not global in general case.
The non-globality of spiral embedding can be proved in similar way.In this case the system (1) gives us the conditions (see [16]): where F (r) is defined as above and the parameter k must be chosen in such way that k 2 ≥ |F min |.We chose the following values of physical parameters: M = 1, Q = 1/2 and l = 2.The analysis of r.h.s. of (18) in this case is also given in Appendix A. It shows that this polynomial is not non-negative at any values of free parameters α and k.Together with (18) it means that the spiral embedding of generic non-extremal RN-AdS black hole is also non-global.This completes the classification of global 6-dimensional embeddings of static black holes.

d + 3 dimensional embedding of d-dimensional Schwarzschild-AdS black hole
Since global 6-dimensional embeddings for Schwarzschild-AdS and RN-AdS black holes do not exist, the minimal number of ambient space dimension has to be raised to 7. Unfortunately, the construction of 7-dimensional global embedding of RN-AdS black hole turns out to be quite cumbersome due to the presence of two horizons.For instance, the best known 7D embedding [28] covers only r + horizon, but not both of them.Therefore we will restrict ourselves to the consideration of pure Schwarzschild-AdS case.The good news is that we eventually discovered that the construction of global embedding of d-dimensional Schwarzschild-AdS black hole in d + 3-dimensional flat ambient spacetime can be solved for any d ≥ 4, so we will immediately consider the metric of d-dimensional Schwarzschild-AdS black hole: where R is the doubled mass of black hole, dΩ 2 d−2 is a line element of (d − 2)-sphere and n = d − 3. Note that for Schwarzschild-AdS black hole at any values of the parameters has only one horizon.
One of the equations in the system (1) is quite simple: It is easy to see that if the functions A and B is chosen as follows: that the expressions under the square roots in (20) are strictly positive.The function χ(r) is still defined by (12) and ψ(r) has the form After the substitution of ( 22) into (23) it takes the form where The problem of construction of this embedding is essentially a problem of proving that one can make the polynomial (25) non-negative at r > 0 by proper choice of the parameters a and b.This proof is quite lengthy, so we put it in Appendix B and write down the required form of a and b: a where α and β − 1 must be positive.Note that the integral in (23) has a pole at A = B (i.e. at the horizon r = r 0 ).This singularity is a common feature of Schwarzschild coordinated and can be removed by the usual time transformation: It is easy to see that when t is used as the time coordinate the embedding we constructed turns out to be smooth at r > 0. Therefore it is global in our sense.

Concluding remarks
In this paper we constructed the global minimal embeddings of static BTZ and Schwarzschild-AdS spacetimes.It may seem unsatisfying that we do not immediately succeed in the construction of embedding for a rotating BTZ spacetime, taking into account the relative simplicity of this metric and the fact that in this case the complete separation of variables in (1) is possible.However, it should be noted that the desired globalness of the embedding drastically increases the difficulty of the problem.Since the rotating BTZ spacetime has two horizons, an additional increasing of ambient space dimension is probably required to smoothly cover both of them.Nevertheless, there is no evidence that this problem is unsolvable, and the construction of embedding for rotating 2 + 1-dimensional black hole can probably give us some hints on the 3 + 1-dimensional case, i.e. the Kerr metric.Note that the the only few embeddings for the Kerr metric are known; none of them is global and the number of ambient space dimensions in them is quite large: implicit Kuzeev embedding [30] is 9-dimensional and Hong & Kim embedding [31] is 14-dimensional.Additional difficulties which are related to the existence of two horizons also arise when one tries to add an electric charge to the BTZ metric or Schwarzschild-AdS metric.For that reason the global embeddings of the charged BTZ and RN-AdS black holes require an additional study.
Note that one of the main recent applications of explicit embeddings is the analysis of thermodynamic properties of manifolds with horizons.This approach was proposed by Deser & Levin [32], who discover a mapping between Hawking radiation detected in the spacetime with horizon and Unruh radiation encountered by observer who moves along the embedding surface of this spacetime in a flat ambient space.The approach has been applied to many spacetimes with horizons (see, e.g., references in [33]), for which many explicit embeddings have been constructed.However, the complete globalness (i.e.smoothness at all r > 0) in this case usually is not required; it is necessary only in the neiborhood of the outer horizon.It should be noted that Hawking into Unruh mapping works only for embeddings of hyperbolic type [33,34].Since the new embeddings of static BTZ and Schwarzschild-AdS spacetimes which were constructed here do not belong to this type (they are closer to the elliptic type), their usage would not lead to the appearance of this mapping.