Abstract
We showed in previous work that for homogeneous Yang–Baxter (YB) deformations of AdS\(_5\times \)S\(^5\) the open string metric and coupling and as a result the closed string density \(e^{-2 \Phi } \sqrt{g}\) remain undeformed. In this work, in addition to extending these results to the deformation associated with the modified CYBE or \(\eta \)-deformation, we identify the Page forms as the open string counterpart for RR fields and demonstrate case by case that the non-zero Page forms remain invariant under YB deformations. We give a physical meaning to the Killing vector I of generalized supergravity and show for all YB deformations: (1) I appears as a current for the center of mass motion on the worldvolume of a D-brane probing the background, (2) I is equal to the divergence of the noncommutativity parameter, (3) I exhibits “holographic” behavior where the radial component of I vanishes at the AdS boundary and (4) in pure spinor formalism I is related to a certain state in the BRST cohomology.
Avoid common mistakes on your manuscript.
1 Introduction
Over recent years we have witnessed an explosion in interest in integrability preserving deformations of AdS\(_5\times \)S\(^5\) superstring, collectively dubbed Yang–Baxter (YB) deformations [1,2,3,4] which include T-duality shift T-duality (TsT) transformations [5] as a special case. As a by-product of this breakthrough a large family of supergravity solutions, or geometries, of varying complexity can be defined. In [6, 7] it was observed that within the ensuing geometric madness was a simplifying principle: for homogeneous YB deformations it was shown that in open string frame the metric and string coupling were undeformed and all information about the deformation resided in a noncommutativity (NC) parameter or antisymmetric bivector \(\Theta \), thus unlocking a key to the AdS/CFT interpretation (see also [8, 9]). In this letter, noting the key role played by pure gauge contributions to the NSNS two-form, we extend the results to \(\eta \)-deformations.
Concurrently, significant progress has been made in the Green–Schwarz (GS) formulation of superstring theory. From old work [10] the on-shell condition of type II supergravities ensures the invariance of the GS string action under kappa-symmetry (which is a local fermionic symmetry and necessary to get the right number of physical spacetime fermions). On the other hand, the reverse statement had not been clarified even after more than three decades. In groundbreaking work by Tseytlin and Wulff [11] it has been shown that the kappa-symmetry of the GS string action defined on an arbitrary background leads to generalized type II supergravities [12] including an extra Killing vector field I, rather than the usual well-known supergravities. The derivation of generalized supergravity is robust and the result is so striking that the fundamental aspects of superstring theory must be carefully reconsidered. Hence, the study of generalized type II supergravities is a fundamental issue concerned with the formulation of superstring theory. Here we confine our attention to generalized type IIB supergravity. We reproduce the equations of motion (EOM) of the NSNS sector in the appendix.
It is worth making a comment on the Weyl invariance of the string theory when the target space is given by a solution of the generalized supergravity. In the original paper [12] the worldsheet theory was described as non-Weyl invariant. Then in recent work [13], the modified Fradkin–Tseytlin (FT) term was proposed and the Weyl invariance was shown in the doubled formalism where the counter-term is non-local due to the dual coordinate dependence of the dilaton. We recall here that the interpretation of the FT term itself is different from that of the usual counter-term. In particular, it breaks the classical Weyl invariance. However, this issue can be overcome because the FT term should be regarded as a one-loop quantum correction rather than the classical one. With the same logic the non-locality of the modified FT term can also be avoided. In fact the extra vector field I is identified with a trace of non-geometric Q-flux as shown in [14]. Hence the solutions of the generalized supergravities are non-geometric. To account for the global property of the non-geometric background the non-locality of the FT term should be rather natural.
In generalized type IIB supergravity itself there are many open questions, including: What is the physical interpretation of I? In order to tackle these issues it is useful to employ the YB deformation because this can be regarded as a solution generation technique in generalized supergravity. Although we appreciate the profound derivation of the generalized type IIB supergravity from the kappa-invariance nowadays it is remarkable that its discovery was a by-product of an enriched understanding of integrable deformations of the AdS\(_5\times \)S\(^5\) superstring.
The integrable deformation technique that concerns us was invented by Klimcik for the principal chiral models based on the modified classical Yang–Baxter equation (mCYBE) [1, 2]. According to this procedure an integrable deformation is specified by taking a classical r-matrix satisfying the mCYBE. Hence this procedure is often called the Yang–Baxter deformation. Klimcik’s work was subsequently generalized to the symmetric coset case [3] and the homogeneous CYBE [4]. Since the classical action of the AdS\(_5\times \)S\(^5\) superstring [15] has a construction based on the supercoset
the \(\mathbf {Z}_4\)-grading of the superalgebra leads to classical integrability [16]. Thus, the YB deformation is also applicable to the AdS\(_5\times \)S\(^5\) superstring theory [17, 18]. The pioneering work of Delduc, Magro and Vicedo [17], based on the mCYBE, is the standard q-deformation of \(\mathfrak {su}(2,2|4)\) with the classical r-matrix of Drinfeld–Jimbo type. This is often called the \(\eta \)-deformation. After performing a supercoset construction the full background, including the RR sector, was worked out [19], which led to the surprise that the resulting background was not a solution of the usual type IIB supergravity but a generalized variant [12].
To date, a considerable amount of community effort has focused on the largely technical exercise of mapping out the dictionary between r-matrices and geometries, or YB deformations, including connections to (non-Abelian) T-duality [20,21,22,23,24,25,26,27,28,29,30,31,32]. Following the latter thread further, the relation between Double Field Theory (DFT) [33,34,35] was elucidated in [13, 14, 36, 37] and some implications for the AdS/CFT dual gauge theory, including whether planar integrability is preserved [38, 39], have been teased out in [6,7,8,9, 40, 41]. For studies of integrability, including classical solutions on the \(\eta \)-deformed background, see [42,43,44,45,46,47,48,49,50,51,52,53]. In this letter, we return to the physical interpretation of the Killing vector I.
We recall for homogeneous YB deformations that the Killing vector I is related to the divergence of the noncommutativity (NC) parameter, or bivector \(\Theta \) [6, 7],
where \(\nabla \) is the covariant derivative with respect to the open string metric. The validity of this relation has been checked for homogeneous YB deformations on a case by case basis and an outline of its derivation was given in [7]. In this letter we extend this result to the well-known \(\eta \)-deformations [17, 19, 54, 55] and provide a derivation in terms of D3-branes probing the background, where I may be interpreted as a current for the center of mass motion on the D3-brane worldvolume.
The conclusion that (2) holds for all YB deformations, including \(\eta \)-deformations, hinges on the observation that Page forms [56], special combinations of RR fluxes and NSNS two-form that appear in the D-brane action, facilitate a simple rewriting of the equations of generalized supergravity and that the Page five-form associated with the D3-brane is invariant, which we have confirmed on a case by case basis. Recalling that the corresponding quantized Page charges are mapped to the ranks of gauge groups in the dual field theory, one arrives at some intuitive understanding for this invariance through AdS/CFT. More generally, we conjecture that the non-zero Page forms are invariants of YB deformations. In addition, through complementary comments on the role of I as a certain state in the BRST cohomology in pure spinor formalism, our work provides I with a more physical flavor.
In the remainder of the letter we study \(\eta \)-deformations. Concretely, we demonstrate that the appropriate inclusion of pure gauge contributions to the NSNS two-form indeed results in an open string metric that is undeformed. For the explicit Arutyunov, Borsato and Frolov (ABF) solution [19, 54] we check that the well-known T-duality invariant \(e^{-2 \Phi } \sqrt{g}\) is also an invariant of the deformation. This extends an earlier observation, originally only valid for homogeneous YB deformations [7], to YB deformations associated with \(\eta \)-deformations. We use this fact and (2) to determine the NSNS sector of \(\eta \)-deformations of AdS\(_5 \times \)S\(^5\) [55],Footnote 1 in the process finding that the open string metric is undeformed, in line with our expectations. We check all expressions against the dilaton EOM which we show is satisfied in all cases.
2 Open string frame
In the context of string theory and its related effective field theories, depending on the probes used and the associated degrees of freedom, one may conveniently describe the system in different frames. These frames are related by field redefinitions and carry the name of the associated probe. For example, closed strings probe string frame and particles probe Einstein frame. Within string theory, especially when we have D-brane probes, or when we have spacetimes with a causal boundary like AdS geometry, one may choose to probe spacetime with D-branes or “open strings”. It is well known, especially after the seminal work of Seiberg and Witten [57], that the open string and closed string frames in the NSNS sector are different if we have a Kalb–Ramond B-field in the background. In this section, we first review the open string frame in the NSNS sector and then introduce the open string frame fields for the RR sector.
2.1 Open string frame, NSNS sector
Given a triple (\(g_{MN}, B_{MN}, \Phi \)), comprising the closed string metric g, the closed string coupling \(g_s e^{\Phi }\) and the NSNS two-form B, an open string metric G, an antisymmetric bivector \(\Theta \) and open string coupling \(G_s\) can be defined [57],Footnote 2
The above are called open string fields because they are the combinations naturally appearing in the DBI part of the brane action describing open strings. Also it can directly be shown that these are the fields appearing in the low-energy effective limit of open string scatterings [57, 59].
For r-matrix solutions to the homogeneous CYBE it was noted in [6, 7] that following the frame change, the open string metric is simply undeformed AdS\(_5\) with constant open string coupling \(G_s = g_s\) and that all information about the YB deformation resides in the bivector \(\Theta \). Invariance of the open string metric and coupling under O(d, d) transformations had been observed earlier [60]. In addition the bivector exhibits holographic commutativity as \(\Theta \) depends on the holographic direction z but all dependence drops out at the boundary \(z=0\). To be more precise, it was noted that \(\Theta ^{\mu z} |_{z=0} = 0\). At \(z=0\) one is expected to make contact with a NC deformation of \({\mathcal {N}} =4\) super Yang–Mills: in support of this correspondence it has been shown case by case that the bivector, evaluated at \(z=0\), agrees with the Moyal bracket arising from the Drinfeld twist [61] of the conformal algebra. At the level of algebra this establishes an equivalence between homogeneous YB deformations and conformal twists, thereby substantiating an earlier conjecture of van Tongeren [8].
A corollary of these results is the relation [7],
G being an undeformed AdS\(_5 \times \)S\(^5\) metric implies that the density \(e^{-2 \Phi } \sqrt{\det g}\), in addition to being a well-known invariant of Buscher’s T-duality, is more generally an invariant of YB deformations based on r-matrix solutions to the homogeneous CYBE. We will show later that this extends to \(\eta \)-deformations [17, 54, 55].
It was shown in [6, 7] that for homogeneous YB deformations we always have Eq. (2), thus relating I to the open string bivector \(\Theta \). This relation was explicitly checked for an exhaustive set of backgrounds associated with conformal twists. Moreover, we gave a symmetry based argument for (2) but with an incomplete derivation. In this letter we complete the derivation and demonstrate below that (2) as well as the symmetry based argument leading to it remain valid for the mCYBE case associated with \(\eta \)-deformations. In addition we show that an expression for the dilaton can be read off from (6), once one uses the fact that G is undeformed.
2.2 Open string frame, RR sector
In closed string theory we have RR form fields too and one may wonder what are their corresponding fields in the open string frame. Similarly to the NSNS sector one may look again into the D-brane action but now the Chern–Simons or Wess–Zumino part of it which contains RR forms. Here we will conveniently denote this part of a p-brane action by \(S_{WZ}\) which, when the field strength of the gauge field on the brane is set to zero, takes the form
where \(C_n\) are n-form RR fields pulled back to the Dp-brane worldvolume \(\Sigma _p\).
The above suggests that combinations of RR forms and B-field are appropriate for open string frame RR forms. When B is a constant exterior derivative (“field strength”) the above sum is related to a \(p+2\)-form Page form [56]:
where we have omitted wedge products and employed \(B^2 = B \wedge B\), etc. Closure of \(Q_n\) is guaranteed by the Bianchis/EOMs of the usual type IIB supergravity. We take Page forms (8) as the open string frame fields corresponding to RR forms.
One may view the pull back of the above Page forms on the brane as “Page charge densities” and define Page charges [56] as integrals of them over compact cycles (where the branes wrap). Page charges have been shown to be localized, conserved and most importantly quantized [62], so that they may be identified with the rank of gauge groups in the dual theory.
3 Page forms and generalized supergravity
It is well known that homogeneous YB deformations which are equivalent to (generalized) T-dualities [63,64,65] result in supergravity solutions, provided an unimodular condition holds [32]. For non-unimodular YB deformations one finds a solution to generalized supergravity [12] where, as explained in the appendix, the EOMs involve an extra vector field I which is a Killing vector of the original and the deformed background. The full set of field equations of generalized supergravity may be found in [11, 12].
Here, we make the observation that the Bianchis and EOMs of generalized supergravity simplify considerably once expressed in terms of Page forms (8). When \(I \ne 0\), the equations of generalized supergravity read [12],
Recast in terms of the Page forms (8), the modified equations take a remarkably simple form
We omit \(\text{ d }Q_9\) due to its length. It is now clear that the Page forms are no longer closed. Nevertheless, the above are a consistent set of equations if I is a Killing vector field.
To get a better feel for the rewriting, let us explicitly demonstrate how the first two equations in (14) come about. A similar logic applies to the later equations. From \(i_{I} F_1 = 0\) which is a property of all generalized supergravity solutions [12] we see that (9) is simply the first equation in (14). Furthermore, combining (9) and (10), we find
which explains the second equation in (14).
It is easy to convince oneself through explicit calculation, either case by case or employing a general ansatz, that the non-zero Page forms and associated Page charges are invariants of TsT transformations. For more general YB deformations this can be checked case by case for explicit solutions. In particular, we have checked all examples presented in [31] where \(I \ne 0\). This leads to the conjecture
Non-zero Page forms and associated Page charges are invariants of all Yang–Baxter deformations.
The above extends our earlier result for invariance of open string metric and coupling to the RR sector.
At an intuitive level this statement is obvious and expected: in the current setting we start with AdS\(_5\times \)S\(^5\), a geometry sourced exclusively by D3-branes. We perform a special transformation that introduces a continuous constant deformation parameter which is a priori not quantized. In this light it is reasonable to expect that the non-zero Page forms and charges are invariant.
It is instructive to illustrate our point in the simplest example of the Hashimoto–Itzhaki, Maldacena–Russo geometry [66, 67] (see also [68]),
A short calculation reveals that the only non-zero Page forms associated with this geometry are
The important point from this example is that \(Q_5\) has not changed in the deformation and is simply the original undeformed five-form flux. While we defer the general proof to an upcoming publication, it may be checked by direct computation for an exhaustive list of examples that \(Q_5\) is the undeformed five-form flux for all YB deformations, homogeneous or modified, of AdS\(_5\times \)S\(^5\) (for \(\eta \)-deformations associated with mCYBE this can be checked using the ABF solution [54]). Our conjecture applies equally to YB deformations of different geometries where different Page forms will be invariant.
4 Physical meaning of I
In this section, we arrive at the main point of this letter, namely to address the physical meaning of the Killing vector I of generalized supergravity. Two complementary perspectives will be given: I will be identified as a current on the D-brane worldvolume and its meaning will be elucidated in the pure spinor formalism of the string \(\sigma \)-model. Our treatment improves on earlier analysis [7] by specifying the D-brane, in this case a D3-brane, and illustrating how it couples to the background through a Wess–Zumino term.
4.1 \(\Lambda \)-symmetry and I on the brane
In [6, 7] we argued that (2) may be derived from a symmetry principle, the \(\Lambda \)-symmetry: (generalized) supergravity equations are invariant under the \(\Lambda \)-symmetry,
where \(\Lambda \) is an arbitrary one-form. At the level of generalized gravity this is manifest because the EOMs depend only on the field strength \(H = \text{ d }B\) (see appendix B of [7]). In the presence of open strings or D-branes, however, we have a U(1) gauge field on the brane, A, with field strength \(F=\text{ d }A\). If we have a stack of N coincident D-branes this U(1) symmetry gets enhanced to U(N) [69] and one may decompose it into SU(N) fields and the “center of mass” U(1) part. In the following part we set the SU(N) part of the gauge fields to zero, since it does not mix with the closed string fields. We only focus on this center of mass U(1) part.
In the presence of D-branes the \(\Lambda \)-symmetry (18) is replaced with [69, 70]
Besides H there is another \(\Lambda \)-gauge invariant combination
and it can be checked that the DBI part of the brane action only involves \(\mathcal{F}\) [71]:
We comment in passing that \(\mathcal{F}\) and hence the DBI action are invariant under the U(1) center of mass gauge symmetry, the \(\lambda \)-symmetry, under which B remains invariant and \(A\rightarrow A+\text{ d }\lambda \), where \(\lambda \) is an arbitrary scalar function.
The NC description for the DBI action with the open string field \(\Theta \) as NC parameter, as considered in [57], is only a valid description in the specific \(\Lambda \)-gauge \(\Lambda =A\). In this gauge \(\mathcal{F}=B\). Hereafter, we will be working in this \(\Lambda \)-gauge. In fact, the closed string-open string frame map (3)–(5), expressed in this gauge [57], yields
We will prove below that (2) is a consequence of \(\Lambda \)-symmetry, of course once we fix the \(\mathcal{F}=B\) gauge. To this end, we first note that M, N indices are bulk AdS\(_5\) indices, while the fields appearing in the brane action are pullbacks on the brane worldvolume. Thus, we may consider a brane that is AdS-filling, for example a D7-brane wrapping three dimensions on the S\(^5\) piece. Alternatively, we may consider a D3-brane on the AdS\(_5\) part and recall that the brane worldvolume is codimension-one on this 5D spacetime.
We shall choose the latter, where it is easy to show that if the D3-brane has no expansion along the radial direction in Poincaré patch of AdS\(_5\), parameterized by z coordinate, we have
where we used (22). In addition we used the facts that open string metric is simply the undeformed AdS\(_5\) metric, \(G_s\) is a constant and the factor of 4 has appeared as a result of exterior differentiation of the D3-brane DBI which produces a 5D action from a 4D action. Our treatment here mirrors a similar analysis in [72].
Once again we point out that the action (23) is written in a specific \(\Lambda \)-gauge. A consistency condition of fixing this gauge, recalling (19), implies
and hence the EOM for the gauge field A is related to the \(\Lambda \) invariance of the \(\Lambda \)-gauge fixed action. We shall return to this point momentarily.
The full D3-brane action besides the DBI part also involves a Wess–Zumino part which for a D3-brane in \(\mathcal{F}=B\) \(\Lambda \)-gauge may be written
As a side comment we note that with the factor 4 in the DBI part (23) we get the “no force” condition cancellation of DBI and the WZ parts for flat, undeformed D3-branes.
Now we vary the overall action \(S_{DBI}+S_{WZ}\) with respect to \(\Lambda \). From the variation of the DBI term we get [7]
where we have used (22) and \(\Theta ^{MN} = (g + B)^{[MN]}\), whereas from the variation of \(S_{WZ}\) we get
In the second line we have used (14) and in the third line we have employed
where we have reinstated \(g_s\). Recalling that \(G_s = g_s\), combining the two contributions, we arrive at (2). In other words, (2) is nothing but the EOM for the gauge field A in the \(\Lambda =A\) gauge or (2) is the condition for consistency of \(\Lambda =A\) gauge fixing. We stress that the \(\lambda \)-symmetry is still unfixed and that our arguments above do not depend on \(\lambda \)-symmetry gauge fixing.Footnote 3
Given the above result one may ask if it can be written in a different \(\Lambda \)-gauge. The answer is simply yes: if we fix the \(B=0\) gauge, using (24), it can readily be seen that the EOM for the gauge field A of the action
yields the pullback of (2) on the brane worldvolume. The above action is interesting because it provides a new perspective on the vector field I: I is a current coupled to the center of mass U(1).
Our derivation above is true for all YB deformations of AdS\(_5\times \)S\(^5\) as long as (28) holds. It can be checked that this is the case by the exhaustive set of examples associated with CYBE discussed in [7]. For the mCYBE case this is shown explicitly in the next section.
4.2 I and pure spinor formulation
In the previous section we gave two meanings to the I vector in the open string frame: we derived (2) and argued that I may be viewed as a current for the center of mass U(1) gauge symmetry that we are left with after fixing the \(\Lambda \)-gauge. In [11] it was suggested that the vector field I may be related to some non-physical states that appear in the pure spinor analysis of supergravity [73,74,75]. In this section we give additional evidence for this relation.
Type IIB string worldsheet theory can be characterized by the following data [76]: (i) a conformally invariant action \(S_{IIB}\), (ii) a pair of nilpotent BRST operators \(Q_L\) and \(Q_R\) satisfying
and a grading, the ghost number, for which \(\mathtt {gh}(Q_L)= \mathtt {gh}(Q_R)=+1\). Further (iii), a pair of b-ghosts b and \(\bar{b}\) satisfying \(\{Q, b\} = T\) and \(\{Q, \bar{b}\} = \bar{T}\), where \(Q=Q_L + Q_R\). Let us now assume the existence of a theory satisfying these axioms.
Infinitesimal deformations parametrized by the integrated vertex operators \(V_i^{(2)}\) are defined by
For sigma models on \(\mathfrak {g}=\mathfrak {psu}(2,2|4)\) the \(\beta \)-deformations [5] are described by vertex operators
where \(j_a\) are conserved currents of global symmetries, \(r^{ab}\) are components of the tensor \(r\in (\mathfrak {g}\wedge \mathfrak {g})_0/\mathfrak {g}\) and \((\mathfrak {g}\wedge \mathfrak {g})_0\) stands for the subspace of \((\mathfrak {g}\wedge \mathfrak {g})\) generated by objects of the form \(a\wedge b\) with \([a,b]=0\). An important feature in the present analysis is that the second order expansion in \(\eta \) implies that r satisfies the homogeneous CYBE. The simplest example is given by the case when \(r\in su(4)\). As we know this deformation gives the Lunin–Maldacena background [5] that can be obtained by a TsT transformation. See [73] for further details.
It is easy to write a perturbative expansion similar to the deformations by an integrated vertex (31) for the YB deformed \(\sigma \)-model action. Using the projector \(P_-^{\alpha \beta }=\frac{1}{2}(\gamma ^{\alpha \beta }-\epsilon ^{\alpha \beta })\) where \(\gamma _{\alpha \beta }\) is the worldsheet metric, the YB deformations [17, 18] of AdS\(_5\times S^5\) are defined by
where
and \(P_i\) are projectors onto the \({\mathbb {Z}}_4\) grading of the algebra \(\mathfrak {psu}(2,2|4)\), with \(c=0\) for deformations based on the homogeneous CYBE [18] and \(c=1\) for the mCYBE considered in [17].
The perturbative expansion for the case \(c=0\) is obvious: since the perturbation by integrated vertex in the pure spinor formalism (31) is related to the homogeneous CYBE at \(\mathcal{O}(\eta ^2)\) it is clear that both pictures must be physically equivalent.
In what follows the analysis of the I field refers to deformations corresponding to homogeneous CYBE solutions. We briefly discuss what is to be expected from the analysis of deformations built from mCYBE solutions. In this case, given an infinitesimal parameter \(\eta \), we have the expansion
where \(\text{ d }_0 \equiv \text{ d }\ |_{\eta =0}\) and the first term is the Metsaev–Tseytlin action [15]. Therefore, based on our previous experience, we may conjecture that there exists a perturbation by a vertex in the pure spinor formalism of the form
where \(\tilde{r}\) satisfies the mCYBE. All in all we see that these two deformations pictures are consistent with each other, provided this mild conjecture is satisfied.
Let us return to the homogeneous CYBE picture. Consistency with supergravity imposes the additional condition on the vertex operator (32)
where \(f_{ab}^{\phantom {ab} c} \) are the structure constants of the Lie algebra \(\mathfrak {g}\). The authors of [73] have shown that when this condition is not satisfied there are vertex operators associated with states that we call \(\eta \) -states,Footnote 4 which are not present in the type IIB spectrum.
In [74] Mikhailov considers the flat space limit of the deformation (31) and performs an analysis of the \(\eta \)-states. But since his analysis is in flat space and at first order in the \(\eta \)-expansion there are many problems to be solved for finite transformations and curved backgrounds. There is one particular open question that can be solved using the connection between vertex operators and YB deformations: Do the \(\eta \) -states survive at all perturbative orders in \(\eta \) in curved backgrounds?
From the YB deformation viewpoint the condition (37), called unimodularity condition, appears in [32] and implies that deformed backgrounds satisfy the type II supergravity equations of motion, if and only if (37) is satisfied. Failure of the unimodularity condition (37) means that these YB deformed backgrounds satisfy the so-called generalized supergravity equations of motion that take into account a covector X with components
where \(I^M\) is a Killing vector in the generalized type II background. Furthermore, in the special case \(I=0\) we get \(X=\partial \Phi \) which can be interpreted as the gradient of the dilaton field \(\Phi \). In this case we recover the usual type II supergravity equations of motion.
Therefore, just one of the \(\eta \)-states in [73] survives at all perturbative orders in \(\eta \). It should correspond to the vector field I in the YB deformation context. In order to make this correspondence more explicit we follow a simple strategy: if we know that type IIB supergravity does not have any vector field in the physical spectrum we should keep track of states that give origin to vectors in the BRST cohomology of [75]. Just one of these vector-like states may be realized as a descendant of a physical type IIB state, namely the gradient of the dilaton \(V= \partial \Phi \).
As usual kappa-symmetry plays the crucial role restricting the extra degrees of freedom in a supergravity theory, including the generalized supergravity in the absence of Weyl invariance of the worldsheet theory. In pure spinor formalism the correct number of degrees of freedom is carried and imposed through BRST charges. Hence, one would expect to find a counterpart of I through BRST cohomology analysis.
The BRST cohomology in the flat space limitFootnote 5 and at order \(\eta \) has been performed in [75]. In our analysis the essential states in this cohomology are the covectors \(A^+\) and \(A^-\) which satisfy the conditions
The vector field \(A^+\) has been identified as the gradient of the dilaton
The state \(A^-\) is clearly an \(\eta \)-state, as there is no additional vector field in the type IIB string spectrum. Furthermore, through some mild assumptions, it is reasonable to conjecture that this state is linearly related to the vector I, that is \(I \sim A^-\).
In the undeformed limit \(\eta =0\) we recover a type IIB supergravity solution where \(I=0\). Therefore, the perturbative expansion of this field must be of the form \(I=\eta I^{(1)} + \eta ^2 I^{(2)} + \mathcal{O}(\eta ^3)\). In addition we already know that the vector field I is a Killing vector in the generalized supergravity solution and that the flat space limit of the Killing vector equation is simply
which is, obviously, the second equation in (39). Therefore it is easy to see that the \(\eta \)-state \(A^-\) corresponds to the first order component of I in its perturbative expansion
Using this perturbative analysis it can be conjectured that in a complete BRST analysis all states of \(\eta \)-states combine to give the Killing vector I in the Yang–Baxter deformation context. Additionally all other \(\eta \)-states in the BRST cohomology are obstructed by higher orders corrections and are, using the terminology of [73], truly non-physical states. Finally, Eqs. (41) and (42) realize explicitly the observation of [75] that \(\eta \)-states are in correspondence with global symmetries of the background. Evidently, the unarguable proof for this identification requires methods to calculate the complete BRST cohomology for finite deformations in the pure spinor formalism.
5 \(\eta \)-deformations and mCYBE
In previous work [6, 7] we have largely discussed YB deformations based on r-matrix solutions to the homogeneous CYBE. For the analysis of the bulk D3-brane action we were ambivalent to whether the r-matrix solved the homogeneous CYBE or mCYBE. In principle we could check \(Q_5\) for all the known \(\eta \)-deformations [55] but apart from the ABF solution [19, 54], where \(Q_5\) coincides with the undeformed five-form flux, the explicit form of the RR fluxes are not known. Thus, here we will adopt a different tack and demonstrate that Eq.(2) is valid for all known \(\eta \)-deformations. We will see that pure gauge contributions to the NSNS two-form play a special role.
To be clear, our approach is to take g and B which can be read off from the string \(\sigma \)-model [54, 55], determine \(\Theta \) and then use Eq. (2) to work out I, which we will directly compare with the Killing vector from the generalized supergravity solution. For the YB deformations identified by Delduc et al. [55] we will determine both I and \(\Phi \) and check that the dilaton EOM [12],
with X defined in (38), is satisfied. This provides a powerful consistency check on our results.
We recall the \(\eta \)-deformed geometry for AdS\(_5\times \)S\(^5\) [54],
Relative to its original incarnation we have retained the pure gauge terms in the B-field (see also [55]). It turns out that these terms are important for the open string metric to be undeformed. It is worth noting that there is a simple analytic continuation that takes the AdS\(_5\) deformation to the S\(^5\) deformation. Interestingly, just as for \(\lambda \)-deformations [77, 78], it can be shown that the dilaton equation forces the same deformation parameter in AdS\(_5\) and S\(^5\). Since \(\eta \)-deformations correspond to scaling limits of \(\lambda \)-deformations [79] this is not too surprising.
From (4), it is an easy exercise to determine \(\Theta \):
and I using (2),
which precisely agrees with the ABF result [19]. In contrast to ABF, the pure gauge terms in the B-field mean the dilaton is different, though X of course is the same.
To determine the dilaton we will now introduce a simple trick that has been largely overlooked. It is well-known that \(e^{-2 \Phi } \sqrt{g}\) is an invariant of the Buscher rules of T-duality. Existing results extend this to homogeneous YB deformations [7] and, having verified that the open string metric is undeformed for the ABF solution, it follows that this is also an invariant of \(\eta \)-deformations. This allows us to easily determine the dilaton for the ABF solution (44),
For consistency we have checked the dilaton Eq. (43).
Emboldened by this success we proceed to analyze the \(\eta \)-deformations identified in [55]. Note that for these geometries the corresponding I, \(\Phi \) and RR sector are not known. We proceed as before: we check that open string metric is undeformed in the presence of pure gauge contributions,Footnote 6 determine the dilaton from the invariant and deduce the Killing vector from (2). In each case, we will show that the picture is complete by checking the dilaton EOM. One special feature of the \(\eta \)-deformations [55] is that the r-matrix is a permutation of the ABF r-matrix and only the AdS\(_5\) part of the deformation differs from the ABF solution.
Focusing on the AdS\(_5\) deformation, which is new relative to ABF, the first \(\eta \)-deformation may be written [55]
where we have introduced the functions
The open string metric is undeformed as expected and \(\Theta \) takes the form
Including the contribution from the internal space, the Killing vector may be determined from (2),
Finally, the dilaton can be calculated from the invariant \(e^{-2 \Phi } \sqrt{ g}\):
To confirm that our treatment is correct, we have checked that the dilaton EOM (43) is satisfied.
Finally, we consider the remaining \(\eta \)-deformation [55]:
It can checked that the open string metric is again undeformed and the external bivector takes the form
Including the internal directions, the Killing vector is
and the dilaton is
Again, we have checked the dilaton equation.
We end this section with some comments. It is easy to check that the Jacobi identity for the bivector, or more concretely
is satisfied for the three examples of \(\eta \)-deformations we have considered. We observe that this is a necessary condition for the bivector \(\Theta \) to correspond to a NC parameter.
Furthermore, in [7] it was noted that the bivector \(\Theta \) exhibits holographic noncommutativity: although it may depend on the holographic direction z, working in Poincaré patch with the boundary at \(z=0\), the dependence on the holographic direction drops out consistently at the boundary, i.e. at the boundary both legs of \(\Theta \) are along the boundary, \(\Theta ^{\mu z}|_{z=0} =0\). To see that the same picture applies equally well to the ABF solution (44), the following map from (unit radius) global AdS\(_5\) to the Poincaré metric can be employed:
where \(\mathbf {x} \equiv (x_1, x_2, x_3)\). Evaluating the ABF bivector (45) in Poincaré coordinates at the boundary, \(\Theta ^{\mu \nu } = \Theta ^{MN} |_{z=0}\) we have confirmed that all z-dependence disappears leaving the following non-zero contributions to the bivector in Poincaré patch:
We expect a similar outcome for other \(\eta \)-deformations. The corresponding expression for the Killing vector I can be written in terms of the Killing vectors for the Poincaré metric of AdS\(_5\) as
where \(P_0\) and \(K_0\) denote translations and special conformal transformations in the temporal direction, respectively, and \(M_{12}\) is a rotation in the \((x_1, x_2)\)-plane. We refer the reader to (A.2) of [7] for details of the notation. Note that the holographic behavior of I is dictated by (2).
6 Conclusions
One of the results of this letter is completing the derivation of Eq. (2) from the requirement that the action of D3-branes is invariant under \(\Lambda \)-symmetry. An interesting feature of the calculation is that the equations of generalized supergravity are incorporated through a bulk AdS\(_5\) Wess–Zumino term which couples the D3-brane to the background. This provides an explanation for the relation which was observed to hold for all homogeneous Yang–Baxter deformations on a case by case basis. In this letter we show that \(\eta \)-deformations have an open string metric that is undeformed and satisfy the same equation. This allows us to interpret I as a current for the center of mass motion on the worldvolume of the D3-brane.
As a secondary result we noted that the Bianchi identities and EOMs of generalized supergravity take a strikingly simple form when expressed in terms of Page forms. We conjectured that the non-zero Page forms as well as associated Page charges are invariants of YB deformations. We showed that there always exist suitably chosen pure gauge contributions to the NSNS B-field, such that open string metric and consequently \(e^{-2 \Phi } \sqrt{g}\) remains undeformed for all (known) YB deformations. This may be used as a handy way to determine the dilaton for all YB deformations, including \(\eta \)-deformations.
Finally, using the deformation of the pure spinor action through integrated vertex operators, we have identified the states in the BRST cohomology that give origin to the vector field I in the \(\eta \)-deformation context. As a by-product we have shown that other non-physical states in the BRST cohomology of [75] are suppressed by higher order corrections in the curvature and/or deformation parameter \(\eta \).
It is a straightforward exercise to extend the analysis presented here to \(\eta \)-deformations of AdS\(_3 \times \)S\(^3\) and AdS\(_2 \times \)S\(^2\) geometries [80, 81]. Once pure gauge contributions to the NSNS two-form are introduced we expect the open string metric to be undeformed and we expect for Eq. (2) to hold with the slight story twist that it will arise from variations of the actions of D1-branes, D5-branes, intersecting D3-branes, etc.
One problem that has yet to be unraveled is the interpretation of the \(\eta \)-deformed geometries [17, 54] in the context of AdS/CFT. This problem is thorny, since in contrast to simpler homogeneous YB deformations one has to consider both AdS\(_5\) and S\(^5\) deformations. As a result there is less residual global symmetry but the consensus is that the dual gauge theory, if it exists, is expected to be some NC deformation of \({\mathcal {N}}=4\) super Yang–Mills. In this letter we have extracted a candidate NC parameter for the ABF solution [54], shown that it is associative in the sense that the Jacobi (56) is satisfied which means that it is consistent with a non-commuting open string description. Moreover, we have checked in Poincaré patch that the holographic direction decouples at the boundary, where the putative dual gauge theory is expected to reside.
Notes
In [55] only the metric and NSNS two-form are computed. The remainder of the solution, including the dilaton and RR sector, can be determined by performing the supercoset construction directly, as explained in [19, 28]. Alternatively, it can also be fixed by analytic continuations [29], starting from the original \(\eta \)-deformed background [19, 54].
See [58] for an earlier incidence of open string metric and coupling.
We should note that expressions for the Page forms (8) are not \(\Lambda \)-gauge invariant as they are written in a specific \(\Lambda \)-gauge. This \(\Lambda \)-gauge is the same as the one in which we have written our closed string to open string map. Moreover, this is the same gauge in which the \(Z_M\) vector field of generalized supergravity (67) is written. We thank Ben Hoare for a clarifying discussion about this point.
Non-physical states in their terminology.
This corresponds to a Taylor expansion of the AdS\({}_5\times \)S\({}_5\) solution around a point \(x_*\) [74].
This allows us to identify and correct typos in [55].
References
C. Klimcik, JHEP 0212, 051 (2002). arXiv:hep-th/0210095
C. Klimcik, J. Math. Phys. 50, 043508 (2009). arXiv:0802.3518 [hep-th]
F. Delduc, M. Magro, B. Vicedo, JHEP 1311, 192 (2013). arXiv:1308.3581 [hep-th]
T. Matsumoto, K. Yoshida, Nucl. Phys. B 893, 287 (2015). arXiv:1501.03665 [hep-th]
O. Lunin, J.M. Maldacena, JHEP 0505, 033 (2005). arXiv:hep-th/0502086
T. Araujo, I. Bakhmatov, E. Ó Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, Phys. Rev. D 95(10), 105006 (2017). arXiv:1702.02861 [hep-th]
T. Araujo, I. Bakhmatov, E. Ó Colgáin, J. Sakamoto, M.M. Sheikh-Jabbari, K. Yoshida, arXiv:1705.02063 [hep-th]
S.J. van Tongeren, Nucl. Phys. B 904, 148 (2016). arXiv:1506.01023 [hep-th]
S.J. van Tongeren, Phys. Lett. B 765, 344 (2017). arXiv:1610.05677 [hep-th]
M.T. Grisaru, P.S. Howe, L. Mezincescu, B. Nilsson, P.K. Townsend, Phys. Lett. B 162, 116 (1985)
L. Wulff, A.A. Tseytlin, JHEP 1606, 174 (2016). arXiv:1605.04884 [hep-th]
G. Arutyunov, S. Frolov, B. Hoare, R. Roiban, A.A. Tseytlin, Nucl. Phys. B 903, 262 (2016). arXiv:1511.05795 [hep-th]
J. Sakamoto, Y. Sakatani, K. Yoshida, PTEP 2017(5), 053B07 (2017). arXiv:1703.09213 [hep-th]
J. Sakamoto, Y. Sakatani, K. Yoshida, arXiv:1705.07116 [hep-th]
R.R. Metsaev, A.A. Tseytlin, Nucl. Phys. B 533, 109 (1998). arXiv:hep-th/9805028
I. Bena, J. Polchinski, R. Roiban, Phys. Rev. D 69, 046002 (2004). arXiv:hep-th/0305116
F. Delduc, M. Magro, B. Vicedo, Phys. Rev. Lett. 112(5), 051601 (2014). arXiv:1309.5850 [hep-th]
I. Kawaguchi, T. Matsumoto, K. Yoshida, JHEP 1404, 153 (2014). arXiv:1401.4855 [hep-th]
G. Arutyunov, R. Borsato, S. Frolov, JHEP 1512, 049 (2015). arXiv:1507.04239 [hep-th]
T. Matsumoto, K. Yoshida, JHEP 1406, 135 (2014). arXiv:1404.1838 [hep-th]
T. Matsumoto, K. Yoshida, JHEP 1406, 163 (2014). arXiv:1404.3657 [hep-th]
T. Matsumoto, K. Yoshida, JHEP 1503, 137 (2015). arXiv:1412.3658 [hep-th]
T. Matsumoto, K. Yoshida, JHEP 1504, 180 (2015). arXiv:1502.00740 [hep-th]
I. Kawaguchi, T. Matsumoto, K. Yoshida, JHEP 1406, 146 (2014). arXiv:1402.6147 [hep-th]
S.J. van Tongeren, JHEP 1506, 048 (2015). arXiv:1504.05516 [hep-th]
D. Osten, S.J. van Tongeren, Nucl. Phys. B 915, 184 (2017). arXiv:1608.08504 [hep-th]
B. Hoare, D.C. Thompson, JHEP 1702, 059 (2017). arXiv:1611.08020 [hep-th]
H. Kyono, K. Yoshida, PTEP 2016(8), 083B03 (2016). arXiv:1605.02519 [hep-th]
B. Hoare, S.J. van Tongeren, J. Phys. A 49(48), 484003 (2016). arXiv:1605.03552 [hep-th]
B. Hoare, S.J. van Tongeren, J. Phys. A 49(43), 434006 (2016). arXiv:1605.03554 [hep-th]
D. Orlando, S. Reffert, J. Sakamoto, K. Yoshida, J. Phys. A 49(44), 445403 (2016). arXiv:1607.00795 [hep-th]
R. Borsato, L. Wulff, JHEP 1610, 045 (2016). arXiv:1608.03570 [hep-th]
W. Siegel, Phys. Rev. D 48, 2826 (1993). arXiv:hep-th/9305073
W. Siegel, Phys. Rev. D 47, 5453 (1993). arXiv:hep-th/9302036
C. Hull, B. Zwiebach, JHEP 0909, 099 (2009). arXiv:0904.4664 [hep-th]
Y. Sakatani, S. Uehara, K. Yoshida, arXiv:1611.05856 [hep-th]
A. Baguet, M. Magro, H. Samtleben, arXiv:1612.07210 [hep-th]
N. Beisert, R. Roiban, JHEP 0508, 039 (2005). arXiv:hep-th/0505187
M. Guica, F. Levkovich-Maslyuk, K. Zarembo, arXiv:1706.07957 [hep-th]
D. Roychowdhury, arXiv:1706.02625 [hep-th]
D. Roychowdhury, arXiv:1707.07172 [hep-th]
G. Arutyunov, D. Medina-Rincon, JHEP 1410, 50 (2014). arXiv:1406.2536 [hep-th]
T. Kameyama, K. Yoshida, J. Phys. A 48(7), 075401 (2015). arXiv:1408.2189 [hep-th]
T. Kameyama, K. Yoshida, J. Phys. A 48 24, 245401 (2015). arXiv:1410.5544 [hep-th]
T. Kameyama, K. Yoshida, PTEP 2016(6), 063B01 (2016). arXiv:1602.06786 [hep-th]
M. Khouchen, J. Kluson, Phys. Rev. D 90, 066001 (2014). arXiv:1405.5017 [hep-th]
C. Ahn, P. Bozhilov, \(\eta \)-deformed AdS\(_5 \times \)S\(^5\). Phys. Lett. B 737, 293 (2014). arXiv:1406.0628 [hep-th]
A. Banerjee, K.L. Panigrahi, JHEP 1409, 048 (2014). arXiv:1406.3642 [hep-th]
P. Bozhilov, arXiv:1601.00127 [hep-th]
G. Arutyunov, M. Heinze, D. Medina-Rincon, J. Phys. A 50(3), 035401 (2017). arXiv:1607.05190 [hep-th]
C. Ahn, Phys. Lett. B 767, 121 (2017). arXiv:1611.09992 [hep-th]
R. Hernandez, J.M. Nieto, arXiv:1707.08032 [hep-th]
R. Klabbers, S.J. van Tongeren, arXiv:1708.02894 [hep-th]
G. Arutyunov, R. Borsato, S. Frolov, JHEP 1404, 002 (2014). arXiv:1312.3542 [hep-th]
F. Delduc, M. Magro, B. Vicedo, JHEP 1410, 132 (2014). arXiv:1406.6286 [hep-th]
D.N. Page, Phys. Rev. D 28, 2976 (1983)
N. Seiberg, E. Witten, JHEP 9909, 032 (1999). arXiv:hep-th/9908142
M.J. Duff, Nucl. Phys. B 335, 610 (1990). https://doi.org/10.1016/0550-3213(90)90520-N
M.M. Sheikh-Jabbari, Phys. Lett. B 450, 119 (1999). arXiv:hep-th/9810179
D.S. Berman, V.L. Campos, M. Cederwall, U. Gran, H. Larsson, M. Nielsen, B.E.W. Nilsson, P. Sundell, JHEP 0105, 002 (2001). arXiv:hep-th/0011282
V.G. Drinfeld, Leningrad Math. J. 1, 321 (1990)
D. Marolf, arXiv:hep-th/0006117
B. Hoare, A.A. Tseytlin, J. Phys. A 49(49), 494001 (2016). arXiv:1609.02550 [hep-th]
R. Borsato, L. Wulff, Phys. Rev. Lett. 117(25), 251602 (2016). arXiv:1609.09834 [hep-th]
R. Borsato, L. Wulff, arXiv:1706.10169 [hep-th]
A. Hashimoto, N. Itzhaki, Phys. Lett. B 465, 142 (1999). arXiv:hep-th/9907166
J.M. Maldacena, J.G. Russo, JHEP 9909, 025 (1999). arXiv:hep-th/9908134
M. Alishahiha, Y. Oz, M.M. Sheikh-Jabbari, JHEP 9911, 007 (1999). arXiv:hep-th/9909215
E. Witten, Nucl. Phys. B 460, 335 (1996). arXiv:hep-th/9510135
M.M. Sheikh-Jabbari, Phys. Lett. B 477, 325 (2000). arXiv:hep-th/9910258
R.G. Leigh, Mod. Phys. Lett. A 4, 2767 (1989)
J.H. Schwarz, JHEP 1401, 088 (2014). arXiv:1311.0305 [hep-th]
O.A. Bedoya, L.I. Bevilaqua, A. Mikhailov, V.O. Rivelles, Nucl. Phys. B 848, 155 (2011). arXiv:1005.0049 [hep-th]
A. Mikhailov, JHEP 1211, 082 (2012). arXiv:1203.0677 [hep-th]
A. Mikhailov, Nucl. Phys. B 907, 509 (2016). arXiv:1401.3783 [hep-th]
N. Berkovits, P.S. Howe, Nucl. Phys. B 635, 75 (2002). arXiv:hep-th/0112160
K. Sfetsos, D.C. Thompson, JHEP 1412, 164 (2014). arXiv:1410.1886 [hep-th]
S. Demulder, K. Sfetsos, D.C. Thompson, JHEP 1507, 019 (2015). arXiv:1504.02781 [hep-th]
B. Hoare, A.A. Tseytlin, Nucl. Phys. B 897, 448 (2015). arXiv:1504.07213 [hep-th]
B. Hoare, R. Roiban, A.A. Tseytlin, JHEP 1406, 002 (2014). arXiv:1403.5517 [hep-th]
O. Lunin, R. Roiban, A.A. Tseytlin, Nucl. Phys. B 891, 106 (2015). arXiv:1411.1066 [hep-th]
Acknowledgements
We thank I. Bakhmatov, D. Berman, M. Duff, B. Hoare and D.C. Thompson for discussion about related projects. E. Ó C acknowledges the kind hospitality of the workshop “Recent Advances in T/U-dualities and Generalized Geometries”, June 6–9 2017, Zagreb, where this work was initiated. The work of J.S. is supported by the Japan Society for the Promotion of Science (JSPS). M.M. Sh-J. is supported in part by the Saramadan Iran Federation, the junior research chair on black hole physics by the Iranian NSF and the ICTP Simons Associate fellowship and ICTP network project NT-04 K.Y. acknowledges the Supporting Program for Interaction-based Initiative Team Studies (SPIRITS) from Kyoto University and a JSPS Grant-in-Aid for Scientific Research (C) No. 15K05051. This work is also supported in part by the JSPS Japan–Russia Research Cooperative Program.
Author information
Authors and Affiliations
Corresponding author
Review of generalized supergravity
Review of generalized supergravity
The equations of motion for the metric, NSNS two-form and dilaton in the generalized type IIB supergravity are given by
where the spacetime indices \(M,N,\ldots \) run from 0 to 9, H is the field strength of the NSNS two-form. The appearance of a vector field X indicates the generalization. Note here that the dilaton \(\Phi \) is implicitly included in X with a spacetime derivative and an extra vector field I as explained later. The flux contribution \(T_{MN}\) is defined as
Here \({\mathcal {F}}_M\,,{\mathcal {F}}_{MNK}\,,{\mathcal {F}}_{MNKPQ}\) are the rescaled RR field strengths, i.e.
The vector X is decomposed as
where I and Z satisfy relations
where D is the closed string covariant derivative. Assuming that the Lie derivative of the NSNS two-form along the I-direction vanishes, one obtains the following expression:
We note that while the X and hence the Z fields are invariant under \(\Lambda \)-gauge transformations, the specific solution (67) is not. This is written in a specific gauge. This gauge is the same as the one we used in our analysis of \(\Lambda \)-invariance of the DBI action. Thus, in total, X can be regarded as a composite field comprising the dilaton derivative, the NSNS two-form and the extra vector field I.
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., Sakamoto, J. et al. I in generalized supergravity. Eur. Phys. J. C 77, 739 (2017). https://doi.org/10.1140/epjc/s10052-017-5316-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5316-5