Open string T-duality in double space

The role of double space is essential in the new interpretation of T-duality and consequently in an attempt to construct M-theory. The case of the open string is missing in such an approach because until now there has been no appropriate formulation of open string T-duality. In the previous paper (Sazdović, From geometry to non-geometry via T-duality, arXiv:1606.01938, 2017), we showed how to introduce vector gauge fields AaN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^N_a$$\end{document} and AiD\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^D_i$$\end{document} at the end-points of an open string in order to enable open string invariance under local gauge transformations of the Kalb–Ramond field and its T-dual “restricted general coordinate transformations”. We demonstrated that gauge fields AaN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^N_a$$\end{document} and AiD\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^D_i$$\end{document} are T-dual to each other. In the present article we prove that all above results can be interpreted as coordinate permutations in double space.


Introduction
It is well known that M-theory unifies all five consistent superstring theories by a web of T and S dualities. In order to formulate M-theory we should construct one theory which contains the initial theory (any of the five consistent ones) and all corresponding dual ones.
The 2D dimensional double space with the coordinates Z M = (x μ , y μ ) (which are the coordinates of initial space x μ and its T-dual y μ ) offers many benefits in the interpretation of T-duality. In fact, in such a space, the T-duality transformations can be realized simply by exchanging places of some coordinates x a , along which we performed T-duality and the corresponding dual coordinates y a [2,3]. It contains the initial and all corresponding T-dual theories. Realization of such a program for T-duality in the bosonic case has been done: for a flat background in Ref. [2] and for a weakly curved back-Work supported in part by the Serbian Ministry of Education and Science, under Contract No. 171031. a e-mail: sazdovic@ipb.ac.rs ground, with linear dependence on coordinates, in Ref. [3]. We hope that S-duality, which can be understood as a transformation of a dilaton background field, can be successfully incorporated in such a procedure.
T-duality for superstrings is a non-trivial extension of the bosonic case. In Ref. [4] we extended such an approach to type II theories. In fact, doubling all bosonic coordinates we have unified types IIA and IIB theories. The formulation of M-theory should include T-dualization along fermionic variables, also. T-dualization along all fermionic coordinates in fermionic double space (where we doubled all fermionic variables) has been considered in Ref. [5].
The remaining step is to extend interpretation of T-duality in double space (which we earlier proposed for the case of the closed string) to the case of the open string, also. This will be done in the present article.
The difference between open and closed string appears at the open string end-points. Until recently, background fields along Neumann and Dirichlet directions A N a and A D i (N and D denote components with Neumann and Dirichlet boundary conditions) are treated in a different way [6,7]. The Neumann vector field has been introduced in the Lagrangian through the coupling withẋ a . On the other hand, the Dirichlet vector field has been introduced as a consistency condition without contributions to the Lagrangian. In order to realize a double space formulation in the open string case we should treat Neumann and Dirichlet vector fields in the same way. This has recently been done in Ref. [1].
In Ref. [8] it has been shown how to introduce vector gauge fields A N a in order that open string retain the symmetries of the closed string. Note that according to Ref. [1], beside the well-known local gauge invariance of the Kalb-Ramond field we used its T-dual "restricted general coordinate transformations", which include transformations of the background fields but do not include transformations of the coordinates. So, the above interpretation of the T-duality in double space will confirm the expressions for T-dual closed string background fields G μν and B μν (as in Refs. [2,3]) and gives the same expressions for T-dual vector fields A a D and A i N as those obtained in Ref. [1] with Buscher's procedure.

T-duality of the open string
In this section we will introduce some well-known features of the bosonic string and briefly repeat the main results of Ref. [1]. We will adapt T-duality to be in compliance with boundary conditions on the open string end-points. We will consider vector gauge fields: A N a with Neumann boundary conditions which compensate for the not implemented gauge symmetry of the Kalb-Ramond field at the open string end-points and A D i with Dirichlet boundary conditions, which compensate for the not implemented restricted general coordinate transformations at the open string endpoints. We will show that field A D i is T-dual to the A N a one, and that the general coordinate transformations are T-dual to gauge symmetry.

Closed and open bosonic string
Let us start with the action for the closed bosonic string [8][9][10] S It propagates in D-dimensional space-time with a background defined by the space metric G μν and the Kalb-Ramond field B μν . We denote the string coordinates by x μ (ξ ), μ = 0, 1, ..., D − 1 and the intrinsic world-sheet metric by g αβ . The integration goes over the two-dimensional world-sheet with coordinates ξ α (ξ 0 = τ, ξ 1 = σ ) and α is the Regge slope parameter. Since the constant 1 2πα appears in many expressions, from now on we will denote it κ = 1 2πα . In the conformal gauge g αβ = e 2F η αβ this action can be rewritten in terms of light-cone coordinates ξ ± = 1 2 (τ ± σ ), with the following combination of the background fields: In the string theory, variation of the action (2.2) with respect to x μ produces not only the equation of motion but also the boundary conditions where μ νρ is Christoffel symbol and we introduce the useful variable From now on, we will denote the boundary of the open string ∂ , so that we can rewrite Eq. (2.5) as follows: As a consequence of periodicity, the boundary conditions are trivially satisfied in the closed string case. In the open string case there are two different ways to satisfy the boundary conditions. For some coordinates x a (a = 0, 1, . . . , p) we will choose the Neumann boundary conditions, when variations of the string end-points δx a / ∂ are arbitrary and for the other ones, x i (i = p +1, . . . , D −1), we will choose the Dirichlet boundary conditions, when the edges of the string are fixed, x i / ∂ = 0 . In order to satisfy the Neumann boundary conditions according to (2.5) we should take γ (0) a (x)/ ∂ = 0. It s well known that closed string theory is invariant under the following infinitesimal transformations: local gauge transformations of the Kalb-Ramond field, and general coordinate transformations, These transformations are connected by T-duality [1,11]. Let us stress that according to Ref. [1] we are not going to add transformations of the coordinates to (2.9). So, we will call these "restricted general coordinate transformations". Both of the above symmetries fail at the open string endpoints. In order to restore these symmetries the gauge fields have to be introduced. To restore local gauge symmetry we introduce the vector fields A N a with Neumann boundary conditions (see Ref. [8]), while to restore restricted general coordinate transformations we introduce the vector fields A D i with the Dirichlet boundary conditions (see Ref. [1]). Note that as a consequence of the boundary conditions only parts of these gauge fields survive.
So, the action for the open bosonic string with the above boundary conditions is [1] S open [x] = κ where following Ref. [1] we introduced the effective vari- and for simplicity we assumed that the metric tensor has the form We introduced a pair of effective vector fields So, we doubled the number of vector fields, but there are two constraints on the effective vector fields, is known as a massless vector field on the Dp-brane, while the A D i [x] are known as massless scalar oscillations orthogonal to the Dp-brane.
Let us briefly discuss the appearance of two types of vector fields and see the advantage of each of them. The p + 1dimensional Neumann gauge field A N a is the standard one and it couples withẋ a , as usual. The D − p − 1-dimensional Dirichlet gauge field A D i is a nonstandard one and it couples with the term G −1i j γ (0) j , which contains bothẋ i and x i . The fields coupled with x μ behave unusually and it is useful to treat them separately. So, we denote the fields coupled withẋ μ by A 0μ and that coupled with x μ by A 1μ . But in such an approach, instead of one D-dimensional vector This is the source of the constraints (2.13).

Choice of background
The space-time equations of motion are a consequence of the absence of the conformal anomaly. For the closed string case in the lowest order in the slope parameter α , it produces [12] (2.14) Here B μνρ = ∂ μ B νρ +∂ ν B ρμ +∂ ρ B μν is the field strength of the Kalb-Ramond field B μν , and R μν and D μ are the Ricci tensor and covariant derivative with respect to the space-time metric.
For the same reason, for the open string case there are additional space-time equations of motion [13]. In our notation they take the following form: and K μ ab is the extrinsic curvature. We will consider the simplest solutions of the closed string part, Since we are working with a plane Dp-brane the extrinsic curvature is zero and because , B ab and G E ab are constant, both β a and β μ vanish. So, our choices of the background fields (2.17) and (2.18) satisfy all space-time equations of motion.

Sigma-model T-duality of the open string
The T-dualization procedure of the theory described by the action (2.10) with the background fields (2.17) and (2.18) has been performed in Ref. [1]. The T-dualization of the vector background fields A N a and A D i is non-trivial because these fields are coordinate dependent and it is not possible to apply the standard Buscher procedure [16,17]. Instead, the T-dualization procedure of Ref. [15], which works in the absence of a global symmetry, has been applied.
So, applying the T-dualization procedure along all coordinates, the T-dual action has been obtained: and are the symmetric and antisymmetric parts of θ μν ± . In the literature, G E μν is known as the open string metric and θ μν as a non-commutative parameter.
The T-dual action (2.20) should have the same form as the initial one (2.10) but in terms of T-dual fields. So, we can express the T-dual background fields in terms of the initial ones, The first relation can be rewritten as Note that the T-dual vector background fields do not depend on y μ but on which is a function of both y μ and its doublẽ With the help of (2.23) we can find the effective T-dual vector fields in analogy with Eq. (2.11), The explanation for the two types of vector fields is the same as that at the end of Sect. 2.1 for the original vector fields. We will see that effective fields naturally appear in T-duality transformation laws for the open string (2.34).
In terms of their combinations A ±μ = A 0μ ± A 1μ , the Tduality relations for the vector fields obtain the simple form A μ ± ∼ = κ θ μν ± A ±ν (see (3.12)). We can define the field strengths of the vector fields rewriting the interaction term as follows: and similarly for the T-dual case. The field strength is simply defined in terms of effective fields and in the most general T-dual case that leads to [1] Note that beside the standard antisymmetric part F μν (a) it contains the unusual symmetric part F μν (s) also. The source of the last one is the vector field A μ 1 (which originally has been introduced as a field coupled with x μ ) and derivatives with respect toỹ μ . So, the advantage of introducing effective fields is higher than the price we paid, the constraints (2.13) and (2.28). Technically, we can consider them as gauge fixing of some additional gauge symmetry for effective vector fields.
For the initial and T-dual open strings, the boundary conditions at the string end-points take the form Here γ (0) μ (defined in (2.6) for a closed string) now receives a new infinitesimal term, while for the T-dual theory we have The terms with the vector field A D i in (2.32) and A N b (2.33) are irrelevant in the expressions for the actions (2.10) and (2.20), because they appear as an infinitesimal of the second order terms.

T-duality transformations of the open string
The T-dual transformation laws for the open string, connecting the initial and corresponding T-dual variables, take the form [1,18] where the symbol ∼ = denotes the T-duality relation.
In fact the second transformation (2.34) can be obtained after T-dualization of the action (2.20). Equations (2.34) are the inverse. Both transformations differ from the closed string ones by the infinitesimal term which contains the vector background fields A ±μ .
In terms of the covariant derivatives, From the first equation (2.34) we can find the T-dual transformation laws forẋ μ and x μ , and from the second one the inverse transformations becomė Using the expression for the canonical momentum of the original and of the T-dual theory (2.42) This relation connect momenta and winding numbers.

T-dual background fields of open string in double space
Following Refs. [2][3][4][5]14] we are going to introduce a double space in order to offer a simple interpretation of T-dualization as a coordinate permutation in double space. Let us start with the T-dual transformation laws (2.34). We can express them in a useful form, where on the left hand side we put the terms with the world-sheet antisymmetric tensor ε α β (note that ε ± ± = ±1) We can rewrite these T-duality relations in the simple form

2)
where we introduced the double coordinates Z M and the corresponding arguments of the background fieldsZ arg (3.3) Note the different notation for arguments of the background fields, introduced in Ref. [3]. The double space coordinate Z M has 2D rows; D components of initial coordinates x μ in the upper D rows and D components of T-dual coordinates y μ in the lower D rows. In the arguments of the background fieldsZ arg in each row there is the complete D dimensional vector. Rewritten in the form of one column the arguments of the background fields are a 2D 2 dimensional vector.
Because the arguments of all background fields in A M ± (Z arg ) and A K ± ( Z arg ) (see (3.10)) are the same in the upper D rows as well as in the lower D rows we can write them in two component notation as in (3.3). We indicated this with the index D.
We also introduced the so-called O(D, D) invariant metric M N , the generalized metric H M N and constant matrix σ 3 , (3.5) and the double gauge fields . (3.6) Note that as in Refs. [2][3][4][5]14] all coordinates are doubled. It is easy to check that which shows that manifest O(D, D) symmetry is automatically incorporated into theory.

T-duality in double space along all coordinates
Let us derive the expression for the T-dual generalized metric and T-dual double gauge fields following the approach of Ref. [3]. Then, besides the double space coordinates Z M , we should also transform the extended coordinates of the arguments of the background fieldsZ arg (3.3). We will require that the T-duality transformations (3.2) are invariant under transformations of the double space coordinates Z M andZ arg We want to offer an interpretation for the case where Tdualization has been performed along all coordinates. So, we are going to exchange all initial with all T-dual coordinates, which is described by the matrices T and T of the form The T-dual coordinates Z M and Z arg should satisfy the same relation as the initial one, Eq. (3.2), but in terms of the T-dual background fields: This produces the expression for the dual generalized metric and dual double gauge fields in terms of the initial ones: It is well known [2,3] that the first relation gives the standard T-dual transformations of the metric and Kalb-Ramond fields (2.24). Rewriting the second relation in components, with the help of (2.24) and (3.6) we have Using Eqs. (2.11) and the first relation of (2.23) we obtain On the other hand, the T-dual effective fields should have the form (2.27) (3.14) From (3.13) and (3.14) with the help of (2.24) we have which is just the Buscher T-duality relation for vector fields (2.23). So, inclusion of gauge fields does not change the interpretation of T-duality in double space. It is again a replacement of the initial and T-dual coordinates, which shows that these transformations are nonphysical.

Double space field strength
If in addition to (3.3) we introduce new double fields, we can reexpress the field strengths of both initial and T-dual case (see Eqs. (5.11) and (7.31) of Ref. [1]) in the form where we defined

Example: three-torus with D 1 -brane in double space
In this section the example of three-torus with a D 1 -brane, considered in Ref. [1] will be presented in double space. We will show how to perform T-dualization along all coordinates in double space.

Initial theory in double space
We will start with a definition of the background fields of the initial theory in double space. Let us denote the coordinates of the D = 3 dimensional torus by x 0 , x 1 , x 2 and introduce non-trivial components of the background fields by It is easy to find the corresponding effective metric and the non-commutativity parameter where as we defined in [1] We will also need an expression for the combination of the background fields According to (3.4) it produces Similarly, we have The double space coordinates are while the double gauge field according to (3.6) takes the form Note that the dimension ofZ arg is 2 × D 2 = 2 × 3 2 = 18.
We will start with the D 1 -brane defined with the Dirichlet boundary conditions x 2 (τ, σ )/ σ =0 = x 2 (τ, σ )/ σ =π =const. It means that we will work with Neumann background fields A 0 N and A 1 N and the Dirichlet background field A 2 D and according to our convention we will have p = 1, a, b ∈ {0, 1} and i, j ∈ {2}.
In terms of initial Neumann and Dirichlet fields we obtain where we used the second expression of Eq. (4.2).

T-dual theory in double space
On the other hand, for the T-dual case we have (4.10) or with the help of (2.27), in terms of T-dual Neumann and Dirichlet fields, (4.11) Using the second equation (3.11), with the help of (4.9) and (4.11) we obtain (4.12) where for this example we have Note that the transition fromZ arg to Z arg changes x μ ↔ V μ , while the operator T exchanges the first three with the last three rows from Eq. (4.9). Equation (4.12) produces just the T-duality relations in accordance with (2.23), (4.1) and (4.2).

Double space field strength
The structure of our example produces γ (0) 2 = κ x 2 and the action (2.10) takes the form Note the unusual coupling of the Dirichlet part A D 2 with x 2 . According with (2.18) the non-trivial vector background fields are where F (a) ≡ F (a) Consequently, the field strength of the initial theory is Note the unusual expression and the unusual appearance of the symmetric field strength F (s) .

Conclusions
In the present article we extend the interpretation of T-duality in double space to the case of an open string. This includes consideration of T-duality for the vector gauge fields.
In string theory the gauge fields appear at the boundary of the open string. Their role is to enable complete local gauge symmetries. In fact, there are two important symmetries of the closed string theory: the local gauge symmetry of the Kalb-Ramond field and general coordinate transformations. In Ref. [1] we showed that "restricted general coordinate transformations" (transformations of the background fields without transformations of the coordinates) are T-dual to the local gauge symmetry of the Kalb-Ramond field. Both symmetries fail at the open string end-points. The function of the gauge fields is to restore these symmetries at the string end-points.
For each symmetry of string theory there is an appropriate gauge field. As a consequence of the boundary conditions only parts of these gauge fields survive. From the gauge field corresponding to the local gauge symmetry of the Kalb-Ramond field the components along the coordinates with Neumann boundary conditions A N a survive. From the gauge field corresponding to restricted general coordinate transformations the components along the coordinates with Dirichlet boundary conditions A D i survive. So, the complete vector field is A μ = {A N a , A D i }. It is well-known that x μ is T-dual to π μ . In Ref. [1] was shown that it produces chain of T-dualities between restricted general coordinate transformation and local gauge transformations; and vector fields with Neumann A N a and Dirichlet boundary conditions A D i . In the present article we showed that all the above results have a simple interpretation in double space. The double space contains 2D coordinates, D initial x μ and corresponding D T-dual y μ . The T-dualization of the present article (along all coordinates) corresponds to the replacement of all initial coordinates x μ with all T-dual coordinates y μ and all initial arguments of the background fields x μ with all T-dual ones V μ . Such an operation reproduces all results described above. So, in the open string case a complete set of T-duality transformations form the same subgroup of the 2D permutation group as in the closed string case.
Let us stress that there is an essential difference between our approach and that of double field theories (DFT) [19,20]. In DFT there are two coordinates: the initial x μ and its double, denotedx μ . The variablex μ corresponds to our y μ but we have an additional dual coordinateỹ μ defined in Eq. (2.26). For a discussion of the boundary conditions in DFT see Ref. [21].
Consequently, in the double space we are able to represent the backgrounds of all T-dual open string theories in a unified manner as well as in the cases of bosonic [2,3] and type II superstring theories [4].
This step is an important ingredient in better understanding M-theory. We already explained the role of the double space in the interpretation of T-duality and consequently in the attempt to construct M-theory [4,5]. The present article is an extension of these considerations to the case of an open string.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm ons.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 SCOAP 3 .