Abstract
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 \(\mathfrak {b}\bowtie \mathfrak {a}\) containing Bianchi algebras \(\mathfrak {b}\) 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, \(\beta \)-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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 \(\mathscr {D}\) of Drinfel’d double splits into Lie subgroups \(\mathscr {G}\) and \(\widetilde{\mathscr {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.Footnote 1 Poisson–Lie duality exchanges roles of \(\mathscr {G}\) and \(\widetilde{\mathscr {G}}\), and we understand it as a change of decomposition \((\mathscr {G}|\widetilde{\mathscr {G}})\) of \(\mathscr {D}\) to \((\widetilde{\mathscr {G}}|\mathscr {G})\) and vice versa. Beside \((\mathscr {G}|\widetilde{\mathscr {G}})\) and \((\widetilde{\mathscr {G}}|\mathscr {G})\) there might be other decompositions \((\widehat{\mathscr {G}}|\bar{\mathscr {G}}),(\bar{\mathscr {G}}|\widehat{\mathscr {G}})\) of a Drinfel’d double \(\mathscr {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 \((\mathfrak {d},\mathfrak {g},\tilde{\mathfrak {g}})\) that represent decompositions of Lie algebra \(\mathfrak {d}\) of the Drinfel’d double \(\mathscr {D}\) into subalgebras \(\mathfrak {g}\) and \(\tilde{\mathfrak {g}}\) corresponding to subgroups \(\mathscr {G}\) and \(\widetilde{\mathscr {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 \(\mathfrak {g}\) and \(\tilde{\mathfrak {g}}\) of the Manin triple \((\mathfrak {d},\mathfrak {g},\tilde{\mathfrak {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, \(\beta \)-shifts,Footnote 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 non-semisimple group \(\mathscr {G}\) leads to mixed gauge and gravitational anomaly, see [24], proportional to the trace of structure constants of \(\mathfrak {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 \({\mathcal {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 \({\mathcal {J}}\) are determined by trace of structure constants, however, one must carefully inspect what groups (or subgroups of) \(\mathscr {G}\) truly participate in the duality transformation. For Yang–Baxter deformations of \(AdS_5\times S^5\) the problem of finding \({\mathcal {J}}\) was addressed in [26, 27] and physical meaning of \({\mathcal {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 T-plurality 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.
2 Basics of Poisson–Lie T-plurality
In the first two subsections we recapitulate Poisson–Lie T-plurality with spectators [14, 17, 31]. We follow the summary given in [11].
2.1 Sigma models
Let \(\mathscr {M}\) be \((n+d)\)-dimensional (pseudo-)Riemannian target manifold and consider sigma model on \(\mathscr {M}\) given by Lagrangian
where tensor field \({\mathcal {F}}=\mathcal {G} + \mathcal {B}\) on \(\mathscr {M}\) defines metric and torsion potential (Kalb–Ramond field) of the target manifold. Assume that there is a d-dimensional Lie group \(\mathscr {G}\) with free action on \(\mathscr {M}\) that leaves the tensor invariant. The action of \(\mathscr {G}\) is transitive on its orbits, hence we may locally consider \(\mathscr {M}\approx (\mathscr {M}/\mathscr {G}) \times \mathscr {G}= \mathscr {N}\times \mathscr {G}\), and introduce adapted coordinates
where \(s_\alpha \) label the orbits of \(\mathscr {G}\) and are treated as spectators, and \(x_a\) are group coordinates.Footnote 3 Dualizable sigma model on \(\mathscr {N}\times \mathscr {G}\) is given by tensor field \(\mathcal {F}\) defined by \((n+d)\times (n+d)\) matrix E(s) as
where e(x) is \(d\times d\) matrix of components of right-invariant Maurer–Cartan form \((dg)g^{-1}\) on \(\mathscr {G}\).
Using non-Abelian T-duality one can find dual sigma model on \(\mathscr {N}\times \mathscr {A}\), where \(\mathscr {A}\) is Abelian subgroup of semi-Abelian Drinfel’d double \(\mathscr {D}=(\mathscr {G}|\mathscr {A})\). The necessary formulas will be given in the following subsection as a special case of Poisson–Lie T-plurality. In this paper the groups \(\mathscr {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 \(\mathscr {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 \(\mathscr {G}\). Similarly, elements of \(\mathscr {A}\) are parametrized as \(\tilde{g}=e^{\tilde{x}_1 \widetilde{T}^1}e^{\tilde{x}_2 \widetilde{T}^2}e^{\tilde{x}_3 \widetilde{T}^3}\).
2.2 Poisson–Lie T-plurality with spectators
For certain Drinfel’d doubles several decompositions may exist. Suppose that \(\mathscr {D}=(\mathscr {G}|\widetilde{\mathscr {G}})\) splits into another pair of subgroups \(\widehat{\mathscr {G}}\) and \(\bar{\mathscr {G}}\). Then we can apply the full framework of Poisson–Lie T-plurality [14, 17] and find sigma model on \(\mathscr {N}\times \widehat{\mathscr {G}}\).
The 2d-dimensional Lie algebra \(\mathfrak {d}\) of the Drinfel’d double \(\mathscr {D}\) is equipped with an ad-invariant non-degenerate symmetric bilinear form \(\langle . , . \rangle \). Let \(\mathfrak {d}=\mathfrak {g}\bowtie \tilde{\mathfrak {g}}\) and \(\mathfrak {d}=\hat{\mathfrak {g}}\bowtie \bar{\mathfrak {g}}\) be two decompositions (Manin triples \((\mathfrak {d}, \mathfrak {g}, \tilde{\mathfrak {g}})\) and \((\mathfrak {d},\hat{\mathfrak {g}}, \bar{\mathfrak {g}})\)) of \(\mathfrak {d}\) into double cross sum of subalgebras [34] that are maximally isotropic with respect to \(\langle . , . \rangle \). The pairs of mutually dual bases \(T_a \in \mathfrak {g},\ \widetilde{T}^a \in \tilde{\mathfrak {g}}\) and \(\widehat{T}_a \in \hat{\mathfrak {g}},\ \bar{T}^a \in \hat{\mathfrak {g}}\), \(a=1, \ldots , d,\) satisfying
then must be related by transformation
where C is an invertible \(2d\times 2d\) matrix. Due to ad-invariance of the bilinear form \(\langle . , . \rangle \) the algebraic structure of \(\mathfrak {d}\) is given both by
and
Given the structure constants \(F_{ij}^k\) of \(\mathfrak {d}=\mathfrak {g}\bowtie \tilde{\mathfrak {g}}\) and \(\widehat{F}_{ij}^k\) of \(\mathfrak {d}=\hat{\mathfrak {g}}\bowtie \bar{\mathfrak {g}}\), the matrix C has to satisfy equation
To preserve the bilinear form \(\langle . , . \rangle \) 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 \times d\) matrices P, Q, R, S as
and extend these to \((n+d)\times (n+d)\) matrices
to accommodate the spectator fields. It is also advantageous to introduce block form of E(s) as
The sigma model on \(\mathscr {N}\times \widehat{\mathscr {G}}\) related to (1) via Poisson–Lie T-plurality is given by tensor
where \(\widehat{e}(\hat{x})\) is \(d\times d\) matrix of components of right-invariant Maurer–Cartan form \((d\hat{g})\hat{g}^{-1}\) on \(\widehat{\mathscr {G}}\),
and matrices \(\widehat{b}(\hat{x})\) and \(\widehat{a}(\hat{x})\) are submatrices of the adjoint representation
The matrix \(\widehat{E}(s)\) is obtained by formula
so it is necessaryFootnote 4 that
Formulas (10)–(12) reduce to those for full Poisson–Lie duality if we choose \(P=S=\mathbf {0}_d\) and \(Q=R=\mathbf {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.
2.3 Poisson–Lie identities and Poisson–Lie dualities
Let us now restrict our considerations to mappings (3) that preserve the Manin triple, i.e. \(\hat{\mathfrak {g}}= \mathfrak {g},\, \bar{\mathfrak {g}}= \tilde{\mathfrak {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 algebra \(\tilde{\mathfrak {g}}\) is Abelian, i.e. \(\tilde{\mathfrak {g}}=\mathfrak {a}\), thus \(\widehat{b}\) and \(\widehat{\Pi }\) vanish, and we may writeFootnote 5
Let us note that both backgrounds \({\mathcal {F}}(s,x)\) and \(\widehat{{\mathcal {F}}}(s,x)\) are invariant with respect to the group \(\mathscr {G}\).
For special transformations mentioned in the introduction we can further specify the resulting backgrounds. Namely, matrices
are always among the transformations (3) preserving the Manin triple \(\mathfrak {d}=\mathfrak {g}\bowtie \mathfrak {a}\) if A is an automorphismFootnote 6 of \(\mathfrak {g}\). Transformed \(\widehat{E}(s)\) then reads
Transformations (3) of the form
are called B-shifts, since the background \(\widehat{{\mathcal {F}}}(s,x)\) obtained by this transformation is given by
Tensor \(\widehat{{\mathcal {F}}}\) differs from the original one by an antisymmetric term \(\mathcal {B}' = - \mathcal { E}(x)\cdot \bar{B} \cdot \mathcal { E}(x)^T\) that, however, for solvable Bianchi algebras does not produce supplementary torsion. Therefore, for all investigated Bianchi cosmologies \(\widehat{{\mathcal {F}}}\) is gauge equivalent to the initial tensor \({\mathcal {F}}\).
\(\beta \)-shifts are generated by transformation matrices
and the transformed \(\widehat{{\mathcal {F}}}(s,x)\) is given by
For invertible E(s), we may write \(\widehat{E}(s)=(E(s)^{-1} -\bar{\beta })^{-1}\).
Beside these transformations we may also encounter mappings \(I_F\) that switch some of the basis vectors \(T_i \leftrightarrow \widetilde{T}_i\) while preserving structure coefficients of the Manin triple. These “factorized” dualities can be interpreted as dualization with respect to subgroups of \(\mathscr {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 \(\mathfrak {d}=\mathfrak {g}\bowtie \mathfrak {a}\) to \(\mathfrak {d}=\mathfrak {a}\bowtie \mathfrak {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 \(\mathfrak {g}\) and \(\mathfrak {a}\) as \(T_i \leftrightarrow \widetilde{T}_i\) for \(i= 1,\ldots ,d\). In this way we can define dual B-shifts, dual \(\beta \)-shifts and dual automorphisms.
Backgrounds on \(\widetilde{\mathscr {G}}=\mathscr {A}\) obtained from (1) by Poisson–Lie dualities have the form
because \(\widetilde{e}(\tilde{x})=\widetilde{a} (\tilde{x})=\mathbf {1}_d\). For solvable groups \(\mathscr {G}\) we have \(\widetilde{b}_{ab}(\tilde{x})=f_{ab}^c \, \tilde{x}_c\).
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\beta }(s)\) and \(E_{\alpha b}(s)\) in E(s) vanish for the backgrounds discussed in the rest of the paper. Hence \(\widehat{{\mathcal {F}}}_{\alpha \beta }(s)={\mathcal {F}}_{\alpha \beta }(s)\) and plurality affects only \({\mathcal {F}}_{ab}(s,x)\). The transformations we are interested in, therefore, concern only the \(\widehat{{\mathcal {F}}}_{ab}(s,\hat{x})\) block of the resulting background tensor \(\widehat{{\mathcal {F}}}\).
For the dual B-shift
and vanishing \(E_{a\beta }(s)\), \(E_{\alpha b}(s)\) the matrix \(\left( \widehat{E}^{-1}(s)+\widetilde{\Pi }(\tilde{x})\right) \) has the form
For solvable groups \((\widetilde{b}(\tilde{x})-B)_{ab}=f_{ab}^c \tilde{x}_c - B_{ab}\). 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 \(\beta \)-shift
in the presence of spectators are complicated and not particularly illuminating. For vanishing \(E_{a\beta }(s)\), \(E_{\alpha 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, \(\beta \)-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_\beta \), \(I_F\) or their duals. Transformed backgrounds then can be written as
where
and \(\mathcal {P}',\mathcal {Q}',\mathcal {R}',\mathcal {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)=\mathcal {A}_1 E(s) \mathcal {A}_1^T\). Important is that \(\mathcal {A}_2\) can be eliminated from (15) by suitable transformation of group coordinates. Using the transformation properties of the covariant tensor \(\widehat{{\mathcal {F}}}\) we may try to integrate the Jacobi matrix
to find coordinates \(\hat{x}'\) such that (15) simplifies to
These transformations can be always found for Poisson–Lie dualities on semi-Abelian Drinfel’d double where \(\tilde{\mathfrak {g}}=\mathfrak {a}\) and \(\widehat{e}(\hat{x})=\mathbf {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.
2.4 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 readFootnote 7
where \(\nabla \) is covariant derivative and
For vanishing vector \(\mathcal {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 \(\mathscr {G}\) and corresponding submatrices \(E_{ab}, \widetilde{a}, \widetilde{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 of \(\hat{x}\) and \(\bar{x}\). The expression is thus nonlocal in the sense that \(\widehat{\Phi }\) may depend also on coordinates \(\bar{x}\) of \(\bar{\mathscr {G}}\). 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 \(\beta \)-shifts. For semi-Abelian Drinfel’d double we find that dilaton does not change under B-shifts \(I_B\), while under \(I_\beta \) it transforms as
For duals \(D_B=D_0 \cdot I_B\) and \(D_\beta = D_0 \cdot I_\beta \) we get the correct dilaton by formula (20) applied on the dilaton and background obtained earlier from identities \(I_B\) and \(I_\beta \).
3 Bianchi V cosmology
As a warm up we shall study the well-known Bianchi V cosmology. Let us consider six-dimensional semi-Abelian Drinfel’d doubleFootnote 8 \(\mathscr {D}=({\mathscr {B}}_V |\mathscr {A})\) whose Lie algebra \(\mathfrak {d}=\mathfrak {b}_V\bowtie \mathfrak {a}\) is spanned by basis \((T_1,T_2,T_3,\widetilde{T}^1,\widetilde{T}^2,\widetilde{T}^3)\). The non-trivial commutation relations of the generators of \(\mathfrak {b}_V\) are
The group \({\mathscr {B}}_V\) is not semisimple and trace of its structure constants does not vanish.
The sigma model backgroundFootnote 9 is given by metric (\(\mathcal {B}=0\) and \({\mathcal {F}}= \mathcal {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 \(\Phi = 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].
3.1 Poisson–Lie identities and dualities
Mappings C that preserve the algebraic structure of Manin triple \((\mathfrak {d},\mathfrak {b}_V,\mathfrak {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 \(\mathfrak {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 \(\widetilde{T}^2, \widetilde{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 \(\mathfrak {b}_V \bowtie \mathfrak {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.
3.2 Transformed backgrounds
3.2.1 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 \cdot 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 \(\widehat{{\mathcal {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 \(\widehat{\Phi }=\Phi \) satisfies beta function equations.
Background calculated using \(D_1=D_0\cdot 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 \(\widetilde{\Phi }\). On the other hand, dilaton
together with background (30) satisfy Generalized Supergravity Equations (17)–(19) if we choose \(\mathcal {J}=(0,2,0,0)\). Components of the Killing vector \(\mathcal {J}\) are given by trace of structure constantsFootnote 10 of \(\mathfrak {b}_{V}\) as \(\mathcal {J}^a=f_{a i}^i\). The dilaton agrees with the formula (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].
3.2.2 Factorized dualities
Using \(I_2=I_{A_2}\cdot I_F \cdot I_{A_1}\) in formulas (9)–(12) we get background that can be brought to the form
by coordinate transformation
whose Jacobi matrix (16) is determined by \(A_2\) in (28). The background differs from \(\widehat{{\mathcal {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 \(\widehat{\mathcal {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
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 dualityFootnote 11 with respect to two-dimensional Abelian subgroup generated by left-invariant fields \(V_2=\partial _{x_2},\ V_3=\partial _{x_3}\). Metric (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)=\mathcal {A}_1 E(s) \mathcal {A}_1^T\) 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 \(\mathcal {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 \cdot I_2=D_0 \cdot I_{A_2}\cdot I_F \cdot 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 \(V_1=\partial _{x_1}-x_2\,\partial _{x_2}-x_3\,\partial _{x_3}\). In adapted coordinates \(\{s_1,s_2,s_3,y_1\}\)
where \(V_1=\partial _{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.
4 Bianchi III cosmology
Several results for Bianchi III cosmology are similar to those for Bianchi V. The algebra \(\mathfrak {d}=\mathfrak {b}_{III} \bowtie \mathfrak {a}\) of six-dimensional semi-Abelian Drinfel’d double \(({\mathscr {B}}_{III} |\mathscr {A})\) is spanned by basis \((T_1,T_2,T_3,\widetilde{T}^1,\widetilde{T}^2,\widetilde{T}^3)\). Non-trivial commutation relations of the generators of \(\mathfrak {b}_{III}\) are
while \(\mathfrak {a}\) is Abelian. The trace of structure constants does not vanish and group \({\mathscr {B}}_{III}\) 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 \(\Phi \) 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.
4.1 Poisson–Lie identities and dualities
Table 1 summarizes all eight types of solutions of equations (6) and (7) with structure constants \(F=\widehat{F}\). These give rise to Poisson–Lie identities and dualities of \(({\mathscr {B}}_{III} |\mathscr {A})\). Nevertheless, all the identities are composed of automorphisms (13) with
B-shifts of the form (26), and factorized dualitiesFootnote 12
and
Matrices generating Poisson–Lie dualities can be again obtained from those above by left-multiplication by the matrix (8) representing full duality.
4.2 Transformed backgrounds
4.2.1 B-shifts
Using \(I_B\) (26) in the formulas (9)–(12) we find that the background \(\widehat{{\mathcal {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 \(\widehat{\Phi }=\Phi \). 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).Footnote 13
Dual background calculated using matrix \(D_B=D_0\cdot I_B\) produces tensor
whose curvature and torsion do not vanish. We can get rid of the parameter \(c_{16}\) by shift in \(\tilde{x}_3\), but \(c_{15}\) remains. As earlier, backgrounds calculated using \(D_4=D_0 \cdot I_4= D_0 \cdot I_A \cdot I_B\) or \(D_8=D_0 \cdot I_8= D_0 \cdot I_A \cdot I_B\) differ from \(\widetilde{{\mathcal {F}}}\) only by a transformation of coordinates. For nonzero \(c_{15}\) the tensor \(\widetilde{{\mathcal {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 \cdot I_B\) as full duality applied to background changed by \(I_B\), the correct dilaton can be found from (20) as
Such \(\widetilde{\Phi }\) satisfies the Generalized Supergravity Equations for Killing vector \(\mathcal {J}=(0,-1,0,0)\) whose components are given by trace of structure constants of \(\mathfrak {b}_{III}\) as suggested in [13].
4.2.2 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=\partial _{x_3}\) resp. \(V_2=\partial _{x_2}\).
Dualization with respect to \(V_2\) does not change \({\mathcal {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 \cdot 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 \(\mathcal {J}=0\), since we have dualized with respect to Abelian subgroup of \(\mathscr {B}_{III}\). 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\cdot 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 \cdot I_5\). For \(D_1\), \(D_2\), \(D_6\) the tensor \(\widetilde{{\mathcal {F}}}\) and dilaton \(\widetilde{\Phi }\) 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.
5 Bianchi \(VI_\kappa \) cosmology
Semi-Abelian Drinfel’d double \(\mathscr {D}=({\mathscr {B}}_{VI_\kappa } |\mathscr {A})\) has Lie algebra \(\mathfrak {d}=\mathfrak {b}_{VI_\kappa }\bowtie \mathfrak {a}\) spanned by basis \((T_1,T_2,T_3,\widetilde{T}^1,\widetilde{T}^2,\widetilde{T}^3)\) and the nontrivial comutation relations of \(\mathfrak {b}_{VI_\kappa }\) areFootnote 14
Trace of structure constants does not vanish and group \({\mathscr {B}}_{VI_\kappa }\) is not semisimple. In the parametrization used in [13] Bianchi \(VI_\kappa \) 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 \(\Phi (t)=c_1 t\) the beta function equations reduce to condition
The background is torsionless and for \(c_1=0\) also Ricci flat.
5.1 Poisson–Lie identities and dualities
Poisson–Lie identities of Drinfel’d double \(({\mathscr {B}}_{VI_\kappa } |\mathscr {A})\) are given by matrices
The algebra \(\mathfrak {b}_{VI_\kappa }\) 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 \cdot I_B\) of automorphisms and B-shifts (26). Matrix \(I_2\) can be written as \(I_2=I_{A_2} \cdot I_F \cdot 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\).
5.2 Transformed backgrounds
5.2.1 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\cdot I_B\), the dependence of \(\widehat{{\mathcal {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 \(\Phi (t_{1})=c_1 t\) the background satisfies beta function equations.
Dual background \(\widetilde{{\mathcal {F}}}\) calculated using \(D_1=D_0\cdot I_1=D_0 \cdot I_A \cdot I_B\) is again too complicated to display. Nevertheless, linear transformation of coordinates (16) followed by shift in \(\tilde{y}_2, \tilde{y}_3\) simplifies the background to
where
These results are the same as results obtained by full duality \(D_0\). Dual dilaton
found from formula (20) satisfies the generalized supergravity equations (17)–(19) where components of Killing vector \(\mathcal {J}=(0,\kappa +1,0,0)\) correspond to trace of structure constants of \(\mathfrak {b}_{VI_\kappa }\). 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.
5.2.2 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 \(V_2=\partial _{x_2},\ V_3=\partial _{x_3}\). Resulting curved background
and dilaton
calculated by formula (20) satisfy beta function equations with vanishing Killing vector \(\mathcal {J}\) since we have dualized with respect to Abelian group.
Poisson–Lie identity \(I_2=I_{A_2} \cdot I_F \cdot 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)=\mathcal {A}_1 E(s) \mathcal {A}_1^T\). 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\cdot I_F\) and \(D_2=D_0\cdot I_{A_2} \cdot I_F \cdot I_{A_1}\) produce background
where
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
satisfies ordinary beta function equations.
Let us note that results of this section hold also for \(\kappa =0,1\), i.e. for Bianchi III and Bianchi V. Dualities with respect to these groups were treated in Sects. 3 and 4 with different initial backgrounds.
6 Bianchi \(VI_{-1}\) cosmology
For Bianchi \(VI_{-1}\) cosmology we shall consider Manin triple \((\mathfrak {d},\mathfrak {b}_{VI_{-1}},\mathfrak {a})\) whose algebraic structure is given by comutation relations (42) with \(\kappa =-1\). Structure coefficients of Lie algebra \(\mathfrak {b}_{VI_{-1}}\) are traceless and the group \(\mathscr {B}_{VI_{-1}}\) is not semisimple. Metric has the form (43) with functions
and dilaton is again \(\Phi (t)=c_1 t\). The beta function equations are satisfied if
6.1 Poisson–Lie identities and dualities
Poisson–Lie identities of Drinfel’d double \(({\mathscr {B}}_{VI_{-1}} |\mathscr {A})\) are given by matrices
and
As special cases we find two types of automorphisms \(I_A\) and \(I_{A'}\) given by
B-shifts generated by matrix
\(\beta \)-shifts
and factorized dualities (27). To analyze results following from application of Poisson–Lie identities \(I_1\) and \(I_2\) it is helpful to find their decomposition into products of special elements of NATD group. Depending on the values of parameters the matrices can be written as
and
for some \(I_A\), \(I_{A'}\), \(I_B\), \(I_\beta \) 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_\beta \), \(I_F\) and their products. Multiplying these matrices by \(D_0\) we get Poisson–Lie dualities.
6.2 Transformed backgrounds
6.2.1 B-shifts
Transformed background
given by B-shift differs from original \({\mathcal {F}}\) by a torsionless B-field and together with the dilaton \(\widehat{\Phi }=c_1 t\) satisfies beta function equations.
Coordinate shifts eliminate \({b_{12}},{b_{13}}\) in the dual obtained from \(D_0\cdot I_B\) so it reads
where
The constant \({b_{23}}\) remains. For dilaton
beta function equations are satisfied. Vanishing of vector \(\mathcal {J}\) corresponds to the fact that structure constants of \(\mathfrak {b}_{VI_{-1}}\) are traceless.
6.2.2 \(\beta \)-shifts
Background given by \(\beta \)-shift is
and together with the dilaton calculated by formula (22)
satisfy beta function equations. Although matrices \(I_B\) and \(I_\beta \) do not commute, backgrounds obtained from \(I_B \cdot I_\beta \) and \(I_\beta \cdot I_B\) are the same and differ from \(\widehat{{\mathcal {F}}}\) in (50) only by a torsionless B-field.
The dual obtained from \(D_0 \cdot I_\beta \) is
and with dilaton
they satisfy beta function equations. Tensors \(\widetilde{{\mathcal {F}}}\) arising from \(D_0\cdot I_B\cdot I_\beta \) and \(D_0\cdot I_\beta \cdot 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.
6.2.3 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 \(\kappa = -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 \cdot I_F\) differs from this \(\widehat{{\mathcal {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\cdot I_F\) reads
where
This background and dilaton
satisfy beta function equations. Background
where
is obtained from \(D_0\cdot I_B \cdot I_F\) and with dilaton
it satisfies beta function equations.
7 Bianchi II cosmology
Lie algebra \(\mathfrak {d}= \mathfrak {b}_{II}\bowtie \mathfrak {a}\) of the Drinfel’d double \(\mathscr {D}=({\mathscr {B}}_{II} |\mathscr {A})\) is spanned by basis \((T_1,T_2,T_3,\widetilde{T}^1,\widetilde{T}^2,\widetilde{T}^3)\) where nontrivial comutation relations of \(\mathfrak {b}_{II}\) are
Trace of structure constants is zero and group \({\mathscr {B}}_{II}\) 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 \(\Phi (t)=c_1\, t\) the beta function equations reduce to
The background is torsionless and for \(c_1 = 0\) also Ricci flat.
7.1 Poisson–Lie identities and dualities
Unfortunately, we are not able to display general forms of matrices generating Poisson–Lie identities of Manin triple \((\mathfrak {d},\mathfrak {b}_{II},\mathfrak {a})\) because the expressions are too extensive. However, we were able to decompose them into products of automorphisms, B-shifts and \(\beta \)-shifts. To be more specific, all the solutions can be written in one of the two forms
where automorphisms have the form (13) with
B-shifts are generated by matrix (48), and \(\beta \)-shifts are given by
There are no factorized dualities satisfying (6) and (7). Poisson–Lie dualities can be obtained from identities by left-multiplication by the matrix (8) representing full duality.
7.2 Transformed backgrounds
We already know that if Poisson–Lie identity decomposes as in (54), coordinate transformations can eliminate parameters of \(I_A\) in the resulting backgrounds. Thus it is sufficient to investigate the effects of \(I_B\), \(I_\beta \) and their products.
7.2.1 B-shifts
Structure coefficients of Manin triple \((\mathfrak {d},\mathfrak {b}_{II},\mathfrak {a})\) remain invariant under B-shift (48) that transforms the background (52) to
Up to gauge transformation of the antisymmetric part it is equivalent to (52). Together with dilaton \(\widehat{\Phi }(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\cdot I_B\) and we have
where
With dilaton
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}\).
7.2.2 \(\beta \)-shifts
Let us now investigate the transformation of metric (52) given by \(\beta \)-shift (55). This Poisson–Lie identity generates
where
Together with corresponding dilaton
the background satisfies beta function equations. Poisson–Lie identity \(I_B\) acting on this background adds a torsionless B-field, so we conclude that backgrounds obtained from \(I_B\cdot I_\beta \) and \(I_\beta \) can be considered equivalent. Despite the fact that \(I_B\) and \(I_\beta \) do not commute, \(\widehat{{\mathcal {F}}}\) obtained from \(I_\beta \cdot I_B\) is exactly the same as for \(I_B\cdot I_\beta \).
Dual background resulting from \(D_\beta = D_0 \cdot I_\beta \) is
The dilaton is
and it is interesting that it does not depend on \(\beta _{12}\) and \(\beta _{13}\). Together they satisfy beta function equations.
Dual backgrounds and dilatons found from \(D_0 \cdot I_B \cdot I_\beta \) and \(D_0 \cdot I_\beta \cdot 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.
8 Conclusions
We have identified general forms of Poisson–Lie identities and Poisson–Lie dualities for six-dimensional semi-Abelian Manin triples \(\mathfrak {d}= \mathfrak {b}\bowtie \mathfrak {a}\) where \(\mathfrak {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, \(\beta \)-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 \({\mathcal {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 self-contained, all results can be reproduced using information contained in the text.]
Notes
See [16] for discussion on this topic.
Invertibility of \(\widehat{E}(s)\) is not required in the first expression in (11) and only \(\det \, \left( \mathcal {P}+E(s)\cdot \mathcal {R} \right) \ne 0\) is required. However, for regular \(\widehat{E} (s)\) the formulas simplify.
Since \(\widehat{\mathscr {G}}=\mathscr {G}\) we omit the hat over group coordinates and write simply x.
Our approach differs from [21], where the authors consider vector space isomorphisms of Lie algebra of the Drinfel’d double rather than automorphisms of a chosen Manin triple.
We consider purely bosonic backgrounds.
By \({\mathscr {B}}_V\), resp. \({\mathfrak {b}}_V\), we denote the Bianchi V group, resp. its Lie algebra. \(\mathscr {A}\) and \(\mathfrak {a}\) denote three dimensional Abelian group and its Lie algebra respectively. Similar notation will be used in the following sections.
E(s) is restored from \({\mathcal {F}}(s,x)\) by setting group coordinates to zero.
Compared to [13], in the present nomenclature the matrices \({\mathcal {F}}\) representing background tensors are transposed. This results in change of sign of \({\mathcal {J}}\).
Followed by a change of sign in the spectator coordinate \(x_1\).
\(I_A\) and \(I_B\) appear as special cases of \(I_4\) and \(I_8\), factorized dualities \(I_{F_1},I_{F_2}\) and their composition appear in \(I_1, I_2, I_3, I_5, I_6, I_7\) and their duals.
The parameter \(c_{15}\) has to be replaced by \(-\frac{c_{14}+c_{13} c_{16}}{c_{12}}\) for \(I_4\).
Note that for \(\kappa = 0\), or \(\kappa = 1\), these are comutation relations of \(\mathfrak {b}_{III}\), or \(\mathfrak {b}_{V}\), respectively. The case \(\kappa = -1\) will be treated separately in Sect. 6.
References
T.H. Buscher, A symmetry of the string background field equations. Phys. Lett. B 194, 51 (1987)
X.C. de la Ossa, F. Quevedo, Duality symmetries from non-abelian isometries in string theories. Nucl. Phys. B 403, 377 (1993). arXiv:hep-th/9210021
M. Roček, E. Verlinde, Duality, quotients, and currents. Nucl. Phys. B 373, 630 (1992). arXiv:hep-th/9110053
K. Sfetsos, D.C. Thompson, On non-abelian T-dual geometries with Ramond fluxes. Nucl. Phys. B 846, 21 (2011). arXiv:1012.1320
Y. Lozano, E.Ó. Colgáin, K. Sfetsos, D.C. Thompson, Non-abelian T-duality, Ramond fields and coset geometries. JHEP 06, 106 (2011). arXiv:1104.5196
G. Itsios, Y. Lozano, J. Montero, C. Núñez, The \(AdS_5\) non-Abelian T-dual of Klebanov–Witten as a \(\cal{N}=1\) linear quiver from M5-branes. JHEP 09, 38 (2017). arXiv:1705.09661
G. Itsios, H. Nastase, C. Núñez, K. Sfetsos, S. Zacarias, Penrose limits of Abelian and non-Abelian T-duals of \(AdS_5\times S^5\) and their field theory duals. JHEP 01(2018), 71 (2018). arXiv:1711.09911
R. Borsato, L. Wulff, Integrable deformations of T-dual \(\sigma \)-models. Phys. Rev. Lett. 117, 251602 (2016). arXiv:1609.09834
B. Hoare, A.A. Tseytlin, Homogeneous Yang–Baxter deformations as non-abelian duals of the \(AdS_5\) sigma-model. J. Phys. A 49, 494001 (2016). arXiv:1609.02550v3
R. Borsato, L. Wulff, On non-abelian T-duality and deformations of supercoset string sigma-models. JHEP 10, 24 (2017). arXiv:1706.10169
L. Hlavatý, I. Petr, Poisson-Lie T-plurality revisited. Is T-duality unique? JHEP 04, 157 (2019). arXiv:1811.12235
N.A. Batakis, A.A. Kehagias, Anisotropic space-times in homogeneous string cosmology. Nucl. Phys. B 449, 248 (1995). arXiv:hep-th/9502007
M. Honga, Y. Kima, E.Ó. Colgáin, On non-Abelian T-duality for non-semisimple groups. Eur. Phys. J. C 78, 1025 (2018). arXiv:1801.09567
C. Klimčík, P. Ševera, Dual non-Abelian duality and the Drinfeld double. Phys. Lett. B 351, 455 (1995). arXiv:hep-th/9502122
C. Klimčík, Poisson-Lie T-duality. Nucl. Phys. Proc. Suppl. 46, 116 (1996). arXiv:hep-th/9509095
P. Bouwknegt, M. Bugden, C. Klimčík, K. Wright, Hidden isometry of “T-duality without isometry”. JHEP 08, 116 (2017). arXiv:1705.09254
R. von Unge, Poisson-Lie T-plurality. JHEP 07, 014 (2002). arXiv:hep-th/0205245
X. Gomez, Classification of three-dimensional Lie bialgebras. J. Math. Phys. 41, 4939 (2000)
L. Hlavatý, L. Šnobl, Classification of Poisson–Lie T-dual models with two-dimensional targets. Mod. Phys. Lett. A 17, 429 (2002). arXiv:hep-th/0110139
L. Šnobl, L. Hlavatý, Classification of 6-dimensional real Drinfel’d doubles. Int. J. Mod. Phys. A 17, 4043 (2002). arXiv:math.QA/0202209
D. Lüst, D. Osten, Generalised fluxes, Yang–Baxter deformations and the O(d, d) structure of non-abelian T-duality. JHEP 05, 165 (2018). arXiv:1803.03971
S. Frolov, Lax pair for strings in Lunin–Maldacena background. JHEP 05, 069 (2005). arXiv:hep-th/0503201
D. Osten, S.J. van Tongeren, Abelian Yang–Baxter deformations and TsT transformations. Nucl. Phys. B 915, 184 (2017). arXiv:1608.08504
E. Álvarez, L. Álvarez-Gaumé, Y. Lozano, On non-abelian duality. Nucl. Phys. B 424, 155 (1994). arXiv:hep-th/9403155v4
J.J. Fernandez-Melgarejo, J. Sakamoto, Y. Sakatani, K. Yoshida, \(T\)-folds from Yang–Baxter deformations. JHEP 12, 108 (2017). arXiv:1710.06849
T. Araujo, I. Bakhmatov, E. Ó Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, Yang-Baxter \(\sigma \)-models, conformal twists, and noncommutative Yang–Mills theory. Phys. Rev. D 95 (2017). arXiv:1702.02861
T. Araujo, I. Bakhmatov, E. Ó Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, Conformal Twists, Yang-Baxter \(\sigma \)-models and Holographic Noncommutativity. J. Phys. A 51 (2018). arXiv:1705.02063
T. Araujo, E. Ó Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, \(I\) in generalized supergravity. Eur. Phys. J. C 77 (2017). arXiv:1708.03163
S. Demulder, F. Hassler, D.C. Thompson, Doubled aspects of generalised dualities and integrable deformations. JHEP 02, 189 (2019). arXiv:1810.11446
Y. Sakatani, Type II DFT solutions from Poisson–Lie T-duality/plurality. arXiv:1903.12175
L. Hlavatý, I. Petr, V. Štěpán, Poisson–Lie T-plurality with spectators. J. Math. Phys. 50, 043504 (2009)
L. Hlavatý, F. Petrásek, On uniqueness of T-duality with spectators. Int. J. Mod. Phys. A 31, 1650143 (2016). arXiv:1606.02522
F. Petrásek, L. Hlavatý, I. Petr, Plane-parallel waves as duals of the flat background II: T-duality with spectators. Class. Quantum Gravity 34, 155003 (2017). arXiv:1612.08015
S. Majid, Foundations of quantum group theory (Cambridge University Press, Cambridge, 1995)
G. Arutyunov, S. Frolov, B. Hoare, R. Roiban, A.A. Tseytlin, Scale invariance of the \(\eta \)-deformed \(AdS_5\times S^5\) superstring, T-duality and modified type II equations. Nucl. Phys. B 903, 262 (2016). arXiv:1511.05795
C.G. Callan Jr., E.J. Martinec, M.J. Perry, D. Friedan, Strings in background fields. Nucl. Phys. B 262, 593 (1985)
L. Hlavatý, L. Šnobl, Poisson–Lie T-plurality of three-dimensional conformally invariant sigma models II: nondiagonal metrics and dilaton puzzle. JHEP 10, 045 (2004). arXiv:hep-th/0408126
M. Gasperini, R. Ricci, G. Veneziano, A problem with non-Abelian duality? Phys. Lett. B 319, 438 (1993). arXiv:hep-th/9308112
S. Elitzur, A. Giveon, E. Rabinovici, A. Schwimmer, G. Veneziano, Remarks on non-Abelian duality. Nucl. Phys. B 435, 147 (1995). arXiv:hep-th/9409011
G. Papadopoulos, J.G. Russo, A.A. Tseytlin, Solvable model of strings in a time-dependent plane-wave background. Class. Quantum Gravity 20, 969 (2003). arXiv:hep-th/0211289
M. Gasperini, R. Ricci, Homogeneous conformal string backgrounds. Class. Quantum Gravity 12, 677 (1995). arXiv:hep-th/9501055
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
For reader’s convenience we recapitulate backgrounds and dilatons yielded from Poisson–Lie identities and dualities in the following tables. We add vector \({\mathcal {J}}\) as well to indicate whether the backgrounds satisfy standard beta function equations (in which case \({\mathcal {J}}= 0\)) or Generalized Supergravity Equations (17)–(19). In the first column we display which one of the special transformations was used to get the result. Automorphisms \(I_A\) are not mentioned. Nevertheless, since we want to include results obtained from general Poisson–Lie identities and dualities, some parameters appearing in the tensors may arise from automorphisms. We recommend to check details in previous sections (Tables 2, 3, 4, 5, 6).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.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 SCOAP3
About this article
Cite this article
Hlavatý, L., Petr, I. Poisson–Lie identities and dualities of Bianchi cosmologies. Eur. Phys. J. C 79, 855 (2019). https://doi.org/10.1140/epjc/s10052-019-7356-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7356-5