Abstract
We proceed to investigate the non-Abelian T-duality of \(AdS_{2}\), \(AdS_{2}\times S^1\) and \(AdS_{3}\) physical backgrounds, as well as the metric of the analytic continuation of \(AdS_{2}\) from the point of view of Poisson-Lie (PL) T-duality. To this end, we reconstruct these metrics of the AdS families as backgrounds of non-linear \(\sigma \)-models on two- and three-dimensional Lie groups. By considering the Killing vectors of these metrics and by taking into account the fact that the subgroups of isometry Lie group of the metrics can be taken as one of the subgroups of the Drinfeld double (with Abelian duals) we look up the PL T-duality. To construct the dualizable metrics by the PL T-duality we find all subalgebras of Killing vectors that generate subgroup of isometries which acts freely and transitively on the manifolds defined by aforementioned AdS families. We then obtain the dual backgrounds for these families of AdS in such a way that we apply the usual rules of PL T-duality without further corrections. We have also investigated the conformal invariance conditions of the original backgrounds (AdS families) and their dual counterparts. Finally, by using the T-duality rules proposed by Kaloper and Meissner (KM) we calculate the Abelian T-duals of BTZ black hole up to two-loop by dualizing on the coordinates \( \varphi \) and t. When the dualizing is implemented by the shift of direction \(\varphi \), we show that the horizons and singularity of the dual spacetime are the same as in charged black string derived by Horne and Horowitz without \(\alpha '\)-corrections, whereas in dualizing on the coordinate t we find a new three-dimensional black string whose structure and asymptotic nature are clearly determined. For this case, we show that the T-duality transformation changes the asymptotic behavior from \(AdS_3\) to flat.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Anti-de Sitter (AdS) space as a constant-negative-curvature spacetime is the maximally symmetric solution of Einstein’s equation with a negative cosmological constant. \(AdS_d\) space can be realized as a hyperboloid embedded in a \(d + 1\)-dimensional geometry whose metric may be, in d-dimensional half-space coordinate, expressed as
where l is the radius of the \(AdS_d\) metric. In this work we will deal with \(AdS_{2}\), \(AdS_{2}\times S^1\) and \(AdS_{3}\) backgrounds, and also the metric of the analytic continuation of \(AdS_{2}\) in Poincaré coordinates. The \(AdS_{3}\) metric is, in Poincaré coordinates, given by
This metric is an exact solution of Einstein’s equation so that it covers a subregion of \(AdS_{3}\) called the Poincaré patch. A spacetime is called asymptotically AdS if it approaches (1.2) as \(r\rightarrow \infty \). AdS backgrounds have made numerous appearances in the context of the AdS/CFT correspondence, as well as the string theory. An example of an asymptotically AdS spacetime is the BTZ black hole. The BTZ as a \(2+1\)-dimensional black hole solution with mass, charge, angular momentum, and negative cosmological constant was, first, found by Banados, Teitelboim and Zanelli [1]. A slight modification of this black hole solution yields an exact solution to string theory [2]. The BTZ black hole as an \(AdS_3\) spacetime is a solution for the equations of motion of the low energy string effective action with antisymmetric tensor field \(B_{\varphi t} =r^2/l\) and a zero dilaton field [2]. By studying the dual of this solution [2], it was shown that the BTZ black hole solution is, under the Abelian T-duality, equivalent to the charged black string solution discussed in [3]. Abelian T-duality [4, 5] is a well known symmetry of string theory that maps any solution of the string equations with a translational symmetry to another solution. In fact, the duality symmetry is one of the most interesting properties of string theory that different spacetime geometries can correspond to equivalent classical solutions. In Ref. [6], it was discussed the Abelian T-duality for \(AdS_2\), as well as the two-sphere \(S^2\). These two examples are different in nature as T-duality performed along a compact direction for \(S^2\) and along a non-compact direction for \(AdS_2\). In the case of the non-Abelian T-duality of \(AdS_3\) spacetime, it was shown that [7] the non-Abelian T-duality transformation (as the PL T-duality on a semi-Abelian double) relates the \(AdS_3\) spacetime with no horizon and no curvature singularity (the BTZ vacuum solution) to a solution with a single horizon and a curvature singularity (the charged black string). The PL T-duality is a generalization of Abelian [4, 5] and non-Abelian dualities [8] that proposed by Klimcik and Severa [9, 10]. They showed that the dual \(\sigma \)-models can be formulated on the Drinfeld double group \(\mathbf{D}\) [11], which by definition has a pair of maximally isotropic subgroups \(\mathbf{G}\) and \({\tilde{\mathbf{G}}}\) corresponding to the subalgebras \(\mathcal{G}\) and \({\tilde{\mathcal{G}}}\), such that the subalgebras are duals of each other in the usual sense, i.e., \({\tilde{\mathcal{G}}} = \mathcal{G}^*\). As mentioned above, the \(AdS_3\) background is a solution for the low energy string effective action equations with a nonzero field strength \(H=dB\). In the present work, we consider the \(AdS_{3}\) background with zero B-field, i.e. \(H=0\). Indeed, an argument [12] claiming that \(AdS_{3}\) solutions to the low energy string equations do not exist assumed that \(H=0\). Obviously, in the case of two-dimensional backgrounds such as \(AdS_{2}\), the field strength H is always absent.
The main goal of this paper is to investigate the non-Abelian T-duality of \(AdS_{2}\), \(AdS_{2}\times S^1\) and \(AdS_{3}\) backgrounds, as well as the metric of the analytic continuation of \(AdS_{2}\) by using PL T-duality approach. For that purpose, we first obtain the isometry subgroups of these metrics acting freely and transitively on the corresponding target space manifolds. As we will address in the following, these isometry subgroups can be used for construction of their non-Abelian T-dual backgrounds. Sufficient condition for that is that the metrics have an isometry subgroup whose dimension is equal to the dimension of the manifold and its action on the manifold is free and transitive. This procedure was first applied for homogenous plane-parallel wave metric in [13] (see, also, [14, 15]). On the other hand, we have lately studied the Abelian T-duality of Gödel string cosmologies up to \(\alpha '\)-corrections [16] by applying the T-duality rules at two-loop order which were obtained by KM in [17]. Using the T-duality rules of KM, we shall study the Abelian T-duality of BTZ black hole up to \(\alpha '\)-corrections by dualizing on both directions \(\varphi \) and t. When the dualizing is implemented by the shift of direction \(\varphi \) we show that the structure and asymptotic nature of the dual spacetime including the horizons and singularity are the same as in charged black string derived by Horne and Horowitz [3] without \(\alpha '\)-corrections, whereas in performing the duality with respect to the coordinate t we find a new three-dimensional black string whose structure and asymptotic nature including the horizons and singularity are also determined. Moreover, we show that the Abelian T-duality transformation of KM changes the asymptotic behavior of solutions from \(AdS_3\) to flat. In the case of our black string, it is interesting to note that the true singularity lies outside the horizons. Similar to this, by using the version of the general relativity field equations produced in [18] it has been shown that [19] there is a singularity outside of a Schwarzschild black hole. Perhaps the most important feature of our black string solution is that its global structure is qualitatively different from previously discussed string solution, where dualizing is performed by the shift of direction \(\varphi \).
This paper is organized as follows. After Sect. 1, Sect. 2 reviews the construction of PL T-dual \(\sigma \)-models over the Lie groups, where necessary formulas are summarized. We furthermore review the conformal invariance conditions of the bosonic \(\sigma \)-model up to two-loop order at the end of this section. We start Sect. 3 by investigating the conformal invariance conditions of the \(AdS_2\) metric up to \(\alpha '^2\)-corrections (three-loop order). Then, the non-Abelian target space dual of the metric is obtained by using the Lie subgroup of isometry group acting freely and transitively on the \(AdS_{2}\) manifold; we also give a note on the non-Abelian T-duality of the metric of the analytic continuation of \(AdS_{2}\) at the end of this section. Similar to the construction of T-dual \(\sigma \)-model for \(AdS_2\) in Sect. 3, we obtain the non-Abelian T-dual background of the \(AdS_{2}\times S^1\) metric in Sect. 4; the results of this section are summarized in Tables 1 and 2. The study of the non-Abelian T-dualization of the \(AdS_3\) metric is given in Sect. 5. The results of this section including the constant matrix \(E_0(e)\), the transformation between \( AdS_3 \) coordinates and group ones, and the metrics and B-fields corresponding to both original and dual backgrounds are clearly displayed in Table 4. The study of Abelian T-duality of BTZ black hole up to \(\alpha '\)-corrections by using the KM approach, when the duality is implemented by a shift of the coordinates \(\varphi \) and t, is discussed in Sect. 6. Some concluding remarks are given in the last section.
2 Some review on PL T-duality and two-loop conformal invariance
In this section, we begin by reviewing the construction of PL T-dual \(\sigma \)-models over the Lie groups. In order to investigate the conformal invariance conditions of the models constructed out by the metrics \(AdS_2 \), \(AdS_{2}\times S^1\), \( AdS_3 \), and also the metric of the analytic continuation of \(AdS_{2}\) up to the first order in \(\alpha '\) we also review the two-loop beta function equations proposed by Hull and Townsend (HT) [20].
2.1 A brief review of PL T-duality
Here we review non-Abelian T-duality via the PL T-duality approach in the absence of spectators. According to [9, 10] the PL duality is based on the concept of Drinfeld double [11]. The Drinfeld double \(\mathbf{D}\) is a Lie group whose Lie algebra \( {\mathcal {D}} \) as a vector space can be decomposed into direct sum of two Lie subalgebras \( {\mathcal {G}} \) and \( \tilde{{\mathcal {G}}} \), such that \( {\mathcal {D}} \) is maximal isotropic with respect to a non-degenerate invariant bilinear form \( \langle ~,~\rangle \) on \( {\mathcal {D}} \). Actually, by taking the sets \( \{T_a\} \) and \( \{{\tilde{T}}^a\} \) as the bases of the Lie algebras \( {\mathcal {G}} \) and \( \tilde{{\mathcal {G}}} \), respectively, we have:
where \( f_{ab}^{~c} \) and \( {{{\tilde{f}}}^{ab}}_{\; \; \, c} \) are structure constants of the Lie algebras \({\mathcal {G}} \) and \( \tilde{{\mathcal {G}}} \), respectively. The isotropy of the subalgebras with respect to bilinear form means that
Also, the Jacobi identity of Lie algebra \( {\mathcal {D}} \) imposes the following mixed Jacobi relations over the structure constants of Lie algebras \( {\mathcal {G}} \) and \( \tilde{{\mathcal {G}}} \)
In order to define \( \sigma \)-models with PL duality symmetry, we need to consider the following relations [9, 10]:
where g is an element of the Lie group \(\mathbf{G}\) corresponding to the Lie algebra \({\mathcal {G}}\). The invariance of inner product with respect to adjoint action of group together with (2.2) and (2.4) requires the above matrices to possess the following properties [9, 10, 21]Footnote 1:
Now, one may define below the \( \sigma \)-model with d-dimensional target manifold \(\mathcal M\) where the action of group \(\mathbf{G}\) on \(\mathcal M\) is free and transitive so that \(\mathcal{M} \approx \mathbf{G}\) [9, 10]
where \(\sigma ^{\pm }\) stand for the standard light-cone variables which are defined by means of the coordinates of worldsheet \({\Sigma }\), giving \(\sigma ^{\pm } =(\tau \pm \sigma )/2\) together with \(\partial _{\pm }=\partial _{\tau } \pm \partial _{\sigma }\), and \({R^a_{\pm }}\) are the components of right invariant one-forms on \( \mathbf{G} \) which are defined in the following way
where \(X^{^{M}}, {M} =1,...,d\) are the coordinates of manifold \(\mathcal M\). The background matrix E is given in matrix notation by
where \( E_0 (e) \) is an invertible constant matrix in which e is the unit element of the group \(\mathbf{G}\). The target space of dual model is the d-dimensional manifold \( \tilde{\mathcal{M}} \) with coordinates \({{\tilde{X}}}^{^{M}}\). Analogously, the group \( \tilde{\mathbf{G}}\) (whose dimension is, however, equal to that of G) corresponding to \(\tilde{\mathcal{G}}\) acts freely and transitively on the manifold \( \tilde{\mathcal{M}}\) so that \(\tilde{\mathcal{M}} \approx {\tilde{\mathbf{G}}}\). Then, the corresponding dual action can be written as [9, 10]
where \({\tilde{g}}\) is an element of the Lie group \(\tilde{\mathbf{G}}\), and \({{\tilde{R}}}_{\pm _a}\) are the components of right invariant one-forms on \({\tilde{\mathbf{G}}} \) which are defined as in (2.7). The background appearing in this action are given in matrix notation by
where \({\tilde{\varPi }}({\tilde{g}})\) is defined as in (2.5) by replacing untilded quantities by tilded ones and vice versa. It should be noted that the actions (2.6) and (2.9) correspond to PL dual \(\sigma \)-models [9, 10]. If the group \( \mathbf{G}\) becomes the isometry group of the manifold \(\mathcal M\) with dual Abelian group \( \tilde{\mathbf{G}} \), then one can obtain the standard non-Abelian duality [8].
Let us now compare the \(\sigma \)-model (2.6) with the following standard two-dimensional non-linear \(\sigma \)-model defining on the worldsheet in d spacetime dimensions
where the background \({\mathcal {E}}_{_{MN}} ={G}_{_{MN}} + {B}_{_{MN}}\) combines the metric \({G}_{_{MN}}\) on \(\mathcal M\) with antisymmetric tensor field \({B}_{_{MN}}\) (B-field). The fields \(X^{^{M}}(\sigma ^{\alpha })\) constitute a map from the worldsheet to the manifold \(\mathcal M\) with local coordinates \(X^{^{M}}\). Comparing (2.6) and (2.11) and then using (2.7) one obtains that
Notice that for the non-Abelian duality case, \({\tilde{f}}^{ab}_{~~~c}=0\), we find that \( b(g)=0 \), then, \( \varPi (g)=0 \); consequently, \( E(g)=E_0(e)\). In this case, if \(E_0(e)\) is chosen to be symmetric, then one concludes that the B-field vanishes. In general \(E_0(e)\) of (2.8) can have an antisymmetric part, and in that case the B-field would be non-vanishing.
Before closing this subsection, we shall give a short summary of the dualization procedure that we will apply in the next sections. First of all, we obtain the subalgebras of \(d(d+1)/2\)-dimensional isometry Lie algebras that generate subgroups of isometry Lie groups that act freely and transitively on d-dimensional target space \(\mathcal M\) where the metrics of AdS families are defined. Since the dualizable metrics can be constructed by virtue of Drinfeld double, the isometry subgroups of the metrics are taken as one of the subgroups of the Drinfeld double. In order to satisfy the dualizability conditions the other subgroup is considered to be Abelian. In other words, since we are dealing with non-Abelian T-duality, the dual Lie algebra must be chosen Abelian. In order to obtain the metrics of AdS families by the Drinfeld double construction we need to find the transformation between group (isometry subgroup) coordinates and geometrical coordinates by choosing a convenient element of group. In this case, we have to get the left-invariant vector fields on the group. Accordingly, the metrics can be transformed into the group coordinates and finally one can write the corresponding actions to the transformed metrics in the from of (2.11). Thus, one may use (2.12) to obtain the original \(\sigma \)-model from (2.9) and then dual one from (2.6).
2.2 Two-loop conformal invariance conditions of the bosonic string \(\sigma \)-model
In order to study the conformal invariance conditions of the bosonic string \(\sigma \)-model, Fradkin and Tseytlin [22] have suggested that one should add to action (2.11) the renormalizable, but not Weyl invariant, term
where \(R^{^{(2)}}\) is the curvature scalar for the worldsheet metric, and \(\Phi (X)\) is the background dilaton field in the manifold \(\mathcal M\). The term (2.13) breaks Weyl invariance on a classical level as do the one-loop corrections to G and B. It is essential for string consistency that, as a quantum field theory, the \(\sigma \)-model be locally scale invariant. This is equivalent to the requirement that the two-dimensional worldsheet stress-energy tensor of the theory be traceless. In the \(\sigma \)-model \(S_{_{nlsm}} + S_{_{dil}}\), local scale invariance is broken explicitly by the term (2.13). Consistency of the string theory requires that the action \(S_{_{nlsm}} + S_{_{dil}}\) defines a conformally invariant quantum field theory. In the \(\sigma \)-model context, the conformal invariance conditions of the \(\sigma \)-model \(S_{_{nlsm}} + S_{_{dil}}\) are provided by the vanishing of the three functions \({\beta _{_{MN}}^G}\), \({\beta _{_{MN}}^B}\) and \({\beta ^\Phi }\) (beta function equations) [23]. In the HT scheme, these equations are, at the two-loop level (first order in \(\alpha '\)),Footnote 2 given by [20, 24]Footnote 3
where \({\beta }^{(i)}\)’s stand for the i-loop beta function equations. Moreover, the covariant derivatives \({\nabla }_{_M}\), Ricci tensor \(\mathcal{R}_{_{MN}}\) and Riemann tensor field \(\mathcal{R}_{_{MNPQ}}\) are calculated from the metric \(G_{_{MN}}\) that is also used for lowering and raising indices, and \(H_{_{MNP}}\) is the field strength corresponding to the B-field which is defined by
We have moreover introduced the conventional notations \(H^2_{_{MN}}=H_{_{MPQ}} H^{^{PQ}}_{_{~~N}}\), \(H^2=H_{_{MNP}} H^{^{MNP}}\), \({H^2}^{^{MN}} = H^{^{MPQ}} H_{_{PQ}}^{^{~~N}}\) and \(({\nabla } \Phi )^2 =\partial _{_{M}} \Phi ~\partial ^{^{M}} \Phi \). Also, in Eq. (2.16), \(\Lambda \) is a cosmological constant.
In the following we shall investigate the conformal invariance conditions of the \(\sigma \)-models with metrics \(AdS_2 \), \(AdS_{2}\times S^1\), \( AdS_3 \) and the metric of the analytic continuation of \(AdS_{2}\) up to the second order in \(\alpha '\) and also BTZ black hole up to the first order. Then, we will study the non-Abelian T-duality of these metrics (except for BTZ) using the procedure mentioned in Sect. 2.1. As mentioned in Sect. 1, the Abelian T-duality of \(AdS_2\) metric has been discussed in Ref. [6]. Here we are going to investigate the non-Abelian T-duality of this metric by PL T-duality procedure. Let us now start with \(AdS_2\) metric.
3 Non-Abelian T-duality of the \(AdS_2\) background
The simplest space of AdS family is \(AdS_2\) manifold whose metric may be expressed as
One can easily deduce that the field equations (2.14)–(2.16) to zeroth order in \(\alpha '\) don’t possess a \(AdS_2\) solution with metric (3.1). Notice that in the case of two-dimensional backgrounds such as \(AdS_{2}\), the field strength H is always zero. Now we consider the \(\alpha '\) terms to the Eqs. (2.14)–(2.16), but neglect the B-field. In this case, the B-field equation of motion (2.15) is fulfilled. Considering a constant dilaton field the resulting equations are then reduced to two polynomial constraints:
As it can be seen from the above equations, the solutions we obtain are not under control. Namely, from Eq. (3.2) one takes the AdS radius to be the string length or \( \alpha '=l^2 \). In this way, we can cancel one-loop terms against two-loop terms in the beta function equations. Technically one can do this but it is not physically admissible. Similarly to our work, in the case of the Gödel spacetimes in string theory for the full \(\mathcal{O}(\alpha ')\) action, Barrow and Da̧browski [25] found a simple relation between the angular velocity of the Gödel universe, \(\Omega \), and the inverse string tension of the form \(\alpha ' =1/\Omega ^2\) in the absence of the B-field. Any way, it seems that the \(\alpha '\) expansion is uncontrollable, since all orders now contribute equally. In order to show that the expansion in the higher orders is uncontrollable, we calculate three-loop beta functions for the \(AdS_2\) metric. By following [26], in the absence of the field strength, the three-loop beta functions for a general theory are given by
Now we add the three-loop beta functions (3.4) and (3.5) to the field equations (2.14)–(2.16). Using the fact that the field strength is zero, the beta function equations to second order in \(\alpha '\) for the \(AdS_2\) metric with a constant dilaton reduce to the following polynomials,
The above results render the \(\alpha '\) expansion is uncontrollable, and thus one can’t guarantee the conformal invariance of the \(AdS_2\) metric.
To continue, in order to study the non-Abelian T-duality of the \(AdS_2\) background one may obtain Lie algebra generated by Killing vectors of (3.1). The corresponding Killing vectors \( {k_{a}}\) of \(AdS_2\) can be derived by solving Killing equations, \( {\mathcal {L}}_{_{k_{a}}}G_{_{MN}}=0\). They are then read off
such that the vectors \(k_{1}\) and \(k_{3}\) become everywhere timelike except for \(x=0\). The Killing vectors (3.8) also satisfy in the \(sl(2 , {\mathbb {R}})\) algebra (\(\cong \) VIII Bianchi Lie algebra) with the following commutation relations
Note that this Lie algebra has only a two-dimensional non-Abelian subalgebra, \({\mathcal {A}}_2\), which can be defined by bases \( T_1=k_2 \) and \( T_2=k_1 \) (or \( T_1=-k_2 \) and \( T_2=k_3 \)). As we will show below the Lie group corresponding to \({\mathcal {A}}_2\) acts freely and transitively on the \(AdS_2 \) manifold. In the next subsection we shall study the non-Abelian T-duality of the \(AdS_2\) background by constructing the PL T-dual \(\sigma \)-models stating from the Lie bialgebra \( ({\mathcal {A}}_2,2{\mathcal {A}}_1)\).
3.1 Non-Abelian T-duality as PL T-duality on the semi-Abelian double \( ({\mathcal {A}}_2,2{\mathcal {A}}_1)\)
As mentioned above, the two-dimensional Lie subalgebra of (3.9) is \({\mathcal {A}}_2\) with the following commutation relation:
where we have considered \( T_{1}=k_{2},T_{2}=k_{1} \). In order to construct dualizable backgrounds we need to first investigate whether the action of the Lie group \(\pmb {A_2}\) on \(AdS_2\) manifold is free and transitive. Before proceeding further, let us have some review on free and transitive actions [27]:
Free action The free action of the Lie group \(\pmb {G}\) on a manifold \(\mathcal M\) is given by
for any \(g=e^{\alpha ^a T_a} \in \pmb {G}\) and \(x^M \in \mathcal{M}\) in which \(T_a\)’s are the bases of Lie algebra corresponding to \(\pmb {G}\). Considering the infinitesimal form of this action one easily finds that \( \xi \circ x^M=0 \) in which \( \xi =\alpha ^a T_a \). In order to have the free action one must expand the bases \(T_a\) in terms of the Killing vectors of the manifold metric. Then using \( \xi \circ x^M=0 \) it should be concluded that \( \alpha ^a=0 \), that is, \(g=e\).
Transitive action The transitive action of the Lie group \(\pmb {G}\) on the manifold \(\mathcal M\) means that for every two points \( x^M \) and \( {x'}^M \) of \(\mathcal M\), there is a non-trivial element g of \(\pmb {G}\) such that \( g\circ x^M={x'}^M \).Footnote 4 In order to turn the above definition into a computational method for determining the transitive action of \(\pmb {G}\) on \(\mathcal M\) one may expand the bases of Lie algebra \( \mathcal G \) of \(\pmb {G}\) in terms of the Killing vectors \( k_a \) of \(\mathcal M\), i.e, \( T_a=B_a^{~b}~ k_b\). Then it follows that
Notice that from the linear independence of the bases \( T_a \) one concludes that the matrix \( A_a^{~M} \) must be invertible. Let \( g=e^{\alpha ^aT_a} \) be an element of \(\pmb {G}\). By considering infinitesimal form of g and by using \( g\circ x^M={x'}^M \) and also the invertibility condition on \( A_a^{~M} \) we then find that \( \alpha ^a\ne 0 \). That is, g is a non-trivial element of \(\pmb {G}\). Thus, in order to have the transitive action of \(\pmb {G}\) on \(\mathcal M\), the matrix \( A_a^{~M} \) must be invertible.
In what follows we consider the action of Lie group \(\pmb {A_2}\) with generators \( T_1=k_2, T_2=k_1 \) on \(AdS_2\). Considering \(x^M=(x,t)\) we find \(\xi =\big [\alpha ^1 t +\frac{1}{2} \alpha ^2 (t^2+ x^2)\big ] \partial _{t} + (\alpha ^1 x +\alpha ^2 t x)\partial _{x}\). Then, it follows from \( \xi \circ x^M=0 \) that \( \alpha ^1=\alpha ^2=0 \). Accordingly, one says that the action of \(\pmb {A_2}\) on \(AdS_2\) is free. On the other hand, inserting \( T_1=k_2=t\partial _{t} +x\partial _{x} \) and \( T_2=k_1=\frac{1}{2}(t^2+ x^2)\partial _{t}+tx\partial _{x} \) into (3.12) we get
such that \( det A\ne 0 \). Therefore, the action of \(\pmb {A_2}\) on \(AdS_2\) is also transitive. Now we are ready to find the non-Abelian target space dual of \(AdS_2\) background. Consider the Drinfeld double \(({\mathcal {A}}_2 , 2{\mathcal {A}}_1)\) [28] (see, also, [29]), where \( 2{\mathcal {A}}_1 \) is the two-dimensional Abelian Lie algebra. Making use of (2.1) and (3.10) we obtain the corresponding non-zero Lie brackets
where \((\tilde{T}^{1} , \tilde{T}^{2})\) are the bases of the dual Lie algebra \(2{\mathcal {A}}_1\). Choosing a convenient element of \(\pmb {A_2}\) as \(g=e^{x_1T_1}e^{x_2T_2}\) and then using (2.7) we get the components of the right invariant one-forms
where \(({x_1} , {x_2})\) stand for the coordinates of \(\pmb {A_2}\). It can be inferred from (2.4) and (3.14) that \( \varPi =0 \). Thus by setting \( E_{0}(e) \) as
the \( \sigma \)-model (2.6) can be written in the following form
Comparing (3.17) and the general form of \( \sigma \)-model (2.11) we obtain that \( B_{_{MN}}=0 \) and
Indeed the above metric can be transform to the \(AdS_2\) metric (3.1) by an appropriate coordinate transformation. To find relation between coordinates of \(AdS_2\), (x, t), and group coordinates, \((x_1,x_2)\), one must find the left invariant vector fields of \(\pmb {A_2}\), giving us
and then consider the transformation between these vector fields and \( \partial _M \) of \(AdS_2\)
Finally, one can find the following transformation
To construct the dual \( \sigma \)-model of (3.17), in other words, the dual space to \(AdS_2\) we choose an element of \(\pmb {2A_1}\) as \(\tilde{g}=e^{{\tilde{x}}_1{\tilde{T}}^1}e^{{\tilde{x}}_2{\tilde{T}}^2}\), where \( ({\tilde{x}}_1,{\tilde{x}}_2) \) are the coordinates of \(\pmb {2A_1}\). Then by using relation (2.4) for the dual group and by applying (3.14) one can obtain the Poisson structure on \(\pmb {2A_1}\), expressing
Noting the fact that the dual Lie algebra is Abelian we find that \({\tilde{R}}_{_{M a}}=\delta _{_{M a}}\). Then using (2.10), (3.16), (3.22) together with (2.9) the dual \( \sigma \)-model corresponding to (3.17) is worked out
One may compare the dual model (3.23) with dual version of general \( \sigma \)-model (2.11) to obtain
It is worthwhile to mention some specific and important properties of this dual solution. The metric (3.24) is ill defined at the regions \( {\tilde{x}}_2=\pm l^2 \). We can test whether there are true singularities by calculating the scalar curvature. To be more specific, one may use the coordinate transformation
to write (3.24) and (3.25) in the following form
The scalar curvature of the metric is
Thus, \( r=0 \) is a true singularity; moreover, one can show that this singularity also appears in the Kretschmann scalar, which is, \(\tilde{{\mathcal {K}}}={\tilde{\mathcal{R}}}^2\). On the other hand, only the Killing vector of (3.27) is \(-\partial _{t} \) whose norm is \( -l^2/\sinh ^2(r)\), hence, after the dualization only a timelike isometry is preserved. Note that in the case of the dual metric (3.24) the \(\alpha '\) expansion is also uncontrollable. Namely, the dual background can’t be conformally invariant.
A note on the non-Abelian T-duality of the metric of the analytic continuation of \(\varvec{AdS_{2}}\). The metric of the analytic continuation of \(AdS_{2}\) in Poincaré coordinates can be derived by doing the Wick rotation \(t \rightarrow i t\) on the metric (3.1), giving us
The Killing vectors of this metric are
Unlike \( AdS_2 \), both Killing vectors \(k_{1}\) and \(k_{3}\) of (3.30) are spacelike. One can easily check that the Lie algebra spanned by these vectors is IX Bianchi Lie algebra. Analogously, only two-dimensional non-Abelian subalgebra of IX Bianchi is \({\mathcal {A}}_2\) which is defined by bases \( T_1=k_2 \) and \( T_2=k_1 \). In this case, the \({\mathcal {A}}_2\) Lie group also acts freely and transitively on the manifold defined by the metric (3.30). To find the non-Abelian target space dual of (3.30) we first construct the original \(\sigma \)-model on the semi-Abelian double \(({\mathcal {A}}_2 , 2{\mathcal {A}}_1)\) such that the metric of model can be turned into (3.30). To this end, one must choose the constant matrix \(E_{0}(e)\) as \(E_{0}(e) =l^2 {\mathbb {I}} \), where \({\mathbb {I}} \) is the \(2 \times 2\) identity matrix, to obtain the metric of the model in the form of
Under the coordinate transformation
the metric (3.32) can be turned into (3.30). The corresponding dual model can be constructed out by means of the procedure applied for \( AdS_2 \). Finally, the dual background for the metric (3.30) reads
Unlike the dual metric of \( AdS_2 \), there is no singularity for the dual metric of (3.30) as expected, because these two examples are different in nature as Abelian T-duality performed in [6] for both \( AdS_2 \) and \(S^2\). There is only a spacelike Killing vector \(\partial _{{\tilde{x}}_1} \) for the metric (3.34). So, after dualization only a spacelike isometry is preserved. We also note that due to the uncontrollable \(\alpha '\) expansion, the conformal invariance of both original and dual backgrounds fail here as in \( AdS_2 \) case.
4 Non-Abelian T-duality of the \( AdS_2\times S^1 \) background
The \(AdS_2\times S^1\) metric can be, in the coordinates (x, z, t) , written as
Looking at the Eqs. (2.14)–(2.16) together with (3.4) and (3.5), one can check the conformal invariance conditions of the metric (4.1). Hence, the vanishing of the beta function equations up to three-loop order for the \( AdS_2\times S^1 \) metric with a zero B-field and dilaton field \( \Phi =c_1x+c_2 \), where \( c_i \)’s are some constant parameters, reduce to the two polynomials,
From the above equations one concludes that \(\alpha '\) expansion is uncontrollable as in the \(AdS_2\) metric. Therefore the \(AdS_2\times S^1\) background fails to satisfy the beta function equations which indicates that the corresponding \(\sigma \)-model is not Weyl invariant, i.e. does not define a critical string theory in the usual sense.
In the following, in order to investigate the non-Abelian T-duality of the \(AdS_2\times S^1\) metric we need to obtain the Lie algebra generated by the Killing vectors of (4.1). The metric (4.1) admits the following Killing vectors
The Lie algebra generated by these Killing vectors is
According to the norms of the Killing vectors \( |k_1|^2=l^2, |k_2|^2=-l^2 \left( t^2-z^2\right) ^2/({4 z^2})\) and \(|k_4|^2=-l^2/z^2\) we find that the vector \( k_1 \) is everywhere spacelike while \( k_2 \) and \( k_4 \) are everywhere timelike except for \(z=0\). Indeed, the Lie algebra given by (4.5) is isomorphic to the \(gl(2 , {\mathbb {R}})\). One can show that there are two classes of three-dimensional subalgebras of the isometry algebra of the \(AdS_2\times S^1\) metric isomorphic to the Bianchi Lie algebras III and VIII which are denoted by \( III_{.i}\) and \( VIII_{.i} \), respectively.
On the other hand, one easily shows that the Lie group corresponding to \( III_{.i}\), \(\pmb {III_{.i}} \), acts freely and transitively on \(AdS_2\times S^1\) space, while for the Lie group \(\pmb {VIII_{.i}} \) we have a free action only. The results are summarized in Table 1.
Similar to the T-dual \(\sigma \)-models construction for the \(AdS_2\) metric, which was represented in preceding section, we find the non-Abelian target space dual including the metric and B-field of the \( AdS_2\times S^1 \) background. As shown in Table 2, we have constructed T-dual \(\sigma \)-modelsFootnote 5 based on the semi-Abelian double \( (III_{.i},3{\mathcal {A}}_1)\) [30, 31] by a convenient choice of the constant matrix \(E_0(e)\). It has been shown that there is an appropriate coordinate transformation that turns original \(\sigma \)-model into the \( AdS_2\times S^1 \) background. As it is seen from the dual solution, we don’t expect to see any dramatic change in physical properties of \( AdS_2\times S^1 \) versus \(AdS_2\) alone.
5 Non-Abelian T-duality of the \(AdS_3\) background
According to (1.1) the metric of \(AdS_3\) in coordinates (t, x, y) is given byFootnote 6
For the metric (5.1) with zero B-field and a constant dilaton field, the vanishing of the three-loop beta function equations are reduced to two polynomial constraints:
In this case, the \(\alpha '\) expansion can’t be also controlled in the same way as in the previous cases. Nevertheless, as mentioned in [2] the metric (5.1) in the presence of the B-field \( B_{tx}=-l^2/y^2 \) with a constant dilaton field satisfy the one-loop beta function equations provided that \(\Lambda ={2}/{l^2}\). It can be also useful to comment on the fact that one can verify the field equations (2.14)–(2.16) up to two-loop order for the aforementioned solution provided that \(\Lambda = (2 l^2 +4\alpha ')/l^4\). It’s worth mentioning \(AdS_3\) inherits the isometries of the embedding space that preserve the hyperboloid. The group of rotations+boosts in a 4D geometry with signature \((+, +, -, -)\) is \(\mathbf {SO(2, 2)}\), so we expect this to be the isometry group of \(AdS_3\).Footnote 7 In this section we will confirm this.
We are interested in metrics that admit at least three independent Killing vectors because they can be interpreted as T-dualizable backgrounds for \(\sigma \)-models in three dimensions. In order to investigate the non-Abelian T-duality of the \(AdS_3\) we need all three-dimensional subalgebras of Killing vectors that generate group of isometries acting freely and transitively on the \(AdS_{3}\) manifold. Metric (5.1) has a number of symmetries important for the construction of the dualizable \(\sigma \)-models. It admits the following Killing vectors
It is easily shown that the vectors \(k_{1}\) and \(k_{5}\) are everywhere spacelike except for \(y=0\), while \(k_{2}\) and \(k_{6}\) stay everywhere timelike except for \(y=0\). The Lie algebra spanned by Killing vectors (5.4) is isomorphic to the so(2, 2) Lie algebra with nonzero commutation relations
One can check that the three-dimensional Bianchi Lie algebras \( III_{.i}, V, VI_0, VI_q,\) and \( VIII_{.i} \) are Lie subalgebras of (5.5) such that all the corresponding Lie subgroups (except for the \( \pmb {VI_0} \) Lie group) act freely and transitively on the \(AdS_3\) space. The results are summarized in Table 3.Footnote 8
Similar to the construction of T-dual \(\sigma \)-models for \(AdS_2 \) and \( AdS_2\times S^1 \) backgrounds which were represented in preceding sections and also by applying the results of Table 3 we find the non-Abelian target space duals of \( AdS_3 \). For the sake of clarity the results obtained in this section are summarized in Table 4; we display the metrics and B-fields corresponding to both original and dual backgrounds, together with the transformation between \( AdS_3 \) coordinates and group ones, as well as the form of constant matrix \(E_0(e)\).
In order to better understand of the spacetime structure of T-dual findings for \( AdS_3 \) background and also some their physical interpretations we use some coordinate transformations that make the metrics simpler. Below we discuss the dual backgrounds for each case separately.
\(\bullet \) The dual background on the double \( (III_{.i},3{\mathcal {A}}_1)\): As shown in Table 4, the dual metric obtained by this double has apparent singularities at the regions \({{\tilde{x}}}_2 = \pm l^2\). Indeed, these are the coordinate singularities in the metric. To remove them one may use the change of coordinates
to rewrite the dual background in the form
The scalar curvature and Kretschmann scalar corresponding to the metric are, respectively, given by
As it is seen from Eqs. (5.7), (5.9) and (5.10), the singular points are not true points. In addition, note that the metric (5.7) also possesses two independent Killing vectors \(\partial _x\) and \(\partial _y - \partial _x\) which have the norm \( l^2 \), thus, they are everywhere spacelike. Therefore, the duality has not here involved the timelike directions. In the case of the conformal invariance conditions of background given by (5.7) and (5.8) we have checked that this background does not satisfy the field equations (2.14)–(2.16) up to two-loop order.
\(\bullet \) The dual background on the double \( (V , 3{\mathcal {A}}_1)\): In this case, it is simply shown that the field strength corresponding to the B-field represented in Table 4 is zero. Hence, if we introduce the coordinate transformation
then, the dual background turns into
Here we have ignored the total derivative terms that appeared in the B-field part. As it is seen from (5.12), the singularities appeared in dual metric have been removed by coordinate transformation (5.11). Solving the field equations (2.14)–(2.16) for the metric (5.12) with zero field strength one concludes that there is no suitable dilaton field to satisfy these equations. It is also interesting to see that the metric (5.12) possesses two independent Killing vectors \(-\partial _t\) and \(\partial _x\) which are timelike and spacelike, respectively. Thus, in this case, the duality involves the timelike directions.
\(\bullet \) The dual background on the double \( (VI_q,3{\mathcal {A}}_1)\): In this case one may use the coordinate transformation
then, the dual background related to this double yields
where \(\bigtriangleup =4 \left( q^2-1\right) e^{u}-q^2 \). For the metric (5.15) one finds that the scalar curvature is
Therefore, here the singularity is true and represents itself as the curve \(u=-\ln \left( 4 [1-q^{-2}]\right) \).
\(\bullet \) The dual background on the double \( (VIII_{.i},3{\mathcal {A}}_1)\): In this case, the from of the metric represented in Table 4 is a bit complicated. In order to get the simpler form of the metric one may consider the following coordinate transformation
Under the above transformation, the background becomes
By calculating the scalar curvature corresponding to the metric (5.19) one concludes that the singularity appeared in the metric, which represents itself as the curve \( e^{2 y}+e^{2 z}=1 \), is true. In this case, the metric just has one Killing vector which is \( 2\partial x \) with the norm \( 2 l^2 e^{2 y }/{(e^{2 y }+e^{2 z }-1)} \). Accordingly, the behavior of Killing vector changes between spacelike and timelike regions as we pass through the singularity curve.
6 Abelian T-duality of the BTZ black hole up to two-loop order
As announced in Sect. 1, the BTZ black hole metric [1] with the following B-field and dilaton can be considered as a solution for the equations of motion of the low energy string effective action [2]
for some constant b. By studying Buscher-duality of this solution [2], it was shown that the BTZ black hole solution is, under the Abelian T-duality, equivalent to the charged black string solution discussed in [3]. Then, in [7] by investigating the non-Abelian T-duality of the BTZ vacuum solution it was shown that the non-Abelian T-duality transformation relates the BTZ vacuum solution with no horizon and no curvature singularity to a solution with a single horizon and a curvature singularity. In this section, we study the Abelian T-duality of BTZ background up to \(\alpha '\)-corrections when the dualizing is implemented by the shift of directions \(\varphi \) and t. To this end, we use the T-duality rules at two-loop order derived by KM [17]. Before proceeding further, let us review the \(\alpha '\)-corrected T-duality rules of KM in the next subsection.
6.1 A review of Abelian T-duality up to \(\alpha '\)-corrections
The two-loop \(\sigma \)-model corrections to the T-duality map in string theory by using the effective action approach were obtained by KM [17].Footnote 9 They had found the explicit form for the \(\mathcal{O } {(\alpha ')}\) modifications of the lowest order duality transformations by focusing on backgrounds that have a single Abelian isometry. Following Ref. [17], here we consider the reduced metric \(g_{{\mu \nu }}\), antisymmetric field \(b_{{\mu \nu }}\) and dilaton \(\Phi \) of the d-dimensional spacetime as
where \(V_{\mu }\) is the standard Kaluza–Klein gauge field coupled to the momentum modes of the theory, and \(W_{\mu }\) is the other gauge field coupling to the winding modes. It has been assumed that the isometry direction we want to dualize is implemented by a shift of a coordinate \( {\underline{x}} \). Furthermore, \({\sigma }\) and \({\hat{\phi }} \) in Eq. (6.4) are some scalars fields. The relations to identify the fields of the dimensional reduction are given by
As first demonstrated in Ref. [35], for applying rules of KM, one first needs to implement the field redefinitions to go from HT scheme to that of KM. The field redefinitions are given by [35]
The equations of two-loop T-duality transformation in the KM scheme that we will use are [17]
where
also,
All the lowering and raising of the indices will be done with respect to the reduced metric \(g_{{\mu \nu }}\). Note that after perform two-loop T-duality transformation one must return to HT scheme by use of (6.8)–(6.10). In the next subsections we will apply this method in order to study the Abelian T-duality of BTZ background up to two-loop order.
6.2 Dualizing with respect to the coordinate \( \varphi \)
As we mentioned earlier, background (6.1) is a solution for the field equations (2.14)–(2.16) up to zeroth order in \(\alpha '\). In addition, one can show that (6.1) satisfies (2.14)–(2.16) up to first order in \(\alpha '\) if the following relation holds between the constants \(l, \alpha '\) and \(\Lambda \):
We note that solution (6.1) has been obtained in the HT scheme. In order to use the field redefinitions in Eqs. (6.8)–(6.10) we need to write (6.1) in the KM scheme, giving us
In this way we are ready to obtain the shifting coordinates and then perform the KM T-duality transformations. Here, the isometry we want to dualize is that the shift of the \(\varphi \) coordinate, i.e., \({\underline{x}} =\varphi \). It should be remarked that the rules of T-duality are derived assuming that the coordinate to be dualized is spacelike. Fortunately, for the metric (6.1), \(G_{\underline{x x}} = G_{\varphi \varphi }\) is positive. In fact, we are faced with a spacelike case. Comparing (6.21) with Eqs. (6.2)–(6.4) or using (6.5)–(6.7) one concludes that only non-zero components of the fields \(V_{_\mu }\) and \(W_{_\mu }\) are
Furthermore,
Then, one may use (6.15), (6.16) together with (6.22) to obtain only non-zero components of \(V_{_{\mu \nu }}\) and \(W_{_{\mu \nu }}\) as follows
In this case one also gets that \(h_{\mu \nu \rho } =0\). Thus, by using (6.18), (6.19) together with (6.24), functions Z and T are, up to first order of \( \alpha ' \), obtained to be
Now, one may apply the above results to the two-loop T-duality transformation equations (6.11)–(6.14) to get the dual solution in the KM scheme. Finally, by employing field redefinitions in Eqs. (6.8)–(6.10) and after some calculations we can write the dual solution in the HT scheme, giving
As expected this dual background satisfies the field equations (2.14)–(2.16) up to the first order in \(\alpha '\) so that the relation between constants \({{\tilde{\Lambda }}}\), l and \(\alpha '\) may be expressed as \( {{\tilde{\Lambda }}}=(4 \alpha ' + 2l^2)/l^4 \). To be more explicit, choose two constants \(r_+\), \(r_-\) and introduce new coordinates
where the constants M and J are related to \(r_{\pm }\) by
Then, background (6.26) becomes
where \( {\mathbb {M}}=r_+^2/l \) and \( {\mathbb {Q}}=J/2 \). It should be noted that in the absence of \(\alpha '\)-corrections, solution (6.29) is nothing but three-dimensional charged black string solution [3]. Here we were able to obtain \(\alpha '\)-corrections sentences for the charged black string solution using the \(\alpha '\)-corrected T-duality rules derived by KM. As it is seen from the metric, its components are ill defined at \({\hat{r}}=0\), \({\hat{r}} = {{\hat{r}}}_{+} = {\mathbb {M}}\) and \({\hat{r}} = {{\hat{r}}}_{-} = {{\mathbb {Q}}^2}/{{\mathbb {M}}}\). In order to determine true singularity one may first calculate the scalar curvature of the metric. It is, up to the first order in \(\alpha '\), read off
Thus, \({\hat{r}}=0\) is a true curvature singularity; moreover, the horizons of the metric, \({{\hat{r}}}_{+}, {{\hat{r}}}_{-} \), are at the same location as the charged black string without \(\alpha '\)-corrections.
6.3 Dualizing with respect to the coordinate t
Here the isometry coordinate we want to dualize is the t coordinate, i.e., \({\underline{x}} =t\). For the metric (6.1), the region \(r < {M}^{1/2} l\) defines an ergosphere, in which the asymptotic timelike Killing field \(\partial / {\partial t}\) becomes spacelike. For this region, \(G_{\underline{x x}} = G_{tt}\) is positive; consequently, we are faced with a spacelike case. Comparing (6.21) with Eqs. (6.2)–(6.4) or using (6.5)–(6.7) we find that the only non-zero components of \(V_{_\mu }\) and \(W_{_\mu }\) are
in addition, \( b_{\mu \nu }=0 \) and
Then, by using (6.15)–(6.17) together with (6.31) one gets that
In order to obtain the functions Z and T one must use (6.33) together with Eqs. (6.15) and (6.16). Thus, these functions are, up to the first order of \( \alpha ' \), read off
Applying these results to the two-loop T-duality transformation equations (6.11)–(6.14) one can get the dual solution in the KM scheme. Finally, by employing field redefinitions in Eqs. (6.8)–(6.10) we can write the dual solution in the HT scheme, giving us
One can check that the dual background (6.35) is conformally invariant up to the first order in \(\alpha '\) provided that \( {{\tilde{\Lambda }}}=(4 \alpha ' + 2l^2)/l^4 \). To better understand this dual solution, we diagonalize the metric. Let
where \(\mathcal{J}=\sqrt{l^2 M^2-J^2}\). Then, the solution (6.35) becomes
The metric components are ill defined at \({\bar{r}}=l M\) and \({\bar{r}} = {{\bar{r}}}_{\pm } \equiv (l M \pm \mathcal{J})/2\). Now, one can test whether these are true singularities by looking at the scalar curvature, which up to the first order in \(\alpha '\) is
Thus, only \({\bar{r}}=l M\) is a true curvature singularity. The surface \({\bar{r}} = {{\bar{r}}}_{+}\) is the outer horizon, while the \({\bar{r}} = {{\bar{r}}}_{-}\) is another surface inside the black string called the inner horizon. According to definition \(\mathcal{J}\), it is simply followed from \(\mathcal{J} < l M\) that \({{\bar{r}}}_{-}<{{\bar{r}}}_{+} <l M\). In fact, the true singularity lies outside the outer horizon here. As mentioned in the Sect. 1, similar to our black string, in Ref. [19] it has been shown that there is a singularity outside of a Schwarzschild black hole. The metric given by (6.37) also possesses two independent Killing vectors \(k_1 = \frac{1}{l\mathcal{J}} \partial _\varphi \) and \(k_2= -\frac{l}{\mathcal{J}} \partial _t\) with the norms
The Killing vector \(k_1\) becomes timelike for the ranges \({{\bar{r}}}_{+}<{\bar{r}} < l M\) which lies outside the outer horizon. It is also spacelike at infinity. The Killing vector \(k_2\) which is timelike at infinity becomes spacelike for \({{\bar{r}}}_{-}<{{\bar{r}}} <lM \) which includes the space between two horizons.
Let us investigate the asymptotic behavior of the metric. Note that for large \({\bar{r}}\) it is not possible to similarly to the t and \(\phi \) coordinates fix the overall scaling of the \({\bar{r}}\) as \({\bar{r}}\) goes to infinity, since the metric asymptotically approaches \({(l^2-2 \alpha ') d \bar{r}^2}/{4 \bar{r}^2}\). Therefore, for large r the black string solution (6.37) approaches the following asymptotic solution
for some constant \({\bar{b}}\). Here we have set
Now, one verifies the field equations (2.14)–(2.16) up to two-loop order for the asymptotic solution (6.40) with the same condition of the conformal invariance of background (6.35). The above result shows that the Abelian T-duality transformation of KM changes the asymptotic behavior of solutions from \(AdS_3\) to flat.
7 Conclusions
In order to study the non-Abelian T-duality of the metrics of Riemannian manifolds one may use the isometry subgroups of the metrics. Sufficient condition for that is that the dimension of the isometry subgroups of the metric is equal to the dimension of the Riemannian manifold and its action on the manifold is transitive and free. Using this fact we have shown that for the metrics of AdS families such isometry subgroups exist and the metrics can be dualized by the PL T-duality transformation. We have shown that the Lie subgroup \(\mathbf{A_2}\) corresponding to non-Abelian two-dimensional subalgebra \({\mathcal {A}}_2\) acts freely and transitively on \(AdS_2 \) manifold. In this way, it has been found the dual of the \(AdS_2\) background stating from the Lie bialgebra \( ({\mathcal {A}}_2 , 2{\mathcal {A}}_1)\). Our results show that the dual metric of the \(AdS_2\) has a true singularity. In fact, T-duality takes that singular region to regular region as was the case with the 2D black holes [36]. As we have shown the Lie algebra generated by Killing vectors of \(AdS_2 \times S^1\) is isomorphic to the \(gl(2 , {\mathbb {R}})\). Then we have found that only the Lie group corresponding to the \( III_{.i}\) Bianchi Lie algebra (as subalgebra of the \(gl(2 , {\mathbb {R}})\)) acts freely and transitively on \(AdS_2\times S^1\) space. Accordingly, we have determined the metric and B-field dual to the \(AdS_2 \times S^1\). In the case of \(AdS_3\), there are five classes of three-dimensional subalgebras of the isometry algebra of the \(AdS_3\) metric isomorphic to the Bianchi Lie algebras \( III, V, VI_0, VI_q\) and VIII. All Lie subgroups corresponding to these subalgebras act freely and transitively on the \(AdS_3\) space, except for the \( \pmb {VI_0} \) Lie group. We have investigated the spacetime structure of T-dual findings for \( AdS_3 \) background and also some their physical interpretations by introducing some convenient coordinate transformations. Among the four dual backgrounds to \( AdS_3 \), only the dual metrics constructed out on the semi-Abelian Drinfeld doubles \( (VI_q,3{\mathcal {A}}_1)\) and \( (VIII_{.i},3{\mathcal {A}}_1)\) have true singularities.
Most importantly, in the absence of B-field, for all metrics of \(AdS_2\), \(AdS_2 \times S^1\), \(AdS_3\), and also the metric of the analytic continuation of \(AdS_{2}\) we have investigated the conformal invariance conditions of the backgrounds up to three-loop order. The results render the \(\alpha '\) expansion is uncontrollable, and thus one can’t guarantee the conformal invariance of the backgrounds. Notice that in the case of these spacetimes we have applied the usual rules of non-Abelian T-duality without further corrections. We have obtained the non-Abelian T-duals of the metrics of AdS families by using the PL T-duality approach and have then checked the conformal invariance conditions of the duals up to two-loop order. Unfortunately, all of the dual backgrounds corresponding to these metrics do not remain conformally invariant up to two-loop order. Indeed, this was expected, because we did not use the \(\alpha '\)-corrected rules of non-abelian T-duality that are necessary to have conformal invariance at two-loop order [34]. It has been shown that the PL duality can be extended to order \(\alpha '\), i.e. two loops in the \(\sigma \)-model perturbation theory, provided that the map is corrected [34] (see, also, [37, 38]). It is possible that one applies the usual rules of non-Abelian T-duality without further corrections, and still be able to obtain two-loop solutions (e.g. [16]). However, in general, further corrections to the rules are necessary. With the modified rules one will be able to find the right \(\alpha '\)-corrections to the non-Abelian dual backgrounds, so that the two-loop equations are satisfied. We intend to address this problem in the future.
Finally, we have studied the Abelian T-duality of BTZ background up to \(\alpha '\)-corrections by using the T-duality rules of KM, when the dualizing is implemented by the shift of directions \(\varphi \) and t. In dualizing on the direction \(\varphi \), we have shown that the structure and asymptotic nature of the dual spacetime including the horizons and singularity are the same as in charged black string derived in [3] without \(\alpha '\)-corrections, whereas in performing the duality with respect to the coordinate t it has been found a new three-dimensional black string for which we have determined the horizons and singularity. For this case, we have also shown that the Abelian T-duality transformation of KM changes the asymptotic behavior of solutions from \(AdS_3\) to flat.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is a theoretical investigation and there is no need for data or any data analyzing.]
Notes
Here “t” denotes transposition.
The dimensionful coupling constant \(\alpha '\) turns out to be the inverse string tension.
We note that round brackets denote the symmetric part on the indicated indices whereas square brackets denote the antisymmetric part.
Notice that if the action of the Lie group \(\pmb {G}\) on the manifold \(\mathcal M\) is free and also transitive, then the dimensions of both \(\mathbf{G}\) and \(\mathcal M\) are equal [27].
Note that we can also obtain the original background from the PL T-duality in the presence of spectator fields. To this end, one may use two-dimensional Lie group \( \pmb {A_2} \) with the coordinates \( (x_1,x_2) \) and choose a spectator with the coordinate \( x_3 \). So far, our findings show that the Lie group \( \pmb {A_2} \) is wealthy. Recently, in order to study the non-Abelian T-duality of the Gödel spacetimes [16] we have constructed the T-dual \(\sigma \)-models on the manifold \(\mathcal{M} \approx O \times \pmb {A_2}\) where \(\pmb {A_2}\) acts freely on \(\mathcal{M}\) while O is the two-dimensional orbit of \(\mathbf{G}\) in \(\mathcal{M}\) (see, also, [7, 32]).
It should be remarked that the non-Abelian T-dualization of \(AdS_3\) background has been already discussed in Ref. [33]. There, the \(AdS_3\) metric has been applied in Poincaré coordinates as in (1.2), hence, the forms of their Killing vectors and Lie algebra spanned by them are different from ours (Eqs. (5.4) and (5.5)). Although subalgebras of the isometry subgroups of those are isomorphic to our results, the form of the resulting dual backgrounds is different from ours (Table 4). Most importantly, we have, here, investigated the spacetime structure of T-dual findings for \( AdS_3 \) background and also some their physical interpretations by introducing some convenient coordinate transformations, while these cases are not seen in [33].
In general the \(AdS_d\) isometry group is \(\mathbf {SO(d-1, 2)}\) [6].
Notice that one can also derive the Abelian T-duality rules of KM from the \(\alpha '\)-corrected rules of non-abelian T-duality proposed by Borsato and Wulff [34].
References
M. Banados, C. Teitelboim, J. Zanelli, Black hole in 3-dimensional spacetime. Phys. Rev. Lett. 69, 1849 (1992)
G. Horowitz, D. Welch, String theory formulation of the 3-dimensional black hole. Phys. Rev. Lett. 71, 328 (1993)
J. Horne, G. Horowitz, Exact black string solutions in three dimensions. Nucl. Phys. B 368, 444 (1992). arXiv:hep-th/9108001
T. Buscher, A symmetry of the string background field equations. Phys. Lett. B 194, 59 (1987)
T. Buscher, Path-integral derivation of quantum duality in nonlinear sigma-models. Phys. Lett. B 201, 466 (1988)
R. Ricci, A.A. Tseytlin, M. Wolf, On T-duality and integrability for strings on \(AdS\) backgrounds. J. High Energy Phys. 12, 082 (2007). arXiv:0711.0707 [hep-th]
A. Eghbali, L. Mehran-nia, A. Rezaei-Aghdam, BTZ black hole from Poisson-Lie T-dualizable sigma models with spectators. Phys. Lett. B 772, 791 (2017). arXiv:1705.00458 [hep-th]
X.C. de la Ossa, F. Quevedo, Duality symmetries from non-abelian isometries in string theory. Nucl. Phys. B 403, 377 (1993)
C. Klimčík, P. Ševera, Dual non-Abelian duality and the Drinfeld double. Phys. Lett. B 351, 455 (1995). arXiv:hep-th/9502122
C. Klimčík, Poisson-Lie T-duality. Nucl. Phys. Proc. Suppl. B 46, 116 (1996). arXiv:hep-th/9509095
V.G. Drinfeld, Quantum groups, in Proc. Intern. Cong. Math., Berkeley (1986), vol. 1 (Amer. Math. Soc., 1987, p. 798)
G. Horowitz, The dark side of string theory: black holes and black strings. arXiv:hep-th/9210119
L. Hlavaty, M. Turek, Nonabelian dualization of plane wave backgrounds. J. Mod. Phys. 3, 1088 (2012). arXiv:1201.5939 [hep-th]
L. Hlavaty, I. Petr, New solvable sigma models in plane-parallel wave background. Int. J. Mod. Phys. A 29, 1450009 (2014). arXiv:1308.0153 [hep-th]
L. Hlavaty, I. Petr, Plane-parallel waves as duals of the flat background. Class. Quantum Gravity 32, 035005 (2015). arXiv:1406.0971 [hep-th]
A. Eghbali, R. Naderi, A. Rezaei-Aghdam, T-dualization of Gödel string cosmologies via Poisson-Lie T-duality approach. Eur. Phys. J. C 81, 68 (2021). arXiv:2002.00675
N. Kaloper, K.A. Meissner, Duality beyond the first loop. Phys. Rev. D 56, 7940 (1997). arXiv:hep-th/9705193
G.J. Suggett, General relativity and conformal invariance. I. A new look at some old field equations. J. Phys. A Math. Gen. 12, 367 (1979)
G.J. Suggett, General relativity and conformal invariance. II. Non-existence of black holes. J. Phys. A Math. Gen. 12, 375 (1979)
C.M. Hull, K. Townsend, String effective actions from sigma-model conformal anomalies. Nucl. Phys. B 301, 197 (1988)
K. Sfetsos, Canonical equivalence of non-isometric -models and Poisson-Lie T-duality. Nucl. Phys. B 517, 549 (1998). arXiv:hep-th/9710163
E.S. Fradkin, A.A. Tseytlin, Effective field theory from quantized strings. Phys. Lett. 158B, 316 (1985)
C.G. Callan, D. Friedan, E. Martinec, M.J. Perry, String in background fields. Nucl. Phys. B 262, 593 (1985)
R. Metsaev, A. Tseytlin, Order \(\alpha ^{\prime }\) (two-loop) equivalence of the string equations of motion and the -model Weyl invariance conditions: Dependence on the dilaton and the antisymmetric tensor. Nucl. Phys. B 293, 385 (1987)
John D. Barrow, Mariusz P. Da̧browski, Gödel universes in string theory. Phys. Rev. D 58, 103502 (1998)
I. Jack, S. Parsons, \(O(d, d)\) invariance at two and three loops. Phys. Rev. D 62, 026003 (2000)
M. Nakahara, Geometry, Topology and Physics, 2nd edn. (IOP, Bristol, 2003)
L. Hlavaty, L. Snobl, Classification of Poisson–Lie T-dual models with two-dimensional targets. Mod. Phys. Lett. A 17, 429–434 (2002). arXiv:hep-th/0110139
A. Eghbali, A. Rezaei-Aghdam, Poisson Lie symmetry and \(D\)-branes in WZW model on the Heisenberg Lie group \( H_4 \). Nucl. Phys. B 899, 165 (2015). arXiv:1506.06233
L. Snobl, L. Hlavaty, Classification of 6-dimensional real Drinfeld doubles. Int. J. Mod. Phys. A 17, 4043 (2002). arXiv:math.QA/0202210
A. Rezaei-Aghdam, M. Hemmati, A.R. Rastkar, Classification of real three-dimensional Lie bialgebras and their Poisson-Lie groups. J. Phys. A Math. Gen. 38, 3981 (2005). arXiv:math-ph/0412092
A. Eghbali, Exact conformal field theories from mutually T-dualizable -models. Phys. Rev. D 99, 026001 (2019). arXiv:1812.07664 [hep-th]
R. Maleki, Non-Abelian dualization of PP-wave and \(AdS\) backgrounds by the Poisson-Lie T-duality, Master’s thesis, Supervisors: A. Eghbali, A. Rezaei-Aghdam (Dept. Phys., Azarbaijan Shahid Madani University, Tabriz, 2017)
R. Borsato, L. Wulff, Quantum correction to generalized T-dualities. Phys. Rev. Lett. 125, 201603 (2020). arXiv:2007.07902 [hep-th]
R. Borsato, L. Wulff, Two-loop conformal invariance for Yang–Baxter deformed strings. J. High Energy Phys. 03, 126 (2020). arXiv:1910.02011 [hep-th]
R. Dijgkraaf, E. Verlinde, H. Verlinde, String propagation in black hole geometry. Nucl. Phys. B 371, 269 (1992)
F. Hassler, T. Rochais, \(\alpha ^{\prime }\)-corrected Poisson-Lie T-duality. Fortschr. Phys., 2000063 (2020). arXiv:2007.07897 [hep-th]
T. Codina, D. Marques, Generalized dualities and higher derivatives. J. High Energy Phys. 10, 002 (2020). arXiv:2007.09494 [hep-th]
Acknowledgements
This work has been supported by the research vice chancellor of Azarbaijan Shahid Madani University under research fund No. 97/231.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Eghbali, A., Naderi, R. & Rezaei-Aghdam, A. Non-Abelian T-duality of \(AdS_{d\le 3}\) families by Poisson-Lie T-duality. Eur. Phys. J. C 82, 580 (2022). https://doi.org/10.1140/epjc/s10052-022-10537-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10537-0