Embedding the modified CYBE in supergravity

It has recently been demonstrated that given a generic solution, the Classical Yang–Baxter Equation (CYBE) emerges from supergravity via the open-closed string map, thus providing tangible evidence for the conjectured equivalence between supergravity equations of motion and the homogeneous CYBE. To date, study of this equivalence has largely been confined to the NS sector. In this work, we make two extensions. First, we revisit the transformation of the RR sector and clarify its precise role in the emergence of the CYBE. Secondly, we identify direct products of coset geometries as the only setting where the transformation permits embeddings of the modified CYBE. We illustrate our solution generating technique with deformations of AdS3×S3×M4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$AdS_3 \times S^3 \times M_4$$\end{document}, where M4=T4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_4 = T^4$$\end{document} (K3) and S3×S1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S^3 \times S^1$$\end{document}, and explicitly construct one and two-parameter integrable q-deformations that are solutions to generalised supergravity.


Introduction
Over recent years, the Yang-Baxter σ -model [1][2][3] has emerged as a systematic way to construct integrable deformations of maximally symmetric AdS/CFT geometries. In principle this extends the scope of integrability techniques in holography to more realistic settings. Central to this approach is an r -matrix solution to the Classical Yang-Baxter Equation (CYBE). The Yang-Baxter σ -model was initially formulated in terms of r -matrix solutions to the modified CYBE, before it was later understood that there was a richer class of deformations based on r -matrix solutions to the homogeneous CYBE [4][5][6].
Since there are fewer solutions to the modified CYBE, it is perfectly understandable that the corresponding supergravity solutions are rarer. 1 However, this appears to be a disproportionate rareness, since given an r -matrix solution 1 See [7][8][9] for a discussion of inequivalent Ad S n × S n deformations. a e-mail: ocolgain@gmail.com to the modified CYBE, there is no guarantee a corresponding embedding in supergravity exists. This ultimately can be traced to the fact that such solutions are less natural from the supergravity perspective, as we will explain in due course.
We recall from a series of recent papers [10][11][12] that Yang-Baxter deformations for r -matrices based on both the homogeneous and modified CYBE are described by an openclosed string map [14], where the deformation is specified by a bivector that is an antisymmetric product of Killing vectors, or simply "bi-Killing". The joy of this map is it reduces the deformation to a single matrix inversion in the σ -model target space. Moreover, the map can be built into a powerful solution generating technique [13] for generalised supergravity [15,16]. This approach hinges on the assumption, explicitly checked case by case in [13,17], that the equations of generalised supergravity reduce to the CYBE, and once the homogeneous CYBE holds, so too do the equations of motion. In the process, is identified with an r -matrix solution. 2 A step towards a proof of the equivalence between the equations of motion of generalised supergravity and the CYBE for deformations appeared in [17]. In particular, restricting to the NS sector, and geometries not supported by the NSNS two-form, or B-field, it was shown perturbatively that the equations of motion are equivalent to the CYBE once is bi-Killing. More precisely, it has been checked to a certain order that the equations of motion hold once the homogeneous CYBE is satisfied. This leaves valid questions regarding generalisations to i) supergravity solutions supported by RR field strengths and ii) examples based on the modified CYBE, both of which fall outside the perturbative analysis [17]. In this work, we continue our study in this direction and provide further examples of the solution generating technique [13] in a bid to address both these questions. We emphasise that our method to construct the solutions, versus T-duality on non-isometric directions [23] (see also [24]), is more direct as we work in generalised supergravity from the outset.
To address the first issue, in Sect. 2 we outline the role of the RR sector in the solution generating technique of [13] by making use of an illustrative example. We note that the RR sector simply supports geometries and the CYBE emerges exclusively from the NS sector. This should come as little surprise, since our prescription for deforming the RR sector [13] (see Sect. 2) does not involve derivatives of and is thus insensitive to the actual make-up of the bivector defining the deformation. Put differently, the RR sector sees little difference between a TsT transformation [25], which trivially satisfies the homogeneous CYBE, and more involved Yang-Baxter deformations.
As for our second concern, namely geometries based on the modified CYBE, it is instructive to recall the κdeformation of the Poincaré algebra g = iso (1, d), which is specified by the r -matrix, where a is a constant vector. When a is light-like (null), it is well documented, e.g. [26,27], that the r -matrix is a solution to the homogeneous CYBE, otherwise we get a solution to the modified CYBE. As we show in the appendix, starting from flat spacetime, the light-like κ-deformation leads to a "trivial" solution [28] of generalised supergravity. 3 In contrast, we find using our method it is not possible to generate a deformation of flat spacetime that admits κ-deformations where a is not null. 4 This above example is instructive as it illustrates how it is relatively easy to generate supergravity solutions based on r -matrix solutions to the homogeneous CYBE, whereas this is not immediate for their modified CYBE counterparts. This comes down to the fact that homogeneous Yang-Baxter deformations are more natural from the perspective of supergravity, since as we explained, once the bi-Killing deformation parameter satisfies the homogeneous CYBE, the equations of motion hold. This naturalness is also evident in other results, in particular the fact that homogeneous Yang-Baxter deformations may be understood as non-Abelian T-duality transformations [30][31][32][33]. It is telling that there is no interpretation of modified deformations as a T-duality transformation.
In this work, to better understand when we may expect a supergravity solution based on the modified CYBE, we recy-cle the perturbative results quoted in [17]. From the dilaton equation, we see that one must consider multiple deformations whose contributions cancel amongst themselves, so that the equation is satisfied. This gives rise to a feeling of "awkwardness", since we are in essence fitting a square plug in a round hole. Furthermore, allowing for the constant shift in the dilaton, we note from the Einstein equation that this shift must back-react on the entire geometry in cases where the stress-energy tensor does not vanish, i.e. non-flat directions. 5 This means that for a curved spacetime, we have to deform all of the directions with no exceptions. Since our deformation makes use of Killing vectors, this can only be done where there is an isometry associated to each direction. This ultimately precludes warped-product spacetimes, e.g. Dp-brane geometries, and restricts us to deformations based on directproducts of coset geometries. This in turn implies that we should be able to deform geometries such as Ad S 5 × T 1,1 , even though the motion of strings in this background is not classically integrable [37]. We flesh out these arguments in Sect. 2, where we also review the solution generating technique of [13] and elucidate the role of the RR sector. The above observation provides a supergravity insight into socalled η-deformations [2,7] and explains why they should be restricted to cosets.
As we will demonstrate, a key point of this work is that the method originally outlined in [13], which has not been extensively tested in the literature, works and we can have greater confidence in its use. In particular, through Page forms and our descent procedure, one can simply write down solutions. Admittedly, the RR sectors can be involved, so here we focus on the geometries Ad S 3 × S 3 × M 4 deformations, where M 4 = T 4 or K 3, and M 4 = S 3 × S 1 . It is worth noting that a two-parameter q-deformation of this geometry, considered earlier in [38,39], can be extended to a full solution including the RR sector using our methods (Sect. 3) and that this deformation can be easily extended to a one or two-parameter q-deformation where the geometry encapsulates the exceptional Lie superalgebra D (2, 1; α) . In the case of the latter, we confirm that the deformation respects a well-known constraint on the radii of the symmetric spaces. The deformations are expected to preserve integrability, but being solutions to generalised supergravity, and not usual supergravity, the AdS/CFT interpretation of the deformed solutions is not clear. If one can be found, it is expected to be related to a noncommutative deformation of Yang-Mills [10][11][12]18,19].

Methodology
We begin by reviewing the method outlined in [13], which is valid for supergravity solutions not supported by an NSNS two-form. 6 Central to our prescription is the open-closed string map [14] (G −1 + ) −1 = g + B, (2.1) where G denotes the original metric, is a deformation parameter, essentially an antisymmetric bivector, g and B correspond to the deformed metric and B-field. We assume that the original metric admits an isometry group, which allows us to define as an antisymmetric product of Killing vectors K where r i j is a skew-symmetric matrix, r i j = −r ji , with constant entries. One should note that the following vector, is Killing by construction and for non-zero I it has been proved [17] that the deformed geometry corresponds to a solution to generalised supergravity [15], where I is the Killing vector modification of usual supergravity [15,16]. To complete the deformation in the NS sector, the scalar dilaton of the deformed solution φ is related to the original dilaton through a well-known T-duality invariant, For deformations involving just the NS sector of supergravity, it has been shown for generic spacetime metrics that the CYBE emerges at second order from the equations of motion [17]. Given an explicit solution, one can go further and show that the equations of motion reduce to the CYBE and the coefficients of are constrained so that it is an r -matrix solution to the (homogeneous) CYBE. 7 It should be noted that in contrast to the Yang-Baxter σ -model, which typically involves deformations of coset geometries and is purely algebraic, our method reduces to the single matrix inversion (2.1). It can be checked that the methods are equivalent [10][11][12]. With a prescription for deforming the NS sector in hand, it is pretty immediate to extend this to the RR sector. The traditional approach is to identify how the transformation acts on spinors and use this knowledge to reconstruct the transformation of the RR sector [34][35][36]. In [13] an alternative way was suggested. This method is rooted in the philosophy 6 At the heart of our approach is the open-closed string map of Seiberg and Witten [14] and in open string parameters there is no B-field. The extension to include the B-field, even in the presence of singular matrices g + B, is an open problem. See [22] for progress in this direction. 7 See [13] for deformations of the Schwarzschild metric. that all information of the deformation must follow from a knowledge of . In contrast to the usual approach, we arrive at the deformed RR sector by descent simply by contracting into Page forms. This technique is based on the observation made originally in [12] that the equations of motion of the RR sector, when re-expressed in terms of Page forms (A.6), take the simple form (A.7).
Observe that when I = 0 we recover the equations of motion of usual type II supergravity where the Page forms are closed and can be quantised as a result. Our prescription now demands that for each non-zero Page formQ from the original supergravity solution, which is guaranteed to be closed, we define induced Page forms Q associated to this form by descent 8 Summing up all the induced and original Page forms of a given degree, one finds a final expression for the final deformed Page form. It is easy to convince oneself using (2.3) and the closure ofQ that the RR equations of motion (A.7) are satisfied by construction. Therefore, the task of confirming a solution exists reduces to checking the Einstein (A.1), B-field (A.2) and dilaton (A.3) equations of motion, essentially the same equations one needs to check without an RR sector. In the absence of an RR sector, it has been shown perturbatively that a necessary condition for a deformed solution to exist is that is an r -matrix solution to the homogeneous CYBE [17]. Working with explicit solutions, one can show case by case that this condition is in fact sufficient. It should be clear that our prescription for the RR sector, in contrast to the NS sector, does not involve derivatives of and for this reason the RR sector is ambivalent to the precise form of : it is ultimately determined exclusively by the NS sector. For this reason, the knowledge of the CYBE is encoded only in the NS sector and it is merely the role of the RR sector to support the geometry. This observation should come as no surprise, since if we had adopted the traditional approach and identified the transformation on spinors, we could use this knowledge to extract the transformed RR sector.
As the above treatment may have been a tad abstract, let us review a known deformation of the Ad S 2 ×S 2 ×T 6 geometry, which was identified using the above prescription [13]. We begin with the original intersecting D3-brane geometry, and in particular its near-horizon: where ω r , ω i are related to a complex (3, 0)-form on the torus, ω r − iω i = (3,0) . With a view to teasing apart the role of the NS and RR sectors, we will revisit and dissect the equations of motion to see how they are satisfied. For clarity we focus only on the Ad S 2 deformation. The Ad S 2 Killing vectors are, so the most general deformation parameter we can construct takes the form, Using the above prescription (2.1), (2.3) and (2.4), the deformed NS sector is easy to express as where everything depends on a single function, The rest of the geometry is undeformed and we omit it. Since we are working with a 2D geometry, B is closed and as a result its field strength is zero, H = 0. This simplifies the equations of motion. Despite H being zero, B makes a contribution to the equations of motion through X (A.4) and in contrast to earlier work [15], we cannot gauge it away if our map is to work. Contracting in , it is easy to identify the deformed Page forms by descent from the original Page five-form, before unravelling the Page forms to identify the RR field strengths in terms of ζ : One can quickly confirm that the original geometry is recovered when ζ = 0. Before going further, let us pause to comment on the solution and its implications for generalised IIA supergravity. We can envisage performing three T-dualities on the tori directions so that we are left with a zero-form (scalar) "field strength" in type IIA supergravity. These T-dualities will not affect the geometry, just change the nature of the fluxes and the chirality of the theory. From the perspective of usual IIA supergravity, this scalar is expected to be the constant Romans' mass, however here we recognise that it is no longer a constant. Thus, it appears to be a generic feature of generalised IIA supergravity that the zero-form is not closed and has no interpretation as a mass. For completeness, in the appendix based on the T-dual of the above geometry, we write down the equations of motion it must satisfy.
We now redirect our attention to the equations of motion. Since the equations involving the RR field strengths (A.7) are satisfied from the outset, we are left to consider the Einstein, B-field and dilaton equations.
Let us start with the Einstein equation and decompose it in terms of NS and RR sector contributions. Owing to the symmetry in the (t, x)-directions, it is enough to focus on the temporal direction. The NS sector contribution is while the RR sector appears through the stress-energy tensor, One immediately recognises that the expressions are the same once β 2 = αγ , which is precisely the homogeneous CYBE for the algebra g = sl(2) once is identified with the corresponding r -matrix solution to the CYBE. This term is traceable to derivatives of , or ζ in this case, and for TsT transformations where is a constant in the usual frame, we see that the Einstein equation would have been satisfied. It is clear from this example that the non-trivial information about the CYBE is not coming from the RR sector, but instead from the NS sector. This conforms with our expectation that the RR sector acts largely as a spectator and has no direct bearing on the emergence of the CYBE. Before studying the other equations and arriving at the same conclusion, it is of interest to compare the above CYBE contribution to the NS sector with the expression derived in [17]. Since [17] studied only the NS sector equations of motion, we cannot expect to recover all the deformation terms at second order. From (3.12) of [17], we recall the contribution to the Einstein equation at second order in , (2.14) Using the fact that the CYBE term is antisymmetric in indices and the commutation relations for the Lie algebra, we can rewrite this term as Evaluating this for the E tt component using the Killing vectors (2.7), we obtain (2.16) which precisely agrees with the CYBE term in (2.12). Thus, if the perturbative analysis of [17] was extended to the RR sector, we can expect the same term (2.14) to appear at second order. We will return to this point soon.
Let us move onto the B-field equation to confirm this picture. Once again, we decompose the equation into an NS, and RR contribution, We see again that the contribution from the CYBE comes through the NS sector and not through the RR sector. Finally, the dilaton equation reads, which once again is nothing more than the homogeneous CYBE. Here, we remark that the dilaton equation is an equation involving only the NS sector with the RR sector dropping out. So based on this example, we arrive at the following conclusion: the RR sector is merely a by-stander. It involves no derivatives acting on and has no influence on the permitted deformations, but simply supports the original and deformed geometry.
With a view to introducing the main focus of this paper, namely solutions based on the modified CYBE, it is pretty obvious that there is a second way to solve the above equations, which is simply to displace the RR sector relative to the NS sector. Since the RR sector appears in the equations dressed with the dilaton, 9 it makes no difference if one shifts the dilaton by a constant or rescales the RR sector, the result is the same. We will take the view that we can shift the dilaton by an additional constant, φ → φ + φ 0 . From the Einstein equation and the B-field equation of motion, we see that choosing ensures that both equations are satisfied without constraining α, β and γ . Of course this constant shift in the dilaton does not affect the dilaton equation and this necessitates we perform some gymnastics to find an additional contribution to cancel the dilaton equation terms, which are no longer zero. The solution to this is to also deform the two-sphere as explained 9 In fact once the RR sector is solved by descent, the contribution of the RR sector to the remaining equations is the same as usual supergravity.
in [13]. Note, the same conclusion is reached by studying the Einstein equation in the (θ, φ)-directions, as once the dilaton is shifted, it back-reacts on the geometry and the Einstein equations in these directions will no longer be satisfied. In summary, it is clear that we have to also deform the twosphere. This brings us back to the perturbative results of [17], which are valid for generic spacetimes. To second order in the deformation parameter the two equations are the dilaton equation, which recall is independent of the RR sector [17]: (2.21) and the Einstein equation, where we have added the contribution from the dilaton shift, φ → φ+log κ, and T (0) μν is the undeformed stress-energy tensor. Despite not being exact, these perturbative results we can regard as necessary conditions for the existence of a deformation. We omit the B-field equation of motion as it recovers the CYBE only at third-order in .
It is clear from the Einstein equation that the dilaton shift back-reacts once T (0) μν = 0. Therefore, we do not have to deform flat directions, however to counteract the effect of the dilaton shift we have to in effect deform components of the geometry that are curved. Since our deformation is only defined for Killing directions, this restricts us to directproducts of coset spaces. In effect this rules out deformations of warped geometries, since the warp factor will depend on a non-Killing direction that cannot be deformed. This restriction is echoed in the dilaton equation since if non-trivial coordinate dependence appeared in this equation, one could no longer trade off the bracketed algebraic terms against one another. Even with cosets, one still has to choose the Killing vectors correctly so that this can be achieved. one can ask whether this complicates the descent procedure involving the Page forms.
Secondly, the isometry group of Ad S 2 × S 2 is SL(2, R) × SU (2), whereas Ad S 3 × S 3 has double the symmetry, i.e. SL(2, R) L × SL(2, R) R × SU (2) L × SU (2) R , so we would like to contemplate separate deformations involving the different factors. In particular, since the geometry is a product of left and right symmetries, it is reasonable to expect that one can have a deformation with two parameters. Such a deformation has appeared previously in the literature [38,39], where it is related to the two-parameter deformation of Fateev [40]. To be more precise, the deformed metric was extracted from the Yang-Baxter σ -model in [38] and in [39] a standard supergravity embedding was presented. To the extent of our knowledge a generalised supergravity solution including the dilaton, Killing vector I and RR sector has not been presented. This provides a fitting test for our method.
However, before getting to that point, let us meander a bit to understand the nuts and bolts of the solution generating technique. With a view to isolating the different symmetries, we will employ slightly atypical coordinates and this turns out to be an instructive exercise. Let us begin by recalling the original Ad S 3 × S 3 × T 4 solution, where we will use the following "Hopf-fibre" metrics for Ad S 3 , −dτ 2 + dω 2 + dσ 2 + 2 sinh ωdτ dσ , (3.2) and S 3 , It is well known that one can analytically continue Ad S p to S p , and vice versa, so that the line elements are related by an overall change in signature ds 2 (Ad S p ) = −ds 2 (S p ). For the above metrics this can be achieved by identifying coordinates as follows, in order that one maps the S 3 metric to the Ad S 3 metric with opposite signature. Given the above parametrisation of the spacetime metric, the six Ad S 3 Killing vectors can be written as, and K 1 = sin τ tanh ω∂ τ − cos τ ∂ ω + sin τ cosh ω ∂ σ , One can check that the two sets of Killing vectors commute with each other and within each set, the SL(2, R) symmetry is manifest through the commutation relations. The corresponding Killing vectors for S 3 take the form, and K 4 = − cot θ cos ψ∂ ψ − sin ψ∂ θ + cos ψ sin θ ∂ φ , As may be anticipated, the Killing vectors are not completely independent and they can also be mapped under the analytic continuation (3.4): Having introduced coordinates that make the symmetries manifest and explained the relation between the two metrics under analytic continuation, to define our deformation we need to specify . Making use of the symmetries, the most general with constant coefficients takes the form, where α, β, γ and δ are constant coefficients. In terms of components, may be expressed as, (3.11) where, due to our conveniently chosen Killing vectors, only depends on ω and θ . If we had chosen different Killing vectors, which are equivalent up to SL(2, R) or SU (2) transformations, dependence on the remaining coordinates would have crept in. For this reason, this is the simplest , but also the most general modulo symmetry transformations.
Here we have introduced, To accommodate deformations based on the modified CYBE we have also allowed for a constant shift in the dilaton φ 0 . It is easy to check that the B-field is closed, i.e. H = 0, so that our examination of the equations of motion will be somewhat simplified.
With the deformed NS sector in hand, bearing in mind that the dilaton equation (A.3) only involves fields from this sector, we are now in a position to document our first constraint on the coefficients: (3.14) To go further and specify the complete solution, we identify the invariant Page forms. In contrast to geometries supported by five-form flux, where there is only a Page five-form, here we have a three-form flux, so we can define both three and seven-form Page forms: The presence of two Page forms simply reflects the fact that the geometry is sourced by D1 and D5-branes and not intersecting D3-branes and this marks a departure from the earlier example. Regardless, our descent procedure still works and employing it we can define an induced one-form and a fiveform: The one-form Q 1 is induced from Q 3 , while the five-form Q 5 is induced from Q 7 . It is straightforward to check that dQ 1 = i I Q 3 , which implies that dQ 5 = i I Q 7 . This leaves only the dQ 3 = i I Q 5 equation of motion from (A.7), which is not obviously satisfied by our descent procedure since there is no induced component to Q 3 , which means that it must be closed. As a result, we identify a further constraint, The above signs are interesting, since assuming everything is real, there is no way to identify constants in a symmetric fashion consistent with analytic continuation (3.4). This suggests that at least one of the constants is pure imaginary. To better understand this point, we recall that the metrics are related by analytic continuation, which in turn relates the constants in the following manner: One immediate consequence of imposing these conditions is that the constraint coming from the dilaton equation (3.14) is trivially satisfied. Furthermore, the constraint (3.17) can be satisfied for two constants κ ± , which may be distinguished by a choice of signs. At this juncture, we should be a little concerned: assuming the remaining equations of motion hold and a solution exists, it is clear that the final geometry will be complex. In contrast, the solutions quoted in the literature, e.g. [15], are all real. That being said, the known solutions differ in an obvious way: the coordinates are not the same. To reconcile everything, it is reasonable to suspect there exists a coordinate transformation, essentially another analytic continuation, through which a real solution is produced. This is indeed the case, as we now explain.
To get a real solution, one must entertain the following coordinate transformations: (3.20) We are now in a position to analyse the two branches (3.19) to recover known solutions from the literature. Let us start with the κ − deformation, which will turn out to be more familiar, since it has been quoted more often in the literature. Employing the coordinate transformation, the deformation parameter may be expressed as, (3.21) and the NS sector for the solution becomes: where we have retained the constant shift in the dilaton. Neglecting Q 7 , which is simply the Hodge dual of Q 3 , the key Page forms are (3.23) which can be unravelled to extract the RR field strengths: Let us now return to the κ + branch. In this case the deformation parameter is ρψ 1 (3.26) and once re-written in the new coordinates, the deformed NS sector takes the form: We omit further expressions, but simply remark that one can analytically continue the two solutions into each other starting with the κ − deformation. The required analytic continuation is A number of comments are in order. The simplest observation is that even though we have used unusual coordinates, our prescription works for Ad S 3 × S 3 and that the RR sector can be constructed via descent from the Page forms. While we have taken pains to isolate the different symmetry factors and their respective Killing vectors, we see that the reality, or otherwise, of the final solution may depend on the choice of coordinates, or alternatively, the Killing vectors. We noted that the deformed solution was complex in the original coordinates we adopted, but through analytic continuation, it could be made real. 11 The fact that we arrive at a complex deformation is expected to be an artifact of the fact that we have also imposed a requirement that the deformations respect the analytic continuation, which clearly complexifies Killing vectors. Presumably if one relaxes this condition, an independent real solution can be found in the original coordinates. Note, even in global coordinates the underlying Killing vectors are complex (see appendix B of [11]), but they conspire to give a real deformation parameter , so the final geometry is real.

Two-parameter q-deformation
Now that we have recovered the known solutions, we can consider the two-parameter q-deformation [38,39]. In [38] only the metric appears, while in [39], the metric is embedded in type II supergravity, where the solution is supported by an RR three-form and one-form. Here, we provide a direct embedding in generalised supergravity, where as is now standard in our approach, we directly use (2.3) to specify the Killing vector.
In order to write down the solution at this stage all we have to do is simply combine the earlier deformations (3.21) and (3.26) and use the map (2.1). Doing so, the NS sector becomes, where we have defined, One can check that the dilaton equation (A.3) is satisfied, so we are clearly on the right track, since one of the non-trivial equations holds. Using our descent procedure for the RR sector, the deformed Page forms become: + 2κ − (−ρ 2 dψ 1 + r 2 dφ 1 ), Unravelling these expressions, we find the RR field strengths: It can be checked that the remaining equations of motion are satisfied provided, Our analysis shows that there is a two-parameter qdeformation of Ad S 3 × S 3 giving rise to a solution to generalised supergravity. In essence, we have simply written it down using the methods outlined in Sect. 2. The existence of this solution was anticipated in earlier work [38,39], but to our knowledge never completed.

Ad S 3 × S 3 × S 3 × S 1
Having discussed the simpler setting of Ad S 3 × S 3 , let us move onto Ad S 3 × S 3 × S 3 , which exhibits large superconformal symmetry and comprises two copies of the exceptional Lie supergroup D(2, 1; α). From the perspective of geometry, we recall that the constant α is the ratio between the radii of the three-spheres and it is our goal here to check that deformations exist for all values of α and construct the solution explicitly. To avoid added complexity, and the resulting lengthy expressions, we will simply deform one of these D(2, 1; α) factors with bosonic subgroup SL(2, R)×SU (2)×SU (2). The generalisation to both copies of D(2, 1; α) is straightforward and follows similar lines to the previous section.
Before proceeding to the analysis, let us advertise one interesting feature of the deformation. In contrast to the previous example where there was no induced Page three-form Q 3 , here we will find that it is induced from the (closed) Page seven-form Q 7 . This means that there are two contributions to Q 3 : one is inherited from the original geometry, while the other is induced. This is a feature of more complicated deformations. For example, it is relatively straightforward to extend our analysis here to IIA and cosets, such as AdS 4 ×M 6 , where M 6 is CP 3 , CP 2 × S 2 , S 2 × S 2 × S 2 , etc. 12 In the process, it is clear one will generate examples of deformed geometries supported by a zoo of RR field strengths. But back to the task at hand. We recall that the undeformed geometry may be written as, where adopting the lesson from the last section, we will employ global coordinates, This is a solution to type IIB supergravity provided the radii satisfy the relation As we have seen in the last section, if one neglects the second three-sphere, there is a deformation where the bivector takes the form (3.21). This suggests that we can extend the deformation to the second three-sphere by simply repeating it, Since we have yet to identify the relation between the deformation parameters, for the moment κ 0 , κ 1 and κ 2 are arbitrary constants. The plan now is to use our prescription to fix them and check that the constant α drops, or put alternatively, that there is a choice of constants so that the constraint on the radii (4.3) still holds. First, let us perform the transformation (2.1) with a view to identifying the deformed metric and B-field. The resulting expressions are, 12 See [42] for a review.
It should be noted that H = dB = 0 and it will not feature in the equations of motion. From (2.3) we can determine the Killing vector, (4.7) At this juncture, we can once again go ahead and check the dilaton equation as it does not involve the RR sector. The dilaton equation is satisfied provided, This is the first indication that there is a good deformation. The κ-independent terms vanish using the constraint on the radii, as expected, leaving a constraint on the constants to be imposed.
To make use of our procedure, we identify the original Page forms, and define induced Page forms by descent, starting with the one-form Q 1 , which can be unambiguously identified, The sign is essentially fixed by the requirement that dQ 1 = i I Q 3 . This allows us to identify the one-form F 1 , From here we can move onto extracting F 3 . While there is a contribution to Q 3 that is invariant and therefore closed, there is also an additional induced contribution from the Page seven-form, Combining this with the original Q 3 , we can evaluate F 3 : where we have omitted wedge products to save space. Following our prescription, Q 5 follows from Q 7 , again through contraction, (4.14) One can again check that the equations of motion dQ 3 = i I Q 5 and dQ 5 = i I Q 7 are satisfied. We also require that dQ 3 = i I Q 5 , otherwise the equations of motion will not be satisfied. This turns out to be the case.
At this stage, there are two consistency checks that confirm we are on the right track. First, it can be checked that the final F 5 is self-dual, a feature we have not put in by hand, rather it falls out of our prescription. Secondly, it can be checked that the Einstein equation E x x = 0 is satisfied, once (4.3) holds, consistent with our expectation of a solution existing.
To complete the solution, we should use the remaining equations of motion to fix φ 0 . With H = 0, this is most easily done by checking the B-field equation (A.2), which is satisfied once we introduce an additional constant κ, so that the dilaton shift takes the form, (4.16) This allows us to rewrite the original constants in terms of κ,

A Generalised supergravity
The equations of motion of generalised IIB supergravity may be expressed as [15,16]: and the stress-energy tensor, where the forms F are the usual RR field strengths F rescaled by the dilaton, F = e φ F. It should be noted that the modification from usual IIB supergravity is captured by the Killing vector and setting I = 0, we recover the original theory.
To simplify the equations involving the RR sector only, following [12] we introduce Page forms, so that the equations of motion take the simple form, dQ 2n−1 = i I Q 2n+1 , n = 1, 2, 3, 4. (A.7) It is worth noting that the RR sector acts largely as a spectator and the modification is more pronounced in the NS sector, where it may be traced to non-Abelian T-duality with respect to non-semisimple groups [43,44]. The equations of motion of generalised IIA supergravity may be expressed as  where the zero, two and four-form are related to the usual RR field strengths through a factor of the dilaton, F = e φ F. Defining the Page forms, Note that in contrast to usual massive IIA supergravity, F 0 may not be a constant. The equations of motion of the RR sector take the form dQ 2n = i I Q 2n+2 , n = 0, 1, 2, 3, 4. (A.12)

B A trivial solution
In [28] a class of "trivial" solutions to generalised supergravity were identified. Solutions are deemed trivial when they satisfy the standard supergravity equations, even though I = 0, and this happens when the following two conditions are met: Here we present a simple example of a trivial solution by considering a deformation of flat spacetime. In particular, we consider flat spacetime in 3D, 13 but this example immediately generalises to higher dimensions. We recall the rmatrix (1.1) and take the vector a to be null, a = (η, η, 0). See [45] for an earlier pp-wave example of a trivial solution. Concretely, we consider the spacetime, ds 2 = −dt 2 + dx 2 + dy 2 , (B.2) and we will use our prescription outlined in Sect. 2 to generate the deformed geometry. Replacing the generators by Killing vectors, while identifying = r , the deforming bivector becomes: t x = η(t + x), ty = ηy, xy = −ηy. (B.3) 13 We thank S. van Tongeren for pointing out the 2D deformation is simply flat spacetime, thus making it completely trivial.
Using (2.1), (2.3) and (2.4), the deformed solution is ds 2 = 1 −(1 + η 2 y 2 )dt 2 + (1 − η 2 y 2 )dx 2 + dy 2 − 2η 2 y 2 dtdx + 2η 2 (t + x)ydtdy + 2η 2 (t + x)ydxdy , where we have defined Lowering the indices on the Killing vector, the one-form I is It is easy to check that I is null and since both it and B are closed, the second condition presented in (B.1) is trivially satisfied. As a result, this solution constitutes an example of a trivial solution. This means that the dilaton can be shifted to absorb the Killing vector I , so that the deformed spacetime may be regarded as a solution to standard supergravity.