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

$$\begin{aligned} ds^2= & {} \frac{l^2}{y^2}\left( -dt^2+dy^2+\sum ^{d-2}_{i=1}dx_i^2\right) , \end{aligned}$$
(1.1)

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

$$\begin{aligned} ds^2 = l^2 \left( \frac{dr^2}{r^2}-r^2 dt^+ dt^-\right) . \end{aligned}$$
(1.2)

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:

$$\begin{aligned}{}[T_a , T_b]= & {} f_{ab}^{~c} ~T_c,~~~ [{{\tilde{T}}}^a , {{\tilde{T}}}^b] = {{{\tilde{f}}}^{ab}}_{\; \; \, c} ~{{\tilde{T}}}^c,\nonumber \\ {[T_a , {{\tilde{T}}}^b]}= & {} {{{{\tilde{f}}}^{bc}}_{\; \; \; \,a} {T}_c + {f_{ca}^{~b}} ~{{\tilde{T}}}^c}, \end{aligned}$$
(2.1)

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

$$\begin{aligned} \langle T_a,T_b\rangle =\langle {{\tilde{T}}}^a,{{\tilde{T}}}^b\rangle =0,~~\langle T_a,{{\tilde{T}}}^b\rangle =\delta _a^{~b} . \end{aligned}$$
(2.2)

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}}} \)

$$\begin{aligned} {f^a}_{bc}{\tilde{f}^{de}}_{\; \; \; \; a}= & {} {f^d}_{ac}{\tilde{f}^{ae}}_{\; \; \; \; b} + {f^e}_{ba}{\tilde{f}^{da}}_{\; \; \; \; c}\nonumber \\&+ {f^d}_{ba}{\tilde{f}^{ae}}_{\; \; \; \; c}+ {f^e}_{ac}{\tilde{f}^{da}}_{\; \; \; \; b}. \end{aligned}$$
(2.3)

In order to define \( \sigma \)-models with PL duality symmetry, we need to consider the following relations [9, 10]:

$$\begin{aligned} g^{-1} T_{c}~g= & {} a(g)_{c}^{~b} ~ T_{b}, g^{-1} {{\tilde{T}}}^{a} g = b(g)^{ac} ~ T_{c}+d(g)^a_{~c} {{\tilde{T}}}^{c}, \nonumber \\ {\varPi }(g)= & {} b(g)a^{-1}(g), \end{aligned}$$
(2.4)

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:

$$\begin{aligned} d(g)= & {} a^{-t}(g),~~~a^{-1}(g)=a(g^{-1}),~~~b^t(g)=b(g^{-1}),\nonumber \\ \varPi ^t(g)= & {} -\varPi (g). \end{aligned}$$
(2.5)

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]

$$\begin{aligned} S=\frac{1}{2}\int _{\Sigma } d\sigma ^+d\sigma ^- ~ {R^a_{+}} {R^b_{-}} E_{ab}(g), \end{aligned}$$
(2.6)

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

$$\begin{aligned} {R^a_{\pm }} = (\partial _\pm g g^{-1})^a = \partial _{\pm }X^{^M}~ {R_{_M}}{^a}, \end{aligned}$$
(2.7)

where \(X^{^{M}}, {M} =1,...,d\) are the coordinates of manifold \(\mathcal M\). The background matrix E is given in matrix notation by

$$\begin{aligned} E(g)=\big (E_0^{-1}(e)+\varPi (g)\big )^{-1}, \end{aligned}$$
(2.8)

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]

$$\begin{aligned} {\tilde{S}}=\frac{1}{2}\int _{\Sigma } d\sigma ^+d\sigma ^-~{{\tilde{R}}}_{+_a} {{\tilde{R}}}_{-_b} ~{{\tilde{E}}^{ab}} ({\tilde{g}}), \end{aligned}$$
(2.9)

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

$$\begin{aligned} {{\tilde{E}}}({\tilde{g}})=\big (E_0(e)+{\tilde{\varPi }}({\tilde{g}})\big )^{-1}, \end{aligned}$$
(2.10)

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

$$\begin{aligned} S_{_{nlsm}} =\frac{1}{2}\int _{{\Sigma }} d\sigma ^+d\sigma ^- {\mathcal {E}}_{_{MN}}(X) \partial _+X^{^M} \partial _-X^{^N}, \end{aligned}$$
(2.11)

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

$$\begin{aligned} {\mathcal {E}}_{_{MN}} = {R_{_M}}{^a} {R_{_N}}{^b} E_{ab}(g). \end{aligned}$$
(2.12)

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

$$\begin{aligned} S_{_{dil}} = \frac{1}{8}\int _{{\Sigma }} d\sigma ^+d\sigma ^- R^{^{(2)}} \Phi (X), \end{aligned}$$
(2.13)

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

$$\begin{aligned} {\beta _{_{MN}}^G}= & {} {{\beta _{_{MN}}^G}}^{(1)} +\alpha ' ~ {{\beta _{_{MN}}^G}}^{(2)}+\mathcal{O}(\alpha '^2) \nonumber \\= & {} \mathcal{R}_{_{MN}}-\frac{1}{4}H^2_{_{MN}}+2{\nabla }_{_M} {\nabla }_{_N} \Phi \nonumber \\&+\frac{1}{2} \alpha ' \Big [\mathcal{R}_{_{M PQR}} \mathcal{R}_{_N}^{^{~PQR}} +\frac{1}{2} \mathcal{R}_{_{M PQ N}} {H^2}^{^{PQ}}\nonumber \\&+\frac{1}{2} \mathcal{R}_{_{PQ R(M}}H_{_N)}^{^{~R S}} H^{^{PQ}}_{~~_{S}} \nonumber \\&+\frac{1}{12} ({\nabla }_{_M} H_{_{PQR}}) ({\nabla }_{_N} H^{^{PQR}})\nonumber \\&-\frac{1}{4}({\nabla }_{_P} H_{_{RS M}}) ({\nabla }^{^P} H^{^{RS}}_{~~_{N}})\nonumber \\&+\frac{1}{8} H_{_{MPQ}} H_{_{N R S}} H^{^{T S Q}} H_{_T}^{^{~~R P}} \nonumber \\&+\frac{1}{8} H_{_{M P Q}} H_{_{NR}} ^{^{~~Q}} {H^2}^{^{R P}} \Big ]\nonumber \\&+ \mathcal{O}(\alpha '^2)~=~0, \end{aligned}$$
(2.14)
$$\begin{aligned} {\beta _{_{MN}}^B}= & {} {{\beta _{_{MN}}^B}}^{(1)} +\alpha ' ~ {{\beta _{_{MN}}^B}}^{(2)}+\mathcal{O}(\alpha '^2) \nonumber \\= & {} {\nabla }^{^P} H_{_{PMN}} -2 ({\nabla }^{^P}\Phi ) H_{_{MNP}} +\alpha ' \Big [{\nabla }^{^P} H^{^{RS}}_{_{~~[M}}\mathcal{R}_{_{_{{N]} P RS}}} \nonumber \\&-\frac{1}{4}({\nabla }_{_P} H_{_{R MN}}) {H^2}^{^{PR}}\nonumber \\&+\frac{1}{2} ({\nabla }^{^P}H^{^{R Q}}_{_{~~[M}})H_{_{_{{N]} Q S }}} H_{_{P R}}^{^{~\;S}}\Big ] \nonumber \\&+\mathcal{O}(\alpha '^2)~=~0, \end{aligned}$$
(2.15)
$$\begin{aligned} {\beta ^\Phi }= & {} {{\beta ^\Phi }}^{(1)} +\alpha ' ~ {{\beta ^\Phi }}^{(2)}+\mathcal{O}(\alpha '^2)\nonumber \\= & {} 2 \Lambda +2 {\nabla }^2 \Phi -4 ({\nabla } \Phi )^2+\frac{1}{6} H^{{2}} \nonumber \\&-\alpha ' \Big [\frac{1}{4} \mathcal{R}_{_{MNRS}} \mathcal{R}^{^{MNRS}} -\frac{1}{12} ({\nabla }_{_M} H_{_{NRS}}) ({\nabla }^{^M} H^{^{NRS}}) \nonumber \\&-\frac{1}{8} H^{^{MN}}_{_{~~P}} H^{^{RS P}} \mathcal{R}_{_{MN RS}}-\frac{1}{4}\mathcal{R}_{_{MN}} {H^2}^{^{MN}} \nonumber \\&+\frac{3}{32} H^2_{_{MN}} {H^2}^{^{MN}}\nonumber \\&+\frac{5}{96} H_{_{MN P }} H^{^M}_{_{~~RS}} H^{^{N R}}_{_{~~Q}} H^{^{P S Q}}\Big ] \nonumber \\&+\mathcal{O}(\alpha '^2)=0, \end{aligned}$$
(2.16)

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

$$\begin{aligned} H_{_{MNP}} = \partial _{_{M}} B_{_{NP}} +\partial _{_{N}} B_{_{P M}}+\partial _{_{P}} B_{_{MN}}. \end{aligned}$$
(2.17)

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

$$\begin{aligned} ds^2=\frac{l^2}{x^2}(- dt^2+dx^2). \end{aligned}$$
(3.1)

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:

$$\begin{aligned} 1+\alpha ' \left( -\frac{1}{l^2}\right) =0, \end{aligned}$$
(3.2)
$$\begin{aligned} 2 \Lambda +\alpha ' \left( -\frac{1}{l^4}\right) =0. \end{aligned}$$
(3.3)

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

$$\begin{aligned} {{\beta _{_{MN}}^G}}^{(3)}= & {} \frac{1}{8} {\nabla }_{_P} \mathcal{R}_{_{M QRS}} {\nabla }^{^P} \mathcal{R}_{_N}^{^{~QRS}}-\frac{1}{16} {\nabla }_{_M} \mathcal{R}_{_{PQRS}} {\nabla }_{_N} \mathcal{R}^{^{PQRS}} \nonumber \\&-\frac{1}{2} \mathcal{R}_{_{MPQR}} \mathcal{R}_{_{NST}}^{^{~~~~R}} \mathcal{R}^{^{PTQS}} \nonumber \\&-\frac{3}{8} \mathcal{R}_{_{MPQN}} \mathcal{R}^{^{PRST}} \mathcal{R}^{^{Q}}_{_{~RST}}\nonumber \\&+\frac{1}{32} {\nabla }_{_M} {\nabla }_{_N} (\mathcal{R}_{_{PQRS}} \mathcal{R}^{^{PQRS}}), \end{aligned}$$
(3.4)
$$\begin{aligned} {\beta ^\Phi }^{(3)}= & {} -\frac{3}{16} \mathcal{R}^{^{MPQR}} \mathcal{R}^{^{N}}_{_{~PQR}} {\nabla }_{_M} {\nabla }_{_N} \Phi \nonumber \\&+\frac{1}{32} \mathcal{R}_{_{MNPQ}} \mathcal{R}^{^{PQRS}} \mathcal{R}_{_{RS}}^{^{~~~MN}}\nonumber \\&-\frac{1}{24} \mathcal{R}_{_{MNPQ}} \mathcal{R}^{^{RQSN}} {\mathcal{R}_{_{R}}^{^{~~P}}} _{_{S}}^{~~M} \nonumber \\&+\frac{1}{64} {\nabla }^{^M} \Phi {\nabla }_{_M} (\mathcal{R}_{_{PQRS}} \mathcal{R}^{^{PQRS}}). \end{aligned}$$
(3.5)

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,

$$\begin{aligned} {\beta _{_{tt}}^G}= & {} - {\beta _{_{xx}}^G} :=\frac{1}{x^2}\left[ 1+\alpha ' \left( -\frac{1}{l^2}\right) +\alpha '^2 \left( \frac{5}{4 l^4}\right) \right] \nonumber \\&+ \mathcal{O}(\alpha '^3) =0,~ \end{aligned}$$
(3.6)
$$\begin{aligned} {\beta ^\Phi }:= & {} 2 \Lambda +\alpha ' \left( -\frac{1}{l^4}\right) +\alpha '^2 \left( -\frac{1}{4 l^6}\right) \nonumber \\&+ \mathcal{O}(\alpha '^3) =0.~~~~ \end{aligned}$$
(3.7)

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

$$\begin{aligned} k_{1}= & {} \frac{t^2+ x^2}{2}\partial _{t} +tx\partial _{x}\nonumber \\ k_{2}= & {} t\partial _{t} +x\partial _{x}, \nonumber \\ k_{3}= & {} - \partial _{t}, \end{aligned}$$
(3.8)

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

$$\begin{aligned} \left[ k_{2} ,k_{1}\right] = k_{1},~~~ \left[ k_{1} ,k_{3}\right] = k_{2},~~~ \left[ k_{2} ,k_{3}\right] = -k_{3}. \end{aligned}$$
(3.9)

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:

$$\begin{aligned} \left[ T_{1} ,T_{2}\right] =T_{2},&\end{aligned}$$
(3.10)

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

$$\begin{aligned} g\circ x^M=x^M \Rightarrow g=e, \end{aligned}$$
(3.11)

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

$$\begin{aligned} T_a=A_a^{~M}\partial _M. \end{aligned}$$
(3.12)

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

$$\begin{aligned} A_{a}^{~M}=\left( \begin{array}{cc} x &{} t \\ tx &{} \frac{t^2+ x^2}{2} \\ \end{array} \right) , \end{aligned}$$
(3.13)

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

$$\begin{aligned} \left[ T_{1} ,T_2\right] =T_2,~~~[ T_{1} ,\tilde{T}^{2}]=-\tilde{T}^{2},~~~ [ T_{2} ,\tilde{T}^{2}]=\tilde{T}^{1}, \end{aligned}$$
(3.14)

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

$$\begin{aligned} {R_{_M}}^{~a}=\left( \begin{array}{cc} 1 &{} 0 \\ 0 &{} e^{x_1} \\ \end{array} \right) , \end{aligned}$$
(3.15)

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

$$\begin{aligned} E_{0}(e)=l^2\left( \begin{array}{cc} 1 &{} 0 \\ 0 &{} - 1 \\ \end{array} \right) , \end{aligned}$$
(3.16)

the \( \sigma \)-model (2.6) can be written in the following form

$$\begin{aligned} S=\frac{l^2}{2}\int d\sigma ^+d\sigma ^-\left[ \partial _+x_1 \partial _-x_1- e^{2x_1}\partial _+x_2 \partial _-x_2\right] . \end{aligned}$$
(3.17)

Comparing (3.17) and the general form of \( \sigma \)-model (2.11) we obtain that \( B_{_{MN}}=0 \) and

$$\begin{aligned} G_{_{MN}}=l^2 \left( \begin{array}{cc} 1 &{} 0 \\ 0 &{} - e^{2x_1} \\ \end{array} \right) . \end{aligned}$$
(3.18)

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\), (xt), and group coordinates, \((x_1,x_2)\), one must find the left invariant vector fields of \(\pmb {A_2}\), giving us

$$\begin{aligned} V_1=\partial _{x_1}-x_2\partial _{x_2},&V_2=\partial _{x_2}, \end{aligned}$$
(3.19)

and then consider the transformation between these vector fields and \( \partial _M \) of \(AdS_2\)

$$\begin{aligned} \left( \begin{array}{c} V_1 \\ V_2 \\ \end{array} \right) =\left( \begin{array}{cc} x &{} t \\ tx &{} \frac{t^2 + x^2}{2} \\ \end{array} \right) \left( \begin{array}{c} \partial _x \\ \partial _t \\ \end{array} \right) . \end{aligned}$$
(3.20)

Finally, one can find the following transformation

$$\begin{aligned} x=\frac{2e^{x_1}}{x_2^2e^{2x_1}- 1},~~~~ t=\frac{- 2x_2e^{2x_1}}{x_2^2e^{2x_1}- 1}. \end{aligned}$$
(3.21)

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

$$\begin{aligned} {\tilde{\varPi }}(\tilde{g})=\left( \begin{array}{cc} 0 &{} -{\tilde{x}}_2 \\ {\tilde{x}}_2 &{} 0 \\ \end{array} \right) . \end{aligned}$$
(3.22)

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

$$\begin{aligned} {\tilde{S}}=\frac{1}{2}\int d\sigma ^+d\sigma ^-\frac{1}{l^4-\tilde{x}_2^2 }\left[ l^2\partial _+{\tilde{x}}_1\partial _-{\tilde{x}}_1- l^2\partial _+{\tilde{x}}_2\partial _-{\tilde{x}}_2\right. \nonumber \\ \left. - {\tilde{x}}_2\partial _+{\tilde{x}}_1\partial _-{\tilde{x}}_2+ {\tilde{x}}_2\partial _+{\tilde{x}}_2\partial _-{\tilde{x}}_1\right] .\nonumber \\ \end{aligned}$$
(3.23)

One may compare the dual model (3.23) with dual version of general \( \sigma \)-model (2.11) to obtain

$$\begin{aligned} d{\tilde{s}}^2= & {} \frac{l^2}{l^4-\tilde{x}_2^2 }\Big [d{\tilde{x}}_1^2- d{\tilde{x}}_2^2\Big ], \end{aligned}$$
(3.24)
$$\begin{aligned} {\tilde{B}}= & {} - \frac{{\tilde{x}}_2}{l^4-\tilde{x}_2^2}~d{\tilde{x}}_1\wedge d{\tilde{x}}_2. \end{aligned}$$
(3.25)

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

$$\begin{aligned} {\tilde{x}}_1=l^2t,\quad {\tilde{x}}_2=\pm l^2\cosh {r}, \end{aligned}$$
(3.26)

to write (3.24) and (3.25) in the following form

$$\begin{aligned} d{\tilde{s}}^2= & {} l^2\Big [dr^2-\frac{1}{\sinh ^2(r)} dt^2\Big ],\end{aligned}$$
(3.27)
$$\begin{aligned} {\tilde{B}}= & {} l^2\coth {r}~dt\wedge dr. \end{aligned}$$
(3.28)

The scalar curvature of the metric is

$$\begin{aligned} \tilde{\mathcal{R}} = -\frac{\big [3+\cosh (2 r )\big ]}{l^2 \sinh ^2(r)}. \end{aligned}$$
(3.29)

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

$$\begin{aligned} ds^2=\frac{l^2}{x^2}(dt^2+dx^2). \end{aligned}$$
(3.30)

The Killing vectors of this metric are

$$\begin{aligned} k_{1}= & {} \frac{t^2- x^2}{2}\partial _{t} +tx\partial _{x}\nonumber \\ k_{2}= & {} t\partial _{t} +x\partial _{x},\nonumber \\ k_{3}= & {} \partial _{t}. \end{aligned}$$
(3.31)

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

$$\begin{aligned} ds^2=l^2 \Big [{dx_1}^2 + e^{2x_1}{dx_2}^2\Big ]. \end{aligned}$$
(3.32)

Under the coordinate transformation

$$\begin{aligned} x=\frac{2e^{x_1}}{x_2^2e^{2x_1}+ 1},~~~~ t=\frac{- 2x_2e^{2x_1}}{x_2^2e^{2x_1}+ 1}, \end{aligned}$$
(3.33)

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

$$\begin{aligned} d{\tilde{s}}^2= & {} \frac{l^2}{l^4+\tilde{x}_2^2 }(d{\tilde{x}}_1^2+ d{\tilde{x}}_2^2), \end{aligned}$$
(3.34)
$$\begin{aligned} {\tilde{B}}= & {} \frac{{\tilde{x}}_2}{l^4+\tilde{x}_2^2}~d{\tilde{x}}_1\wedge d{\tilde{x}}_2. \end{aligned}$$
(3.35)

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 (xzt) , written as

$$\begin{aligned} ds^2=l^2dx^2+\frac{l^2}{z^2}(dz^2-dt^2). \end{aligned}$$
(4.1)

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,

$$\begin{aligned} {\beta _{_{tt}}^G}= & {} - {\beta _{_{zz}}^G} :=\frac{1}{z^2}\left[ 1+\alpha ' \left( -\frac{1}{l^2}\right) +\alpha '^2 \left( \frac{5}{4 l^4}\right) \right] \nonumber \\&+ \mathcal{O}(\alpha '^3) =0,~ \end{aligned}$$
(4.2)
$$\begin{aligned} {\beta ^\Phi }:= & {} 2 \Lambda -\frac{4 {c_1}^2}{l}+\alpha ' \left( -\frac{1}{l^4}\right) +\alpha '^2 \left( -\frac{1}{4 l^6}\right) \nonumber \\&+ \mathcal{O}(\alpha '^3) =0.~~~~ \end{aligned}$$
(4.3)

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

$$\begin{aligned} k_{1}= & {} \partial _{x},\nonumber \\ k_{2}= & {} tz\partial _{z}+\left( \frac{t^2+z^2}{2}\right) \partial _{t},\nonumber \\ k_{3}= & {} z\partial _{z}+t\partial _{t},\nonumber \\ k_{4}= & {} -\partial _{t}. \end{aligned}$$
(4.4)

The Lie algebra generated by these Killing vectors is

$$\begin{aligned} \left[ k_{2} ,k_{3}\right] =-k_{2},&\left[ k_{2} ,k_{4}\right] =k_{3},&\left[ k_{3} ,k_{4}\right] =-k_{4}. \end{aligned}$$
(4.5)

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.

Table 1 Free and transitive actions of three-dimensional isometry Lie subgroups on the \(AdS_2\times S^1\)

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.

Table 2 The non-Abelian T-duality results of the \( AdS_2\times S^1 \) background

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 (txy) is given byFootnote 6

$$\begin{aligned} ds^2=\frac{l^2}{y^2}(-dt^2+dx^2+dy^2). \end{aligned}$$
(5.1)

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:

$$\begin{aligned} {\beta _{_{xx}}^G}= {\beta _{_{yy}}^G}= & {} -{\beta _{_{tt}}^G} :=-\frac{2}{y^2} \left[ 1+\alpha ' \left( -\frac{1}{l^2}\right) +\alpha '^2 \left( \frac{3}{l^4}\right) \right] \nonumber \\&+ \mathcal{O}(\alpha '^3) =0,~ \end{aligned}$$
(5.2)
$$\begin{aligned} {\beta ^\Phi }:= & {} 2 \Lambda + \alpha ' \left( -\frac{3}{l^4}\right) +\alpha '^2 \left( -\frac{1}{2 l^6}\right) + \mathcal{O}(\alpha '^3) =0.~~~~\nonumber \\ \end{aligned}$$
(5.3)

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

$$\begin{aligned} k_{1}= & {} \frac{t^2+x^2-y^2}{2}\partial _{x}+tx\partial _{t}+xy\partial _{y},\nonumber \\ k_{2}= & {} \frac{t^2+x^2+y^2}{2}\partial _{t}+ty\partial _{y}+tx\partial _{x},\nonumber \\ k_{3}= & {} x\partial _{x}+t\partial _{t}+y\partial _{y},\nonumber \\ k_{4}= & {} t\partial _{x}+x\partial _{t},\nonumber \\ k_{5}= & {} \partial _{x},\nonumber \\ k_{6}= & {} -\partial _{t}. \end{aligned}$$
(5.4)

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

$$\begin{aligned} \left[ k_{3} ,k_{1}\right] =\left[ k_{4} ,k_{2}\right] =k_{1}, \left[ k_{4} ,k_{1}\right] =\left[ k_{3} ,k_{2}\right] =k_{2},\nonumber \\ \left[ k_{5} ,k_{1}\right] =\left[ k_{2} ,k_{6}\right] =k_{3}, \left[ k_{1} ,k_{6}\right] =\left[ k_{5} ,k_{2}\right] =k_{4},\nonumber \\ \left[ k_{5} ,k_{3}\right] =\left[ k_{4} ,k_{6}\right] =k_{5}, \left[ k_{6} ,k_{3}\right] =\left[ k_{4} ,k_{5}\right] =k_{6}. \end{aligned}$$
(5.5)

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

Table 3 Free and transitive actions of three-dimensional isometry Lie subgroups on \(AdS_3\)

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)\).

Table 4 The non-Abelian T-duality results of the \( AdS_3 \) background

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

$$\begin{aligned} {\tilde{x}}_1=l^2y,\quad {\tilde{x}}_2=-l^2\tanh {z},\quad {\tilde{x}}_3=l^2x, \end{aligned}$$
(5.6)

to rewrite the dual background in the form

$$\begin{aligned} d{\tilde{s}}^2= & {} l^2\Big [dx^2+4\cosh ^2{z} (dy^2+ dy dx)+2dydz\Big ], \end{aligned}$$
(5.7)
$$\begin{aligned} {\tilde{B}}= & {} l^2 \sinh (2z) ~ dx \wedge dy. \end{aligned}$$
(5.8)

The scalar curvature and Kretschmann scalar corresponding to the metric are, respectively, given by

$$\begin{aligned} \tilde{\mathcal{R}}= & {} -\frac{1}{l^2} \big [1+7 \cosh (4 z)\big ], \end{aligned}$$
(5.9)
$$\begin{aligned} \tilde{{\mathcal {K}}}= & {} \frac{1}{l^4} \Big [26 \cosh (4 z)+\frac{19}{2} (\cosh (8 z)+3)\Big ]. \end{aligned}$$
(5.10)

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

$$\begin{aligned} {\tilde{x}}_1=l^2x,\quad {\tilde{x}}_2=\frac{l^2}{2} y e^t,\quad {\tilde{x}}_3=\frac{l^2}{2} y e^{-t}, \end{aligned}$$
(5.11)

then, the dual background turns into

$$\begin{aligned} d{\tilde{s}}^2= & {} l^2\left[ \frac{ dx^2+dy^2}{y ^2+1}- y ^2 dt^2\right] , \end{aligned}$$
(5.12)
$$\begin{aligned} {\tilde{B}}= & {} 0. \end{aligned}$$
(5.13)

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

$$\begin{aligned} {\tilde{x}}_1= & {} l^2t,\quad {\tilde{x}}_2=2 l^2 e^{\frac{u}{2}} \cosh (\frac{v}{2}),\nonumber \\ {\tilde{x}}_3= & {} -2 l^2 e^{\frac{u}{2}} \sinh (\frac{v}{2}), \end{aligned}$$
(5.14)

then, the dual background related to this double yields

$$\begin{aligned} d{\tilde{s}}^2= & {} \frac{l^2 }{\bigtriangleup }\Big [-dt^2 + e^{u} (q^2 +4 e^{u}) du^2 \nonumber \\&+ q^2 e^{u} (4 e^{u}-1) dv^2 -8q e^{{2u}} du dv\Big ], \end{aligned}$$
(5.15)
$$\begin{aligned} {\tilde{B}}= & {} \frac{2l^2 e^{u} }{\bigtriangleup }\Big [q dt\wedge du - dt\wedge dv\Big ], \end{aligned}$$
(5.16)

where \(\bigtriangleup =4 \left( q^2-1\right) e^{u}-q^2 \). For the metric (5.15) one finds that the scalar curvature is

$$\begin{aligned} \tilde{\mathcal{R}}= \frac{-32 (q^2-1)^2 e^{2u} -16 (q^2-1) e^{u} +2 q^2(q^2-5)}{l^2 \bigtriangleup ^2}.\nonumber \\ \end{aligned}$$
(5.17)

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

$$\begin{aligned} {\tilde{x}}_1=\frac{l^2}{4}e^{z},\quad {\tilde{x}}_2=\frac{l^2}{4} e^{y+\sqrt{2}x},\quad {\tilde{x}}_3=\frac{l^2}{4} e^{y-\sqrt{2}x}. \end{aligned}$$
(5.18)

Under the above transformation, the background becomes

$$\begin{aligned} d{\tilde{s}}^2= & {} \frac{l^2}{2 (e^{2 y }+e^{2 z }-1)} \nonumber \\&\times \Big [e^{2 y } dx^2+ e^{2 (y +z )}dy dz+e^{3 y } \sinh (y ) dy^2\nonumber \\&+e^{3 z } \sinh (z )dz^2\Big ], \end{aligned}$$
(5.19)
$$\begin{aligned} {\tilde{B}}= & {} \frac{l^2 e^{2 y +z }}{ 2 \sqrt{2} \big (e^{2 y }+e^{2 z }-1)}(dz\wedge dx-dy\wedge dx\big ). \end{aligned}$$
(5.20)

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]

$$\begin{aligned} ds^2= & {} \left( M-\frac{r^2}{l^2}\right) dt^2-Jdtd\varphi +r^2d\varphi ^2\nonumber \\&+\left( \frac{J^2}{4r^2} +\frac{r^2}{l^2}-M\right) ^{-1}dr^2,\nonumber \\ B= & {} \frac{r^2}{l}~d\varphi \wedge dt,\nonumber \\ \Phi= & {} b, \end{aligned}$$
(6.1)

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

$$\begin{aligned} d s^2= & {} G_{_{MN}} dX^{^{M}} dX^{^{N}} = g_{{\mu \nu }} dx^{\mu } dx^{\nu } \nonumber \\&+ e^{2 \sigma }~ (d{\underline{x}} +V_{\mu } dx^{\mu })^2, \end{aligned}$$
(6.2)
$$\begin{aligned} B= & {} \frac{1}{2} B_{_{MN}} dX^{^{M}} \wedge dX^{^{N}} = \frac{1}{2} b_{\mu \nu } dx^{\mu } \wedge dx^{\nu }\nonumber \\&+\frac{1}{2} W_{\mu } V_{\nu } dx^{\mu } \wedge dx^{\nu } + W_{\mu } dx^{\mu } \wedge d{\underline{x}}, \end{aligned}$$
(6.3)
$$\begin{aligned} \Phi= & {} {\hat{\phi }} +\frac{1}{2} \sigma , \end{aligned}$$
(6.4)

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

$$\begin{aligned} V_{{\mu }}= & {} \frac{G_{{\mu {\underline{x}}}} }{G_{{{\underline{x}} {\underline{x}}}}}, \quad \quad W_{{\mu }} = B_{{\mu {\underline{x}}}}, \end{aligned}$$
(6.5)
$$\begin{aligned} \sigma= & {} \frac{1}{2} \log G_{{{\underline{x}} {\underline{x}}}},\quad \quad {\hat{\phi }} = \Phi -\frac{1}{2} \sigma , \end{aligned}$$
(6.6)
$$\begin{aligned} g_{{\mu \nu }}= & {} G_{{\mu \nu }} - \frac{G_{{\mu {\underline{x}}}} G_{{\nu {\underline{x}}}}}{G_{{{\underline{x}} {\underline{x}}}}}, \quad \quad b_{{\mu \nu }} = B_{{\mu \nu }} + \frac{G_{{{\underline{x}} [\mu }} B_{{\nu ] {\underline{x}}}}}{G_{{{\underline{x}} {\underline{x}}}}}. \end{aligned}$$
(6.7)

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]

$$\begin{aligned} G_{_{MN}}^{^{(HT)}}= & {} G_{_{MN}}^{^{(KM)}} + \alpha '\left( \mathcal{R}_{_{MN}}-\frac{1}{2}H^2_{_{MN}}\right) , \end{aligned}$$
(6.8)
$$\begin{aligned} B_{_{MN}}^{^{(HT)}}= & {} B_{_{MN}}^{^{(KM)}} + \alpha '(-H_{_{MNP}} \nabla ^{^{P}}\Phi ), \end{aligned}$$
(6.9)
$$\begin{aligned} \Phi ^{^{(HT)}}= & {} \Phi ^{^{(KM)}} + \alpha '\left( -\frac{3}{32}H^2 + \frac{1}{8}\mathcal{R}-\frac{1}{2}(\nabla \Phi )^2\right) . \end{aligned}$$
(6.10)

The equations of two-loop T-duality transformation in the KM scheme that we will use are [17]

$$\begin{aligned} {{{\tilde{\sigma }}}}= & {} -\sigma + \alpha '\left[ (\nabla \sigma )^2 +\frac{1}{8} (e^{2\sigma } Z+e^{-2\sigma } T)\right] , \end{aligned}$$
(6.11)
$$\begin{aligned} {{\tilde{V}}}_{\mu }= & {} W_{\mu } + \alpha '\left[ W_{{\mu \nu }} \nabla ^{\nu }\sigma + \frac{1}{4} h_{\mu \nu \rho } V^{\nu \rho } e^{2\sigma }\right] , \end{aligned}$$
(6.12)
$$\begin{aligned} {{\tilde{W}}}_{\mu }= & {} V_{\mu } + \alpha '\left[ V_{{\mu \nu }} \nabla ^{\nu }\sigma - \frac{1}{4} h_{\mu \nu \rho } W^{\nu \rho } e^{-2\sigma }\right] , \end{aligned}$$
(6.13)
$$\begin{aligned} {{\tilde{b}}}_{{\mu \nu }}= & {} { b}_{{\mu \nu }} + \alpha '\Bigg [V_{\rho [\mu } W^{\rho }_{~\nu ]}+ \left( W_{[\mu \rho } \nabla ^{\rho }\sigma +\frac{1}{4} e^{2\sigma } h_{[\mu \rho \lambda } V^{\rho \lambda }\right) V_{\nu ]}\nonumber \\ ~~~~&+\left( V_{[\mu \rho } \nabla ^{\rho }\sigma -\frac{1}{4} e^{-2\sigma } h_{[\mu \rho \lambda } W^{\rho \lambda }\right) W_{\nu ]}\Bigg ], \end{aligned}$$
(6.14)

where

$$\begin{aligned} W_{{\mu \nu }}= & {} \partial _{\mu } W_\nu -\partial _{\nu } W_\mu , \end{aligned}$$
(6.15)
$$\begin{aligned} V_{{\mu \nu }}= & {} \partial _{\mu } V_\nu -\partial _{\nu } V_\mu , \end{aligned}$$
(6.16)
$$\begin{aligned} h_{\mu \nu \rho }= & {} H_{\mu \nu \rho }-3 W_{[\mu \nu } V_{\rho ]}, \end{aligned}$$
(6.17)

also,

$$\begin{aligned} Z_{{\mu \nu }}= & {} V_{{\mu \rho }} V_{\nu }^{~\rho },\quad \quad Z = Z_{\mu }^{~\mu }, \end{aligned}$$
(6.18)
$$\begin{aligned} T_{{\mu \nu }}= & {} W_{{\mu \rho }} W_{\nu }^{~\rho },\quad \quad T = T_{\mu }^{~\mu }. \end{aligned}$$
(6.19)

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 \):

$$\begin{aligned} \Lambda = \frac{2(2\alpha '+l^2)}{l^4}. \end{aligned}$$
(6.20)

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

$$\begin{aligned} {ds^2}^{^{(KM)}}= & {} \left( M-\frac{r^2}{l^2}\right) d{t}^2 +\left( \frac{J^2}{4 r^2}+\frac{r^2}{l^2}-M\right) ^{-1} dr^2 \nonumber \\&-J ~ dt d\varphi +r^2 d\varphi ^2\nonumber \\&+\frac{2}{l^2}\Big [\left( \frac{r^2}{l^2}- M\right) dt^2 +{J} dt d\varphi \nonumber \\&-\left( \frac{J^2}{4 r^2}+\frac{r^2}{l^2}-M\right) ^{-1} dr^2-r^2 d\varphi ^2 \Big ] \alpha ',\nonumber \\ H^{^{(KM)}}= & {} \frac{2r}{l} dt \wedge dr \wedge d\varphi ,\nonumber \\ \Phi ^{^{(KM)}}= & {} b-\frac{3 }{2 l^2}\alpha '. \end{aligned}$$
(6.21)

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

$$\begin{aligned} V_t=-\frac{J}{2 r^2},\quad W_t=-\frac{r^2}{l}. \end{aligned}$$
(6.22)

Furthermore,

$$\begin{aligned} b_{\mu \nu }= & {} 0,\nonumber \\ {\sigma }^{^{(KM)}}= & {} \ln r-\frac{\alpha '}{l^2}+{\mathcal {O}}(\alpha '^2),\nonumber \\ {\hat{\phi }}= & {} b-\frac{\ln r}{2}-\frac{\alpha '}{l^2}+{\mathcal {O}}(\alpha '^2). \end{aligned}$$
(6.23)

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

$$\begin{aligned} V_{rt}=\frac{J}{r^3},\quad W_{tr}=\frac{2r}{l}. \end{aligned}$$
(6.24)

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

$$\begin{aligned} Z= & {} -\frac{2 J^2}{r^6}-\frac{8J^2}{l^2r^6} \alpha ' +{\mathcal {O}}(\alpha '^2),\nonumber \\ T= & {} -\frac{8 r^2}{l^2}-\frac{32r^2}{l^4} \alpha ' +{\mathcal {O}}(\alpha '^2). \end{aligned}$$
(6.25)

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

$$\begin{aligned} {{{\tilde{d}}s}^2}^{^{(HT)}}= & {} \left( M-\frac{J^2}{4 r^2}\right) d{t}^2 + \left( \frac{J^2}{4r^2} +\frac{r^2}{l^2}-M\right) ^{-1}dr^2 \nonumber \\&-\frac{2}{l}~ dt d\underline{{\tilde{x}}} +\frac{1}{r^2} d{\underline{{\tilde{x}}}}^2-\alpha '\frac{2 }{r^2}dr^2,\nonumber \\ {{\tilde{H}}}^{^{(HT)}}= & {} -\frac{J}{r^3} ~dt \wedge dr \wedge d\underline{{\tilde{x}}}, \nonumber \\ {{{\tilde{\Phi }}}}^{^{(HT)}}= & {} b-\ln r+\left( \frac{M}{2 r^2}-\frac{1}{l^2}\right) \alpha '. \end{aligned}$$
(6.26)

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

$$\begin{aligned} t= & {} \frac{l({\hat{x}}-{\hat{t}})}{(r_+^2-r_-^2)^{1/2}},\nonumber \\ \underline{{\tilde{x}}}= & {} \frac{r_-^2{\hat{x}}-r_+^2{\hat{t}}}{(r_+^2-r_-^2)^{1/2}},\nonumber \\ r^2= & {} l{\hat{r}}, \end{aligned}$$
(6.27)

where the constants M and J are related to \(r_{\pm }\) by

$$\begin{aligned} M=\frac{(r_+^2+r_-^2)}{l^2},\quad J=\frac{2r_+r_-}{l}. \end{aligned}$$
(6.28)

Then, background (6.26) becomes

$$\begin{aligned} {{{\tilde{d}}s}^2}= & {} -\left( 1-\frac{{\mathbb {M}}}{{\hat{r}}}\right) d{\hat{t}}^2+\left( 1-\frac{{\mathbb {Q}}^2}{{\mathbb {M}}{\hat{r}}}\right) d{\hat{x}}^2+\left( 1-\frac{{\mathbb {M}}}{{\hat{r}}}\right) ^{-1}\nonumber \\&(1-\frac{{\mathbb {Q}}^2}{{\mathbb {M}}{\hat{r}}})^{-1}\frac{l^2d{\hat{r}}^2}{4{\hat{r}}^2}-\alpha '\frac{d{\hat{r}}^2 }{2{\hat{r}}^2},\nonumber \\ {{\tilde{H}}}= & {} -\frac{{\mathbb {Q}}}{{\hat{r}}^2} ~d{\hat{t}} \wedge d{\hat{r}} \wedge d{{\hat{x}}},\nonumber \\ {{{\tilde{\Phi }}}}= & {} b-\frac{1}{2}\ln (l{\hat{r}})+\left( \frac{{\mathbb {M}}^2+{\mathbb {Q}}^2}{2 l^2{\mathbb {M}}{\hat{r}}}-\frac{1}{l^2}\right) \alpha ', \end{aligned}$$
(6.29)

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

$$\begin{aligned} {\tilde{\mathcal{R}}}= & {} \frac{2\big [(2{\hat{r}}-7 {\mathbb {M}}){\mathbb {Q}}^2 +2{\hat{r}} {\mathbb {M}}^2\big ]}{{\mathbb {M}} l^2 {\hat{r}}^2}~ +\frac{\Big [-12 {{\hat{r}}}^2 ({\mathbb {M}}^4 +{\mathbb {Q}}^4)-4 {\mathbb {M}}^2 {\mathbb {Q}}^2 (11 {\mathbb {Q}}^2 +13 {\hat{r}}^2)+ 4{\mathbb {M}} {\hat{r}} ({\mathbb {M}}^2+{\mathbb {Q}}^2) (13 {\mathbb {Q}}^2 +2 {\hat{r}}^2)\Big ]}{{\mathbb {M}}^2 l^4 {\hat{r}}^4} \alpha ' \nonumber \\&+{\mathcal {O}}(\alpha '^2).~~ \end{aligned}$$
(6.30)

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

$$\begin{aligned} V_\varphi =\frac{J }{2 ( \frac{r^2}{l^2}-M )},\qquad W_\varphi =\frac{r^2}{l}, \end{aligned}$$
(6.31)

in addition, \( b_{\mu \nu }=0 \) and

$$\begin{aligned} {\sigma }^{^{(KM)}} = \frac{1}{2} \ln \left( M-\frac{r^2}{l^2}\right) -\frac{\alpha '}{l^2}+{\mathcal {O}}(\alpha '^2),\nonumber \\ {\hat{\phi }} = b-\frac{1}{4} \ln \left( M-\frac{r^2}{l^2}\right) -\frac{\alpha '}{l^2}+{\mathcal {O}}(\alpha '^2). \end{aligned}$$
(6.32)

Then, by using (6.15)–(6.17) together with (6.31) one gets that

$$\begin{aligned} V_{\varphi r}=\frac{Jl^2r}{(r^2-Ml^2)^2},\quad W_{r\varphi }=\frac{2r}{l},\quad h_{\mu \nu \rho }=0. \end{aligned}$$
(6.33)

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

$$\begin{aligned} Z= & {} \frac{2 J^2l^2 }{\left( -l^2 M+r^2\right) ^3}\left( 1+\frac{4\alpha '}{l^2}\right) +{\mathcal {O}}(\alpha '^2),\nonumber \\ T= & {} \frac{8 \left( -l^2 M+r^2\right) }{l^4}\left( 1+\frac{4\alpha '}{l^2}\right) +{\mathcal {O}}(\alpha '^2). \end{aligned}$$
(6.34)

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

$$\begin{aligned} {{{\tilde{d}}s}^2}^{^{(HT)}}= & {} \Big (M-\frac{r^2}{l^2}\Big )^{-1} d\underline{{\tilde{x}}}^2 + \left( \frac{J^2}{4r^2}-M+ \frac{r^2}{l^2}\right) ^{-1} dr^2 \nonumber \\&+\frac{2l r^2}{l^2 M-r^2}~ d\varphi d\underline{{\tilde{x}}} \nonumber \\&-\frac{l^2 \left( J^2-4 M r^2\right) }{4 (l^2 M- r^2)} d{\varphi }^2-\alpha '\frac{2 r^2}{\left( r^2-l^2 M\right) ^2}dr^2,\nonumber \\ {{\tilde{H}}}^{^{(HT)}}= & {} -\frac{J l^2 r}{\left( r^2-l^2 M\right) ^2} ~d\underline{{\tilde{x}}} \wedge dr \wedge d\varphi ,\nonumber \\ {{{\tilde{\Phi }}}}^{^{(HT)}}= & {} b-\frac{1}{2} \ln \left( M-\frac{r^2}{l^2}\right) -\frac{\left( l^2 M - 2 r^2\right) }{2 l^2 (l^2 M-r^2)}\alpha '. \end{aligned}$$
(6.35)

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

$$\begin{aligned} \underline{{\tilde{x}}}= & {} \frac{1}{\sqrt{2}} \Big [-(\mathcal{J}+l M ) \phi +\frac{(\mathcal{J}-l M)}{l} t\Big ],\nonumber \\ \varphi= & {} \sqrt{2} \left( \phi + \frac{t}{l}\right) ,\nonumber \\ r^2= & {} {l{\bar{r}}}, \end{aligned}$$
(6.36)

where \(\mathcal{J}=\sqrt{l^2 M^2-J^2}\). Then, the solution (6.35) becomes

$$\begin{aligned} {{\bar{ds}}^2}= & {} \frac{\mathcal{J}}{l ({\bar{r}}-l M)} \nonumber \\&\Big [\big (-2 {\bar{r}}+l M -\mathcal{J}\big ) dt^2 + \big (2 {\bar{r}}-l M -\mathcal{J}\big ) l^2 d\phi ^2\Big ] \nonumber \\&+\Big [\frac{l^2}{J^2+4 {\bar{r}} ({\bar{r}}-l M)}-\frac{\alpha '}{2 ({\bar{r}}-l M)^2}\Big ] d{\bar{r}}^2,\nonumber \\ {{\bar{H}}}^{^{(HT)}}= & {} -\frac{J \mathcal{J}}{\left( {\bar{r}}-l M\right) ^2} ~dt \wedge d{{\bar{r}}} \wedge d\phi ,\nonumber \\ {{\bar{\Phi }}}^{^{(HT)}}= & {} b-\frac{1}{2} \ln \left( M-\frac{{\bar{r}}}{l}\right) -\frac{\left( 2 {{\bar{r}}}^2 -l M\right) }{2 l^2 ({{\bar{r}}}^2 -l M)}\alpha '. \end{aligned}$$
(6.37)

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

$$\begin{aligned} {\bar{\mathcal{R}}}= & {} \frac{8 l M (l M-{\bar{r}})-7 J^2}{2 l^2 ({\bar{r}}-l M)^2}\nonumber \\&+\frac{\Big [-11 J^4+4 J^2 \left( 6 l^2 M^2+l M {\bar{r}}-7 {\bar{r}}^2\right) -16 l M ({\bar{r}}-l M)^2 (l M+2 {\bar{r}})\Big ]}{4 l^4 ({\bar{r}}-l M)^4} \alpha ' \nonumber \\&+{\mathcal {O}}(\alpha '^2). \end{aligned}$$
(6.38)

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

$$\begin{aligned} |k_1|^2 = \frac{\mathcal{J}+l M-2 {\bar{r}}}{l\mathcal{J} (l M-{\bar{r}})},\quad |k_2|^2=\frac{l \left( \mathcal{J}-l M+2 {\bar{r}}\right) }{\mathcal{J} (l M-{\bar{r}})} . \end{aligned}$$
(6.39)

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

$$\begin{aligned} {{\bar{ds}}^2}= & {} - d {\tau }^2 + d {u}^2 + d \rho ^2,\nonumber \\ {{\bar{\Phi }}}= & {} {{\bar{b}}}-\frac{\rho }{l} -\left( \frac{\rho +l}{l^3}\right) \alpha ', \quad {{{\bar{H}}}} = 0, \end{aligned}$$
(6.40)

for some constant \({\bar{b}}\). Here we have set

$$\begin{aligned} \bar{r}= & {} e^{\frac{2\rho }{\sqrt{l^2-2 \alpha '}}} \simeq e^{\frac{2 \rho }{l}} \Big [1+ \frac{2 \rho }{l^3} \alpha ' + {\mathcal {O}}(\alpha '^2)\Big ],\nonumber \\ \phi= & {} \frac{l}{\sqrt{2 l \mathcal{J}}} u, \quad t = \sqrt{\frac{l}{2 \mathcal{J}}} ~\tau . \end{aligned}$$
(6.41)

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.