BTZ gems inside regular Born-Infeld black holes

The regular black hole solution arising as a spherically symmetric vacuum solution of Born-Infeld gravity possesses an asymptotic interior structure which is very well described by a four dimensional generalization of the non-rotating BTZ metric. According to this picture no singularity exists, and instead, infalling observers experience a constant curvature manifold as they travel towards future null infinity. This is characterized by the BTZ event horizon. The exterior structure of the black hole is also studied, and it is shown that it corresponds to the Schwarzschild solution provided the black hole mass is not too small. In this way, the regular black hole state can be seen as a spacetime which connects two constant curvature asymptotic spaces, namely, the flat Minkowski spacetime in the outside region, and the locally AdS constant negative curvature one characterizing the BTZ-like asymptotic interior.


I. INTRODUCTION
A typical black hole solution in a gravitational theory is characterized by an event horizon that surrounds a geometrical singularity. Near this singularity our physical understanding breaks down and so does the mathematics involved. Singularities are actually very common within the context of metric theories of gravity and they are the rule rather than the exception, not only in General Relativity (GR) [1,2], but in other theories of gravity as well. On the other hand, and by virtue of the increasing observational evidence concerning black hole physics [3][4][5][6], singularities stopped being merely curiosities and started to take part in current central discussions as in the case of black hole entropy and the information loss paradox.
In the context of GR, one possible way to tackle the study of gravity in the strong curvature regime near black hole singularities, is either to postulate some sort of maximum curvature space replacing the innermost region of the black hole [7][8][9][10][11][12][13], or by adding a matter content which makes gravity respond in a repulsive way in that regime [15]. However, it should be remarked that replacing a singularity with a regular object is by no means straightforward and generally a trade-off has to be accepted. Often, the sources required for the construction of such solutions are difficult to motivate, or one has to consider matching spacetimes in a rather ad-hoc, non dynamical manner.
Motivated by the generally accepted fact that GR must be replaced by another theory when length scales become very small, we have recently addressed this topic by considering a GR modification with a somewhat different geometrical structure [16]. Our model is based on the teleparallel formulation of GR and its f (T ) generaliza- * Electronic address: c.boehmer@ucl.ac.uk † Electronic address: francof@cab.cnea.gov.ar tion, which proved to be very successful in dealing with the Big Bang singularity featuring FLRW cosmological models [17]. This generalization has the property that it is, in general, no longer invariant under arbitrary local Lorentz transformations in the strong field regime. Our specific Born-Infeld (BI) model introduces a new length scale a c which controls where the breakdown of the Lorentz invariance occurs. In particular the black hole singularity of 'size' zero is replaced by a space of radius a c which is no longer singular. This constant curvature assembly space, which is described by the interior Gott metric [18], constitutes an asymptotic state lying at ingoing future null infinity. The replacement obtained is dynamically achieved, without the addition of any matter content nor topological change.
The main objective of the present work is to gain an in depth understanding of the structure of the spacetime near the assembly space. We found, rather unexpectedly, that the line element near the assembly space is equivalent to a four dimensional extension of the nonrotating BTZ line element [19,20] near its horizon. After a brief introduction into f (T ) gravity and the BI model in Section II, we explicitly show in Section III the coordinate transformations required to establish our result.
The key idea is the use of null geodesics which leads to a type of Eddington-Finkelstein coordinates. To complete the geometrical picture, Section IV shows that the solution near the black hole horizon is very well described by the Schwarzschild solution provided r 2 s ≫ a 2 c , where r s = 2GM is the Schwarzschild radius. We also show how the structure of the dynamical field -the vierbein or tetrad field e a -results. The final conclusions are presented in Section V. Throughout the paper, we will adopt the signature −2, and, as usual, Latin indexes a : (0), (1), . . . refer to tangent-space objects while Greek µ : 0, 1, . . . denote spacetime components.

II. A GLIMPSE OF f (T )-BORN-INFELD GRAVITY AND ITS REGULAR BLACK HOLE
Before discussing the Born-Infeld gravitational scheme, it is convenient to briefly revisit f (T ) gravity, the general framework in which BI gravity is formulated. The action of f (T ) gravity can be considered a simple generalization of GR in it's teleparallel (or absolute parallelism) formulation, and is written as where e = | det g µν |. There appears an arbitrary function f , at least twice differentiable, of the so called Weitzenböck scalar or torsion scalar T = S a µν T a µν which is quadratic in torsion T a µν = ∂ µ e a ν − ∂ ν e a µ by means of the 2-form S a µν given by The dynamical field underlying (1) is the vierbein (tetrad field or coframe field) e a (x) = e a ν (x) dx ν , whose components in a local coordinate system are given by e a ν (x) and are functions of the coordinates. In the special case when f is a linear function, we have the action which is no other than the Hilbert-Einstein action in disguise; actually, it is relatively well known by now that the scalar curvature or Ricci scalar R = g µν R µν (here R µν is the Ricci tensor), can be written as [21] where T σ σν = g µρ T µρ ν . Then, action (2) leads to Einstein's field equations written in a somewhat unconventional language, even though the equivalence is only valid provided the manifold has no boundary; in this case we can ignore the second term of the RHS of (3). It is worth mentioning the fact that the Weitzenböck scalar actually transforms as a scalar object only under general coordinate and global Lorentz transformations. Under a local Lorentz transformation of the tetrad e a = Λ a b (x)e a , torsion T a in the teleparallel setting does not transform covariantly; instead, the Weitzenböck scalar transforms modulo a surface term which does not affect the dynamics at the level of the GR field equations.
However, in the more general f (T ) action, the additional term emerging from T when a Lorentz transformation acts on a given tetrad, is no longer a boundary term in the action. This means that f (T ) gravity is not locally Lorentz invariant in general, even though a local Lorentz transformation on shell subgroup remains as a symmetry group. The additional degree of freedom existing due to the breaking of the Lorentz symmetry [22], manifests itself as a particular arrangement of the tetrad field in the cotangent space T * M. This special arrangement conforms a parallelization of the manifold in consideration, which is actually defined by an equivalence class of tetrads connected by Lorentz transformations belonging to the remnant group mentioned above. Details on this subtle subject can be consulted in [23][24][25].
The equations of motion or field equations are obtained from (1) by varying with respect to the tetrad components e a µ , and they are where T λ ν is the energy momentum tensor coming from the matter action I matter . Remarkably, though unsurprisingly because of the fact that T contains just first derivatives of the tetrad field, equations (4) are of second order in derivatives of the vierbein, see also [26].
It could be argued that there is a considerable arbitrariness in the selection of the function f (T ) in (1). Nonetheless, at least the same level of arbitrariness exists if one insists in relying on GR in situations where very strong curvatures arise, for instance 'close' to strong curvature singularities such as the Big Bang or the ones present in the interior of several black holes solutions. Then, at least in these situations, there are good conceptual and theoretical reasons to consider other plausible f (T ) candidates. In particular, we will focus on where λ is the BI parameter, whose units are of inverse length squared. This follow from the fact that the torsion scalar and the curvature scalar both have units of inverse length squared. Einstein's gravity is recovered in regions where T /|λ| ≪ 1 which gives rise to the ex- . The length scale |λ| −1/2 is a measure of the scale at which local Lorentz invariance would no longer hold as a full symmetry. BI structures of the type (5) were originally conceived in the context of electrodynamics for dealing with the singularity of the point-like electric charge at the origin [27] where the charge was located. The main idea was actually borrowed from special relativity; the relativistic lagrangian assures an upper bound for the particle speedẋ through the particle kinetic energy L p = mẋ 2 /2. New physics will appear up whenẋ → c which is precisely the subject of study in special relativity. Action (5) was initially designed for treating the problem of the Big Bang singularity present in the standard FLRW cosmological model [17]. After that, various extensions were studied in the same circumstances, even though they involve a different Lagrangian structure [28,29]. Within the (pseudo) Riemannian context, a number of BI proposals were studied as well [30][31][32][33][34][35][36][37][38], see also Ref. [39] for a thorough account on the matter. However, many of these models are unable to deform vacuum GR solutions, and others lead to fourth-order field equations which are more difficult to study. These facts make them less relevant concerning the singularity resolution of vacuum GR black holes. Instead, the action coming from (5), i.e.
has proved to contain a regular, spherically symmetric black hole interior solution, in pure vacuum when λ < 0. In the following we summarize its main properties which were reported in [16].
One of the key issues in f (T ) gravity is the obtention of a proper frame representing a given metric tensor. This is far from being obvious and can be considered the hardest step towards the characterization of a given solution. For instance, if we start from the closed Kantowski-Sachs [40] line element a proper tetrad field is given by For ease of notation we introduced dΩ + = tan φ dθ + sin θ cos θ dφ and dΩ − = cot φ dθ − sin θ cos θ dφ. As we explained [41], this is the proper frame for f (T ) gravity, adapted to the R 2 × S 2 topology underlying (6). Other frames are suitable as well, and they are related to (7) by means of Lorentz transformations belonging to the remnant group. Of course, if f (T ) = T every frame leading to (6) is equally valid, because TEGR is a theory for the metric tensor alone, and the local orientation of the tetrad becomes irrelevant. The Schwarzschild interior solution in KS form involves the scale factors a(t) = a KS (t) and b(t) = b KS (t) which are (implicitly) written as The time coordinate t is parameterized by η according to The regular black hole interior is a high energy deformation of the Schwarzschild solution in the KS form. If we evaluate the vacuum f (T ) equations (4) in the frame (7), they take the form The Weitzenböck scalar associated to the frame (7) is For the KS case, using (8) one obtains T KS = 4a −2 KS = M −2 cos −4 (η(t)). This clearly diverges as η(t) → π/2, which in view of (8), represents the Schwarzschild singularity. In turn, we have shown in [16] that for the the BI theory T results in where the function a(t) is a solution of the field equations (10) and (11). T BI now reaches a maximum T max = |λ|/2 when a = a c = 2/ |λ|, which defines what we called, the previously mentioned, assembly space. We showed that the metric corresponding to this assembly space is exactly the one corresponding to the interior of an infinitely long (in the Z-direction) cosmic string This metric was first obtained in [18], and it has constant curvature invariants where R (2) = R µν R µν , K = R α µνρ R α µνρ . We found that the assembly space (13) cannot be reached in a finite proper time. It represents an asymptotic inner spacetime where the radius a(t) of the two-spheres in (6) goes to a c as t → ∞. Then, the Schwarzschild singularity is replaced by an asymptotic spacetime of constant curvature. This regularization was obtained without invoking any matter content nor topological change.
As we have shown in [16], we can combine the field equations in such a way that the Hubble function H b is eliminated. Hence one arrives at a single, nonlinear ODE for the scale factor a(t) in the BI case. This equation reads One of the key results of [16] was to find an approximate solution to the BI motion equations near the assembly space. It ended up being where b 0 and A ≪ 1 are two non-vanishing integration constants. It is the main purpose of this letter to study (16) in detail.

III. ASYMPTOTIC INTERIOR STRUCTURE OF THE BLACK HOLE: A BTZ-LIKE DESCRIPTION
In the following we will show that the regular black hole near the assembly space is described by the BTZ metric [42] in rather unusual coordinates, i.e., that metric (16) can be written as provided A ≪ 1. HereM is the mass parameter and Λ = −ℓ −2 is the (negative) cosmological constant. To uncover this, we will introduce coordinates which are constant along null geodesics, similar to the familiar Eddington-Finkelstein coordinates. Let us consider radial null geodesics which means setting dΩ = 0 in (16), hence radial null geodesics satisfy 0 Consequently, we are led to introduce the coordinates This allows us to write the (t, z)-part of the line element (16) in the form Finally we rescale u =Ũ /a c and v =Ṽ /a c so that Since the t = 0 coordinate singularity occurring in (18) corresponds to small values of the product uv, we can expand the exponential in the usual way exp(−uv/2) = 1 − uv/2 + . . .. Therefore, by neglecting higher order terms, we can write the interior solution near the assembly space (16) as Let us emphasize that we are still free to re-scale either of the coordinates {u, v} or {ũ,ṽ}; this will be important in what follows in order to identify the constants a c and A with ℓ and M , respectively. To do so we re-scale {u, v} → {σu, σv} in (19). Hence we have the final form of the metric near the assembly space On the other hand, we look at radial null geodesics in the BTZ line element (17); we introduce the coordinates so that we have In these coordinates the BTZ line element (17) becomes Now, similar to before, we set MŪ /ℓ =ū and MV /ℓ, this yields the result where the bars were introduced in order to distinguish the coordinates from the previous case. The BTZ event horizon is located at R = ℓ M , which corresponds to the argument of the function arctanh becoming 1 in (21). Therefore we identify R → ℓ M withŪ → ∞ andV → ∞ which also holds forū,v. Hence we can make the standard approximation cosh −2 ((ū+v)/2) ≈ 4 exp(−(ū+ v)/2) = 4 exp(−ū/2) exp(−v/2) for large arguments of the function. In turn, this allows us to write the BTZ solution as We now can finally compare the expressions (20) and (24). The following conditions are implied for identifying the two line elements: Clearly we have a c σ = ℓ so that the remaining two conditions become Taking into account the previous relations we conclude for small values of A =M /4, which we assumed throughout. This means that the critical radius defining the assembly space, approximately corresponds to the horizon of the BTZ solution for small masses. Actually, the BTZ horizon coincides with a c only whenM = 0. So, naturally the question arises: are there two surfaces of interest? Clearly R h > a c for a positive A =M /4, so that one may wrongly conclude that the horizon at R h surrounds the critical surface. This is not the case, because the assembly space is not a solution of the field equations in itself, it is not part of the spacetime at all; this can be easily checked by inserting a = a c , H a = 0 in (10) and (11). In fact, they read f (T max ) = f (|λ|/2) = 0 (we used (12)), which is not consistent with The constant A in line element (16) arose as a constant of integration when solving the equation (15) to first order using the expansion a(t) = a c (1 + εF 1 (t)). However, when this procedure is extended to second order using the expansion a(t) = a c (1 + εF 1 (t) + ε 2 F 2 (t)) one can also solve explicitly the second order equations which contain additional constants of integration. It is possible to choose these constants such that a(t = 0) = a c so that the location of the critical surface is unaffected by the use of an expansion near a c . It is worth mentioning that to expand near a c is well justified because the assembly space is a constant curvature space, see (14).
The BTZ-like metric leads to non constant curvature invariants, which tend to the ones corresponding to the assembly space when evaluated at the BTZ horizon in the small mass limit. For instance, by evaluating the scalar curvature R BTZ of (17) at the horizon, using the identifications (25), we get , which tends to R = −2/a c when the massM goes to zero, in agreement with the value corresponding to the assembly space, see. Eq. (14). In this way, we can interpret the assembly space as being the metric at future null infinity, the asymptotic state of any infalling observer entering the black hole. This is a most remarkable result, because the fearsome Schwarzschild singularity is no longer a threat.

IV. NEAR HORIZON AND ASYMPTOTIC EXTERIOR STRUCTURE
Unlike the high curvature regime characterizing the environs of the assembly space, the black hole near the horizon behaves as a Schwarzschild black hole to a high degree of accuracy. This can be shown easily by analyzing the contribution of the λ-terms in (15), near the Schwarzschild horizon. Bearing this in mind, let us introduce the Hubble function and its time derivative associated to a KS (t). They are where we usedη = 1/(2M (1 + cos(2η))) which follows from the implicit definition of η(t) given in (9). Inspection of the terms appearing in (15), a KS , H a KS andḢ a KS as given by Eqs. (8) and (26), the terms involving λ are proportional to As η → 0, which represents the Schwarzschild horizon, the terms behave as 1/M 2 |λ| and 1/M 4 |λ|. They are negligible as long as M 2 ≫ 1/|λ|, or r 2 s ≫ a 2 c , which means that the spacetime in the vicinity of the horizon is very well described by the Schwarzschild solution as long as the black hole has not lost too much mass due to evaporation. On the contrary, late evaporation stages involve smaller masses and η → π/2, where tan(η) and sec(η) diverge. This is the regime in which the BI black hole strongly departs from the Schwarzschild one.
The standard KS coordinate change will bring the metric (6) into the familiar Schwarzschild interior form. Let us treat a KS (t) as a new coordinate and write a KS (t) = a from now on. Then η(t) = η(a) and dt/da = (∂t/∂η)/(∂η/∂a). According to (9), we have It only remains to write b(t) as a function of the new coordinate a. Using (8) we have b(t) = b 0 tan arccos( a/2M) = 1 − a/2M a/2M , which then reads b 2 (t) = 2M/a − 1, where we have eliminated b 0 with a trivial coordinate transformation. We arrive at the KS metric (6) in the familiar form being valid for a < 2M . Of course, r is the temporal coordinate, and a turns out to be the radius of the 2spheres. Once the interior metric is approximately established, we can enlarge the manifold by considering the region outside the event horizon. The result is the well known Schwarzschild metric in standard (t, r, θ, φ) coordinates Of course, neither (28) nor (29) are defined at the horizon itself; the KS metric (28) describes the interior region only. In turn, (29) is also unable to represent the horizon itself.
It is even more important to establish the correct structure of the vierbein field, which describes the actual dynamical field of f (T ) gravity. In order to do so, we need to perform the KS coordinate transformation on the proper frame (7) taking into account the transformation law e b µ ′ = ∂x µ /∂x µ ′ e b µ . Starting from (7) and using the first of the equations (27) we obtain e (r) = 2M a − 1 cos θ dr + a sin 2 θ dφ , e (θ) = 2M a − 1 sin φ sin θdr + a sin φdΩ − , where the coordinates are (a, r, θ, φ). This tetrad gives rise to the metric (28), and represents -approximatelya parallelization of the interior black hole spacetime near the horizon. This frame field leads to a Weitzenböck scalar given by T = 4a −2 , which is perfectly regular at the horizon T hor = 1/M 2 , even though the frame is not defined there.
In the same fashion as done before with the metric, we proceed to enlarge the tetrad structure in order to obtain a description of the asymptotically flat region lying far from the black hole horizon. However, this procedure is non trivial because we have to match tetrads C 1 (at least once differentiable), i.e., it is necessary to C 1 match four 1-form fields on a given hypersurface. This requirement is necessary because one has to guarantee a well posed dynamical evolution of system (4), which is a second order system of PDEs; the initial data will be constituted by the tetrad field and its first derivatives. This automatically will assure the continuity of the Weitzenböck scalar, which contains first derivatives of the tetrad field.
Guided by the metric (29), we found e (t) = 1 − 2M r dt , e (r) = cos θ dr This frame leads to a scalar given by T = 4r −2 which, again, takes the value T hor = 1/M 2 at the horizon. In this way the scalars associated to both frames (30) and (31) have the structure T = 4/(radial coordinate) 2 ; they lead to a C 1 scalar all over the spacetime, even though at r = 2M (from the outside), or a = 2M (from the inside), the frames are not defined, just as the metric is undefined there. By changing to Eddington-Finkelstein or Kruskal coordinates in (30) and (31), the C 1 character of the frame field can explicitly be shown. The asymptotic flatness of the black hole reveals itself from (31) taking the limit r → ∞. In that limit the frame (31) goes as which leads to the line element ds 2 = dt 2 − dr 2 − r 2 dΩ 2 , characterizing Minkowski spacetime in spherical coordinates. More details about the nature of the proper frames in f (T ) gravity can be consulted in Refs. [24,25].

V. CONCLUSIONS
The vacuum regular black hole studied here contains an interior region which is characterized asymptotically by a four dimensional extension of the non-rotating BTZ black hole. The BTZ horizon plays the role of future null infinity, in the small mass limitM ≪ 1 where we recall that the BTZ massM is dimensionless. Moreover, the cosmological constant associated to the BTZ solution is Λ = −ℓ −2 , i.e., Λ = −M a 2 c (1 +M /2) = −M |λ| 4(1 +M /2) , see expression (25). Consequently, the cosmological constant is also very small providedM ≪ 1. The outer region, in turn, is indistinguishable from the Schwarzschild spacetime provided the Schwarzschild mass satisfies M 2 ≫ 1/|λ|, or r 2 s ≫ a 2 c . A freely falling observer trespassing the Schwarzschild horizon will asymptotically experience a constant curvature spacetime whose invariants are given by (14). This asymptotic inner space is what we called a BTZ gem, a sort of storage region which gathers the information carried by every form of matter/energy. The spacetime is then geodesically complete and free from the Schwarzschild singularity.
The thermodynamics when M 2 ≫ |λ| −1 (early stage) is then the same as in the Schwarzschild case, even though corrections of order |λ| −1 to the black hole entropy will certainly appear; these are of no concern for astrophysical and super-massive black holes and hence were not considered in the present work. However, the black hole temperature and entropy will differ radically from the Schwarzschild case when the mass approaches M 2 ≈ |λ| −1 , i.e., after a long evaporation time. The characterization of the final stages of the black hole evolution will involve a relation between the initial black hole mass M , the BI constant λ, and the BTZ massM . These delicate matters are the subject of ongoing research.