Poisson–Lie identities and dualities of Bianchi cosmologies

We investigate a special class of Poisson–Lie T-plurality transformations of Bianchi cosmologies invariant with respect to non-semisimple Bianchi groups. For six-dimensional semi-Abelian Manin triples b⋈a\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {b}\bowtie \mathfrak {a}$$\end{document} containing Bianchi algebras b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {b}$$\end{document} we identify general forms of Poisson–Lie identities and dualities. We show that these can be decomposed into simple factors, namely automorphisms of Manin triples, B-shifts, β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document}-shifts, and “full” or “factorized” dualities. Further, we study effects of these transformations and utilize the decompositions to obtain new backgrounds which, supported by corresponding dilatons, satisfy Generalized Supergravity Equations.


Introduction
Duality transformations play crucial role in the study of various aspects of string theory and related fields. They connect theories in different coupling regimes or, in the case of T-duality, backgrounds with distinct curvature properties. Both Abelian T-duality [1] and its non-Abelian generalization [2,3] rely on the presence of symmetries of sigma model backgrounds. Dual sigma model related to the original one by T-duality is obtained by gauging of the symmetry and introduction of Lagrange multipliers. However, the symmetries are not preserved in the non-Abelian case, meaning we may not be able to return to the original model by dualization. Despite this serious issue we see renewed interest in (non-) Abelian T-duality (NATD). The procedure was extended to RR fields in [4,5] and is used frequently to find new supergravity solutions, see e.g. [6,7] and references therein. It also applies in the study of integrable models [8][9][10]. In this paper we are going to present new solutions of the Generalized Supergravity Equations obtained by action of Poisson-Lie identities and Poisson-Lie dualities introduced in [11] on the Bianchi cosmologies [12]. This extends list of results obtained in [13].
Poisson-Lie T-duality [14] introduces Drinfel'd double as the underlying algebraic structure of T-duality and replaces symmetry of the sigma model background by the so-called Poisson-Lie symmetry [15]. This allows us to treat both models equally and solves the above mentioned problem. We shall use this formalism through the whole paper. In the case of (non-) Abelian T-duality the Lie group D of Drinfel'd double splits into Lie subgroups G and G of equal dimension, where the former represents symmetries of the original background while the latter is Abelian. In this paper we consider only these semi-Abelian Drinfel'd doubles as we focus on dualization of particular backgrounds and the presence of symmetries remains crucial in such case. 1 Poisson-Lie duality exchanges roles of G and G , and we understand it as a change of decomposition (G | G ) of D to ( G |G ) and vice versa. Beside (G | G ) and ( G |G ) there might be other decompositions ( G |Ḡ ), (Ḡ | G ) of a Drinfel'd double D that can be used to construct mutually related sigma models. The corresponding transformation between sigma models was denoted Poisson-Lie T-plurality [17]. Decompositions of low-dimensional Drinfel'd doubles were classified in papers [18][19][20] in terms of Manin triples (d, g,g) that represent decompositions of Lie algebra d of the Drinfel'd double D into subalgebras g andg corresponding to subgroups G and G .
In our recent paper [11] we noted that besides (non-) Abelian T-duality there exist other transformations that either preserve or exchange the algebras g andg of the Manin triple (d, g,g). We shall call them Poisson-Lie identities and Poisson-Lie dualities. Similar transformations were studied in [21] to get insight into the structure of the so-called NATD group of T-duality transformations. Beside others, this group contains automorphisms of the algebras forming Manin triples, B-shifts, β-shifts, 2 "factorized" dualities and their compositions. These, however, have to be understood as special cases of Poisson-Lie T-plurality. We continue the investigation of the NATD group probing its structure for low-dimensional Drinfel'd doubles, where general forms of Poisson-Lie identities and dualities can be identified. We show that all transformations are finite compositions of the special elements of NATD group that were mentioned earlier. It turns out that the effect of automorphisms and B-shifts on resulting backgrounds can be often eliminated by a change of coordinates, hence, we identify what parameters of the transformations are relevant.
Long-lasting problem appearing in discussion of non-Abelian T-duality is that dualization with respect to nonsemisimple group G leads to mixed gauge and gravitational anomaly, see [24], proportional to the trace of structure constants of g. Authors of paper [13] have found non-Abelian T-duals of Bianchi cosmologies [12] and have shown that instead of standard beta function equations the dual backgrounds satisfy the so-called Generalised Supergravity Equations containing Killing vector J whose components are given by the trace of structure constants. For Bianchi V cosmology this was observed already in [25]. Therefore, it is natural to ask if backgrounds and dilatons obtained from Bianchi cosmologies by Poisson-Lie identities and dualities satisfy Generalised Supergravity Equations as well and what Killing vectors have to be used. We show that components of J are determined by trace of structure constants, however, one must carefully inspect what groups (or subgroups of) G truly participate in the duality transformation. For Yang-Baxter deformations of Ad S 5 × S 5 the problem of finding J was addressed in [26,27] and physical meaning of J was found in [28]. Discussion on the Poisson-Lie duality and plurality of the Generalized Supergravity Equations can be found e.g. in [29] and [30].
We start with a short description of Poisson-Lie Tplurality in Sect. 2, where necessary formulas are summarized and general forms of transformed backgrounds are presented. In Sects. 3-7 we investigate various transformations of Bianchi cosmologies focusing on groups that are not semisimple. Since calculations with general transformations often result in rather complicated backgrounds that cannot be displayed, detailed description is given only for special elements of the NATD group. Summary of transformed backgrounds can be found in the Appendix.

Basics of Poisson-Lie T-plurality
In the first two subsections we recapitulate Poisson-Lie Tplurality with spectators [14,17,31]. We follow the summary given in [11].

Sigma models
Let M be (n + d)-dimensional (pseudo-)Riemannian target manifold and consider sigma model on M given by Lagrangian where tensor field F = G + B on M defines metric and torsion potential (Kalb-Ramond field) of the target manifold. Assume that there is a d-dimensional Lie group G with free action on M that leaves the tensor invariant. The action of G is transitive on its orbits, hence we may locally consider M ≈ (M /G ) × G = N × G , and introduce adapted coordinates where s α label the orbits of G and are treated as spectators, and x a are group coordinates. 3 Dualizable sigma model on N ×G is given by tensor field F defined by (n +d)×(n +d) matrix E(s) as Using non-Abelian T-duality one can find dual sigma The necessary formulas will be given in the following subsection as a special case of Poisson-Lie T-plurality. In this paper the groups G will be non-semisimple Bianchi groups. Bianchi cosmologies are defined on four-dimensional manifolds, hence d = 3, n = 1, and we denote the spectator as t := s 1 . Elements of the group G shall be parametrized as g = e x 1 T 1 e x 2 T 2 e x 3 T 3 where e x 2 T 2 e x 3 T 3 and e x 3 T 3 are normal subgroups of G . Similarly, elements of A are parametrized asg = ex 1 T 1 ex 2 T 2 ex 3 T 3 .

Poisson-Lie T-plurality with spectators
For certain Drinfel'd doubles several decompositions may exist. Suppose that D = (G | G ) splits into another pair of subgroups G andḠ . Then we can apply the full framework of Poisson-Lie T-plurality [14,17] and find sigma model on N × G .
The 2d-dimensional Lie algebra d of the Drinfel'd double D is equipped with an ad-invariant non-degenerate symmetric bilinear form ., . . Let d = g g and d =ĝ ḡ be two decompositions (Manin triples (d, g,g) and (d,ĝ,ḡ)) of d into double cross sum of subalgebras [34] that are maximally isotropic with respect to ., . . The pairs of mutually dual bases T a ∈ g, T a ∈g and T a ∈ĝ,T a ∈ĝ, a = 1, . . . , d, satisfying then must be related by transformation 3 Detailed discussion of the process of finding adapted coordinates can be found e.g. in [31][32][33].
where C is an invertible 2d ×2d matrix. Due to ad-invariance of the bilinear form ., . the algebraic structure of d is given both by (4) and Given the structure constants F k i j of d = g g and F k i j of d =ĝ ḡ, the matrix C has to satisfy equation To preserve the bilinear form ., . and thus (2), C also has to satisfy where (D 0 ) ab are components of matrix D 0 that can be written in block form as In other words, C is an element of O(d, d) but, unlike the case of Abelian T-duality, not every element of O(d, d) is allowed in (3). For the following formulas it will be convenient to introduce d × d matrices P, Q, R, S as and extend these to (n + d) × (n + d) matrices to accommodate the spectator fields. It is also advantageous to introduce block form of E(s) as The sigma model on N × G related to (1) via Poisson-Lie T-plurality is given by tensor and matrices b(x) and a(x) are submatrices of the adjoint representation The matrix E(s) is obtained by formula so it is necessary 4 that Formulas (10)-(12) reduce to those for full Poisson-Lie duality if we choose P = S = 0 d and Q = R = 1 d . Furthermore, for a semi-Abelian Drinfel'd double the well-known Buscher rules for (non-) Abelian T-duality are restored. If there are no spectators the plurality is called atomic.

Poisson-Lie identities and Poisson-Lie dualities
Let us now restrict our considerations to mappings (3) that preserve the Manin triple, i.e.ĝ = g,ḡ =g, and that satisfy (6) and (7). They are the Poisson-Lie identities. The Maurer-Cartan form (dg)g −1 remains unchanged but E(s) transforms as in (12). Moreover, for non-Abelian T-duality the algebrag is Abelian, i.e.g = a, thus b and vanish, and we may write 5 Let us note that both backgrounds F(s, x) and F(s, x) are invariant with respect to the group G . For special transformations mentioned in the introduction we can further specify the resulting backgrounds. Namely, matrices 4 Invertibility of E(s) is not required in the first expression in (11) and only det (P + E(s) · R) = 0 is required. However, for regular E(s) the formulas simplify. 5 Since G = G we omit the hat over group coordinates and write simply x.
are always among the transformations (3) preserving the Manin triple d = g a if A is an automorphism 6 of g. Transformed E(s) then reads

Transformations (3) of the form
are called B-shifts, since the background F(s, x) obtained by this transformation is given by Tensor F differs from the original one by an antisymmetric term B = −E(x) ·B · E(x) T that, however, for solvable Bianchi algebras does not produce supplementary torsion. Therefore, for all investigated Bianchi cosmologies F is gauge equivalent to the initial tensor F. β-shifts are generated by transformation matrices For invertible E(s), we may write E(s) = (E(s) −1 −β) −1 . Beside these transformations we may also encounter mappings I F that switch some of the basis vectors T i ↔ T i while preserving structure coefficients of the Manin triple. These "factorized" dualities can be interpreted as dualization with respect to subgroups of G . In general, these cannot be written concisely in block form and we do not discuss them here. We shall see many examples in the following sections.
Let us further investigate Poisson-Lie dualities, i.e. mappings (3) that change Manin triple d = g a to d = a g.

Equation (3) implies that
Therefore, Poisson-Lie dualities are composed of Poisson-Lie identities I and "full" T-duality D 0 that exchanges all generators of g and a as T i ↔ T i for i = 1, . . . , d. In this way we can define dual B-shifts, dual β-shifts and dual automorphisms.
Backgrounds on G = A obtained from (1) by Poisson-Lie dualities have the form It is possible to be more specific when we restrict to specific elements of the NATD group. In the presence of spectators, however, the formulas for Poisson-Lie dualities are quite complicated. Fortunately, we do not need their full form since E aβ (s) and E αb (s) in E(s) vanish for the backgrounds discussed in the rest of the paper. Hence F αβ (s) = F αβ (s) and plurality affects only F ab (s, x). The transformations we are interested in, therefore, concern only the F ab (s,x) block of the resulting background tensor F.
For the dual B-shift As we shall see, for some groups this enables us to get rid of some parameters of B ab by coordinate transformations.
General formulas for dual β-shift in the presence of spectators are complicated and not particularly illuminating. For vanishing E aβ (s), E αb (s) one gets Let us focus on the role of automorphisms I A and their duals now. As conjectured in [21], it turns out that all Poisson-Lie identities and Poisson-Lie dualities are generated by automorphisms of Manin triples, B-shifts, β-shifts and factorised dualities. Moreover, in most of the examples of Bianchi cosmologies discussed later we find that the general C matrix in (3) splits as where C is either I B , I β , I F or their duals. Transformed backgrounds then can be written as where E (s,x) and P , Q , R , S are found from C . As expected, these expressions can be interpreted as application of Poisson-Lie T-plurality on a background given by matrix E (s) = A 1 E(s)A T 1 . Important is that A 2 can be eliminated from (15) by suitable transformation of group coordinates. Using the transformation properties of the covariant tensor F we may try to integrate the Jacobi matrix (16) to find coordinatesx such that (15) simplifies to These transformations can be always found for Poisson-Lie dualities on semi-Abelian Drinfel'd double whereg = a and e(x) = 1. In this case J = A, the transformation is linear and can be even combined with the coordinate shifts mentioned earlier for dual B-shifts.

Generalized supergravity equations and transformation of dilaton
One of the goals of this paper is to verify whether backgrounds obtained from Poisson-Lie identities and dualities satisfy Generalized Supergravity Equations of Motion. We adopt convention used in [13] so the equations read 7 where ∇ is covariant derivative and For vanishing vector J the usual one-loop beta function equations, i.e. conformal invariance conditions, are recovered. Under (non-) Abelian T-duality dilaton transforms as where matrix M is given by "group block" E ab of E(s) and submatrices of adjoint representation as The formula (20) can be utilized not only for "full" duality given by D 0 , but also for factorized dualities. However, for successful application of this rule it is necessary to identify the dualized directions, meaning we have to consider only subgroups of G and corresponding submatrices E ab , a, b.
For general Poisson-Lie T-plurality the dilaton transformation rule was given in [17] and further studied in [37]. In the current notation we can write it as From the two possible decompositions of elements of Drinfel'd double we can in principle express coordinates x in terms ofx and x. The expression is thus nonlocal in the sense that may depend also on coordinatesx ofḠ . For Poisson-Lie identities we do not encounter this problem so it is plausible to use (21) to calculate dilatons corresponding to B-shifts and β-shifts. For semi-Abelian Drinfel'd double we find that dilaton does not change under B-shifts I B , while under I β it transforms as For duals D B = D 0 · I B and D β = D 0 · I β we get the correct dilaton by formula (20) applied on the dilaton and background obtained earlier from identities I B and I β .

Bianchi V cosmology
As a warm up we shall study the well-known Bianchi V cosmology. Let us consider six-dimensional semi-Abelian The group B V is not semisimple and trace of its structure constants does not vanish. 8 By B V , resp. b V , we denote the Bianchi V group, resp. its Lie algebra. A and a denote three dimensional Abelian group and its Lie algebra respectively. Similar notation will be used in the following sections.
The sigma model background 9 is given by metric (B = 0 and F = G) Left-invariant vector fields that satisfy (23) and generate symmetries of this background are In fact, the background is flat and torsionless so the standard beta function equations are satisfied if we choose zero dilaton = 0. This background was studied already in [38], where it was first noticed that duals with respect to non-semisimple groups are not conformal. The related gravitational-gauge anomaly was later investigated in [39].

Poisson-Lie identities and dualities
Mappings C that preserve the algebraic structure of Manin triple (d, b V , a) and generate Poisson-Lie identities are given by matrices One can see that for c 15 = c 16 = 0 the matrix I 1 simplifies to the block form (13) given by automorphisms of algebra b V that in general read For c 12 = c 13 = c 23 = c 32 = 0 and c 22 = c 33 = 1 matrix I 1 reduces to B-shift (14) of the form On the other hand, for c 12 = c 13 = c 26 = c 35 = 0, c 25 = c 36 = 1 matrix I 2 equals to Matrix I F switches basis vectors T 2 , T 3 and T 2 , T 3 . We identify its action as factorized duality with respect to Abelian subgroup generated by T 2 , T 3 . The change of sign of T 1 is necessary for being an automorphism of b V a. To study models generated by I 1 and I 2 we decompose these matrices into product of special elements of NATD group. Namely, we note that I 1 can be written as where I A is given by (25) and I B is the B-shift (26). Similarly, I 2 can be decomposed as for automorphisms A 1 and A 2 of the form (25). This decomposition is not unique. To identify relevant parameters of I 2 we choose the simplest possible I A 1 while including the rest of the parameters in I A 2 as follows: Matrices generating Poisson-Lie dualities can be obtained from those above by left-multiplication by matrix (8) representing canonical or "full" duality. This way we get dual automorphisms generated by dual B-shifts generated by and factorized duality that can be interpreted as Buscher duality with respect to T 1 accompanied by a change of sign in the dual coordinate.

B-shifts
Let us now apply Poisson-Lie identities on the sigma model (24). Plugging I 1 into formulas (9)-(12) we get rather complicated background tensor. Nevertheless, I 1 decomposes as I 1 = I A · I B and we can get rid of the parameters that come from I A by a change of coordinates found by integrating the Jacobi matrix (16). Indeed, after coordinate transformation we find that the symmetric part of F equals to the original metric (24). The antisymmetric part generated by the B-shift represents a torsionless B-field. Up to coordinate transformations we would get the same background using I B instead of the full I 1 so, from the point of view of Poisson-Lie identity, we consider these matrices equivalent. In other words, Poisson-Lie identity with respect to I B and I 1 is just a gauge transformation of the original background, there is no change in the dilaton field, and = satisfies beta function equations. Background calculated using D 1 = D 0 · I 1 is too extensive to be displayed. Nevertheless, a change of coordinates (16) simplifies it to the form that one would obtain using D B . Subsequent coordinate shift that agrees with the discussion in Sect. 2.3 eliminates the parameters of D 1 completely, producing tensor The same background can be obtained via full duality using D 0 , and, as discussed in [38,39], it is not conformal. The standard beta function equations cannot be satisfied by any dilaton . On the other hand, dilaton  (20), and we conclude that up to a coordinate transformation the background (30) found using D B or D 1 is equivalent to non-Abelian T-dual investigated in [13].

Factorized dualities
Using I 2 = I A 2 · I F · I A 1 in formulas (9)-(12) we get background that can be brought to the form whose Jacobi matrix (16) is determined by A 2 in (28). The background differs from F calculated using I F since I A 1 changes E(s) before the factorized duality is applied. However, the only difference is in the antisymmetric part B. For I 2 there is a torsionless B-field, while for I F the B-field vanishes completely. The metric has vanishing scalar curvature but is not flat. Further coordinate transformation 10 Compared to [13], in the present nomenclature the matrices F representing background tensors are transposed. This results in change of sign of J .
brings it to the Brinkmann form of plane parallel wave [40] with Corresponding dilaton follows from the formula (20) if the factorized duality (27) is interpreted as Buscher duality 11 with respect to two-dimensional Abelian subgroup generated by left-invariant fields (24) is written in coordinates adapted to the action of this subgroup and for the duality given by I F we can write Dual dilaton for background given by I 2 is derived from the altered E (s) = A 1 E(s)A T 1 and differs from the previous expression by a constant. We again conclude that backgrounds found using I F and I 2 differ only by a coordinate and gauge transformation and can be considered equivalent. They satisfy beta function equations, or Generalized Supergravity Equations (17)-(19) where J is zero vector.
Background obtained by Poisson-Lie transformation using matrix D F has the form The same background is obtained using D 2 = D 0 · I 2 = D 0 · I A 2 · I F · I A 1 after change of coordinates Thus, we are able to eliminate all parameters appearing in D 2 . The background is torsionless and together with dilaton satisfies beta function equations, i.e. the Killing vector in the Generalized Supergravity Equations is zero. Explanation is that we can interpret the factorized duality (29) as Buscher duality of (24), this time with one-dimensional Abelian subgroup generated by left-invariant field where V 1 = ∂ y 1 , the tensor (24) is manifestly invariant with respect to shifts in y 1 since Buscher duality with respect to y 1 then restores the tensor (31) and dilaton (32) agrees with formula (20).
To sum up, in this section we have shown that backgrounds emerging from general Poisson-Lie identities or dualities differ from those obtained from special elements of NATD group only by a coordinate or gauge transformation. From now on we shall display results for these special elements and only comment on the general cases.

Bianchi I I I cosmology
Several results for Bianchi I I I cosmology are similar to those for Bianchi V . The algebra d while a is Abelian. The trace of structure constants does not vanish and group B I I I is not semisimple. The background given by metric is flat, torsionless, and invariant with respect to symmetries generated by left-invariant vector fields satisfying (33). As the background is flat and torsionless the dilaton can be chosen zero. Authors of [41] mention this background in their analysis and note that its non-Abelian dual does not satisfy the standard beta function equations. Table 1 summarizes all eight types of solutions of equations (6) and (7)

Poisson-Lie identities and dualities
B-shifts of the form (26), and factorized dualities 12 and Matrices generating Poisson-Lie dualities can be again obtained from those above by left-multiplication by the matrix (8) representing full duality.

B-shifts
Using I B (26) in the formulas (9)-(12) we find that the background F has the same metric as the original model (34). In addition to that, a torsionless B-field appears. This agrees with the interpretation of action of I B as gauge transformation. There is no change in the dilaton and = . With the full solutions I 4 and I 8 we get the same background as for I B . Indeed, both these matrices decompose as with I A given by (35). A linear change of coordinates (16) thus restores the metric (34) and torsionless B-field (38). 13 Dual background calculated using matrix D B = D 0 · I B produces tensor 12 I A and I B appear as special cases of I 4 and I 8 , factorized dualities I F1 , I F2 and their composition appear in I 1 , I 2 , I 3 , I 5 , I 6 , I 7 and their duals. 13 The parameter c 15 has to be replaced by − c14+c13c16 c12 for I 4 .
whose curvature and torsion do not vanish. We can get rid of the parameter c 16 by shift inx 3 , but c 15 remains. As earlier, backgrounds calculated using D 4 = D 0 · I 4 = D 0 · I A · I B or D 8 = D 0 · I 8 = D 0 · I A · I B differ from F only by a transformation of coordinates. For nonzero c 15 the tensor F is not the same as non-Abelian dual of (34) that can be found using D 0 . Nevertheless, if we understand the duality with respect to D B = D 0 · I B as full duality applied to background changed by I B , the correct dilaton can be found from (20) as Such satisfies the Generalized Supergravity Equations for Killing vector J = (0, −1, 0, 0) whose components are given by trace of structure constants of b I I I as suggested in [13].

Factorized dualities
Poisson-Lie identities (36) and (37) can be interpreted as Buscher dualities with respect to one-dimensional Abelian subgroups generated by left-invariant fields V 3 = ∂ x 3 resp.
Dualization with respect to V 2 does not change F at all due to the form of the metric (34). The background is invariant with respect to I F 2 . Its dual given by D F 2 = D 0 · I F 2 needs to be understood as dual with respect to non-Abelian group generated by V 1 , V 3 that is not semisimple. The background and dilaton are the same as for the full duality D 0 . We can read them from (39), (40) setting c 15 = c 16 = 0. The same results, up to a coordinate or gauge transformation, are obtained for the full solutions I 3 , I 7 , see Table 1, and their duals D 3 , D 7 since Dualization with respect to V 3 , i.e. Poisson-Lie identity I F 1 , produces metric whose scalar curvature vanishes. In coordinates it acquires the Brinkmann form of a plane parallel wave with As expected, dilaton calculated via formula (20) satisfies beta function equations, or Generalized Supergravity Equations with J = 0, since we have dualized with respect to Abelian subgroup of B I I I . Poisson-Lie identities I 1 , I 2 , I 5 and I 6 decompose as Resulting backgrounds differ from (41) only by a change of coordinates and torsionless B-field of the form (38) and can be found in Table 3 in the Appendix. Dual background produced by D F 1 = D 0 · I F 1 reads Together with the dilaton found from (20) this background satisfies beta function equations. Factorized duality given by D F 1 can be once again interpreted as Buscher duality with respect to symmetry generated by V 1 , V 2 . The same result is obtained for D 5 = D 0 ·I 5 . For D 1 , D 2 , D 6 the tensor F and dilaton contain a parameter that cannot be eliminated by coordinate or gauge transformation. Interested reader may find its full form in Table 3 in the Appendix.

Bianchi V I κ cosmology
Semi-Abelian Drinfel'd double D = (B V I κ |A ) has Lie algebra d = b V I κ a spanned by basis (T 1 , T 2 , T 3 , T 1 , T 2 , T 3 ) and the nontrivial comutation relations of b V I κ are 14 Trace of structure constants does not vanish and group B V I κ is not semisimple. In the parametrization used in [13] Bianchi V I κ cosmology is given by metric where the functions a i (t) are The background is invariant with respect to symmetry generated by left-invariant vector fields satisfying (42). For dilaton (t) = c 1 t the beta function equations reduce to condition The background is torsionless and for c 1 = 0 also Ricci flat.

Poisson-Lie identities and dualities
Poisson-Lie identities of Drinfel'd double (B V I κ |A ) are given by matrices 14 Note that for κ = 0, or κ = 1, these are comutation relations of b I I I , or b V , respectively. The case κ = −1 will be treated separately in Sect. 6.
The algebra b V I κ admits automorphisms (35) and matrices I A of the form (13) are among the special cases of I 1 . Clearly, I 1 is a product I 1 = I A · I B of automorphisms and B-shifts (26). Matrix I 2 can be written as I 2 = I A 2 · I F · I A 1 where I F is the factorized duality (27) and I A 1 , I A 2 are given by automorphisms (28). Poisson-Lie dualities are obtained by multiplication by D 0 .

B-shifts
Using I 1 directly in formulas (9)-(12) we get rather complicated background tensor. However, since I 1 splits as I 1 = I A · I B , the dependence of F on the parameters appearing in I A can be eliminated by transformation (16). The background obtained using I 1 is equivalent to that obtained by B-shift (26) and reads Beside the original metric (43) we have obtained a torsionless B-field. Together with the original dilaton (t 1 ) = c 1 t the background satisfies beta function equations. Dual background F calculated using D 1 = D 0 · I 1 = D 0 · I A · I B is again too complicated to display. Nevertheless, linear transformation of coordinates (16) followed by shift inỹ 2 ,ỹ 3 simplifies the background to These results are the same as results obtained by full duality found from formula (20) satisfies the generalized supergravity equations (17)- (19) where components of Killing vector J = (0, κ + 1, 0, 0) correspond to trace of structure constants of b V I κ . Dualization with respect to D 1 can be treated as canonical duality in spite of the fact that it contains also B-shifts and automorphisms.

Factorized dualities
Poisson-Lie identity I F in (27) can be interpreted as Buscher duality with respect to two-dimensional Abelian subgroup generated by left-invariant fields Resulting curved background and dilaton calculated by formula (20) satisfy beta function equations with vanishing Killing vector J since we have dualized with respect to Abelian group. Poisson-Lie identity I 2 = I A 2 · I F · I A 1 gives a background whose metric can be brought to the form (45) by coordinate transformation (16). There is also a torsionless B-field depending on constants coming from I A 1 that transforms E(s) to E (s) = A 1 E(s)A T 1 . Dilaton found by (20) from E (s) differs from (46) only by a constant shift and we may conclude that results of duality with respect to I 2 deviate from those obtained by I F only by coordinate and gauge transformation.
After a suitable coordinate transformation we find that both matrices D F = D 0 · I F and D 2 = D 0 · I A 2 · I F · I A 1 produce background 3 . This background is the same as the one that would be obtained by performing Buscher duality with respect to symmetry generated by V 1 . Dilaton (t,ỹ 2 ,ỹ 3 ) = c 1 t − 1 2 ln satisfies ordinary beta function equations. Let us note that results of this section hold also for κ = 0, 1, i.e. for Bianchi I I I and Bianchi V . Dualities with respect to these groups were treated in Sects. 3 and 4 with different initial backgrounds.

Bianchi V I −1 cosmology
For Bianchi V I −1 cosmology we shall consider Manin triple (d, b V I −1 , a) whose algebraic structure is given by comutation relations (42) with κ = −1. Structure coefficients of Lie algebra b V I −1 are traceless and the group B V I −1 is not semisimple. Metric has the form (43) with functions β-shifts for some I A , I A , I B , I β and I F . The parameters rising from I A and I A can be again eliminated by coordinate transformation (16). It is thus sufficient to discuss backgrounds obtained from I B , I β , I F and their products. Multiplying these matrices by D 0 we get Poisson-Lie dualities.

B-shifts
Transformed background given by B-shift differs from original F by a torsionless Bfield and together with the dilaton = c 1 t satisfies beta function equations.
Coordinate shifts eliminate b 12 , b 13 in the dual obtained from D 0 · I B so it reads The constant b 23 remains. For dilaton (t,ỹ 2 ,ỹ 3 ) = c 1 t − 1 2 ln beta function equations are satisfied. Vanishing of vector J corresponds to the fact that structure constants of b V I −1 are traceless.

β-shifts
Background given by β-shift is and together with the dilaton calculated by formula (22) (t) = c 1 t − 1 2 ln β 2 23 a 2 (t) 4 + 1 satisfy beta function equations. Although matrices I B and I β do not commute, backgrounds obtained from I B · I β and I β · I B are the same and differ from F in (50) only by a torsionless B-field. The dual obtained from D 0 · I β is they satisfy beta function equations. Tensors F arising from D 0 · I B · I β and D 0 · I β · I B are too extensive to be displayed here. Nevertheless, it is straightforward to calculate them and verify that together with corresponding dilatons they satisfy beta function equations.

Factorized dualities
Poisson-Lie identity (27), interpreted as Buscher duality with respect to symmetry generated by V 2 and V 3 , produces metric (45) with κ = −1 and functions a 2 (t) = a 3 (t) given by (47). Dilaton calculated by the formula (20) satisfies beta function equations. Background obtained from I B · I F differs from this F only by a torsionless B-field that is the same as in (49). Let us note that for c 1 = −p 2 the metric is Ricci flat. Dual background produced by D 0 · I F reads This background and dilaton Trace of structure constants is zero and group B I I is not semisimple.
Cosmology invariant with respect to symmetry generated by left-invariant vector fields satisfying (51) is given by the metric where the functions a i (t) are , as in [13]. For dilaton (t) = c 1 t the beta function equations reduce to The background is torsionless and for c 1 = 0 also Ricci flat.

Poisson-Lie identities and dualities
Unfortunately, we are not able to display general forms of matrices generating Poisson-Lie identities of Manin triple (d, b I I , a) because the expressions are too extensive. However, we were able to decompose them into products of automorphisms, B-shifts and β-shifts. To be more specific, all the solutions can be written in one of the two forms where automorphisms have the form (13) There are no factorized dualities satisfying (6) and (7). Poisson-Lie dualities can be obtained from identities by leftmultiplication by the matrix (8) representing full duality.

Transformed backgrounds
We already know that if Poisson-Lie identity decomposes as in (54) Up to gauge transformation of the antisymmetric part it is equivalent to (52). Together with dilaton (t) = c 1 t the background satisfies beta function equations.
Dependence on b 23 can be eliminated in background obtained from D B = D 0 · I B and we have With dilaton (t,ỹ 1 ) = c 1 t − 1 2 ln given by (20) the beta function equations are satisfied. Results for the dual B-shift differ from the canonical dual obtained by D 0 not only by a shift in y 1 but also by other terms depending on b 12 , b 13 .

β-shifts
Let us now investigate the transformation of metric (52) given by β-shift (55). This Poisson-Lie identity generates The dilaton is (t,x 1 ) = c 1 t − 1 2 ln a 1 (t) 2 a 2 (t) 2 a 3 (t) 2 +x 2 1 and it is interesting that it does not depend on β 12 and β 13 . Together they satisfy beta function equations. Dual backgrounds and dilatons found from D 0 · I B · I β and D 0 · I β · I B are too complicated to display and not particularly illuminating so we omit them here. Nevertheless, one can check that they satisfy beta function equations.

Conclusions
We have identified general forms of Poisson-Lie identities and Poisson-Lie dualities for six-dimensional semi-Abelian Manin triples d = b a where b's are Bianchi algebras that generate isometries of Bianchi cosmologies. Subsequently we have managed decomposing both the Poisson-Lie identities and Poisson-Lie dualities into simple factors, namely automorphisms of Manin triples, B-shifts, β-shifts and "full" or "factorized" dualities. This supports the conjecture posed in [21] that NATD group is generated by these elements. Finally, we have used these decompositions to transform Bianchi cosmologies supplemented by dilaton fields [12]. For these transformations we used Poisson-Lie T-plurality and dilaton formula described in Sect. 2.
In this way we have obtained many new backgrounds and corresponding dilatons that solve the Generalized Supergravity Equations, and confirmed that the Killing vector J in Generalized Supergravity Equations is given by trace of structure constants [13]. One must, however, carefully evaluate what groups, more precisely what subgroups of Drinfel'd double, truly participate in the transformation since it influences resulting Killing vector. For factorized dualities these subgroups often become Abelian and the Generalized Supergravity Equations reduce to standard beta function equations. New backgrounds, dilatons and corresponding Killing vectors are summarized in the Tables in the Appendix. The backgrounds obtained by Poisson-Lie identities are again invariant with respect to Bianchi groups.

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: Paper is selfcontained, all results can be reproduced using information contained in the text.] Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm ons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. Funded by SCOAP 3 .   (44)