T-dualization of Gödel string cosmologies via Poisson–Lie T-duality approach

Using the homogeneous Gödel spacetimes we find some new solutions for the field equations of bosonic string effective action up to first order in α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha '$$\end{document} including both dilaton and axion fields. We then discuss in detail the (non-)Abelian T-dualization of Gödel string cosmologies via the Poisson–Lie (PL) T-duality approach. In studying Abelian T-duality of the models we get seven dual models in such a way that they are constructed by one-, two- and three-dimensional Abelian Lie groups acting freely on the target space manifold. The results of our study show that the Abelian T-dual models are, under some of the special conditions, self-dual; moreover, by applying the usual rules of Abelian T-duality without further corrections, we are still able to obtain two-loop solutions. We also study the Abelian T-duality of Gödel string cosmologies up to α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha '$$\end{document}-corrections by using the T-duality rules at two-loop order derived by Kaloper and Meissner. Afterwards, non-Abelian duals of the Gödel spacetimes are constructed by two- and three-dimensional non-Abelian Lie groups such as A2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_2$$\end{document}, A2⊕A1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_2 \oplus A_1$$\end{document} and SL(2,R)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$SL(2, \mathbb {R})$$\end{document}. In this way, the PL self-duality of AdS3×R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$AdS_3 \times \mathbb {R}$$\end{document} space is discussed.


Introduction
One of the most interesting cosmological solutions to Einstein's field equations is Gödel spacetime [1] which constituted (and still constitutes) a considerable motivation to the investigation of solutions more complex than those treated until then. It was obtained [2] some new solutions of string theory, including terms up to the first order in the inverse string tension α for the homogeneous Gödel spacetimes. Recently, it has been shown that [3] four-dimensional Gödel universe can be embedded in string theory. The corresponding Lagrangians to the Einstein-Maxwell-Axion, Einstein-Proca-Axion and Freedman-Schwarz SU (2) × SU (2) gauged supergravity theories admit the Gödel metrics as solutions, all involving only the fundamental matter fields [3] (see also [4]). In Ref. [2], to find a class of Gödel universes without Closed Timelike Curves (CTC's) within the framework of low-energy effective string theory, it has been considered a convenient ansatz for both dilaton and axion fields in an orthonormal frame. Thus, the Gödel spacetimes are of particular importance both in general relativity and string theory. But so far their target space duality (T-duality) have not been studied. In the present work, we obtain the other forms of solutions of equations (but not in an orthonormal frame) for the two-loop beta-function including the Gödel spacetimes, field strength and dilaton field. The existence of solution for beta-function equations possessing the Gödel metrics with appropriate axion and dilaton fields, helps us to study their T-dual spaces. We furthermore get new solutions by considering a simpler form of Gödel metrics, and then focus on finding target space duals of the solutions. Accordingly, we improve Barrow's results [2]. T-duality is a very important symmetry of string theory which was originally defined for a string theory σ -model where the backgrounds of model have an Abelian group of isometries [5,6]. T-duality is a peculiar feature of strings, since it provides a method for relating seemingly inequivalent string theories, and allows to build new string backgrounds which could not be addressed otherwise. The theory of Abelian T-duality is well understood and had been the subject of much research (for a review see e.g. [7]). Then, the basic duality procedure could be generalized to the case where the original σ -model had a non-Abelian group of isometries [8] (further work in this direction was carried out in [9][10][11][12][13][14]). Whereas in the Abelian case, the dual theory has a natural symmetry suitable for inverting the duality transformation, in the non-Abelian case it has been shown that [11] this symmetry becomes nonlocal and cannot obviously be used for the inverse. In fact, it has been found that the non-Abelian T-duality is not an exact symmetry of the conformal field theory, and conjectured that it is a map between different conformal field theories. There has been a new interest in non-Abelian T-duality, which was ignited by [15], that provided the transformation rule for the Ramond-Ramond fields under the non-Abelian T-duality. It was then extended to σ -models with nonvanishing Ramond fluxes, thus allowing to search for new supergravity solutions [16][17][18][19][20]. Klimčik and Ševera proposed a generalization of T-duality, or the socalled PL T-duality [21,22], which allows the duality to be performed on a target space without isometries. Afterwards, PL T-duality transformations could be generalized to the Lie supergroups [23], as well as supermanifolds [24], in such a way that super PL symmetry of the WZW models based on some of the Lie supergroups of superdimension (2|2) was studied [25,26]. Of course, in the Lie groups case, PL symmetry of the WZW models was already been studied in Ref. [27] (see also [28][29][30]). Recently, PL T-duality also appears as an important tool in the study of integrable models and their deformations [31][32][33][34][35][36][37]. Lately, using the PL T-duality approach in the presence of spectator fields we have found new dual solutions for some of the gravitational and string backgrounds such as BTZ black hole [38] and the WZW models based on the Lie groups H 4 and G L(2, R) [39].
The main purpose of this paper is to study the (non-)Abelian T-dualization (here as the PL T-duality on a (semi-)Abelian double) of the Gödel string cosmologies. The procedure for this study is as follows: in the context of PL Tduality with spectators, the choice of spectator-dependent matrices (E 0 , F, F (1) , F (2) ) plays a key role in the process. Our choice is usually based on the solutions of the vanishing of beta-function equations. By a suitable choice, we obtain the background of the original σ -model including the Gödel metrics and B-field (corresponding to a constant torsion). We then use the PL T-duality transformations in order to get the corresponding dual solutions. Also, the duality transformation of the dilaton field is, at one-loop level, given by equations (4.15) and (4.16). Finally, we are interested in testing the conformal invariance of the dual solutions up to the twoloop order. We notice that in the case of the Gödel spacetimes one can apply the usual rules of (non-)Abelian T-duality without further corrections, and still be able to obtain two-loop solutions. In general, further corrections to the rules are necessary. Recently, it has been shown that [40] (see also [41]) the PL duality can be extended to order α , i.e. two loops in the σ -model perturbation theory, provided that the map is corrected. Furthermore, by using the higher derivative formulation of DFT, it has been found [42] a unified expression for first order corrections to generalized dualities so that it can be easily specified to any generalized T-duality (Abelian, non-Abelian, PL, etc.).
As explained above, we obtain the Abelian T-duals of the Gödel metrics by using the PL T-duality approach and then testing the conformal invariance conditions of the duals up to two-loop order. When going to two-loop it is known that in general the rules of Abelian T-duality must receive corrections. The two-loop σ -model corrections to the Abelian T-duality map were obtained by Kaloper and Meissner (KM) in [43]. They had used the effective action approach by focusing on backgrounds that have a single Abelian isometry. By using the T-duality rules of KM, we study the Abelian T-duality of Gödel string cosmologies up to α -corrections when the dualizing is implemented by the shift of directions z and t.
This paper is organized as follows. After the introduction section, Sect. 2 reviews the conformal invariance conditions of the σ -model up to the first order in α . We start Sect. 3 by introducing the Gödel metrics and then discuss the solutions of two-loop beta-function equations possessing the Gödel spacetimes. A short review of PL T-dual σ -models construction in the presence of spectator fields is presented in Sect. 4, where necessary formulas are summarized. In Sect. 5, we study the Abelian T-dualization of the Gödel spacetimes via the PL T-duality approach. The study of the Abelian Tduality of the Gödel spacetimes up to α -corrections using the KM approach, when the duality is implemented by a shift of the coordinates z and t, is discussed in Sect. 6. The non-Abelian duals of the Gödel spacetimes constructed by twoand three-dimensional non-Abelian Lie groups are given in Sect. 7. In this section, we also study the PL self-duality of the Ad S 3 × R space. The results of Abelian and non-Abelian T-duality of the Gödel string cosmologies are clearly summarized in Tables 1, 2 and 3. Some concluding remarks are given in the last section.

Two-loop conformal invariance conditions of the bosonic string σ -model
A bosonic string propagating on a non-trivial background can be described by the well-known σ -model defined on a twodimensional curved surface in d spacetime dimensions with metric G M N , antisymmetric tensor field B M N (axion field) and dilaton field where σ α = (τ, σ ) are the string worldsheet coordinates, and X M (M = 1, . . . , d) are coordinates in spacetime. h αβ and R (2) are the induced metric and curvature scalar on the string worldsheet, respectively. αβ is an antisymmetric tensor on the worldsheet and h = det h αβ . The dimensionful coupling constant α turns out to be the inverse string tension.
Since we are considering bosonic string theory, there is only one more massless degree of freedom of the string, namely the dilaton . This gives a contribution to the action in the form of the second term of (2.1). This term breaks Weyl invariance on a classical level as do the one-loop corrections to G and B.
In the σ -model context, the conformal invariance conditions of the σ -model (2.1) are provided by the vanishing of the beta-function equations [44]. In order for the fields (G, B, ) to provide a consistent string background at low-energy up to two-loop order (first order in α ) they must satisfy the following equations [45][46][47][48][49]  = + α q H 2 for some coefficient q [48], and is a cosmological constant. In string theory, the is related to the dimension of spacetime, d, and the inverse string tension, α , whereas in this paper it is, in some cases, treated as a free parameter. We note that round brackets denote the symmetric part on the indicated indices whereas square brackets denote the antisymmetric part.
On the other hand, the conditions for conformal invariance (Eqs. (2.2)-(2.4)) can be interpreted as field equations for G M N , B M N and of the string effective action [49]. As shown in Ref. [48], in d = 26 (where = 0), the string effective action up to the first order in α is given by (2.5) As announced in the introduction, the Gödel spacetimes can be considered as exact solutions in string theory for the full 123 O(α ) action including both dilaton and axion fields [2]. In Ref. [2], it has been considered a convenient ansatz for both dilaton and axion fields in an orthonormal frame. In the next section, we obtain the other forms of solutions for the twoloop beta-function equations including the Gödel spacetimes, the field strength H and dilaton in such a way that we do not work in an orthonormal frame.

Gödel spacetimes as solutions in string theory for the full O(α ) action
3.1 Gödel spacetimes in the cylindrical coordinates (t,r ,φ,ẑ) Among the known exact solutions of Einstein field equations, the Gödel and Gödel-type metrics [1] play a special role. It was shown within the usual general relativity that these solutions describe rotating string cosmologies, and allow for the existence of CTC's. It is a well-known result that all Gödeltype metrics, i.e., homogeneous spacetimes exhibiting vorticity, characterized by , and a given value of m parameter can be rewritten in cylindrical coordinates (t,r ,φ,ẑ) as where the functions C(r ) and G(r ) must obey the relations We note that m 2 = 2 2 is a particular case of the hyperbolic class which corresponds to the original Gödel solution [1]. An interesting aspect of Gödel-type solutions is the possibility for existence of CTC's. The existence of CTC's, which allows for violation of causality, depends upon the sign of the metric function G(r ). Indeed, from Eqs. (3.1) and (3.2) one finds that the circles defined byt = t 0 ,r = r 0 ,φ ∈ [0, 2π ],ẑ = z 0 become CTC's whenever G(r ) < 0 [50]. In fact, the range, m 2 ≥ 4 2 , does not present CTC's.

Solution up to zeroth order in α
The Eqs. (2.2)-(2.4) up to zeroth order in α are satisfied only when we have m 2 = 4 2 with no CTC's. In this case, the field strength and dilaton field are, respectively, given by where b is an arbitrary constant, and h 2 = 2( − 2 2 ). It is noteworthy that this solution is in agreement with those of Ref. [2].

Solutions up to first order in α
Below we discuss the solutions of Eqs. (2.2)-(2.4) up to first order in α possessing the Gödel spacetimes in a coordinate base (t,r ,φ,ẑ). Our solutions are, in general, classified into two special classes: Class I: In this class of solutions the field strength and dilaton field are, respectively, given by , This confirms that it is possible to obtain a Gödel solution with no CTC's. By noting the relation (3.6), the field strength H depending on C can vanish. Then, the second relation of (3.6) gives the velocity of rotation of the Gödel universe in terms of the inverse string tension; moreover, there is another constraint, h 2 = 2 − 3 2 , which shows that the cosmological term has to be positive. This particular case, C = 0, is in agreement with those of Ref. [2]. (i ) Similar to the case (i) we have m 2 = 4 2 with no CTC's. In this case, the value of C is fixed to be C 2 = 1/4, and h 2 = 2 − 4 2 (1 + 2α 2 ).
(ii) In this case, the relation between the constants is given by , (3.7) The first relation requires that m 2 ≥ 3 2 for C 2 ≥ 0. The range of 3 2 ≤ m 2 < 4 2 allows CTC's. When m 2 = 3 2 , the field strength vanishes, then, α = 1/ 2 and > h 2 /2. (iii) The last case refers to the following relation between the constants m, , C, h, α , and (3.8) From the first relation of (3.8) one can easily deduce that the field strength must not vanish if a solution is to exist and act as a source of rotation. In this situation by fixing C 2 to 1/2 we then have the original Gödel solution 1 for Eqs. (2.2)-(2.4). Class II: The corresponding field strength to this class of solutions is given by (3.9) for some constants C, D. In this case, dilaton field is assumed to be constant, = b. Using these, the Eqs. (2.2)-(2.4) with the metric (3.1) are satisfied if the following relation hold between the constants m, , C, D, α and :

Gödel spacetimes in new coordinates (t, r, ϕ, z)
Since our main aim in the present work is to study the Tdualization of the Gödel spacetimes we write down the metric (3.1) in a simpler form. To this end, one uses the coordinate transformation r = cosh(mr) + cosφ sinh(mr), β r ϕ = sinφ sinh(mr ), z =ẑ l , (3.11) to obtain such that the following relations must be held between the constants l, β, m and : Here, the condition of the existence of CTC's, m 2 < 4 2 , is induced on the range of the parameter β. In fact, for the range β ≥ 1 we do not encounter CTC's. In this case, the original Gödel metric [1] is recovered when we take β = 1/2. As it is seen, the metric (3.12) is a direct product of R associated with the coordinate z and the three-dimensional metric of 1 In this case, one gets α = − 1 4 2 . In string theory, the resulting spectrum of the bosonic string contains a finite number of massless and infinitely many massive excitations with mass 2 = n α with n ∈ N . Among the states there are also tachyons with mass 2 < 0 implying that the vacuum is unstable. This is unavoidable in the bosonic string.
(t, ϕ, r ). For the case of β = 1 one may use the following transformation (3.14) then, the metric becomes so when β = 1, the metric (3.12) is locally Ad S 3 × R space.

Solution up to zeroth order in α
One can show that only β = 1 case of the metric (3.12) satisfies the field equations (2.2)-(2.4) up to zeroth order in α . In this case, a solution including the metric, field strength and dilaton field is given by where f 2 = −1 + 2l 2 .

Solutions up to first order in α
In order to obtain new solutions up to first order in α we now solve the field equations (2.2)-(2.4) for the metric (3.12).
Here, the forms of our solutions including the field strength and dilaton field are given by two special classes A and B: Class A: In this class of solutions the field strength H and dilaton field are given by for some constants E, f, b. The field equations (2.2)-(2.4) are then satisfied with the metric (3.12) together with the fields (3.17) if the following four conditions held between the constants l, β, E, f, α and : (1) The first condition is devoted to a special condition on the parameter β, and that is β = 1. The rest of constants are then related to each other in the following way: This result confirms that it is possible to have a solution corresponding to zero field strength, that is, E = 0. Then, it is followed that α = 4l 2 and f 2 = 2l 2 − 3/4.
(1 ) In addition to the first condition, we have another solution corresponding to β = 1 and nonzero field strength 123 E 2 = l 4 /4, so that the relation between other constants may be expressed as (2) The field equations (2.2) and (2.3) are also fulfilled if the values of E and α can now be expressed in terms of the parameter β This is an interesting case in which the field strength depends on the parameter β of the metric. From the relation (3.19) one can easily deduce that β ∈ [3/4, +∞) − {5/6}. We note that in this case, the range of β ∈ [3/4, 1) − {5/6} allows CTC's. The relation between other constants can be obtained from Eq. (2.4), which gives, The last condition refers to a Gödel solution with a nonzero field strength, Finally after using Eq. (2.4), we obtain the relation This is only case of the class A which is valid for β = 1/2. Putting β = 1/2, we then get α = −l 2 /2. Also, from Eq. (3.21) it is followed that ≥ −1/(4l 2 ), which shows that the cosmological term can be considered to be negative. Class B: Class B of solutions is devoted to a constant dilaton field = b and the field strength We have thus obtained some new solutions for the field equations of bosonic string effective action up to the first order in α in the forms of classes A and B. These solutions will be useful in studying the T-dualization of Gödel string cosmologies. We shall address this problem in Sects. 5, 6 and 7.

A short review of PL T-duality with spectators
In this section, we recall the main features of PL T-duality transformations at the level of the σ -model. For the description of PL T-duality, we need to introduce the Drinfeld double group D [51], which by definition has a pair of maximally isotropic subgroups G andG corresponding to the subalgebras G andG, respectively. The generators of G andG are denoted, respectively, T a andT a , a = 1, . . . , dimG and satisfy the commutation relations The Lie algebra structure defined by (4.1) is called the Drinfeld double D.
The structure constants f c ab andf ab c are subject to the Jacobi identities and the following mixed Jacobi identities In addition, the Drinfeld double D is equipped with an invariant inner product . , . with the following properties Let us now consider a d-dimensional manifold M and some coordinates X . . , dimG stand for the coordinates of Lie group G acting freely from right on M and y i , i = 1, . . . , d − dimG are the coordinates labeling the orbit O of G in the target space M. We note that the coordinates y i do not participate in the PL T-duality transformations and are therefore called spectators [28]. Before proceeding to write the σ -models let us introduce the components of the right-invariant Maurer-Cartan forms where g is an element of the Lie group G corresponding to the Lie algebra G. For notational convenience we will also use R i α = ∂ α y i . In order to define σ -models with PL T-duality symmetry, it is convenient to define matrices a(g), b(g) and (g) in the following way Then, the original σ -model is defined by the action [21,22,28] (X ). (4.5) Here, we have used the standard light-cone variables on the worldsheet, σ ± = (τ ± σ )/2 together with ∂ ± = ∂ τ ± ∂ σ .
The backgrounds appearing in this action are given in matrix notation by [28] The matrices (E 0 , F, F (1) , F (2) ) are all functions of the variables y i only.
Similarly we consider another σ -model for the d field variablesX parameterize an elementg of a Lie groupG, whose dimension is, however, equal to that of G. The rest of the variables are the same y i used in (4.5). Accordingly, we introduce the components of the right-invariant Maurer-Cartan forms The backgrounds of the dual theory are related to those of the original one by [21,28] where˜ is defined as in (4.4) by replacing untilded quantities with tilded ones. Notice that the duality transformation must be supplemented by a correction that comes from integrating out the fields on the dual group in path integral formulation in such a way that it can be absorbed at the one-loop level into the transformation of the dilaton field. The correct formula of dilaton transformation is, for the PL T-duality case, given by [52] where φ (0) is the dilaton that makes the original σ -model conformal (up to the one-loop order) and may depend on both group and spectator coordinates. Accordingly, the dual background can also be conformal at the one-loop level with a new dilaton field obtaining from Eq. (4.16). The transformations (4.15) and (4.16) were based on a regularization of a functional determinant in the path integral formulation of PL duality [52] (see also [53]). PL T-duality is a canonical transformation and two σ -models related by PL duality are, therefore, equivalent at the classical level [54]. It has been shown that [55] relations (4.15) and (4.16) only hold at the one-loop level for both σ -models admitting PL duality if the traces of the structure constants of each Lie algebra constituting the Drinfeld double are zero. Equivalence can hold in some special cases but it fails in most cases. In this respect, checking the equivalence by studying conformal invariance (the vanishing of the beta-function equations) is important. But, since after a classical canonical transformation, the equivalence always holds up to first order in Planck's constant in the semiclassical expansion (corresponding to one-loop order in σ -model language), only the two-loop order is the first real test of quantum equivalence of the two different σ -models related by PL T-duality [40,41]. As mentioned in the introduction section, in the case of Abelian T-duality, the two-loop σ -model corrections were obtained by KM in [43]. There, one can find the duality transformation of the dilaton field at two-loop level. Let us turn into the actions (4.5) and (4.10). These actions correspond to PL T-dual σ -models [21,22]. If the group G(G) besides having free action on the manifold M(M), acts transitively on it, then the corresponding manifold M(M) will be the same as the group G(G). In this case only the first term appears in the actions (4.5) and (4.10).
The T-duality transformations are said to be Abelian [5,6] or non-Abelian [8,12] according to the nature of the Lie algebra formed by the generators of the isometries. Notice that: • If both the Lie groups G andG become the isometry groups of the manifolds M andM, respectively, namely, both G andG are chosen to be Abelian groups ( f a bc = f ab c = 0), then we get (g) =˜ (g) = 0, recovering thus the standard Abelian duality. In this case, the dilaton transformation (4.15) turns into = φ (0) . By remembering that φ (0) makes the original model conformal at one-loop level we obtain the final result for the dual dilaton, giving Indeed, this new dilaton field guaranties the conformality of dual background up to the one-loop order.
• In case of non-Abelian T-duality the former represents group of symmetries of the original σ -model, while the latter is Abelian (f ab c = 0). Furthermore, there are Drinfeld doubles where both G andG are non-Abelian. In such a case the symmetry of the original model is replaced with the so-called PL symmetry (or generalized symmetry), and the full PL Tduality transformation [21,22] applies. We now wish to apply the above discussions to study the Abelian T-dualization of the Gödel string cosmologies in the next section.

Abelian T-dualization of Gödel string cosmologies
In order to study Abelian T-duality in Buscher's construction [5,6] one starts with a manifold M with metric G M N , antisymmetric tensor B M N and dilaton field , and requires the metric to admit at least one continuous Abelian isometry leaving invariant the action of σ -model constructed out of (G, B, ). As announced in the introduction, PL Tduality proposed by Klimčik and Ševera is a generalization of Abelian and non-Abelian T-dualities. It was then shown that Buscher's duality transformations can be obtained from the PL T-duality approach by a convenient choice of the spectator-dependent matrices [56] (see also [38]). In this section, we obtain all possible Abelian T-duals of the Gödel string cosmologies by using the approach of PL Tduality in the presence of spectators. In this regard, the Lie groups G andG acting freely on the target space manifolds M ≈ O × G andM ≈ O ×G, respectively, can be considered to be Abelian Lie groups of dimensions one, two and three. In all cases, both structures (g) and˜ (g) are vanished as mentioned above.
When the dualizing is implemented by the shift of the directions t, z and (t, z) we show that the pair of the mutually dual models can be conformally invariant at the one-loop level, in a way that the corresponding dual dilaton field is found by using transformation (4.17). It is shown that for the duals obtained through the dualizing on these directions without further corrections, we are still able to obtain twoloop solutions. On the other hand, the dual models obtained by the rest of the directions, ϕ, (t, ϕ), (ϕ, z) and (t, ϕ, z), don't remain conformally invariant at the one-loop level; we just check their two-loop conformal invariance conditions.

Dualizing with respect to the coordinate ϕ
Here we assume that target space , while x is the coordinate of one-dimensional Abelian Lie group G = A 1 parameterizing by element g = e xT . In order to write the original σmodel on the manifold M we need to determine the model couplings. Let us choose the spectator-dependent matrices in the following form where C 0 is a nonzero constant and in which h i 's and f i 's are some arbitrary functions that may depend on some coordinates r , t and z. Henceforth, the constants E, N, l and β are the same ones introduced in Sect. 3. Inserting (5.1) into Eqs. (4.6)-(4.9) and then employing (4.5), the original σ -model on the manifold M can be derived. Then corresponding metric and antisymmetric tensor may be expressed as 3) Carrying out the coordinate transformation ϕ = γ 0 x we see that (5.3) is nothing but the Gödel metric (3.12). Furthermore, one concludes that the field strength corresponding to the B-field (5.4) is the same as (3.22). We note the fact that in the context of PL T-duality, the matrix E 0 must be invertible. With regard to the first relation of (5.2) the solution given by The dual background is obtained from a σ -model which is constructed on 1 + 3-dimensional manifoldM ≈ O ×G whereG is the same as the A 1 Lie group. Since duality is performed on the x, we parameterizeG by the coordinatex. Before proceeding to construct the dual background, let us consider a simpler form of the spectator-dependent matrices (5.1). Indeed, one may take h 1 = h 3 = f 1 = f 2 = 0, h 2 = (2E − l 2 )r, f 3 = 2Nr and C 0 = l 2 (β − 1). Imposing these conditions on (5.1) and then utilizing Eqs. (4.11)-(4.14) and also (4.10), the metric and antisymmetric tensor fieldB of the dual model can be cast in the forms One quickly deduces that the only nonzero component of the field strength corresponding to theB-field (5.6) is .
Let us now clarify the spacetime structure and conformal invariance conditions of the dual model. We see that the dual background can't, for the β = 1 case, satisfy the field equations (2.2)-(2.4) up to zeroth order in α (oneloop order). Accordingly, the dual dilaton don't obey transformation (4.17). Below, we just check the two-loop conformal invariance conditions of the dual background. When N = 0, the metric (5.5) and the field strength (5.7) satisfy the field equations (2.2)-(2.4) with a dilaton field in the form of˜ =f z + b provided that the constants E, l,f , α and β satisfy the following relations . (5.8) Imposing conditions N = 0 and E 2 = l 4 /4 on the metric (5.5) and then performing the coordinate transformation r → 1/r,x → −l 2 (β − 1)ϕ one concludes that it is nothing but the Gödel metric (3.12). 2 This means that the model is selfdual. Also when N = 0 we have another solution in which relationship between the constants are given by In addition to the above, for the metric (5.5) and the field strength (5.7) one verifies the field equations (2.2)-(2.4) with 2 We recall that in the Abelian case with U (1) duality group and another U (1) co-duality group, the target space is a one-dimensional circle; in other words, we have here the standard R → 1/R duality [5,6]. a constant dilaton field when N differs from zero. In this way we must have and E 0 ab = −l 2 , then using the formulae (4.6)-(4.9) and also (4.5) one finds that the metric and field strength corresponding to the original σ -model take the same form as (3.12) and ( It is then straightforward to compute the corresponding dual spacetime. They are read wherex is the dualized coordinate of the dual manifold. We note that the background (5.12), unlike the dual background in the preceding case, can be even conformally invariant up to the zeroth order in α . For the β = 1 case of this background the dual dilaton is found by using Eq. (4.17) to be˜ = φ (0) − log l 2 . Finally we get the dilaton by remembering that In addition, the case of β = 1 can satisfy the field equations (2.2)-(2.4) with the same dilaton field (5.13) provided that for each α . Actually, by imposing the conditions 2E = −l 2 and N = 0 on the dual background (5.12) and then by making use of the transformationx → l 2 t, we obtain the same forms as (3.12) and (3.17), that is, the model is self-dual. We can also show that the dual background is conformally invariant up to first order in α when N differs from zero. In this way, if we consider then the field equations (2.2)-(2.4) for (5.12) are satisfied with a constant dilaton.

Dualizing with respect to the coordinate z
In what follows we shall dualize the Gödel metrics on the coordinate z. To this end, we choose the coupling matrices in the following form The corresponding dual background can be cast in the form wherex is the dualized coordinate of the dual manifold. By taking into account the conditions E = l 2 /2 and N = 0 one can show that under the transformationx → l 2 z, the background (5.17) turns into the same forms as (3.12) and (3.17). In this situation we are faced with self-duality again. Imposing these conditions on (5.17) and putting β = 1 one shows that the dual background is conformally invariant up to the one-loop order in a way that the dual dilaton is found by using Eq. (4.17) to be˜ = f z + b − log l 2 .
In addition, we check that the background (5.17) along with a constant dilaton satisfy the vanishing of the two-loop beta-function equations if we have . (5.18) Also, there is an additional solution with the dilaton field =f l 2 z + b provided that Abelian T-duality with two-dimensional Abelian Lie group

Dualizing with respect to both coordinates (t, ϕ)
In this subsection we shall perform the dualizing on both the coordinates t and ϕ. That is, the Lie group G of the target manifold M ≈ O × G is parameterized by g = e tT 1 e ϕT 2 , wherein (T 1 , T 2 ) are the basis of the Abelian Lie algebra G of G. So the coordinates of the orbit O are, in this case, represented by (r, z). In this respect, one may choose the background matrices in the following forms (5.20) Hence, the background of the original σ -model implies the same metric (3.12) and field strength (3.22). From Sect. 3 we know that the β = 1 case of metric (3.12) along with E 2 = l 4 /4 and N = 0 can be considered as a solution for the field equations (2.2)-(2.4) up to zeroth order in α . In this situation, the matrix E 0 ab will no longer be invertible, hence the model can't be conformally invariant at one-loop order. The corresponding elements to the dual model can be obtained by making use of relations (5.20) and (4.11)-(4.14). They are then read where (x 1 ,x 2 ) are the dualized coordinates of the dual manifold. We have checked that there is no dilaton field to support the conformality of the dual background (5.21) at one-loop level. But, one can check that the dual background along with a constant dilaton field is conformally invariant up to the first order in α provided that Notice that this solution is valid for every β ∈ (0, 2/3). It should be noted that by taking into consideration N = 0 and also condition β = 1 for (5.21) we see that under the transformatioñ the dual background turns into the same metric (3.12) and field strength (3.17), which this is nothing but the self-duality of the Gödel metrics.

Dualizing with respect to both coordinates (t, z)
When the dualizing is performed on the coordinates (t, z), it is more appropriate to choose the spectator-dependent matrices as follows:

(5.24)
With regard to this choice, we arrive at familiar results, i.e., Eqs. (3.12) and (3.22). According to Sect. 3, the case of β = 1 of this background with conditions E 2 = l 4 /4 and N = 0 is a solution for the one-loop beta-function equations in such a way that the dilaton field is obtained to be = φ (0) = f z+b in which f 2 = −1 + 2l 2 . Now, one applies formulae (4.11)-(4.14) and (5.24) to obtain the dual background in the following form Analogously, (x 1 ,x 2 ) are the dualized coordinates. One can check that only a particular case of the dual background is conformally invariant up to the one-loop order, giving ds 2 = l 2 dr 2 r 2 − l 2 dt 2 + l 2 dz 2 − 2rl 2 dtdϕ, where f 2 = −1 + 2l 2 . We have used the transformatioñ x 1 → l 2 t,x 2 → l 2 z, and have put β = 1, E = −l 2 /2 and N = 0; moreover, the dual dilaton have been obtained by using (4.17).
In addition, a constant dilaton field guaranties the conformal invariance of the dual background (5.25) up to the first order in α if the constants E, N, l, β,˜ and α satisfy the following relations where = β 2 − 16β + 100.

Dualizing with respect to both coordinates (ϕ, z)
It is also possible to perform the dualizing on both the coordinates ϕ and z. So the coordinates of orbit O are chosen to be (t, r ). In this way, both the Gödel metrics (3.12) and field strength (3.22) may be yielded from the original σ -model if one considers , The one-loop conformal invariance conditions of the Gödel metrics require that we have β = 1, E 2 = l 4 /4 and N = 0. In this situation the E 0 is singular. Thus, when the dualizing is implemented by the shift of directions (ϕ, z), the pair of the mutually dual models can't be conformally invariant at one-loop level. Similar to the preceding cases one obtains the corresponding dual σ -model. If the dualized coordinates are considered to be (x 1 ,x 2 ), then we have It's worth mentioning that under the transformationx 1 = l 2 z ,x 2 = ϕ , r = 1/ (β−1)l 2 r , t = −t , the background (5.29) can be reduced to the Gödel metrics (3.12) and field strength (3.17); of course when we put N = 0 and E = l 2 /2.

Abelian T-duality with three-dimensional Abelian Lie group
There is a possibility that we can perform the dualizing on the coordinates x μ = (z, t, ϕ). In fact, these are the coordinates of the Abelian Lie group of the target space. Choosing the appropriate spectator-dependent matrices in the forms where (x 1 ,x 2 ,x 3 ) are the dualized coordinates. One can easily check that the dual background is not also conformally invariant up to the one-loop order. It is quite interesting to comment on the β = 1/2 case of the background (5.31). For this case, one can easily show that the field equations (2.2)-(2.4) are satisfied with a constant dilaton provided that (5.32) Putting N = 0 in both the metric and corresponding B-field of the background (5.31) and then utilizing the transformatioñ (5.33) the dual background turns into the same metric (3.12) and field strength (3.17).
In summary, we obtained seven Abelian duals for the Gödel spacetimes and showed that they were self-dual when N went to zero, and in some instances, one must consider E = l 2 /2. The results of this section are clearly summarized in Table 1. There, we have shown the backgrounds solving the one-loop equations, and solve also the two-loop equations without α -corrections.
Before closing this section, we note the fact that our Abelian dual models were obtained by the PL T-duality transformations at the classical level. The PL T-duality transformations are valid only at the one-loop level. Our results showed that by applying the rules of Abelian T-duality without further corrections, we were still able to obtain two-loop solutions.

Abelian T-duality of Gödel string cosmologies up to α -corrections
In this section, we study the Abelian T-duality of Gödel string cosmologies up to α -corrections when the dualizing is implemented by the shift of directions z and t. To this end, we use the T-duality rules at two-loop order derived by KM [43]. Before proceeding further, let us review the α -corrected T-duality rules of KM.

The α -corrections from T-duality rules at two-loop
As mentioned in the introduction section, the authors of Ref. [43] had obtained the two-loop σ -model corrections to the T-duality map in string theory by using the effective action approach. They had found the explicit form for the O(α ) modifications of the lowest order duality transformations by focusing on backgrounds that have a single Abelian isometry. Recently, it has been shown that [57] using the α -corrected T-duality rules of [43] one can obtain explicit α -corrections for Yang-Baxter deformed models. In fact, it has been argued that (homogeneous) Yang-Baxter deformed string σ -models that are conformal at one loop remain conformal at two loops. Similar to Ref. [57] we follow [43] and choose the reduced metric g μν , antisymmetric field b μν and dilaton of the ddimensional spacetime, respectively, according to Dual background Dualizing with respect to the t coordinate Conditions for the one-loop solution

Conditions for the two-loop solution
Original background Dual background Dualizing with respect to the (t, ϕ) coordinates

Conditions for the one-loop solution
Conditions for the two-loop solution Original background with the conditions given in Eqs. (3.23) and (3.24) Dual background Dualizing with respect to the (t, z) coordinates

Conditions for the one-loop solution
Conditions for the two-loop solution Original background Dual background Dualizing with respect to the Dual background where the field V μ is the standard Kaluza-Klein gauge field coupling to the momentum modes of the theory, and W μ is the other gauge field, which couples to the winding modes.
Here we assume that the isometry we want to dualize is simply implemented by a shift of a coordinate, that we denote by x. We have also introduced the scalars σ andφ. In components, the relations to identify the fields of the dimensional reduction are In order to apply the T-duality rules of KM to our purpose, we will therefore first need to implement the field redefinitions to go from Hull and Townsend (HT) scheme 3 [48] to that of KM. This work has been done in [57]. The field redefinitions that we will use are Thus, the two-loop T-duality transformation equations in the KM scheme are given by [43] σ = −σ + α (∇σ ) 2 + 1 8 (e 2σ Z + e −2σ T ) , (6.10) These transformations are written using the following definitions 14) It should be noted that utilizing the transformationx → l 2 z and shifting b 2 → b 2 + 1 2 log l 2 , the dual solution (6.22) turns into the original one. Hence, we have shown that the Abelian T-duals generated by Gödel spacetimes at two-loop order are self-dual.

Abelian T-duality with respect to the t coordinate up
to α -corrections Table 2 Abelian T-duality of the Gödel string cosmologies up to Dual background Dualizing with respect to the t coordinate Conditions for the one-loop solution

Conditions for the two-loop solution
Original background Dual background

Non-Abelian T-dualization of Gödel string cosmologies
We now wish to apply the formulation of Sect. 4 in order to study the non-Abelian T-dualization of the Gödel spacetimes.
In this section, we explicitly construct some of the PL T-dual σ -models on 2 + 2-and 3 + 1-dimensional target manifolds. In any case, the metrics of the original σ -models represent the Gödel spacetimes. From the analysis of Sect. 3, it is followed that the backgrounds of the models are conformally invariant up to two-loop order such that they satisfy Eqs. (2.2)-(2.4). We clarify the corresponding dual spacetimes structure, as well as the conformal invariance conditions of them. In a particular case of the models, we study the PL self-duality of Ad S 3 × R space.
7.1 Non-Abelian T-duality from a 2 + 2-dimensional manifold with the A 2 Lie group As discussed in Ref. [39], the 2 + 2-dimensional manifold M ≈ O × G with two-dimensional real non-Abelian Lie group G = A 2 is wealthy. We shall obtain the Gödel spacetimes from a T-dualizable σ -model constructed out of the 2 In this way, the non-Abelian T-duality of the Gödel spacetimes is studied here. The dual Lie groupG acting freely on the dual manifold M ≈ O ×G is considered to be two-dimensional Abelian Lie group 2 A 1 . The Lie algebras of the Lie groups G and G are denoted by A 2 and 2A 1 , respectively. As mentioned in Sect. 4, having Drinfeld doubles one can construct PL Tdual σ -models on them. The four-dimensional Lie algebra of the Drinfeld double (A 2 , 2A 1 ) is defined by the following nonzero commutation relations: where (T 1 , T 2 ) and (T 1 ,T 2 ) are the basis of A 2 and 2A 1 , respectively. In order to write the action of the σ -models (4.5) and (4.10) on the 2 + 2-dimensional manifolds M andM we need to calculate the components of the right-invariant Maurer-Cartan forms R a ± andR ± a on the Lie groups A 2 and 2 A 1 , respectively. To this end, we parametrize elements of the A 2 and 2 A 1 as where (x 1 , x 2 ) and (x 1 ,x 2 ) stand for the coordinates of the Lie groups A 2 and 2 A 1 , respectively. R a ± 's andR ± a 's are then obtained to be of the forms 3)R For our purpose it is also necessary to compute the matrices ab (g) and˜ ab (g). Using Eqs. (7.1) and (7.2) and also applying Eq. (4.4) for both the Lie groups A 2 and 2 A 1 , we get Let us now choose the spectator-dependent background matrices as Inserting (7.6) into Eqs. (4.6)-(4.9) and then utilizing formulas (7.3) and (7.5) together with (4.5), the original σ -model is worked out to be where y i = (y 1 , y 2 ) are the coordinates of the orbit O of G in manifold M. To be more specific, we use the coordinate transformation e x 1 = r, x 2 = ϕ, y 1 = t, y 2 = z. (7.8) Then, by identifying the action (7.7) with the σ -model of the form (2.1), the corresponding line element and antisymmetric tensor can be, respectively, cast in the forms The line element (7.9) is nothing but the Gödel metric (3.12), and the field strength corresponding to the B-field (7.10) is easily obtained to be the same form as (3.22). Because of the invertibility of the matrix E 0 , the parameter β must be here considered to be different from one. Accordingly, the model (7.7) will not be conformally invariant at one-loop level. As discussed in Sect. 3 (class B of solutions), the metric (7.9) and field strength (3.22) together with a constant dilaton field satisfy the two-loop beta-function Eqs. (2.2)-(2.4).
In order to construct the dual σ -model corresponding to the model (7.7) we use the action (4.10). The dual coupling matrices can be obtained by inserting (7.5) and (7.6) into (4.11)-(4.14). They are then read where =x 2 2 + (β − 1)l 4 . Finally, one can write down the action of dual σ -model in the following form Comparing the above action with the σ -model action of the form (2.1), the line element and the tensor fieldB take the following forms In order to enhance and clarify the structure of the dual spacetime, we can test whether there are true singularities by calculating the scalar curvature, which is As it is seen from the formulas (7.13) and (7.15), the regions x 2 = ±l 2 √ (1 − β) are true curvature singularities. Therefore, the dual metric has true singularities for the range 0 < β < 1. The results indicate that the dual spacetime corresponding to the Gödel metrics allowing CTC's has true singularities, because the metric (3.12) allows CTC's for the range 0 < β < 1 as mentioned in Sect. 3. In order to investigate the conformal invariance conditions of the dual model up to the first order in α , we look at the two-loop beta-function equations. Before proceeding to this, one easily gets that the field strength corresponding to thẽ B-field (7.14) is Now by solving the field equations (2.2)-(2.4) for the metric (7.13) and the field strength (7.16) one concludes that there is no suitable dilaton field to satisfy these equations. In the next subsection, we study the non-Abelian T-duality of the Gödel spacetimes by constructing a pair of the mutually dual σ -models on 3 + 1-dimensional manifolds with the A 2 ⊕ A 1 and 3A 1 Lie groups. It is then shown the T-dual σ -models that are conformal at one-loop remain conformal at two-loop.
7.2 Non-Abelian T-duality from a 3 + 1-dimensional manifold with the A 2 ⊕ A 1 Lie group There is a possibility that we can also get the Gödel spacetimes from a T-dualizable σ -model constructing on a 3 + 1dimensional manifold M ≈ O × G, in which G is threedimensional decomposable Lie group A 2 ⊕ A 1 5 acting freely on M, while the orbit O is, here, a one-dimensional space with time coordinate y i = {t}. The dual model is constructed on manifoldM ≈ O ×G, whereG is threedimensional Abelian Lie group 3A 1 . The Lie algebra of the semi-Abelian double (A 2 ⊕ A 1 , 3A 1 ) is generated by the generators (T a ,T a ) with the following Lie brackets [59][60][61] [T 1 , Taking a convenient element of the Lie group A 2 ⊕ A 1 , where (x 1 , x 2 , x 3 ) stand for the coordinates of A 2 ⊕ A 1 , we immediately find that R 1 ± = ∂ ± x 1 , R 2 ± = e x 1 ∂ ± x 2 and R 3 ± = ∂ ± x 3 . In addition, we parameterize the Lie group 3A 1 with coordinates (x 1 ,x 2 ,x 3 ) so that its element is defined as in (7.18) by replacing untilded quantities with tilded ones. Hence, using (4.4) with and without tilded quantities we obtain The coupling matrices of the original σ -model are, here, obtained by considering the spectator-dependent background matrices 20) and F i j = −l 2 for some constant s. Inserting (7.19) and (7.20) into Eqs. (4.6)-(4.9), and using (4.5), then we obtain the original σ -model in the following form (X ).

(7.21)
Utilizing the coordinate transformation e x 1 = r, x 2 = ϕ, x 3 = z, the metric of the model becomes the same as the Gödel metric (3.12), and B-field is given by (7.22) such that the corresponding field strength takes the same form as (3.22). One can check that only the case of β = 1 of the model (7.21) with conditions E 2 = l 4 /4 and N = 0 is conformally invariant up to zeroth order in α . The dilaton filed that makes the model conformal is obtained by using equation (4.15) where f 2 = −1 + 2l 2 .
In order to obtain the dual σ -model for (7.21), we use the action (4.10). The dual coupling matrices can be obtained by inserting (7.19) and (7.20) into (4.11)-(4.14). Finally, the dual background is read whereˆ = (s −x 2 ) 2 + 4N 2 + (β − 1)l 4 . One immediately gets that the only nonzero components of the field strength corresponding to theB-field (7.25) arẽ Before proceeding to investigate the conformal invariance conditions of the dual background, let us enhance and clarify the structure of the dual spacetime. Similar to the original model we impose the conditions β = 1, E 2 = l 4 /4 and N = 0 on the dual solution (Eqs. (7.24) and (7.25)), then by shiftingx 2 tox 2 + s we get (7.28) Here we have used E = l 2 /2. To have a better understanding of the structure of metric (7.27), we use the coordinate transformatioñ Accordingly, the metric (7.27) turns into the case of β = 1 of the Gödel metric (3.12). 6  In the preceding subsection, we studied the non-Abelian T-duality of the Gödel spacetimes by applying the 3 In addition, we can only derive the case of β = 1 of the Gödel metrics from a 3 + 1-dimensional manifold with the SL(2, R) Lie group and then obtain the corresponding dual spacetime. In this way, the pair of the mutually dual models are constructed on semi-Abelian double (sl(2, R), 3A 1 ). The Lie algebra of double (sl(2, R), 3A 1 ) is defined by nonzero Lie brackets as [59][60][61], where (T 1 , T 2 , T 3 ) and (T 1 ,T 2 ,T 3 ) are the basis of the Lie algebras sl(2, R) and 3A 1 , respectively. We note that the double (sl(2, R), 3A 1 ) has the vanishing trace in the adjoint representations. In such a situation, at the one-loop level a conformally invariant σ -model leads, under the PL duality, to a dual theory with the same property [55]. Now we parametrize an element of SL(2, R) as where (x 1 , x 2 , x 3 ) are the coordinates of SL(2, R). Then one gets the corresponding one-forms components in the following way Since the dual Lie group is considered to be Abelian, hence, by using (4.4) and (7.31) it is followed that (g) = 0. Using the above results and also choosing the spectator-dependent matrices in the form we obtain the background of the original σ -model. It is given by where z stands for the coordinate of the orbit O of G. The metric (7.35) can be written as ds 2 = ds 2 Ad S 3 +l 2 dz 2 . In order to get more insight of this metric one may use the following transformation then, the metric becomes the same as the Ad S 3 × R space given by (3.15). As explained in Sect. 3, the metric (3.15) is locally equivalent to the case of β = 1 of the Gödel metric (3.12). In addition, one easily gets that the field strength corresponding to the B-field (7.36) is zero. We have checked that the metric constructed on the double (sl(2, R), 3A 1 ) with a vanishing field strength can't be conformally invariant up to the one-loop order. Therefore, according to Ref. [55] we don't expect to have a conformally invariant dual theory at one-loop level. One immediately verifies the field equations (2.2)-(2.4) for the metric (7.35) 7 and vanishing field strength together with the dilaton field = f z + b for which f 2 = 2l 2 −3; moreover, to satisfy the field equations we must have a coupling constant in the form of α = l 2 .
In the same way, to construct out the dual σ -model on the manifoldM ≈ O ×G with the Lie group 3A 1 we parameterize the corresponding Lie group with coordinates (x 1 ,x 2 ,x 3 ) so that its element is defined as (7.32) by replacing untilded quantities with tilded ones. Utilizing the relation (7.31) and also (4.4) for tilded quantities we get Finally, by using (4.10) the metric andB-field of the dual model take the following forms ds 2 = l 2 dz 2 + 4 l 2 dx 2 1 +dx 2 dx 3 − 4 l 2 2x 1 dx 1 + d x 2x3 2 , (7.39) Table 3 Non-Abelian T-duality of the Gödel string cosmologies without corrections )dt 2 + l 2

Non-Abelian T-duality with the
Non-Abelian T-duality with the A  , N = 0, Non-Abelian T-duality with the SL(2, Dual background As mentioned above, since the background of the original σmodel doesn't satisfy the one-loop beta-function equations, the dual background can't be conformally invariant at the one-loop order. We have represented the results of the non-Abelian T-duality of the Gödel string cosmologies in Table  3.

Conclusion
We have obtained some new solutions for the field equations of bosonic string effective action up to first order in α , including the Gödel spacetimes, axion field and dilaton. Our results have shown that these solutions can be appropriate to study (non-)Abelian T-dualization of Gödel string cosmologies via PL T-duality approach. In studying Abelian duality of the Gödel spacetimes we have found seven dual models in a way that the models are constructed by one-, two-and three-dimensional Abelian Lie groups acting freely on the target space manifold. When the dualizing was implemented by the shift of directions t, z and (t, z) we showed that the pair of the mutually dual models can be conformally invariant at one-loop level, in a way that the corresponding dual dilaton field was found by using transformation (4.17). Our results showed that the Abelian T-dual models are, under some of the special conditions, self-dual; moreover, by applying the rules of Abelian T-duality without further corrections, we were still able to obtain two-loop solutions. We also studied the Abelian T-duality of Gödel string cosmologies up to α -corrections by using the T-duality rules at two-loop order of KM. Most importantly, we have obtained the non-Abelian duals of the Gödel spacetimes. First, we have constructed the T-dual models on the four-dimensional manifold M ≈ O × G with two-dimensional non-Abelian Lie group and have shown that the metric of the dual model has true singularities for the range of 0 < β < 1. In this case, the models are valid for all values of β except for 1. Unfortunately, the dual model doesn't satisfy the two-loop beta-function equations. We have then found other non-Abelian duals for the Gödel spacetimes by applying the A 2 ⊕ A 1 and SL(2, R) Lie groups. The case of β = 1 of dual model constructed on the semi-Abelian double (A 2 ⊕ A 1 , 3A 1 ) is conformally invariant to zeroth order in α , as well as to the first order.
In this way, it has shown that the β = 1 case of the pair of the mutually dual models as the Ad S 3 × R spaces are PL self-dual. Finally, we have shown that the model constructed by the double (sl(2, R), 3A 1 ) leads to the case of β = 1 of the Gödel metrics with zero field strength. Indeed, the model didn't satisfy the one-loop beta-function equations. Because of the vanishing traces of the structure constants corresponding to the double (sl(2, R), 3A 1 ), the dual model couldn't be also conformally invariant at the one-loop order.