Physics Letters B 772 (2017) 791–799
Contents lists available at ScienceDirect
Physics Letters B
www.elsevier.com/locate/physletb
BTZ black hole from Poisson–Lie T-dualizable sigma models with spectators ∗ A. Eghbali , L. Mehran-nia, A. Rezaei-Aghdam
Department of Physics, Faculty of Basic Sciences, Azarbaijan Shahid Madani University, 53714-161, Tabriz, Iran a r t i c l e i n f o a b s t r a c t
Article history: The non-Abelian T-dualization of the BTZ black hole is discussed in detail by using the Poisson–Lie Received 1 May 2017 T-duality in the presence of spectators. We explicitly construct a dual pair of sigma models related Received in revised form 18 July 2017 by Poisson–Lie symmetry. The original model is built on a 2 + 1-dimensional manifold M ≈ O × G, Accepted 21 July 2017 where G as a two-dimensional real non-Abelian Lie group acts freely on M, while O is the orbit of G Available online 26 July 2017 in M. The findings of our study show that the original model indeed is canonically equivalent to the Editor: N. Lambert SL(2, R) Wess–Zumino–Witten (WZW) model for a given value of the background parameters. Moreover, Keywords: by a convenient coordinate transformation we show that this model describes a string propagating in a BTZ black hole spacetime with the BTZ black hole metric in such a way that a new family of the solutions to low energy Sigma model string theory with the BTZ black hole vacuum metric, constant dilaton field and a new torsion potential String duality is found. The dual model is built on a 2 + 1-dimensional target manifold M˜ with two-dimensional real Poisson–Lie symmetry Abelian Lie group G˜ acting freely on it. We further show that the dual model yields a three-dimensional Charged black string charged black string for which the mass M and axion charge Q per unit length are calculated. After that, the structure and asymptotic nature of the dual space–time including the horizon and singularity are determined. © 2017 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3.
1. Introduction Then, it was shown [6] that a simple extension of Witten’s con- struction yields a three-dimensional charged black string such that 2 + 1-dimensional black hole solution with a negative cosmo- this solution is characterized by three parameters the mass, ax- logical constant, mass, angular momentum and charge was, first, ion charge per unit length, and a constant k [6]. After all, it was found by Banados, Teitelboim and Zanelli (BTZ) [1]. The study of shown [4] that the BTZ black hole is, under the standard Abelian 2 + 1-dimensional solutions have received a lot of attention, since T-duality, equivalent to the charged black string solution discussed the near horizon geometry of these solutions serves as a worth- in Ref. [6]. In the present paper, we obtain this result by making while model to investigate some conceptual questions of AdS/CFT use of the approach of the Poisson–Lie T-duality with spectators correspondence [2,3]. The BTZ black hole is asymptotically anti-de [7–9]. The Poisson–Lie T-duality is a generalization of Abelian [10] Sitter rather than asymptotically flat, and has no curvature singu- and traditional non-Abelian dualities [11] that proposed by Klimcik larity at the origin. A slight modification of this black hole solution and Severa [7]. It deals with sigma models based on two Lie groups yields an exact solution to string theory [4]. which form a Drinfeld double and the duality transformation ex- One of the most interesting properties of string theories, or changes their roles. This duality is a canonical transformation and more specially, two-dimensional non-linear sigma models is that two sigma models related by Poisson–Lie duality are equivalent a certain class of these models admits the action of duality trans- at the classical level [12]. A generalization of the Poisson–Lie formations which change the different spacetime geometries but T-duality transformations from manifolds to supermanifolds has leave unchanged the physics of such theories at the classical level. been also carried out in Ref. [13] (see, also, [14]). One of the Witten had shown [5] that two-dimensional black hole could most interesting applications of the Poisson–Lie T-duality trans- be obtained by gauging a one-dimensional subgroup of SL(2, R). formations is to the WZW models [15,16]. Up to now, only few examples of the Poisson–Lie symmetric sigma models have been treated at the quantum level [15,17]. Furthermore, the Poisson–Lie * Corresponding author. E-mail addresses: [email protected] (A. Eghbali), [email protected] symmetry in the WZW models based on the Lie supergroups have (A. Rezaei-Aghdam). recently studied in Refs. [18] and [19]. We also refer the reader http://dx.doi.org/10.1016/j.physletb.2017.07.044 0370-2693/© 2017 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3. 792 A. Eghbali et al. / Physics Letters B 772 (2017) 791–799 1 to the literatures [20]. In [15] it has been shown that the dual- + − ϒ S = dσ dσ Gϒ() + Bϒ() ∂+ ∂− , (2.3) ity relates the SL(2, R) WZW model to a constrained sigma model 2 defined on the SL(2, R) group space. Here in this paper we ob- ± tain a new non-Abelian T-dual background for the SL(2, R) WZW where σ = τ ± σ are the standard light-cone variables on the + model so that it is constructed out on a 2 1-dimensional mani- worldsheet . Gϒ and Bϒ are components of the metric and fold. Moreover, by using the Poisson–Lie T-duality with spectators antisymmetric tensor field B on a manifold M. The functions we find a new family of the solutions to low energy string theory ϒ : −→ R, ϒ = 1, ..., dim(M) are obtained by the composi- with the BTZ black hole vacuum metric, constant dilaton field and tion ϒ = Xϒ ◦ of a map : −→ M and components of a a new torsion potential. The findings of our study show that the coordinate map X on a chart of M. dual model yields a three-dimensional charged black string. This Let us now consider a d-dimensional manifold M and some solution is stationary and is characterized by three parameters: the coordinates ϒ ={xμ, yα} on it, where xμ, μ = 1, ···, dim(G) are mass M and axion charge Q per unit length, and a radius l related the coordinates of Lie group G that act freely from right on M. to the derivative of the asymptotic value of the dilaton field. In yα with α = 1, ···, d − dim(G) are the coordinates labeling the or- this way, we show that the non-Abelian T-duality transformation bit O of G in the target space M. We note that the coordinates yα (here as the Poisson–Lie T-duality on a semi-Abelian double) re- do not participate in the Poisson–Lie T-duality transformations and lates a solution with no horizon and no curvature singularity (the are therefore called spectators [9]. We also introduce the compo- −1 a a μ a BTZ vacuum solution) to a solution with a single horizon and a nents of the right invariant one-forms (∂± gg ) = R± = ∂±x Rμ α α curvature singularity (the charged black string). and for notational convenience we will also use R± = ∂± y . Then To set up conventions and notations, as well as to make the pa- the original sigma model on the manifold M ≈ O × G is defined per self-contained, we review the Poisson–Lie T-dual sigma models by the following action construction in the presence of spectators in Section 2. In Section 3 1 + − + α A B we discuss in detail the Abelian T-dualization of the BTZ black hole S = dσ dσ F (g, y ) R+ R−, 2 AB solutions by using the approach of the Poisson–Lie T-duality with spectators. Our main result is derived in Section 4: we explicitly 1 + − + α a b +(1) α a β = dσ dσ E (g, y ) R+ R− + (g, y )R+∂− y construct a dual pair of sigma models related by Poisson–Lie sym- 2 ab aβ metry on 2 + 1-dimensional manifolds M and M˜ such that the +(2) α α b α α β ˜ + + + + − group parts of M and M are two-dimensional real non-Abelian αb (g, y )∂ y R− αβ (y )∂ y ∂ y , (2.4) and Abelian Lie groups, respectively. In subsection 4.1, by a conve- ={ } E+ +(1) nient coordinate transformation we show that the original model where the index A a, α . As it is seen the couplings ab, aβ , describes a string propagating in a spacetime with BTZ black hole +(2) μ α and αβ may depend on all variables x and y . The back- vacuum metric. Moreover, the canonical equivalence of the original αb + ground matrix F (g, yα) is defined as model to the SL(2, R) WZW model is discussed in subsection 4.1. AB In subsection 4.2, first the dual model construction is given. Then it + α C + α D F (g, y ) = A A (g)E (g, y ) A B (g), (2.5) is shown that the dual model yields a three-dimensional charged AB CD black string for which the mass M and axion charge Q per unit where [7] length are calculated. Investigation of the structure and asymptotic + α nature of the dual space–time including the horizon and singular- E (g, y ) AB ity are discussed at the end of Section 4. Some concluding remarks + −1 + − = A(g) + E (e, yα)B(g) C E (e, yα)(A 1) D (g), (2.6) are given in the last Section. A CD B + with e being the unit element of G. Here, the matrix E (e, yα) 2. A review of Poisson–Lie T-duality with spectators may be function of the spectator variables yα only and is defined + +(1) +(2) in terms of the new couplings E0 ab, Faβ , Fαb and Fαβ so that We start this section by recalling the main features of the it is read Poisson–Lie T-duality and introducing redefinitions to make the + α +(1) α duality transformations more symmetrical. According to [7], the + E (e, y ) F (e, y ) E (e, yα) = 0 ab aβ . (2.7) Poisson–Lie duality is based on the concepts of the Drinfeld dou- AB +(2) α α F (e, y ) Fαβ (y ) ble which is simply a Lie group D, such that the Lie algebra D of αb this Lie group as a vector space can be decomposed into a pair In addition, the matrices A(g) and B(g) appearing in relations ˜ of maximally isotropic subalgebras G and G of the Lie groups G (2.5) and (2.6) are given by1 ˜ ˜ a and G, respectively. We take the sets Ta, a = 1, ..., dim(G), and T G G˜ a(g) 0 b(g) 0 as the basis of the Lie algebras and , respectively. They satisfy A(g) = , B(g) = , (2.8) the commutation relations 0 Id 00 where the submatrices a(g) and b(g) associated with the Lie group [ ]= c [ ˜ a ˜ b]= ˜ ab ˜ c Ta, Tb f ab Tc, T , T f c T , G are constructed using b ˜ bc b c [T , T˜ ]= f T + f T˜ . (2.1) a a c ca −1 = c g Ta g aa (g)T c , In addition to (2.1), there is an inner product <., . > on D with − a − g 1 T˜ g = bac(g) T + (a 1) a(g)T˜ c, (2.9) the various generators obeying c c and for later use we also need to consider the following definition ˜ b b ˜ a ˜ b < Ta, T > = δa ,
1 Thus, using the relations (2.5)–(2.8) together with (2.10) one can Rϒ + ( − R) Gϒ = 0,<0, (3.1) obtain the backgrounds appearing in the action (2.4). They are then 2 given in matrix notation by where Rϒ and R are the respective Ricci tensor and scalar curva- ture. The line element for the black hole solutions is given by − −1 E+ α = + 1 α + (g, y ) E0 (e, y ) (g) , (2.11) 2 2 2 2 r 2 2 2 r J −1 2 (1) − (1) ds = (M − )dt − Jdtdφ + r dφ + − M + dr , + α = E+ α + 1 α + α l2 l2 4r2 (g, y ) (g, y ) E0 (e, y ) F (e, y ), (2.12) 0 ≤ φ<2π (3.2) +(2) α = +(2) α +−1 α E+ α (g, y ) F (e, y ) E0 (e, y ) (g, y ), (2.13) where the radius l is related to the cosmological constant by α α +(2) α + α − (y ) = F (y ) − F (e, y ) (g)E (g, y ) l = (−) 1/2. The constants of motion M and J are the mass +−1 +(1) and angular momentum of the BTZ black hole, respectively. They × E (e, yα)F (e, yα). (2.14) 0 are appeared due to the time translation symmetry and rotational As we shall see below, one can construct another sigma model symmetry of the metric, corresponding to the killing vectors ∂/∂t (denoted as usual with tilded symbols) which is said to be dual to and ∂/∂ϕ, respectively. The line element (3.2) describes a black (2.4) in the sense of the Poisson–Lie T-duality if the Lie algebras G hole solution with outer and inner horizons at r = r+ and r = r−, and G˜ form a pair of maximally isotropic subalgebras of the Lie al- respectively, + gebra D [7]. Similarly to (2.7) one can define the matrix E˜ (e˜, yα) + 1/2 1/2 and then obtain the relation between both the matrices E (e, yα) M 1/2 J 2 + r± = l 1 ± 1 − , (3.3) and E˜ (e˜, yα) as follows [7] 2 Ml + + −1 + where the mass and angular momentum are related to r± by E˜ (e˜, yα) = A + E (e, yα) B B + E (e, yα) A , (2.15) 2 2 r+ + r− 2r+r− in which M = , J = . l2 l 00 Id 0 A = , B = . (2.16) 1/2 0 Id 00 The region r+ < r < M l defines an ergosphere, in which the asymptotic timelike Killing field ∂/∂t becomes spacelike. The solu- Now, the dual sigma model on the manifold M˜ ≈ O × G˜ is, in the tions with −1 < M < 0, J = 0describe point particle sources with coordinate base {x˜μ, yα}, given by the following action naked conical singularities at r = 0. The metric with M =−1, J = 0may be recognized as that of ordinary anti-de Sitter space; it ˜ 1 + − ˜ +AB α ˜ ˜ is separated by a mass gap from the M = 0, J = 0. The vacuum S = dσ dσ F (g˜, y ) R+ R− 2 A B state which is regarded as empty space, is obtained by letting the a horizon size go to zero. This amounts to letting M → 0, which re- 1 + − +ab α +(1) α β = E˜ ˜ ˜ + ˜ − + ˜ ˜ ˜ + − dσ dσ (g, y )R a R b (g, y )R a ∂ y quires J → 0. We have to notice that the metric for the M = J = 0 2 β black hole is not the same as AdS metric which has negative mass b 3 +(2) α α α α β + ˜ ˜ + ˜ − + ˜ + − M =−1. Locally they are equivalent since there is locally only one α (g, y )∂ y R b αβ (y )∂ y ∂ y , (2.17) constant curvature metric in three dimensions. However they are ˜ = ˜μ ˜ inequivalent globally. where R±a ∂±x Rμa are the components of the right invariant In Ref. [4], first the BTZ black hole solutions have been consid- one-forms on the Lie group G˜ . The coupling matrices of the dual ered in the context of the low energy approximation, then as the sigma model are also determined in a completely analogous way as exact conformal field theory. In three dimensions, the low energy (2.7) and (2.11)–(2.14) such that by using (2.15) one relates them string effective action is given by to those of the original one by [7–9,20] √ − 3 −2φ + + 1 S = d −Ge E˜ (g˜, yα) = E (e, yα) + (˜ g˜) , (2.18) ef f 0 ˜ +(1) α ˜ + α +(1) α 2 1 ϒ (g˜, y ) = E (g˜, y ) F (e, y ), (2.19) × R + 4(∇φ) − Hϒ H − 4 , (3.4) 12 +(2) +(2) + ˜ g˜ yα =−F e yα E˜ g˜ yα (2.20) ( , ) ( , ) ( , ), where G = det Gϒ . Hϒ are the components of the torsion of ˜ α α +(2) α ˜ + α +(1) α the antisymmetric field B and are defined by H = B + (y ) = F (y ) − F (e, y ) E (g˜, y ) F (e, y ). ϒ ∂ϒ ∂ Bϒ + ∂ Bϒ , while φ is the dilaton field. The equations of (2.21) motion which follow from this action are [21] ˜ ˜ Notice that (g) is defined as (2.10) by replacing untilded quanti- 1 0 = Rϒ − HϒH + 2∇ϒ ∇ φ, ties by tilded ones. Hence, the actions (2.4) and (2.17) correspond 4 to Poisson–Lie T-dual sigma models [7]. 1 0 =− ∇ Hϒ + H ∇φ, (3.5) 2 ϒ 3. The Abelian T-dualization of the BTZ black hole solutions 2 2 1 ϒ 0 = R + 4∇ φ − 4(∇φ) − Hϒ H − 4. In this section we give the Abelian T-dualization of the BTZ 12 black hole solutions [1] by making use of the approach of the These equations are known as the vanishing of the one-loop beta- Poisson–Lie T-duality with the spectators reviewed in the previ- functions equations. Notice that the string effective action is con- ous section. Let us now begin this section by reviewing the BTZ nected to the two-dimensional non-linear sigma model through black hole solutions [1]. The BTZ black holes are 2 + 1-dimensional these equations [21]. solutions of Einstein’s equations with a negative cosmological con- In order to obtain an exact solution to string theory, one must stant, , modify the BTZ black hole solutions by adding an antisymmetric 794 A. Eghbali et al. / Physics Letters B 772 (2017) 791–799 tensor field Hϒ proportional to the volume form ϒ . It has Now one can use the above approach to obtain the Abelian T-dual been shown [4] that any solution to three-dimensional general rel- solutions with the BTZ black hole solutions. Here the target space ativity with negative cosmological constant is a solution to low M ≈ O × G is defined by the coordinates {ϕ, r, t}, where the Lie 2 energy string theory with φ = 0, Hϒ = 2ϒ /l and =−1/l . group G should be considered to be U (1). It is more convenient to In particular it was shown [4] that the two parameter family of write the action of sigma model corresponding to the BTZ metric black holes (3.2) along with (3.2) and the solutions (3.6). It is then read to be in the following form r2 = = Bϕt ,φ0, (3.6) 2 2 −1 l 1 + − 2 r J S = dσ dσ r ∂+ϕ∂−ϕ + − M + ∂+r∂−r satisfy the equations of motion (3.5). Then, it was obtained [4] 2 l2 4r2 the dual of this solution by Buscher’s duality transformations [10]. r2 J r2 Abelian duality is a well known symmetry of string theory that + M − ∂+t∂−t − − ∂+ϕ∂−t l2 2 l maps any solution of the low energy string equations of motion J r2 (3.5) with a translational symmetry to another solution. − + ∂+t∂−ϕ . (3.13) As a concluding remark for this section we first explicitly re- 2 l obtain Buscher’s duality transformations [10] using the approach On the other hand, since the background described by the action of the Poisson–Lie T-duality with the spectators. Then, in this way, (3.13) depend on the r coordinate only, from the Poisson–Lie T- we obtain the Abelian T-dualization of the BTZ black hole solutions ˜ duality standpoint the Lie group G can not be parametrized by given by (3.2). In this case, the Lie groups G and G are Abelian. this coordinate. However, we assume that the G is parametrized ˜ ab ˜ Therefore, both structures ab(g) and (g) are vanished. Conse- by the ϕ coordinate while the coordinates of orbit O are repre- F+ α F˜ +AB ˜ α quently, the background matrices AB(g, y ) and (g, y ) are sented by the r and t. Comparing the action (3.13) and (3.7) the + + α ˜ +AB ˜ α matrix E (e, yα) is derived as equaled with E AB(e, y ) and E (e, y ), respectively. Thus, the AB action (2.4) in the presence of the dilaton field φ is written as ⎛ ⎞ 2 r2 0 − J + r 1 + − ⎜ − 2 l ⎟ = 2 2 1 S dσ dσ + α = ⎜ r − + J ⎟ 2 E (e, y ) ⎝ 0 2 M 2 0 ⎠ . AB l 4r J r2 r2 + α A B ϒ 1 (2) − − 0 M − × E (e, y )δϒ δ ∂+ ∂− − R φ , (3.7) 2 l l2 AB 4 (3.14) where R(2) is two-dimensional scalar curvature in the world- Considering (3.14) in the form (2.7) and using the fact that G = sheet. Comparing the sigma model (3.7) and (2.3) we find that + + α A B = + U (1) we find that E (e, yα) = r2 and E AB(e, y )δϒ δ Gϒ Bϒ. Let us assume that the sigma 0 ab model (3.7) has an Abelian isometry represented by a translation 0 (1) (2) 0 in a coordinate x in the target space. Notice that in the coor- + J r2 + F = 0 − + , F = 2 , ϒ ={ 0 μ} = − aβ 2 l αb − J − r dinates x , x , μ 1, ..., d 1adapted to the isometry, 2 l 0 ⎛ ⎞ the metric, torsion and dilaton field are independent of x . If we −1 + r2 J 2 choose the matrix E (e, yα) as − M + 0 AB F = ⎝ l2 4r2 ⎠ . (3.15) αβ 2 + 0 M − r + α = G00 G0ν B0ν l2 E AB(e, y ) , (3.8) Gμ0 + Bμ0 Gμν + Bμν The dual target space M˜ ≈ O × G˜ is defined by the coordinates then from relations (2.15) and (2.16) one immediately gets the fol- {ϕ˜, r, t}. Obviously, in the standard Abelian case D = U (1) × U (1), lowing Buscher’s duality transformations [10] i.e., G˜ is also identical to U (1) and is parametrized by the ϕ˜ coor- dinate. Finally, utilizing the equations (2.18)–(2.21) together with G˜ G˜ + B˜ 00 0ν 0ν (2.17) the dual sigma model is read off to be of the form G˜ + B˜ G˜ + B˜ μ⎛0 μ0 μν μν ⎞ + 1 1 r2 J 2 −1 1 G0ν B0ν ˜ = + − ˜ ˜ + − + G G S dσ dσ ∂+ϕ ∂−ϕ M ∂+r ∂−r = ⎝ 00 00 ⎠ . (3.9) 2 r2 l2 4r2 Gμ0+Bμ0 (Gμ0+Bμ0)(G0ν +B0ν ) − Gμν + B − 2 G00 μν G00 J J 1 + M − ∂+t ∂−t + − + ∂+ϕ˜ ∂−t It has been shown [10,22] that for preserving conformal invariance, 4r2 2r2 l at least to one-loop order, the dilaton field has to transform as J 1 1 (2) ˜ + + ∂+t ∂−ϕ˜ − R φ , (3.16) 2r2 l 4 ˜ 1 φ = φ − ln G00. (3.10) 2 where the new dilaton φ˜ at the last term of the action can be This shift of the dilaton field is due to the duality transformation calculated by (3.10) to be of the form receiving corrections from the jacobian that comes from integrat- ˜ =− ing out the gauge fields [10,22]. In the Poisson–Lie T-duality case, φ ln r. (3.17) dilaton shifts in both models have been obtained by quantum con- In this way the dual geometry is given by siderations based on a regularization of a functional determinant in a path integral formulation of Poisson–Lie duality by incorpo- J 2 r2 J 2 −1 ds˜2 = M − dt2 + − M + dr2 rating spectator fields [8] (see, also, [23]) 4r2 l2 4r2 α 1 + α 1 + α 2 1 2 φ = φ0(y ) + ln det E (g, y ) − ln det E (e, y ) , (3.11) + dt dϕ˜ + dϕ˜ , (3.18) 2 2 0 l r2 ˜ α 1 ˜ + α ˜ J φ = φ0(y ) + ln det E (g˜, y ) . (3.12) B =− dϕ˜ ∧ dt. (3.19) 2 2r2 A. Eghbali et al. / Physics Letters B 772 (2017) 791–799 795
The solutions (3.17)–(3.19) have been obtained in Ref. [4] by using g = ex1 T1 ex2 T2 , (4.2) Buscher’s duality transformations. The three-dimensional charged where x1 and x2 are the coordinates of the Lie group A2. Then black string solutions can be obtained from the dual solutions a 2 R±’s are derived to be of the form (3.17)–(3.19) by making the coordinate transformation t = l(r+ − −1 −1 2 ˆ 2 2 2 ˆ 2 2 1 2 x1 r−) 2 (xˆ − t), ϕ˜ = l(r+ − r−) 2 (r+t − r−xˆ) and r = lrˆ as follows [4] R± = ∂±x1, R± = e ∂±x2. (4.3)