Abstract
In one of our previous papers we generalized the Buscher T-dualization procedure. Here we will investigate the application of this procedure to the theory of a bosonic string moving in the weakly curved background. We obtain the complete T-dualization diagram, connecting the theories which are the result of the T-dualizations over all possible choices of the coordinates. We distinguish three forms of the T-dual theories: the initial theory, the theory obtained T-dualizing some of the coordinates of the initial theory and the theory obtained T-dualizing all of the initial coordinates. While the initial theory is geometric, all the other theories are non-geometric and additionally non-local. We find the T-dual coordinate transformation laws connecting these theories and show that the set of all T-dualizations forms an Abelian group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
T-duality is a property of string theory that was not encountered in any point particle theory [1–4]. Its discovery was surprising, because it implies that there exist theories, defined for essentially different geometries of the compactified dimensions, which are physically equivalent. The origin of T-duality is seen in the possibility that, unlike a point particle, the string can wrap around compactified dimensions. But, no matter if one dimension is compactified on a circle of radius R or rather on a circle of radius \(l_s^2/R\), where \(l_s\) is the fundamental string length scale, the theory will describe the string with the same physical properties. The investigation of T-duality does not cease to provide interesting new physical implications.
The prescription for obtaining the equivalent T-dual theories is given by the Buscher T-dualization procedure [5, 6]. The procedure is applicable along the isometry directions, which allows the investigation of the backgrounds which do not depend on some coordinates. It is found that T-duality transforms geometric backgrounds to the non-geometric backgrounds with Q flux which are locally well defined, and these to different types of non-geometric backgrounds, backgrounds with R flux which are not well defined even locally [7, 8]. A similar prescription can be used to obtain fermionic T-duality [9, 10]. It is argued that the better understanding of T-duality should be sought for by doubling the coordinates, investigating the theories in which the background fields depend on both the usual space-time coordinates and their doubles [11–14], which would make the T-duality a manifest symmetry.
T-duality enables the investigation of the closed string non-commutativity. The coordinates of the closed string are commutative when the string moves in a constant background. In a 3-dimensional space with the Kalb–Ramond field depending on one of the coordinates, successive T-dualizations along isometry directions lead to a theory with Q flux and the non-commutative coordinates [15–17]. The novelty in the research is the generalized T-dualization procedure, realized in [18], addressing the bosonic string moving in the weakly curved background–constant gravitational field and coordinate dependent Kalb–Ramond field with an infinitesimal field strength. The non-commutativity characteristics of a closed string moving in the weakly curved background was considered in [19].
The generalized procedure is applicable to all the space-time coordinates on which the string backgrounds depend. In Ref. [18], it was first applied to all initial coordinates, which produces a T-dual theory; it was then applied to all the T-dual coordinates and the initial theory was obtained. In this paper, we will investigate the application of the generalized T-dualization procedure to an arbitrary set of coordinates. Let us denote the T-dualization along the direction \(x^\mu \) by \(T^\mu \) and the T-dualization along dual direction \(y_\mu \) by \(T_\mu \). Choosing d arbitrary directions, we denote
where \(\mu _{n}\in (0,1,\ldots ,D-1)\), and \(\circ \) denotes the composition of T-dualizations. We will apply T-dualizations (1) to the initial theory, and T-dualizations (2) to its completely T-dual theory (obtained in [18]). We will prove the following composition laws:
where 1 denotes the identical transformation (T-dualization not performed). Therefore, the elements \(1,\mathcal{T}^{a}\) and \(\mathcal{T}_{a}\), with \(d=1,\ldots ,D\), form an Abelian group. We will find the explicit form of the resulting theories and the corresponding T-dual coordinate transformation laws. These results complete the T-dualization diagram connecting all the theories T-dual to the initial theory.
Throughout the whole article (except for Sect. 9) we assume that the Kalb–Ramond field depends on all coordinates. In that case all T-dual theories, except the initial theory, are non-geometric and non-local because they depend on the variable \(V^{\mu }\), which is a line integral of the derivatives of the dual coordinates. To all of these theories there corresponds a flux which is of the same type as the R flux unlike the non-geometric theories with Q flux, which have a local geometric description.
In Sects. 9.1 and 9.2, we present an example of the 3-dimensional torus, \(T^3\) with H-flux, where Kalb–Ramond field depends only on coordinate \(x^3\). Then T-dualizations along the isometry directions \(x^1\) and \(x^2\) lead to geometric background and the T-dualization along \(x^3\) leads to non-geometric background. In Sect. 9.1 putting \(D=3\), \(d=1,2\) with \(B_{\mu \nu }\) depending on \(x^3\) we reproduce the T-duality chain of Refs. [15–17].
In Sect. 9.2 we will compare the results of our paper with those of Ref. [8]. In our manuscript, the background fields’ argument, the variable \(V^\mu \), incorporates all features of the non-geometric spaces. First, as pointed out in Ref. [8] it “eludes a geometric description even locally” because it is a line integral of the derivative. Second, we obtain non-associativity and breaking of Jacobi identity typical for the so called R-flux backgrounds. In Sect. 9.3 we present example of the 4-dimensional torus \(T^4\) to generalize the case of Ref. [20] to critical surface.
The generalized T-dualization procedure originates from the Buscher T-dualization procedure. The first rule in the prescription is to replace the derivatives with the covariant derivatives. The new point in the prescription is the replacement of the coordinates in the background fields’ argument with the invariant coordinates. The invariant coordinates are defined as the line integrals of the covariant derivatives of the original coordinates. Both covariant derivatives and invariant coordinates are defined using the gauge fields. These fields should be nonphysical, so one requires that their field strength should be zero. This is realized by adding the corresponding Lagrange multipliers’ terms. As a consequence of the translational symmetry one can fix the coordinates along which the T-dualization is performed and obtain a gauge fixed action. An important cross-way in the T-dualization procedure is determined by the equations of motion of the gauge fixed action. Two equations of motion obtained varying this action are used to direct the procedure either back to the initial action or forward to the T-dual action. For the equation of motion obtained varying the action over the Lagrange multipliers, the gauge fixed action reduces to the initial action. For the equation of motion obtained varying the action over the gauge fields one obtains the T-dual theory. Comparing the solutions for the gauge fields in these two directions, one obtains the T-dual coordinate transformation laws.
2 T-duality in the weakly curved background
Let us consider the closed bosonic string propagating in the background with metric field \(G_{\mu \nu }\), Kalb–Ramond field \(B_{\mu \nu }\) and a dilaton field \(\Phi \), described by the action [3, 4]
The integration goes over a 2-dimensional world-sheet \(\Sigma \) parametrized by \(\xi ^\alpha \) (\(\xi ^{0}=\tau ,\ \xi ^{1}=\sigma \)), \(g_{\alpha \beta }\) is the intrinsic world-sheet metric, \(R^{(2)}\) corresponding 2-dimensional scalar curvature, \(x^{\mu }(\xi ),\ \mu =0,1,\ldots ,D-1\) are the coordinates of the D-dimensional space-time, \(\kappa =\frac{1}{2\pi \alpha ^\prime }\) with \(\alpha ^\prime \) being the Regge slope parameter and \(\varepsilon ^{01}=-1\).
2.1 Weakly curved background
The requirement of the quantum conformal invariance of the world-sheet results in the space-time equations of motion for the background fields. In the lowest order in the slope parameter \(\alpha ^\prime \) these equations are
Here \(B_{\mu \nu \rho }=\partial _\mu B_{\nu \rho } +\partial _\nu B_{\rho \mu }+\partial _\rho B_{\mu \nu }\) is the field strength of the field \(B_{\mu \nu }\), and \(R_{\mu \nu }\) and \(D_\mu \) are the Ricci tensor and the covariant derivative with respect to the space-time metric. We will consider one of the simplest coordinate dependent solutions of (5), the weakly curved background. This background was considered in Refs. [21–23], where the influence of the boundary conditions on the non-commutativity of the open bosonic string has been investigated. The same approximation was considered in [16, 19] in context of the closed string non-commutativity.
The weakly curved background is defined by
with \(b_{\mu \nu },B_{\mu \nu \rho }=\mathrm{const}\). This background is the solution of the space-time equations of motion if the constant \(B_{\mu \nu \rho }\) is taken to be infinitesimal and all the calculations are done in the first order in \(B_{\mu \nu \rho }\), so that the curvature \(R_{\mu \nu }\) can be neglected as the infinitesimal of the second order. Through the whole manuscript (with the exception of Sect. 9) we assume that the background has the topology of D-dimensional torus \(T^D\), where the Kalb–Ramond field depends on all coordinates. In Sects. 9.1 and 9.2 we give an example of the 3-dimensional torus, \(T^3\), with H-flux, where the Kalb–Ramond field depends only on the coordinate \(x^3\), while in Sect. 9.3 we give an example of the 4-dimensional torus \(T^4\) with constant background fields.
The assumption that \(B_{\mu \nu \rho }\) is infinitesimal means that we consider the D-dimensional torus so large that for any choice of indices
holds [16], where \(R_\mu \) are the radii of the torus. The H-flux background, considered in Refs. [8, 16], is of the same type as the weakly curved background. However, this background depends just on \(x^3\) and corresponds to the examples addressed in Sect. 9 of our paper. The background considered in the rest of the article depends on all coordinates.
In this paper we will investigate the T-dualization properties of the action (4) describing the closed string moving in the weakly curved background. Taking the conformal gauge \(g_{\alpha \beta }=e^{2F}\eta _{\alpha \beta }\), the action (4) becomes
with the background field composition equal to
and the light-cone coordinates given by
2.2 Complete T-dualization
The T-dualization of the closed string theory in the weakly curved background was presented in [18]. The procedure is related to a global symmetry of the theory
The symmetry still exists in the presence of the nontrivial Kalb–Ramond field (6), but only in the case of the trivial mapping of the world-sheet into the space-time, because in that case the variation of the action (8)
after partial integration, using the identity \(\varepsilon ^{\alpha \beta }\partial _\alpha \partial _\beta =0\), becomes
which is equal to zero. This means that classically, directions which appear in the argument of Kalb–Ramond field are also Killing directions. However, the standard Buscher procedure cannot be applied to them, because background fields depend on the coordinates but not on their derivatives.
The T-dual picture of the theory, obtained on applying the T-dualization procedure to all the coordinates, is given by
where
with
being the effective metric and the non-commutativity parameter in Seiberg–Witten terminology of the open bosonic string theory [24]. The T-dual background fields are equal to
and their argument is given by
Here \(\Theta _{0\pm }^{\mu \nu }\) is the zeroth order value of the field composition \(\Theta _{\pm }^{\mu \nu }\) defined in (15) and \(g_{\mu \nu }=G_{\mu \nu }-4b^{2}_{\mu \nu }\) and \({\theta }^{\mu \nu }_{0} =-\frac{2}{\kappa } (g^{-1}bG^{-1})^{\mu \nu } \) are the zeroth order values of the effective fields (16). The variable \(\Delta {\tilde{y}}_\mu \) is the double of the dual variable \(\Delta y_\mu =y_\mu (\xi )-y_\mu (\xi _{0})\), defined as the following line integral:
taken along the path P, from the point \(\xi ^{\alpha }_{0}(\tau _{0},\sigma _{0})\) to the point \(\xi ^{\alpha }(\tau ,\sigma )\).
The fact that we are working with the weakly curved background ensures that the T-dual background fields are the solution of the space-time equations (5). Because both dual metric \({}^\star G^{\mu \nu }\) and dual Kalb–Ramond field \({}^\star B^{\mu \nu }\) are linear in coordinates with infinitesimal coefficients, the dual Christoffel symbol \({}^\star \Gamma _\mu ^{\nu \rho }\) and dual field strength \({}^\star B^{\mu \nu \rho }\) are constant and infinitesimal. In Eq. (114) of Sect. 8 we will show that T-dual dilaton field is \({}^\bullet \Phi =\Phi -\ln \det \sqrt{2\Pi _{+}}\), where \(\Phi \) is constant and \(\Pi _{+}\) is linear in coordinates with infinitesimal coefficients. So, \({}^\bullet \Phi \) is also linear in coordinates with infinitesimal coefficients, and \(\partial _\mu {}^\bullet \Phi \) is constant and infinitesimal. Consequently, \(D_\mu \partial _\nu {}^\bullet \Phi \), \(\partial _\rho {}^\bullet \Phi B^\rho {}_{\mu \nu }\) and \((\partial _\mu {}^\bullet \Phi )^2\) are infinitesimals of the second order. So, all T-dual space-time equations, for the metric, for the Kalb–Ramond field and for dilaton field, are infinitesimals of the second order and as such are neglected.
The initial theory (8) and its completely T-dual theory (14) are connected by the T-dual coordinate transformation laws (eq. (42) of Ref. [18])
and its inverse (eq. (66) of Ref. [18])
where \(\beta ^{\pm }_\mu (x)= \mp \frac{1}{2}h_{\mu \nu }(x)\partial _\mp x^\nu \). It is shown that
and therefore
3 T-dualization along arbitrary subset of coordinates \(\mathcal{T}^{a}:S[x^\mu ]\rightarrow S[x^{i},y_{a}]\)
In this section, we will learn what theory is obtained if one chooses to apply the T-dualization procedure to the action (8), along arbitrary d coordinates \(x^{a}\), \(\mathcal{T}^{a}:S[x^\mu ]\rightarrow S[x^{i},y_{a}]\), with \(\mathcal{T}^{a}=\circ _{n=1}^{d}T^{\mu _{n}}\), \(\mu _{n}\in (0,1,\ldots ,D-1)\).
The closed string action in the weakly curved background (6) has a global symmetry (11). One localizes the symmetry for the coordinates \(x^{a}\), by introducing the gauge fields \(v^{a}_{\alpha }\) and substituting the ordinary derivatives with the covariant derivatives
The covariant derivatives are invariant under standard gauge transformations
In the case of the weakly curved background, in order to obtain the gauge invariant action one should additionally substitute the coordinates \(x^{a}\) in the argument of the background fields with their invariant extension, defined by
where
To preserve the physical equivalence between the gauged and the original theory, one introduces the Lagrange multipliers \(y_{a}\) and adds term \(\frac{1}{2}y_{a} F^{a}_{+-}\) to the Lagrangian, which will force the field strength \(F^{a}_{+-}\equiv \partial _{+}v^{a}_{-} -\partial _{-}v^{a}_{+}=-2F^{a}_{01}\) to vanish. In this way, the gauge invariant action
is obtained, where the last term is equal to \(\frac{1}{2}y_{a} F^{a}_{+-}\) up to the total divergence. Now, we can fix the gauge taking \(x^{a}(\xi )=x^{a}(\xi _{0})\) and obtain the gauge fixed action
This action reduces to the initial one for the equations of motion obtained varying over the Lagrange multipliers. The T-dual action is obtained for the equations of motion for the gauge fields.
3.1 Regaining the initial action
Varying the gauge fixed action (29) over the Lagrange multipliers \(y_{a}\) one obtains the equations of motion
which have the solution
On this solution the background fields’ argument \(\Delta V^{a}\) defined in (27) is path independent and reduces to
The gauge fixed action (29) reduces to the initial action (8), but the background fields’ argument is \(\Delta V^{a}\) instead of \(x^{i}\). However, the action (8) is invariant under the constant shift of coordinates, so shifting coordinates by \(x^{a}(\xi _{0})\) one obtains the exact form of the initial action.
3.2 The T-dual action
Using the equations of motion for the gauge fields, we eliminate them and obtain the T-dual action.
The equations of motion obtained varying the gauge fixed action (29) over the gauge fields \(v^{a}_{\pm }\) are
where
is the contribution from the background fields’ argument \(\Delta V^{a}\), defined in a same way as in Ref. [18], by \(\delta _{V}S_\mathrm{{fix}}=-\kappa \int \mathrm{d}^{2}\xi (\beta ^{+}_{a}\delta v^{a}_{+}+\beta ^{-}_{a}\delta v^{a}_{-})\). If the initial background \(\Pi _{+\mu \nu }\) does not depend on the coordinates \(x^{a}\), the corresponding beta functions are zero \(\beta ^{\pm }_{a}=0.\)
Multiplying Eq. (33) by \(2\kappa \tilde{\Theta }^{ab}_{\mp }\), defined in (A.7), the inverse of the background fields composition \(\Pi _{\pm ab}\), one obtains
Substituting (35) into the action (29), we obtain the T-dual action
where
In order to find the explicit value of the background fields argument \(\Delta V^{a}(x^{i},y_{a})\), it is enough to consider the zeroth order of the equations of motion for the gauge fields \(v^{a}_{\pm }\) (35)
Here \({\tilde{\Theta }}^{ab}_{0\pm }\) and \(\Pi _{0\mp bi}\) stand for the zeroth order values of \({\tilde{\Theta }}^{ab}_{\pm }\) and \(\Pi _{\mp bi}\), and they are defined in (A.11).
Substituting (38) into (27) we obtain
Here
are the variables T-dual to the coordinates \(y_{a}\) and \(x^{i}\) in the zeroth order in \(B_{\mu \nu \rho }\), for \(b_{\mu \nu }=0\), which we call the double variables.
Thus, we obtain the explicit form of the T-dual action and conclude that it is given in terms of the original coordinates \(x^{i}\) and the dual coordinates \(y_a\) originating from the Lagrange multipliers. However, the background fields’ argument depends not only on these variables but on their doubles as well. Because of this the theory is non-local as the double variables \(\tilde{x}^{i}\) and \(\tilde{y}_{a}\) are defined as line integrals.
The action (36) can be obtained from the initial action (8) under the following substitutions of the coordinate derivatives and the background fields:
where the dual background fields are
with \(\overline{\Pi }_{+ij}\), \(\Pi _{+\mu \nu }\), and \(\tilde{\Theta }^{ab}_{-}\) defined in (37), (9), and (A.7). The argument of all T-dual background fields is \([x^i,V^a(x^i,y_a)]\). According to (27) and (39), it is non-local and consequently non-geometric. Calculating the symmetric and antisymmetric part of the T-dual field compositions (43), we find that the T-dual metric and Kalb–Ramond field are equal to
where \(\tilde{G}_{Eab}\) and \(\tilde{\theta }^{ab}\) are defined in (A.6) and (A.10). The T-dual background fields have the same form as in the flat background [1, 5, 25] but in the present case fields \(B_{\mu \nu }\), \(\tilde{G}^{-1ab}_{E}\) and \(\tilde{\theta }^{ab}\) are coordinate dependent.
Comparing the solutions for the gauge fields (31) and (35), we obtain the T-dual coordinate transformation law
4 Inverse T-dualization \(\mathcal{T}_{a}:S[x^{i},y_{a}]\rightarrow S[x^\mu ]\)
In this section we will show that T-dualization of the action \(S[x^{i},y_{a}]\), given by (36), along already treated directions \(y_{a}\) leads to the original action.
So, let us localize the global symmetry of the coordinates \(y_{a}\)
of the action (36). Note that this is the symmetry, despite the coordinate dependence of the metric (44), due to the invariance of the background fields’ argument [18]. Following the T-dualization procedure, we substitute the ordinary derivatives with the covariant ones
where \(u_{\pm a}\) are gauge fields which transform as \(\delta u_{\pm a}=-\partial _\pm \lambda _{a}\). We also substitute coordinates \(y_{a}\) in the background fields’ argument with the invariant coordinates
where
In this way, adding the Lagrange multiplier term which makes the introduced gauge fields nonphysical, we obtain the gauge invariant action
which after fixing the gauge by \(y_{a}(\xi )=y_{a}(\xi _{0})\) becomes
where \(\Delta V^{a}\) is defined in (39) and \(\Delta U_{a}\) in (49).
4.1 Regaining the T-dual action
The equations of motion obtained varying the gauge fixed action (51) over the Lagrange multipliers \(z^{a}\)
have the solution
On this solution the variable \(\Delta U_{a}\) defined by (49) is path independent and reduces to
and the gauge fixed action (51) reduces to the action (36).
4.2 Regaining the initial action
The equations of motion obtained varying the gauge fixed action (51) over the gauge fields \(u_{\pm a}\) are
where terms \(\tilde{\Theta }^{ab}_{0\mp }\beta ^{\pm }_{b}\) are the contribution from the variation over the background field argument
Here \(\beta ^{\pm }_{a}\) is of the same form as (34) and \(\tilde{\Theta }^{ab}_{0\mp }\) is defined in (A.11).
Let us show that for the equations of motion (55), the gauge fixed action (51) will reduce to the initial action (8). Using the fact that \(\tilde{\Theta }^{ab}_{\mp }\) is inverse to \(2\kappa \Pi _{\pm ab}\), these equations of motion can be rewritten as
Substituting (57) into (51), using the definition (37) and the first relation in (A.22) one obtains
The explicit form of the argument of the background fields is obtained substituting the zeroth order of Eq. (57) into (49)
Consequently, the argument of the background fields \(\Delta V^{a}\), defined in (39), is just
So, the action (58) is equal to the initial action (8) with \(x^\mu =(x^{i},z^{a})\).
Comparing the solutions for the gauge fields (53) and (57), we obtain the T-dual transformation law
Substituting \(\partial _\mp y_a\) to (45) with the help of (60) one finds \(\partial _\pm x^{a}=\partial _\pm z^{a}\). Therefore, (61) is the transformation inverse to (45), which confirms the relation \(\mathcal{T}^a\circ \mathcal{T}_a=1\).
5 T-dualization along all undualized coordinates \(\mathcal{T}^{i}:S[x^{i},y_{a}]\rightarrow \, S[y_\mu ]\)
In this section we will T-dualize the action (36), applying the T-dualization procedure to the undualized coordinates \(x^{i}\). Substituting the ordinary derivatives \(\partial _\pm x^{i}\) with the covariant derivatives
where the gauge fields \(w^{i}_\pm \) transform as \(\delta w^{i}_\pm =-\partial _\pm \lambda ^{i}\), substituting the coordinates \(x^{i}\) in the background field arguments with
and adding the Lagrange multiplier term, we obtain the gauge invariant action
Substituting the gauge fixing condition \(x^{i}(\xi )=x^{i}(\xi _{0})\) one obtains
where \(\Delta W^\mu =\big [\Delta W^{i},\Delta V^{a}(\Delta W^{i},y_{a})\big ]\) with \(\Delta W^{i}\) defined by
and \(\Delta V^{a}=\Delta V^{a}(\Delta W^{i},y_{a})\) is defined in (39), where argument \(x^{i}\) is replaced by \(\Delta W^{i}\).
5.1 Regaining the T-dual action
The equations of motion for the Lagrange multipliers \(y_{i}\) are
and they have the solution
For this solution the background field argument \(\Delta W^{i}\) defined in (66) reduces to
so that the argument \(\Delta V^{a}\) becomes
and therefore the gauge fixed action (65) reduces to the action (36).
5.2 From the gauge fixed action to the completely T-dual action
The equations of motion obtained varying the gauge fixed action (65) over \(w_\pm ^{i}\) are
where
Terms \(\overline{\Pi }_{\pm ij}\Theta ^{j\mu }_\mp \beta ^\pm _\mu (W)\) are the contribution from the background fields’ argument, defined by
calculated using (A.15), (A.16), and (39).
Using the fact that the background field composition \(\overline{\Pi }_{\pm ij}\) is invese to \(2\kappa \Theta ^{ij}_\mp \) defined by (A.22), we can rewrite the equation of motion (71) expressing the gauge fields as
Using the second relation in (A.23), we obtain
Substituting (75) into the gauge fixed action (65), we obtain
Using (A.22), (A.27), and (A.29) one can rewrite this action as
In order to find the background fields’ argument \(\Delta W^{i}\), we consider the zeroth order of Eqs. (75), and we conclude that
Using (A.28) and (A.23), we find that \(\Delta V^{a}(\Delta W^{i},y^{a})\) defined in (39) equals
Therefore, we conclude that the background fields’ argument is equal to (18), so that the action (77) is the completely T-dual action (14), which is in agreement with Ref. [18]. Comparing the solutions for the gauge fields (68) and (75), we obtain the T-dual transformation law
One can verify that two successive T-duality transformations (45) and (80) correspond to the total T-duality transformation (20). Indeed, the relation (80) is just the ith component of this transformation. Substituting \(\partial _\pm x^i\) from (80) into (45), using (A.25) and (A.29), we obtain
which is just the ath component of the complete T-duality transformation. So, we confirm that \(\mathcal{T}^a\circ \mathcal{T}^i=\mathcal{T}\).
6 Inverse T-dualization along arbitrary subset of the dual coordinates \(\mathcal{T}_{i}:S[y_\mu ]\rightarrow S[x^{i},y_{a}]\)
Finally, in this section we will show that the T-dualization of the completely T-dual action (14), along arbitrary subset of the dual coordinates \(y_{i}\) leads to T-dual action (36). So, let us start with the T-dual action
which is globally invariant to the constant shift of coordinates \(y_\mu \)
We localize this symmetry for the coordinates \(y_{i}\) and obtain the locally invariant action
where \(D_\pm y_{i}=\partial _\pm y_{i}+u_{\pm i}\) are the covariant derivatives. The gauge fields \(u_{\pm i}\) transform as \(\delta u_{\pm i}=-\partial _\pm \lambda _{i}\) and the invariant coordinates are defined by \(y_{i}^{\mathrm{inv}}=\int _{P}(\mathrm{d}\xi ^{+}D_{+}y_{i} +\mathrm{d}\xi ^{-}D_{-}y_{i})\). After fixing the gauge by \(y_{i}(\xi )=y_{i}(\xi _{0})\), the action becomes
where \(\Delta U_{i}=\int _{P}(\mathrm{d}\xi ^{+}u_{+i} +\mathrm{d}\xi ^{-}u_{-i})\).
6.1 Regaining the T-dual action
The equations of motion obtained varying the gauge fixed action (84) over the Lagrange multipliers
have the solution
On this solution the variable \(\Delta U_{i}\) reduces to
and therefore
So, the action (84) becomes the action (81).
6.2 Obtaining the T-dual action
The equations of motion obtained varying the action (84) over \(u_{\pm i}\) are
where \(\beta ^{\pm }_\mu \) are given by (72). The terms with beta function come from the variation over the argument \(U_{i}\)
and are calculated using (A.15) and (18). Using the fact that \(2\kappa \overline{\Pi }_{\mp ij}\) is the inverse of \(\Theta ^{ij}_\pm \), the equation (89) can be rewritten as
Substituting (91) into the gauge fixed action (84), using (A.25) we obtain
which with the help of (A.29) becomes
In order to find the argument of the background fields \(\Delta V(\Delta U_{i},y_{a})\), one considers the zeroth order of Eqs. (91) and obtains
where the double variables are defined in analogy with (40). Substituting (94) into (18), we obtain
and
which is exactly (39) with \(z^{i}=x^{i}\). So, we can conclude that the action (93) is equal to the T-dual action (36).
Comparing the solutions for the gauge fields (86) and (91), we obtain the T-dual transformation law
These transformations are inverse to (80), so that \(\mathcal{T}^i\circ \mathcal{T}_i=1\). Successively applying (97) and (61), using (A.29) and (A.25), we obtain the ith component of the inverse law of the total T-dualization (21). Its ath component is (61), so we confirm that \(\mathcal{T}_{a}\circ \mathcal{T}_{i}=\tilde{\mathcal{T}}\).
7 Group of the T-dual transformation laws
In this section we will recapitulate the coordinate transformation laws between the theories considered. In Sect. 3, we performed the T-dualization procedure along the coordinates \(x^{a}\)
and obtained the following coordinate transformation law: (45)
where \(V^{a}\) and \(\beta ^{\pm }_{a}\) are given by (39) and (34). In the zeroth oder this law implies
In Sect. 4, starting from the action \(S[x^{i},y_{a}]\) we performed the T-dualization procedure along the coordinates \(y_{a}\)
and obtained the transformation law (61)
which is the law inverse to (99) and in the zeroth order it implies
Multiplying the transformation law (99) from the left side by \(\Pi _{\pm ca}(x)\cong \Pi _{\pm ca}\big (x^{i},\Delta V^{a}(x^{i},y_{a})\big )\), using (100), we obtain the transformation law (102). So, we confirm that \(\mathcal{T}^{a}\circ \mathcal{T}_{a}=1\).
In Sect. 5, starting once again from the action \(S[x^{i},y_{a}]\), we performed the T-dualization procedure along the undualized coordinates \(x^{i}\)
and obtained the coordinate transformation law (80)
where \(V^\mu \) and \(\beta ^\pm _{\mu }\) are given by (18) and (72). In the zeroth order it gives
The two successive T-duality transformations (99) and (105) give the complete transformation (20), so that \(\mathcal{T}^{a}\circ \mathcal{T}^{i}=\mathcal{T}\).
In Sect. 6, starting from the completely T-dual action S[y], we performed the T-dualization procedure along the coordinates \(y_{i}\)
and obtained (97)
with \(V^{a}\), \(U_{i}\), and \(\beta ^{\pm }_\mu \) given by (79), (94), and (72). In the zeroth order this law implies
Multiplying (108) from the left by
using (106), we obtain the transformation law (105), so that \(\mathcal{T}^{i}\circ \mathcal{T}_{i}=1.\) Successively applying (108) and (102), using (A.29) and (A.25), we obtain the ith component of the inverse law of the complete T-dualization (21). Its ath component is (102), so we confirm that \(\mathcal{T}_{a}\circ \mathcal{T}_{i}=\tilde{\mathcal{T}}\).
We can conclude that the elements \(1,\mathcal{T}^{a}\) and \(\mathcal{T}_{a}\), with \(d=1,\ldots ,D\), form an Abelian group. The element \(\mathcal{T}^{a}\) is the inverse of the element \(\mathcal{T}_{a}\).
8 Dilaton field in the weakly curved background
The T-duality transformation of the dilaton field in the weakly curved background was considered in Ref. [26]. For completeness and further use, we give here a brief recapitulation of some basic steps of the treatment.
It is well known that a dilaton transformation has a quantum origin. So, let us start with the path integral for the gauge fixed action
where
with \(S_1\) being the infinitesimal part of the action
For a constant background (\(S_1=0\)) the path integral is Gaussian and it equals \((\det \Pi _{0 + \mu \nu })^{-1}\). In our case the background is coordinate dependent and thus the integral is not Gaussian. The fact that we work with an infinitesimal parameter enables us to show that the final result is formally the same as in the flat case [26],
where \({}^\star S (y)= \frac{\kappa ^2}{2} \int \mathrm{d}^2 \xi \, \partial _+ y_\mu \, \Theta _{-}^{\mu \nu }(V) \partial _- y_\nu \) is the complete T-dual action and \(\Pi _{+\mu \nu }(V)=B_{\mu \nu }(V)+\frac{1}{2}G_{\mu \nu }\). Consequently, although for the weakly curved background the functional integration over \(v_\pm \) is of the third degree, it produces formally the same result as in the flat space (where the action is Gaussian),
Using the expressions for T-dual fields (43) we can find the relations between the determinants
where because of the relation \(\Pi _{\pm ab} = B_{a b}\pm \frac{1}{2}G_{a b}\) we put in the factor 2 for convenience. The symbol \({}^\bullet G_{\mu \nu }\) denotes metric in the whole space-time after partial T-dualization along \(x^a\) directions. With the help of last relation we can show that the change of space-time measure in the path integral is correct
when we performed T-dualization \(T^a\) along \(x^a\) directions.
9 Comparison with the existing facts
9.1 T-dualization chain for the background with H flux
In this section we will compare our results with the T-dualization chain of Ref. [16]. The coordinates of the \(D=3\)-dimensional torus will be denoted by \(x^{1},x^{2},x^{3}\). Because of the different notation, the background fields considered in this paper and those considered in [16], which will be denoted \(\mathcal{G}\) and \(\mathcal{B}\), are related by
Nontrivial components of the background considered in Ref. [16] are
which in our notation corresponds to the background fields
Let us first compare the results in the case \(d=1\), corresponding to the transition
To do so, let us perform T-dualization along the direction \(x^{1}\), \(T^{1}:S[x]\rightarrow S[y_{1},x^{2},x^{3}]\), for the string moving in the background (119). The indices take the values \(a,b\in \{1\}\) and \(i,j\in \{2,3\}\). Because the only nontrivial component of the Kalb–Ramond field is \(B_{ai}=-\frac{1}{2}Hx^{3}\delta _{i2}\,\), the effective fields are just \(\tilde{G}^{E}_{\mu \nu }=\delta _{\mu \nu }\) and \(\tilde{\theta }^{ab}=0\). So, the T-dual background fields (44), in the linear order in H, are
Therefore
and
so our result is in agreement with that of Ref. [16].
Now, let us make the comparison in the case \(d=2\), which corresponds to the transition
Instead to perform \(T^{2}\) dualization, from twisted torus to Q-flux non-geometry as in [16], we will start from the initial background with H-flux and perform T-dualizations along \(x^{1}\) and \(x^{2}\), \(T^{1}\circ T^{2}:S[x]\rightarrow S[y_{1},y_{2},x^{3}]\). The indices take the values \(a,b\in \{1,2\}\) and \(i,j\in \{3\}\). Because the only nontrivial contribution to the Kalb–Ramond field \(B_{ab}\) is \(B_{12}=-\frac{1}{2}Hx^3\), the effective background fields are \(\tilde{G}^{E}_{ab}=\delta _{ab},\,\bar{G}^{E}_{ij}=\delta _{ij}\), and the only nonzero component of \(\tilde{\theta }^{ab}\) is \(\tilde{\theta }^{12}=\frac{1}{\kappa }Hx^{3}\). The T-dual background fields linear in H are therefore
and
Consequently
so the results of this paper and [16] in this case coincide.
9.2 Non-associativity of R-flux background and breaking of Jacobi identity
In Refs. [18, 19] we obtained T-dual transformation laws connecting T-dual coordinates \(y_\mu \) with the initial coordinates \(x^\mu \). Here we will reduce our case to the 3-dimensional torus with H-flux considered in [8]. Then, the full T-dualization along all coordinates corresponds to the so-called R-flux. So, we are going to calculate its characteristic features: non-associativity relation and breaking of Jacobi identity.
We will work in the background of Sect. 9.1 consisting of euclidean flat metric \(G_{\mu \nu }\) and Kalb–Ramond field with one nontrivial component \(B_{12}=-\frac{1}{2}Hx^3\). T-dual transformation laws for coordinates \(y_\mu \;(\mu =1,2,3)\) are of the form
where \(\pi _1,\pi _2, \pi _3\) are canonically conjugated momenta for coordinates \(x^1,x^2,x^3\), respectively. The initial space is a geometric one, so, the standard Poisson algebra is satisfied,
which, after two partial integrations, produces
where \(\varepsilon _{\mu \nu \rho }\) is the 3-dimensional Levi-Civita tensor (\(\varepsilon _{123}=1\)) and the function \(\theta (\sigma )\) is defined as
Using the standard Poisson algebra (130) and transformation laws (127)–(129), after one partial integration, we get
Now we have all ingredients to calculate the non-associativity relation
and breaking of Jacobi identity
For example, for \(\sigma _1=2\pi +\sigma \) and \(\sigma _2=\sigma _3=\sigma \) one has
In the approach of this article, the background of the T-dual theory depends on the non-local variable \(V^\mu \), which incorporates the main features of the non-geometric spaces. Reducing our procedure to three dimensions and using the backgrounds of Refs. [8, 16, 27], we showed that our structure of arguments of background fields proves the proposal of Refs. [8, 27] that non-associativity and breaking of Jacobi identity are features of R-flux background.
9.3 Critical surface
Let us generalize the discussion of Ref. [20] where the critical surface, which separates equivalent sections of background fields, generalizes the critical radius. Using the dilaton field analysis, namely the relation (115), we can conclude that T-duality maps the theories with a given
into the theories with
so that all different theories are in the region
The theories which background fields satisfy the condition \(\det (2 \Pi _{\pm ab})=1\), are mapped into each other under T-duality. This is a generalization of the critical radius and can be consider as a critical surface. So, relation (115) implies \( \sqrt{\det G_{a b}} = \sqrt{\det {^\bullet G}^{a b}}\), which means that a dual volume is equal to the initial one. At the critical surface the extended symmetry should be expected.
Let us, following [20], give an example of the relation between the original and T-dual background fields. We will consider the initial background in the 4-dimensional torus \(T^4\) given by
where
satisfies
The zero modes of the T-dual metric and T-dual Kalb–Ramond field (17) for the initial fields (138) are
and
with \(b^{2}=b^{i}b^{i}\). They have the same form as the initial fields (138)
with
One easily shows
In spheric coordinates one has
so \(g^{2}+b^{2}=r^{2}\), and using (144) one obtains
Therefore, T-duality transforms \((r,\theta ,\varphi ,\varphi _{1})\) to
From the relation \(\Pi _\pm G^{-1} \Pi _\mp = - \frac{1}{4} G_E\) we find
Backgrounds corresponding to \(r=1\) are mapped into themselves. The subset of this is the fixed surface with the condition
or \(g=1, \,\, b^{i}=0\).
10 Conclusion
In this paper, we considered the closed string propagating in the weakly curved background (6), composed of a constant metric \(G_{\mu \nu }\) and a linearly coordinate dependent Kalb–Ramond field \(B_{\mu \nu }\), with infinitesimal field strength. We investigated the application of the generalized T-dualization procedure on the arbitrary set of coordinates and obtained the following T-duality diagram:
Let us stress that generalized T-dualization procedure enables the T-dualization along arbitrary direction, even if the background fields depend on these directions. The consequence of this procedure is that the arguments of the background fields, such as \(\Delta V^{a}\), are non-local. They are non-local by definition, as they are the line integrals of the gauge fields. Once the explicit form is obtained the non-locality is seen in a fact that they depend on double coordinates \(\tilde{x}\) and \(\tilde{y}\), which are the line integrals of the \(\tau \) and \(\sigma \) derivatives of the original coordinates. To all the theories considered, except the initial theory, there corresponds the non-geometric, non-local flux.
The generalized T-dualization procedure was first applied along arbitrary d \((d=1,\ldots ,D-1)\) coordinates \(x^{a}=\{x^{\mu _{1}},\ldots ,x^{\mu _{d}}\}\). We obtained the T-dual action \(S[x^{i},y_{a}]\), given by Eq. (36) with the dual background fields equal to
The argument of all background fields, \([x^i, V^a(x^i,y_a)]\), depends nonlinearly on coordinates \(x^i,y_a\) through their doubles \(\tilde{x}^i,\tilde{y}_a\) [see (39) and (40)]. All actions \(S[x^i,y_a]\) are physically equivalent, but they are described with coordinates \(x^{i}=\{x^{\mu _{d+1}},\ldots ,x^{\mu _{D}}\}\), for the untreated directions and dual coordinates \(y_{a}=\{y_{\mu _{1}},\ldots ,y_{\mu _{d}}\}\), for the dualized directions. The case \(d=D\) corresponds to the completely T-dual action with the T-dual fields \(\frac{\kappa }{2}\Theta ^{\mu \nu }_{-}\big (V(y)\big )\) and the case \(d=0\) to the initial action with the background \(\Pi _{+\mu \nu }(x)\).
Applying the procedure to the T-dual action along dual directions \(y_{a}=\{y_{\mu _{1}},\ldots ,y_{\mu _{d}}\}\) we obtained the initial theory, and applying it to the untreated directions \(x^{i}=\{x^{\mu _{d+1}},\ldots ,x^{\mu _{D}}\}\) we obtained the completely T-dual theory. All these derivations confirmed that the set of all T-dualizations forms an Abelian group. The neutral element of the group is the unexecuted T-dualization, while the T-dualizations along some subset of original directions \(\mathcal{T}^{a}\) is inverse to the T-dualizations along the set of the corresponding dual directions \(\mathcal{T}_{a}\).
References
A. Giveon, M. Porrati, E. Rabinovici, Phys. Rep. 244, 77–202 (1994)
E. Alvarez, L. Alvarez-Gaume, Y. Lozano, Nucl. Phys. Proc. Suppl. 41, 1 (1995)
B. Zwiebach, A First Course in String Theory, 2nd edn. (Cambridge University Press, 2009)
K. Becker, M. Becker, J.H. Schwarz, String Theory and M-Theory—A Modern Introdution (Cambridge University Press, 2007)
T.H. Buscher, Phys. Lett. B 201(4), 466 (1988)
M. Roček, E. Verlinde, Nucl. Phys. B 373, 630 (1992)
J. Shelton, W. Taylor, B. Wecht, JHEP 10, 085 (2005)
R. Blumenhagen, A. Deser, D. Lüst, E. Plauschinn, F. Rennecke, J. Phys. A 44, 385401 (2011)
B. Nikolić, B. Sazdović, Phys. Rev. D 84, 065012 (2011)
B. Nikolić, B. Sazdović, JHEP 06, 101 (2012)
O. Hohm, Prog. Theor. Phys. Suppl. 188, 116–125 (2011)
C. Hull, B. Zwiebach, JHEP 09, 099 (2009)
O. Hohm, C. Hull, B. Zwiebach, JHEP 08, 008 (2010)
O. Hohm, C. Hull, B. Zwiebach, JHEP 07, 016 (2010)
D. Lüst, JHEP 12, 084 (2010)
D. Andriot, M. Larfors, D. Lüst, P. Patalong, JHEP 06, 021 (2013)
D. Andriot, O. Hohm, M. Larfors, D. Lüst, P. Patalong, Phys. Rev. Lett. 108, 261602 (2012)
Lj. Davidović, B. Sazdović, EPJC 74(1), 2683 (2014)
Lj. Davidović, B. Nikolić, B. Sazdović, EPJC 74(1), 2734 (2014)
A. Giveon, E. Rabinovici, G. Veneciano, Nucl. Phys. B 323, 167 (1989)
Lj. Davidović, B. Sazdović, Phys. Rev. D 83, 066014 (2011)
Lj. Davidović, B. Sazdović, JHEP 08, 112 (2011)
Lj. Davidović, B. Sazdović, EPJC 72(11), 2199 (2012)
N. Seiberg, E. Witten, JHEP 09, 032 (1999)
B. Nikolić, B. Sazdović, Nucl. Phys. B 836, 100 (2010)
B. Sazdović, JHEP 08, 055 (2015)
R. Blumenhagen, E. Plauschinn, J. Phys. A Math. Theor. 44, 015401 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Work supported in part by the Serbian Ministry of Education, Science and Technological Development, under contract No. 171031.
Appendix A: The background field compositions
Appendix A: The background field compositions
The background field compositions \(\Pi _{\pm \mu \nu }\) of the initial theory are
where \(G_{\mu \nu }\) and \(B_{\mu \nu }\) are the initial metric and the initial Kalb–Ramond field. The background field compositions \({\Theta }^{\mu \nu }_{\pm }\) of the T-dual theory are
with \(G_{E\mu \nu }\) being the effective metric
and \(\theta ^{\mu \nu }\) being the parameter of non-commutativity
These background field compositions satisfy
Let us define the analogs of \({\Theta }^{\mu \nu }_{\pm }\) in the d- and \(D-d\)-dimensional subspaces determined by coordinates \(x^{a}=\{x^{\mu _{1}},\ldots ,x^{\mu _{d}}\}\) and \(x^{i}=\{x^{\mu _{d+1}},\ldots ,x^{\mu _D}\}\), where \(d=1,2,\ldots ,D-1\). The effective metrics in these subspaces are defined by
where \(\tilde{G}_{ab}\equiv G_{ab}\) and \(\bar{G}_{ij}\equiv G_{ij}\). Using these we define the following field compositions:
which are in fact the inverses of \(2\kappa \Pi _{\mp ab}\) and \(2\kappa \Pi _{\mp ij}\)
Analogously as the fields theta \(\Theta ^{\mu \nu }_\pm \) defined in the whole space by (A.2), the theta fields defined in the subspaces can be separated into antisymmetric and symmetric parts as
where
In the zeroth order the quantities \(\Pi _{\pm \mu \nu }\), \(\Theta ^{\mu \nu }_\pm \), \(\widetilde{\Theta }^{ab}_\pm \), and \(\bar{\Theta }^{ij}_\pm \) reduce to
where the zeroth order effective metrics are
and the zeroth order non-commutativity parameters are
Quantities \(\Pi _{0\pm \mu \nu }\), \(\Theta ^{\mu \nu }_{0\pm }\), \(\widetilde{\Theta }^{ab}_{0\pm }\), and \(\bar{\Theta }^{ij}_{0\pm }\) satisfy
The non-commutativity parameters theta \(\Theta ^{\mu \nu }_\pm \), \(\tilde{\Theta }^{ab}_\pm \), and \(\bar{\Theta }^{ij}_\pm \) can be expressed as
1.1 Appendix A.1: Relations between field compositions
In Sect. 3.2 we introduced the background field composition
and analogously we define
Here we will show that these quantities are the inverses of the ordinary non-commutativity parameters theta, projected to the i- and a-subspaces [see (A.22)].
Let us express the tensors \(\Pi _{\pm \mu \nu }\) and \(\Theta ^{\mu \nu }_\pm \), which satisfy (A.5), in a block-wise form as
We will use the definition of block-wise inversion, which states that the inverse of the matrix of the form
equals
Applying (A.20) to the first matrix in (A.18), Eq. (A.5) implies
and we can conclude that (A.16) and (A.17) are the inverses of \(2\kappa \Theta _{\mp }^{ij}\) and \(2\kappa \Theta _{\mp }^{ab}\), respectively. So, we can write
and
Applying (A.20) to the second matrix in (A.18), Eq. (A.5) implies
so using (A.8) we conclude that
and
Let us derive some useful relations between these quantities. Equation (A.5), for \(\mu =a\), \( \nu =i\) and \(\mu =i\), \(\nu =a\), becomes
while taking \(\mu =a, \nu =b\) and \(\mu =i\), \(\nu =j\) we obtain
Multiplying Eq. (A.27) from the left with \(\tilde{\Theta }_{\mp }^{ca}\) and from the right with \(\bar{\Pi }_{\mp ik}\) we get the relation
while multiplying Eq. (A.28) from the right with \(\bar{\Theta }_{\mp }^{ki}\) and from the left with \(\tilde{\Pi }_{\pm ac}\), we obtain
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
Davidović, L., Nikolić, B. & Sazdović, B. T-duality diagram for a weakly curved background. Eur. Phys. J. C 75, 576 (2015). https://doi.org/10.1140/epjc/s10052-015-3808-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3808-8