Abstract
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 \(AdS_3 \times S^3 \times M_4\), where \(M_4 = T^4\) (K3) and \(S^3 \times S^1\), and explicitly construct one and two-parameter integrable q-deformations that are solutions to generalised supergravity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Over recent years, the Yang–Baxter \(\sigma \)-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 \(\sigma \)-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.Footnote 1 However, this appears to be a disproportionate rareness, since given an r-matrix solution 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 open-closed string map [14], where the deformation is specified by a bivector \(\Theta \) 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 \(\sigma \)-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, \(\Theta \) is identified with an r-matrix solution.Footnote 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 \(\Theta \) 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 \(\Theta \) 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 \(\kappa \)-deformation of the Poincaré algebra \(\mathfrak {g} = \mathfrak {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 \(\kappa \)-deformation leads to a “trivial” solution [28] of generalised supergravity.Footnote 3 In contrast, we find using our method it is not possible to generate a deformation of flat spacetime that admits \(\kappa \)-deformations where a is not null.Footnote 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 recycle 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.Footnote 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 direct-products of coset geometries. This in turn implies that we should be able to deform geometries such as \(AdS_5 \times 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 so-called \(\eta \)-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 \(AdS_3 \times S^3 \times M_4\) deformations, where \(M_4 = T^4\) or K3, and \(M_4 = S^3 \times 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 ; \alpha )\) . 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].
2 Methodology
We begin by reviewing the method outlined in [13], which is valid for supergravity solutions not supported by an NSNS two-form.Footnote 6 Central to our prescription is the open-closed string map [14]
where G denotes the original metric, \(\Theta \) 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 \(\Theta \) as an antisymmetric product of Killing vectors \(K^{\mu }_i\)
where \(r^{ij}\) is a skew-symmetric matrix, \(r^{ij} = - 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 \(\phi \) is related to the original dilaton \(\Phi \) 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 \(\Theta \) are constrained so that it is an r-matrix solution to the (homogeneous) CYBE.Footnote 7 It should be noted that in contrast to the Yang–Baxter \(\sigma \)-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 that all information of the deformation must follow from a knowledge of \(\Theta \). In contrast to the usual approach, we arrive at the deformed RR sector by descent simply by contracting \(\Theta \) 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 form \(\tilde{Q}\) from the original supergravity solution, which is guaranteed to be closed, we define induced Page forms Q associated to this form by descentFootnote 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 of \(\tilde{Q}\) 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 \(\Theta \) 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 \(\Theta \) and for this reason the RR sector is ambivalent to the precise form of \(\Theta \): 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 \(AdS_2 \times S^2 \times 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 \(\omega _r, \omega _i\) are related to a complex (3, 0)-form on the torus, \(\omega _r - i \omega _i = \Omega _{(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 \(AdS_2\) deformation.
The \(AdS_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 \(\Theta \), 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 \(\zeta \):
One can quickly confirm that the original geometry is recovered when \(\zeta = 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 \(\beta ^2 = \alpha \gamma \), which is precisely the homogeneous CYBE for the algebra \(\mathfrak {g} = \mathfrak {sl}(2)\) once \(\Theta \) is identified with the corresponding r-matrix solution to the CYBE. This term is traceable to derivatives of \(\Theta \), or \(\zeta \) in this case, and for TsT transformations where \(\Theta \) 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 \(\Theta \),
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
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 \(\Theta \) 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,Footnote 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, \(\phi \rightarrow \phi + \phi _0\). From the Einstein equation and the B-field equation of motion, we see that choosing
ensures that both equations are satisfied without constraining \(\alpha , \beta \) and \(\gamma \). 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 in [13]. Note, the same conclusion is reached by studying the Einstein equation in the \((\theta , \phi )\)-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 two-sphere.
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]:
and the Einstein equation,
where we have added the contribution from the dilaton shift, \(\phi \rightarrow \phi + \log \kappa \), and \(T^{(0)}_{\mu \nu }\) 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 \(\Theta \).
It is clear from the Einstein equation that the dilaton shift back-reacts once \(T^{(0)}_{\mu \nu } \ne 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 direct-products 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.
3 \(AdS_3 \times S^3\) revisited
Having laid out our stall, in this section we turn to explicit examples and revisit deformations of \(AdS_3 \times S^3 \times T^4\) where \(\Theta \) is an r-matrix solution to the modified CYBE. Our motivation for doing so is two-fold. First, \(AdS_3 \times S^3 \times T^4\) is usually supported by three-form flux and not five-form flux, as was the case of the example studied in the previous section,Footnote 10 so one can ask whether this complicates the descent procedure involving the Page forms.
Secondly, the isometry group of \(AdS_2 \times S^2\) is \(SL(2, \mathbb {R}) \times SU(2)\), whereas \(AdS_3 \times S^3\) has double the symmetry, i.e. \(SL(2, \mathbb {R})_{L} \times SL(2, \mathbb {R})_{R} \times SU(2)_L \times 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 \(\sigma \)-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 \(AdS_3 \times S^3 \times T^4\) solution,
where we will use the following “Hopf-fibre” metrics for \(AdS_3\),
and \(S^3\),
It is well known that one can analytically continue \(AdS_p\) to \(S^p\), and vice versa, so that the line elements are related by an overall change in signature \(\text {d}s^2(AdS_p) = - \text {d}s^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 \(AdS_3\) metric with opposite signature.
Given the above parametrisation of the spacetime metric, the six \(AdS_3\) Killing vectors can be written as,
and
One can check that the two sets of Killing vectors commute with each other and within each set, the \(SL(2,\mathbb {R})\) symmetry is manifest through the commutation relations. The corresponding Killing vectors for \(S^3\) take the form,
and
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 \(\Theta \). Making use of the symmetries, the most general \(\Theta \) with constant coefficients takes the form,
where \(\alpha , \beta , \gamma \) and \(\delta \) are constant coefficients. In terms of components, \(\Theta \) may be expressed as,
where, due to our conveniently chosen Killing vectors, \(\Theta \) only depends on \(\omega \) and \(\theta \).
If we had chosen different Killing vectors, which are equivalent up to \(SL(2, \mathbb {R})\) or SU(2) transformations, dependence on the remaining coordinates would have crept in. For this reason, this is the simplest \(\Theta \), but also the most general modulo symmetry transformations.
With \(\Theta \) specified, it is a straightforward exercise to exploit (2.1), (2.3) and (2.4) to write out the deformed metric,
and supporting fields from the NS sector,
Here we have introduced,
To accommodate deformations based on the modified CYBE we have also allowed for a constant shift in the dilaton \(\phi _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:
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 five-form:
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 \(\text {d}Q_1 = i_{I} Q_3\), which implies that \(\text {d}Q_5 = i_{I} Q_7\). This leaves only the \(\text {d}Q_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 \(\kappa _{\pm }\),
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:
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 \(\kappa _-\) 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,
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
which can be unravelled to extract the RR field strengths:
To complete the solution, one needs to fix the constant shift in the dilaton and this can be done using either the Einstein (A.1) or the B-field equation of motion (A.2):
Let us now return to the \(\kappa _+\) branch. In this case the deformation parameter is
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 \(\kappa _-\) 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 \(AdS_3 \times 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.Footnote 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 \(\Theta \), so the final geometry is real.
3.1 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:
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 q-deformation of \(AdS_3 \times 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.
4 \(AdS_3 \times S^3 \times S^3 \times S^1\)
Having discussed the simpler setting of \(AdS_3 \times S^3\), let us move onto \(AdS_3 \times S^3 \times S^3\), which exhibits large superconformal symmetry and comprises two copies of the exceptional Lie supergroup \(D(2, 1; \alpha )\). From the perspective of geometry, we recall that the constant \(\alpha \) 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 \(\alpha \) and construct the solution explicitly. To avoid added complexity, and the resulting lengthy expressions, we will simply deform one of these \(D(2, 1; \alpha )\) factors with bosonic subgroup \(SL(2, \mathbb {R}) \times SU(2) \times SU(2)\). The generalisation to both copies of \(D(2, 1; \alpha )\) 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 \({{\mathrm{AdS}}}_4 \times M_6\), where \(M_6\) is \(\mathbb {C} P^3\), \(\mathbb {C} P^2 \times S^2\), \(S^2 \times S^2 \times S^2\), etc.Footnote 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 \(\kappa _0, \kappa _1\) and \(\kappa _2\) are arbitrary constants. The plan now is to use our prescription to fix them and check that the constant \(\alpha \) 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,
It should be noted that \(H = \text {d}B = 0\) and it will not feature in the equations of motion.
From (2.3) we can determine the Killing vector,
while the dilaton, modulo the usual constant \(\phi _0\), follows from the T-duality invariant (2.4):
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 \(\kappa \)-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 \( \text {d}Q_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,
One can again check that the equations of motion \( \text {d}Q_3 = i_{I} Q_5\) and \(\text {d}Q_5 = i_{I} Q_7\) are satisfied. We also require that \( \text {d}Q_3 = i_{I} Q_5\), otherwise the equations of motion will not be satisfied. This turns out to be the case.
We are now in a position to identify the lengthy five-form flux,
where once again we have omitted wedge products.
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_{xx} = 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 \(\phi _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 \(\kappa \), so that the dilaton shift takes the form,
This allows us to rewrite the original constants in terms of \(\kappa \),
With this choice, it is now clear the dilaton equation (4.8) is satisfied once (4.3) holds. This confirms that a solution exists and it is a lengthy, but straightforward calculation, to check that the Einstein equation also holds. As stated earlier, it is straightforward to generalise the above deformation to a two-parameter deformation.
Notes
Since we are deforming flat spacetime, this provides arguably the simplest example in this class.
As we explain later, our prescription for generating solutions based on the modified CYBE rests upon displacing the NS and RR sectors. Without an RR sector, this prescription does not work. However, it is possible to find deformations of flat spacetime by contracting \(AdS_5 \times S^5\) deformations [29].
In string theory, a constant shift in the dilaton does not change the world-sheet action as the two-dimensional Ricci scalar is a topological number. This constant shift changes the effective string coupling constant and this is a modulus of the theory. It is also worth stressing that in the absence of an RR sector, the dilaton shift does not back-react.
See [13] for deformations of the Schwarzschild metric.
Given a p-form A and q-form B with \(p \le q\), we define the contraction \((A \lrcorner B)_{\mu _{p+1} \dots \mu _q} = \frac{1}{p!} A^{\mu _1 \dots \mu _p} B_{ \mu _1 \dots \mu _p \mu _{p+1} \dots \mu _q}\).
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.
One can always T-dualise on \(T^4\) to replace the three-form with five-form flux. Note, this is not possible for \(AdS_3 \times S^3 \times S^3 \times S^1\).
This is somewhat reminiscent of \(\lambda \)-deformations of \(AdS_3 \times S^3\) based on \(SL(2, \mathbb {R})\) and SU(2) group manifolds [41], but there it is simply the RR sector that is complex, whereas here the spacetime metric is also complex in the original coordinates.
See [42] for a review.
We thank S. van Tongeren for pointing out the 2D deformation is simply flat spacetime, thus making it completely trivial.
References
C. Klimcik, Yang–Baxter sigma models and dS/AdS T duality. JHEP 0212, 051 (2002). arXiv:hep-th/0210095
F. Delduc, M. Magro, B. Vicedo, An integrable deformation of the \(AdS_5 \times S^5\) superstring action. Phys. Rev. Lett. 112(5), 051601 (2014). arXiv:1309.5850 [hep-th]
I. Kawaguchi, T. Matsumoto, K. Yoshida, Jordanian deformations of the \(AdS_5 \times S^5\) superstring. JHEP 1404, 153 (2014). arXiv:1401.4855 [hep-th]
I. Kawaguchi, T. Matsumoto, K. Yoshida, A Jordanian deformation of AdS space in type IIB supergravity. JHEP 1406, 146 (2014). arXiv:1402.6147 [hep-th]
T. Matsumoto, K. Yoshida, Lunin–Maldacena backgrounds from the classical Yang–Baxter equation—towards the gravity/CYBE correspondence. JHEP 1406, 135 (2014). arXiv:1404.1838 [hep-th]
T. Matsumoto, K. Yoshida, Integrability of classical strings dual for noncommutative gauge theories. JHEP 1406, 163 (2014). arXiv:1404.3657 [hep-th]
F. Delduc, M. Magro, B. Vicedo, Derivation of the action and symmetries of the \(q\)-deformed \(AdS_{5} \times S^{5}\) superstring. JHEP 1410, 132 (2014). arXiv:1406.6286 [hep-th]
B. Hoare, S.J. van Tongeren, Non-split and split deformations of \({\rm AdS}_{5}\). J. Phys. A 49(48), 484003 (2016). arXiv:1605.03552 [hep-th]
B. Hoare, R. Roiban, A.A. Tseytlin, On deformations of \(AdS_n \times S^n\) supercosets. JHEP 1406, 002 (2014). arXiv:1403.5517 [hep-th]
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(10), 105006 (2017). arXiv:1702.02861 [hep-th]
T. Araujo, I. Bakhmatov, E.Ó. Colgáin, J.I. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, Conformal twists, Yang–Baxter \(\sigma \)-models and holographic noncommutativity. arXiv:1705.02063 [hep-th]
T. Araujo, E.Ó. Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, \(I\) in generalized supergravity. Eur. Phys. J. C 77(11), 739 (2017). arXiv:1708.03163 [hep-th]
I. Bakhmatov, Ö. Kelekci, E.Ó. Colgáin, M.M. Sheikh-Jabbari, Classical Yang–Baxter equation from supergravity. arXiv:1710.06784 [hep-th]
N. Seiberg, E. Witten, String theory and noncommutative geometry. JHEP 9909, 032 (1999). arXiv:hep-th/9908142
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 [hep-th]
L. Wulff, A.A. Tseytlin, Kappa-symmetry of superstring sigma model and generalized 10d supergravity equations. JHEP 1606, 174 (2016). arXiv:1605.04884 [hep-th]
I. Bakhmatov, E.Ó. Colgáin, M.M. Sheikh-Jabbari, H. Yavartanoo, Yang–Baxter deformations beyond coset spaces, a slick way to do TsT. arXiv:1803.07498 [hep-th]
S.J. van Tongeren, Yang–Baxter deformations, AdS/CFT, and twist-noncommutative gauge theory. Nucl. Phys. B 904, 148 (2016). arXiv:1506.01023 [hep-th]
S.J. van Tongeren, Almost abelian twists and AdS/CFT. Phys. Lett. B 765, 344 (2017). arXiv:1610.05677 [hep-th]
J.I. Sakamoto, Y. Sakatani, K. Yoshida, Homogeneous Yang–Baxter deformations as generalized diffeomorphisms. J. Phys. A 50(41), 415401 (2017). arXiv:1705.07116 [hep-th]
J.J. Fernandez-Melgarejo, J.I. Sakamoto, Y. Sakatani, K. Yoshida, \(T\)-folds from Yang–Baxter deformations. JHEP 1712, 108 (2017). arXiv:1710.06849 [hep-th]
J.I. Sakamoto, Y. Sakatani, Local \(\beta \)-deformations and Yang–Baxter sigma model. arXiv:1803.05903 [hep-th]
B. Hoare, A.A. Tseytlin, Type IIB supergravity solution for the T-dual of the \(\eta \)-deformed AdS\(_{5} \times \) S\(^{5}\) superstring. JHEP 1510, 060 (2015). arXiv:1508.01150 [hep-th]
D. Orlando, S. Reffert, J.I. Sakamoto, K. Yoshida, Generalized type IIB supergravity equations and non-Abelian classical r-matrices. J. Phys. A 49(44), 445403 (2016). arXiv:1607.00795 [hep-th]
O. Lunin, J.M. Maldacena, Deforming field theories with \(U(1) \times U(1)\) global symmetry and their gravity duals. JHEP 0505, 033 (2005). arXiv:hep-th/0502086
A. Borowiec, A. Pachol, Unified description for \(\kappa \)-deformations of orthogonal groups. Eur. Phys. J. C 74(3), 2812 (2014). arXiv:1311.4499 [math-ph]
A. Borowiec, H. Kyono, J. Lukierski, J.I. Sakamoto, K. Yoshida, Yang–Baxter sigma models and Lax pairs arising from \(\kappa \)-Poincaré \(r\)-matrices. JHEP 1604, 079 (2016). arXiv:1510.03083 [hep-th]
L. Wulff, Trivial solutions of generalized supergravity vs non-abelian T-duality anomaly. Phys. Lett. B 781, 417 (2018). arXiv:1803.07391 [hep-th]
A. Pachol, S.J. van Tongeren, Quantum deformations of the flat space superstring. Phys. Rev. D 93, 026008 (2016). arXiv:1510.02389 [hep-th]
B. Hoare, A.A. Tseytlin, Homogeneous Yang–Baxter deformations as non-abelian duals of the \(AdS_5\) sigma-model. J. Phys. A 49(49), 494001 (2016). arXiv:1609.02550 [hep-th]
R. Borsato, L. Wulff, Integrable deformations of \(T\)-dual \(\sigma \) models. Phys. Rev. Lett 117(25), 251602 (2016). arXiv:1609.09834 [hep-th]
B. Hoare, D.C. Thompson, Marginal and non-commutative deformations via non-abelian T-duality. JHEP 1702, 059 (2017). arXiv:1611.08020 [hep-th]
R. Borsato, L. Wulff, On non-abelian T-duality and deformations of supercoset string sigma-models. JHEP 1710, 024 (2017). arXiv:1706.10169 [hep-th]
S.F. Hassan, T duality, space-time spinors and RR fields in curved backgrounds. Nucl. Phys. B 568, 145 (2000). arXiv:hep-th/9907152
Ö. Kelekci, Y. Lozano, N.T. Macpherson, E.Ó. Colgáin, Supersymmetry and non-Abelian T-duality in type II supergravity. Class. Quantum Gravity 32(3), 035014 (2015). arXiv:1409.7406 [hep-th]
R. Borsato, L. Wulff, Target space supergeometry of \(\eta \) and \(\lambda \)-deformed strings. JHEP 1610, 045 (2016). arXiv:1608.03570 [hep-th]
P. Basu, L.A. Pando Zayas, Chaos rules out integrability of strings on AdS\(_5 \times T^{1,1}\). Phys. Lett. B 700, 243 (2011). arXiv:1103.4107 [hep-th]
B. Hoare, Towards a two-parameter q-deformation of AdS\(_3 \times S^3 \times M^4\) superstrings. Nucl. Phys. B 891, 259 (2015). arXiv:1411.1266 [hep-th]
O. Lunin, R. Roiban, A.A. Tseytlin, Supergravity backgrounds for deformations of AdS\(_{n} \times S^n\) supercoset string models. Nucl. Phys. B 891, 106 (2015). arXiv:1411.1066 [hep-th]
V.A. Fateev, The sigma model (dual) representation for a two-parameter family of integrable quantum field theories. Nucl. Phys. B 473, 509 (1996)
K. Sfetsos, D.C. Thompson, Spacetimes for \(\lambda \)-deformations. JHEP 1412, 164 (2014). arXiv:1410.1886 [hep-th]
M.J. Duff, B.E.W. Nilsson, C.N. Pope, Kaluza–Klein supergravity. Phys. Rep. 130, 1 (1986)
S. Elitzur, A. Giveon, E. Rabinovici, A. Schwimmer, G. Veneziano, Remarks on nonAbelian duality. Nucl. Phys. B 435, 147 (1995). arXiv:hep-th/9409011
M. Hong, Y. Kim, E. Ó. Colgáin, On non-Abelian T-duality for non-semisimple groups. arXiv:1801.09567 [hep-th]
B. Hoare, S.J. van Tongeren, On jordanian deformations of AdS\(_5\) and supergravity. J. Phys. A 49(43), 434006 (2016). arXiv:1605.03554 [hep-th]
Acknowledgements
We thank Ilya Bakhmatov and Shahin Sheikh-Jabbari for feedback on results, as well as Ben Hoare, Kostas Sfetsos, Dan Thompson, Jun-ichi Sakamoto, Stijn van Tongeren and Kentaroh Yoshida for discussion on related topics. E. Ó. C. thanks the Theoretical Physics Department at Maynooth University and the Universidad de Murcia for hospitality during the workshop “Geometry, Duality and Strings 2018”, 23–26 May 2018, Murcia, Spain. The work of HY is supported in part by National Natural Science Foundation of China, Project 11675244.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Generalised supergravity
The equations of motion of generalised IIB supergravity may be expressed as [15, 16]:
where we have defined the one-form in terms of the dilaton \(\phi \), Killing vector I and B-field,
and the stress-energy tensor,
where the forms \(\mathcal {F}\) are the usual RR field strengths F rescaled by the dilaton, \(\mathcal {F} = e^{\phi } 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,
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
with no change for the dilaton equation (A.3) and we have defined the stress-energy tensor:
where the zero, two and four-form are related to the usual RR field strengths through a factor of the dilaton, \(\mathcal {F} = e^{\phi } 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
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 \ne 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,Footnote 13 but this example immediately generalises to higher dimensions. We recall the r-matrix (1.1) and take the vector a to be null, \(a = (\eta , \eta , 0)\). See [45] for an earlier pp-wave example of a trivial solution.
Concretely, we consider the spacetime,
and we will use our prescription outlined in Sect. 2 to generate the deformed geometry. Replacing the generators by Killing vectors, while identifying \(\Theta = r\), the deforming bivector becomes:
Using (2.1), (2.3) and (2.4), the deformed solution is
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.
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
Araujo, T., Colgáin, E.Ó. & Yavartanoo, H. Embedding the modified CYBE in supergravity. Eur. Phys. J. C 78, 854 (2018). https://doi.org/10.1140/epjc/s10052-018-6335-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6335-6