Abstract
We investigate how T-duality and solving the boundary conditions of the open bosonic string are related. We start by considering the T-dualization of the open string moving in the constant background. We take that the coordinates of the initial theory satisfy either Neumann or Dirichlet boundary conditions. It follows that the coordinates of T-dual theory satisfy exactly the opposite set of boundary conditions. We treat the boundary conditions of both theories as constraints, and apply the Dirac procedure to them, which results in forming \(\sigma \)-dependent constraints. We solve these constraints and obtain the effective theories for the solution. We show that the effective closed string theories are also T-dual.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
T-duality [1,2,3], first observed in string theory, interchanges the string momenta and winding numbers, leaving the spectrum unchanged. Its description on the string sigma model level was first given by Buscher [4, 5]. The Buscher procedure [6] covers the T-dualization of the coordinates on which the background fields do not depend. The generalized Buscher procedure, applicable to the arbitrary coordinate of the coordinate dependent background was proposed in [7]. The T-dual theory obtained by this prescription is nongeometric, described in terms of the dual coordinates and their double. The double field theories are investigated in [8, 9].
The nongeometricity appears naturally when considering the open bosonic string moving in a weakly curved background with all coordinates satisfying the Neumann boundary conditions. The problem of solving these boundary conditions was considered in [10,11,12]. In the first two papers the conditions were treated as constraints in a Dirac procedure. In the third, the solution of boundary conditions was presupposed in a form expressing the odd coordinate and momenta parts in terms of their even parts. Both treatments lead to effective theories, obtained for the solution of boundary condition, defined in nongeometric space given in terms of even parts of coordinates and of their doubles.
In this paper we consider the open string moving in the constant background fields: metric \(G_{\mu \nu }\) and antisymmetric Kalb–Ramond field \(B_{\mu \nu }\). It is well known that the constant Kalb–Ramond field does not affect the dynamics in the world-sheet interior but it contributes to its boundary and causes the noncommutativity of the string coordinates. Also, we consider the T-dual theory, obtained applying the T-dualization procedure to the above theory. The T-dual theory has a standard action describing the T-dual string moving in the background with a T-dual metric \( {^\star G}^{\mu \nu }= (G^{-1}_{E})^{\mu \nu }\), which is an inverse of the effective metric and a dual Kalb–Ramond field \( ^{\star }B^{\mu \nu }= \frac{\kappa }{2}\theta ^{\mu \nu }\) which is the noncommutativity parameter, in Seiberg–Witten terminology of the open bosonic string theory [13].
We consider the mixed boundary conditions, for both initial and T-dual coordinates and solve them using techniques developed in [10,11,12]. We chose the Neumann boundary conditions for coordinate directions \(x^{a}\) and Dirichlet conditions for the rest of the coordinates \(x^{i}\) of the initial theory. As usual, using the T-dual coordinate transformation laws one shows that the chosen boundary conditions of the initial theory transform to the boundary conditions of the T-dual theory, so that \(y_{a}\) satisfy the Dirichlet and \(y_{i}\) the Neumann boundary conditions.
We treat all boundary conditions as constraints and follow the Dirac procedure. The new constraints are found, first as a Poisson bracket between the hamiltonian and the boundary conditions, and every subsequent as a Poisson bracket between the hamiltonian and the previous constraint. Using the Taylor expansion, we represent this infinite set of constraints we obtain, by only two \(\sigma \)-dependent constraints [14,15,16,17], one for each endpoint. Imposing \(2\pi \)-periodicity, to the variables building the constraints, one observes that the constraints at \(\sigma =\pi \) can be expressed in terms of that at \(\sigma =0\), and that in fact solving one pair of constraints one solves the other pair as well.
We can separate the constraints into even and odd parts under world-sheet parity transformation (\(\varOmega : \sigma \rightarrow -\sigma \)), separating the variables building the constraints into even and odd parts. Solving the \(\sigma \)-dependent constraints, one reduces the phase space by half. Halves of the original canonical variables are treated as effective variables: the independent variables and their canonical conjugates. For the solution of the constraints we obtain the effective theories, defined in terms of the effective variables. We examine their characteristics and confirm that the effective theories of two T-dual theories are also T-dual.
The paper is organized as follows: In Sect. 2 we consider the standard open bosonic string action and we choose the boundary conditions for every coordinate. Then, we find the T-dual theory, and show that T-dual coordinates satisfy exactly the opposite boundary condition for a given direction of the T-dual space-time, than for the corresponding direction of the original space-time. In Sect. 3, we rewrite the boundary conditions in the canonical form and find the new constraints following the Dirac procedure. We gather the constraints into \(\sigma \)-dependent constraints, separate the canonical variables into their even and odd parts, and solve the constraints. In Sect. 4 we find the noncommutativity relations for coordinates and momenta of both initial and T-dual theories. In Sect. 5 we calculate the effective theories, which will be obtained from the initial theories for the solution of the constraints. We show that the effective theories of the initial and T-dual theory remain T-dual, and find the effective T-duality coordinate transformation laws.
2 The open bosonic string and its T-dual
The bosonic string sigma model, describes the bosonic string moving in a curved background associated with the massless bosonic fields: a metric field \(G_{\mu \nu }\), a Kalb–Ramond field \(B_{\mu \nu }\) and a dilaton field \(\varPhi \). The dynamics is described by the action [18,19,20]
The integration goes over two-dimensional world-sheet \(\varSigma \) 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,...,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\). The space-time fields in which the string moves have to obey the space-time equations of motion, in order to have a conformal invariance on the quantum level. If the dilaton field is taken to be zero, and the conformal gauge is considered \(g_{\alpha \beta }=e^{2F}\eta _{\alpha \beta }\), the action can be rewritten as
with the background field composition
and the light-cone coordinates given by
From the minimal action principle one obtains the equations of motion and the boundary conditions
where
For the closed string the boundary conditions are fulfilled because of the periodicity of its coordinates. In the open string case, for each of the space-time coordinates one can fulfill the boundary conditions (5) by choosing either the Neumann or the Dirichlet boundary condition. Let us choose the Neumann condition for coordinates \(x^{a},\,a=0,1,\dots ,p\) and the Dirichlet condition for coordinates \(x^{i},\,i=p+1,\dots ,D-1\), which read
We consider the block diagonal constant metric and Kalb–Ramond field \(G_{\mu \nu }=const\), \(B_{\mu \nu }=const\)
2.1 Open string theory T-dual
Let us find a T-dual of the open string theory described by the action (2). In order to find the T-dual action, one substitutes the ordinary derivatives with the covariant derivatives \(D_\pm x^\mu =\partial _\pm x^\mu +v_\pm ^\mu \), defined in terms of the gauge fields \(v^\mu _\pm \). One adds the Lagrange multiplier term to make the introduced gauge fields nonphysical. The gauge is fixed taking \(x^\mu (\xi )=0\). Next, one finds the equations of motion varying the obtained gauge fixed action over the gauge fields \(v^\mu _\pm \). The T-dual action is obtained by substituting the expressions for the gauge fields obtained from these equations of motion, into the gauge fixed action. The T-dual action reads [10]
The dual background field composition equals
where \(G_{E}\) is the effective metric. The T-dual metric is its inverse
and a T-dual Kalb–Ramond field is
where \(\theta ^{\mu \nu }=-\frac{2}{\kappa }(G^{-1}_{E}BG^{-1})^{\mu \nu }\) is the noncommutativity parameter.
Because of the choice (8), the composition of the T-dual background fields is also block diagonal
given in terms of the inverse of the initial metric and the effective metric
by
where \((G_{E})_{ab}=G_{ab}-4B_{ac}({G}^{-1})^{cd}B_{db}\) and \((G_{E})_{ij}=G_{ij}-4B_{ik}({G}^{-1})^{kl}B_{lj}\). The components of the non-commutativity parameter are
The coordinates of the initial and the T-dual theory are connected by T-duality coordinate transformation laws, which read
The T-dual boundary conditions are
where
The T-dual theory (9) is equivalent to an open string theory (2) with chosen boundary conditions (7), if the T-dual boundary conditions are fulfilled in a Neumann way for coordinates \(y_i\) and in a Dirichlet way for \(y_a\)
This is because of the T-duality transformation law (17), which gives
and consequently
So, performing T-dualization one changes the type of the boundary conditions which the coordinates in i and a directions satisfy.
3 Dirac consistency procedure applied to the boundary conditions
The coordinates of the initial and T-dual open string satisfy the appropriate set of the boundary conditions (7) and (20), obtained from the actions (2) and (9). In this section, we are going to treat them as constraints and we will apply the Dirac consistency procedure. In order to implement the procedure, let us find the canonical form of the boundary conditions, and express them in terms of the currents building the energy-momentum tensors, and consequently the hamiltonians.
The momenta conjugated to the coordinates of the initial and T-dual theories (2) and (9) are
The energy-momentum tensor components for the initial theory can be expressed in terms of currents
as
Using the first relation in (23), the currents can be rewritten in terms of coordinates as
The canonical hamiltonian density is
The hamiltonian density and the energy-momentum tensor of the T-dual theory
are expressed in terms of the dual currents given by
where \({^\star \varPi }_{\pm }^{\mu \nu }\) is defined in (10). Using the second relation in (23) one obtains
3.1 The Dirac procedure applied to the initial theory
Let us treat the Neumann and Dirichlet boundary conditions (7) of the initial theory as canonical constraints and apply the Dirac consistency procedure to them, following [10, 11]. The simplest way to obtain the explicit form of these constraints is using the currents defined in (24). Because the hamiltonian is already expressed in terms of these currents, all that remains is to find their algebra.
The algebra of currents [21] in a constant background is given by
Using the expressions for momenta (23), one can rewrite the Neumann (N) and Dirichlet (D) boundary conditions (7) in a canonical form
Following the Dirac procedure, one can impose consistency to these constraints. The additional constraints are defined for every \(n\ge 1\) by
with \(H_{c}=\int \,d\sigma {{\mathcal {H}}}_{c}\) being the canonical hamiltonian.
All these constraints can be gathered into only two constraints, which depend on the space parameter of the world-sheet. We will multiply every constraint by an appropriate degree of the world-sheet space parameter \(\sigma \) and add the terms together, forming two sigma dependent constraints
One could in principle consider another reparametrization of the world-sheet given by \(\eta =f(\sigma )\) so that the parameters of string endpoints remain 0 and \(\pi \) i.e. one demands \(f(0)=0\) and \(f(\pi )=\pi \), and on the interval \((0,\pi )\) f should be an increasing function \(f^\prime >0\). Then, one would consider a Taylor expansion
Solving these constraints would be exactly the same, only the argument of variables would change to \(f(\sigma )\), as if one has performed the reparametrization of all effective variables \(q^\mu ,\bar{q}^\mu ,p_\mu ,\bar{p}_\mu \), defined later in this section. At the end, one would obtain the noncommutativity relations of the same form.
Because the background fields are constant, the Poisson bracket between the hamiltonian and the currents will produce the first \(\sigma \)-derivative of the currents
Consequently, the n-th constraints will be given in terms of the n-th derivative of the currents
So, the constraints read
where (n) marks the n-th partial derivative over \(\sigma \). Summing, we obtain the explicit form of the sigma dependent constraints
The Poisson brackets of \(\sigma \)-dependent constraints are
Therefore, they are of the second class and one can solve them.
Obviously, the parameter dependent constraints are given in terms of currents depending on either \(\sigma \) or \(-\sigma \). Therefore, in order to obtain the constraints in terms of the independent canonical variables, it is useful to divide the latter into their even and odd parts, with respect to \(\sigma \). For the initial coordinates one has
and for the momenta one has
It is well known that this separation, leads to a solvable form of the constraints which now read
Using the above expressions for the constraints of the initial theory
one obtains the solution
3.1.1 The constraints at \(\sigma =\pi \)
In order to derive constraints at the other string end-point \(\sigma =\pi \), we will multiply every constraint with the appropriate power of \(\sigma -\pi \) and sum the products to obtain two sigma dependent constraints
Substituting the canonical form of the constraints (36), we obtain
Summing, we obtain the explicit form of the sigma dependent constraints
Comparing the constraints (47) and (38), one observes that they are equal if
It follows that if we extend the domain [10] of the variables building the currents, i.e. original coordinates and momenta and demand their \(2\pi \)-periodicity
then the \(\sigma \)-dependent constraints for \(\sigma =0\) and \(\sigma =\pi \) are equal, and their solution is given by (44).
3.2 T-dual theory constraints
The canonical form of the T-dual boundary conditions (20) is obtained using the expression for the T-dual momenta, given by the second relation of (23) and the dual currents (29). The conditions are rewritten as
and
Although the boundary conditions of the initial and the T-dual theory are related by (22), so that the Neumann and the Dirichlet conditions of the initial theory transform to the Dirichlet and the Neumann conditions in the T-dual theory, one can observe that the form of Neumann and Dirichlet conditions has not changed. Rewriting (50) and (51) as
using \({^\star \varPi }_{\pm }^{ij}=\frac{\kappa }{2}\varTheta ^{ij}_{\mp }\) and \({^\star G}^{\mu \nu }=(G^{-1}_{E})^{\mu \nu }\), we see that they are of the same form as (32) keeping in mind the T-duality relations
Using the Dirac procedure, analogue to that for the initial theory, the following \(\sigma \)-dependent constraints are obtained
The constraints at \(\sigma =\pi \) produce the same result if we demand the \(2\pi \)-periodicity for the T-dual canonical variables \(y_\mu (\sigma +2\pi )=y_\mu (\sigma )\) and \(^\star \pi ^\mu (\sigma +2\pi )=\,^\star \pi ^\mu (\sigma )\).
Separating the dual variables into the odd and even parts with respect to \(\sigma =0\), in a same way as in (40) and (41)
one obtains the sigma dependent constraints of the following form
The T-dual constraints are also of the second class. So, we can solve them
by
4 Noncommutativity of the effective variables
Solving the constraints (43), has reduced the phase space by half. The \(\sigma \)-derivative of coordinates and the momenta for the solution (44) are
and
By solving the constraints, one has eliminated parts of initial coordinates \(\bar{q}^{a},\,q^{i}\) and momenta \(\bar{p}_{a},\,p_{i}\), and one is left with variables \(q^{a},\bar{q}^{i},p_{a},\bar{p}_{i}\) which are considered as fundamental variables. Note that in N-sector the new fundamental variables are even \(q^{a},p_{a}\), while in D-sector the new fundamental variables are odd \(\bar{q}^{i},\bar{p}_{i}\).
For an arbitrary function \(F(x,\pi )\) defined on the initial phase space, one introduces its restriction on the reduced phase space by \(f=F(x,\pi )\Big |_{\varGamma _\mu =0}\). The Poisson brackets in the effective phase space are the Dirac brackets [21] of the initial phase space associated with the second class constraints \(\varGamma _\mu =0\). The new brackets are denoted by star
The Poisson brackets of the effective variables are considered in app. “Appendix A” (for details see [10]).
So, by looking at the solution of the constraints, we can observe that in the Neumann-subspace, the coordinates depend on both effective coordinates and momenta, while in the Dirichlet-subspace the momenta depend on both effective coordinates and momenta. Therefore, using (A.6) we can conclude that in N-subspace, the coordinates do not commute
while in the D-subspace the momenta do not commute
The dual coordinate \(\sigma \)-derivative and the dual momenta for the solution (58) of the dual constraints (57) are
and
By solving the T-dual constraints one has eliminated the variables \(k_{a},\bar{k}_{i},{^\star p}^{a},{^\star \bar{p}}^{i}\). Therefore, the new fundamental variables are \(\bar{k}_{a},{^\star \bar{p}}^{a}\) (odd) in the D-sector and \(k_{i},{^\star p}^{i}\)(even) in the N-sector.
In this description, we see that the coordinates in the D-subspace commute while in the N-subspace they are not commutative
The momenta are commutative in the N-subspace, while in the D-subspace they are noncommutative
So, N and D-sectors of the initial and T-dual theories replace their characteristics. Note that in all cases the Kalb–Ramond field is the source of noncommutativity.
5 Effective theories
By extending the domain of the initial coordinates and momenta, the solution of the constraint in one string endpoint solves the constraint in the other string endpoint as well, as in [10]. If we substitute the solution of the constraints into the canonical hamiltonians, we will obtain the effective hamiltonians. Using the equations of motion for momenta, we will find the corresponding effective lagrangians. Effective theories describe the closed effective string.
When choosing the Neumann boundary conditions for all directions the new basic canonical variables, the effective variables, are the even coordinate and momenta parts \(q^\mu (\sigma )\) and \(p_\mu (\sigma )\). Choosing the mixed boundary conditions both odd and even parts of initial coordinates and momenta remain the basic canonical variables for some directions. So, the effective hamiltonian for the initial theory will be given in terms of odd \(\bar{q}^i,\bar{p}_i\) in Dirichlet directions and even \(q^a,p_a\) in Neumann directions and the effective T-dual hamiltonian in terms of odd \(\bar{k}_{a},{^\star \bar{p}}^{a}\) in Dirichlet directions and even \(k_{i},{^\star p}^{i}\) in Neumann directions. The corresponding effective lagrangians will consequently depend on both even and odd coordinate parts \(q^{a},\bar{q}^{i}\) and \(k_{i},\bar{k}_{a}\).
5.1 Effective energy-momentum tensors
For the solution (59), (60) of the boundary conditions, the a-th and the i-th component of the initial currents \(j_{\pm \mu },\) reduce to
The energy-momentum tensor components (25) in a background (8) read
and reduce to
for the solution of constraints.
The dual energy-momentum tensor components are
The dual currents reduce for the solution (64) and (65) to
and therefore the energy-momentum tensor components become
Note that in opposite to the initial currents, the T-dual currents with index a are Dirichlet’s, while the currents with index i are Neumann’s.
5.2 Effective hamiltonians
The effective canonical hamiltonian for theory (2) is
and the effective T-dual canonical hamiltonian for (9) is
The effective hamiltonian (74), expressed in terms of effective variables with the help of (68), reads
where
The effective T-dual hamiltonian (75), expressed in terms of effective variables with the help of (72), reads
where
5.3 Effective Lagrangians
The lagrangians of the effective theories (76) and (78) are given by
The effective lagrangians can be separated into
with
The explicit forms of the effective lagrangians are found by eliminating the momenta from (83), using the equations of motion for them
and
For these equations the \(\sigma \)-derivatives of the initial and T-dual coordinates, given by (59) and (64), become
and
In order to find the expression for the initial and the T-dual coordinate we need to introduce a double coordinate \(\tilde{q}^{a}\) of the even part of the initial coordinate \(q^{a}\)
and a double coordinate \(\tilde{k}_{i}\) of the even part of the T-dual coordinate \(k_{i}\)
The coordinates become
and
For the equations (84) and (85), the currents (68) and (72) reduce to
and
So, after elimination of the momenta the effective lagrangians become
where the lagrangians (83) reduced to
5.4 T-duality between effective theories
Let us now introduce coordinates
and the corresponding canonically conjugated momenta
The currents \({j}^{ N}_{\pm a}\) and \({j}^{ D}_{\pm i}\) defined in (68) and the currents \(^\star j^{a}_{{ D}\pm }\) and \(^\star j^{i}_{{ n}\pm }\) defined in (72), can be gathered into currents
They satisfy
where
The effective energy-momentum components (70) and (73) can be rewritten as
and the effective hamiltonians (76) and (78) are therefore
Using the T-duality relations
and (59), (65), (64), (60) one obtains
and
Separating the odd and even parts one obtains
which gives
Comparing the background fields (100), we see that they are T-dual to each other as expected, because by T-duality the metric should transform to the inverse of the effective metric. In our case, in absence of the effective Kalb–Ramond field this means the T-dual metric should be inverse to the initial metric, what is just the case
Using (107) and (108) we can conclude that the effective hamiltonians (102) are T-dual to each other.
The corresponding lagrangians (94) are given by
which for the equations of motion for momenta (84) and (85)
become
Combining (107) with (110) one obtains
Therefore, the effective and T-dual effective variables \(Q^\mu \) and \(K_\mu \) are connected by
This is the T-dual effective coordinate transformation law. Using it together with (108), one can conclude that the effective lagrangians (111) are T-dual. This law is in agreement with the T-dual coordinate transformation law (17), for \(B_{\mu \nu }=0\)
keeping in mind that the metric is replaced by the effective metric \(G_{\mu \nu }\rightarrow G^{eff}_{\mu \nu }\).
6 Conclusion
In the present paper we show that solving the constraints obtained applying the Dirac consistency procedure to mixed boundary conditions of the open bosonic string, which leads to the effective theory and the T-dualization of the bosonic string theory can be performed in an arbitrary order. We started considering the string described by the open string sigma model. The string is moving in the constant metric \(G_{\mu \nu }\) and a constant Kalb–Ramond field \(B_{\mu \nu }\). We chose the Neumann boundary conditions for some directions \(x^{a}\) and the Dirichlet boundary conditions for all other directions \(x^{i}\).
We treated the boundary conditions as constraints, and applied the Dirac procedure. The boundary conditions where given in terms of coordinates and momenta, which we rewrote in terms of currents building the energy-momentum tensor components. By Dirac procedure the new constraints are found commuting the hamiltonian with the known constraints. The canonical form of constraints allowed us a simple calculation of the exact form of the infinitely many constraints. From these constraints we formed two \(\sigma \)-dependent constraints, for every string endpoint, by multiplying every obtained constraint with the appropriate power of \(\sigma \) for constraints in \(\sigma =0\) and \(\pi -\sigma \) for constraints in \(\sigma =\pi \), and adding these terms together into Taylor expansions. The constraints at \(\sigma =0\) and \(\sigma =\pi \) were found to be equivalent by imposing \(2\pi \)-periodicity condition for the canonical variables \(x^\mu \) and \(\pi _\mu \).
The \(\sigma \)-dependent constraints are of the second class. To solve them we introduced even and odd parts of the initial canonical variables. We found the solution and expressed the \(\sigma \)-derivative of the initial coordinate \(x^{\prime \mu }\) and the initial momentum \(\pi _\mu \) in terms of even parts \(q^{a},p_{a}\) of \(x^\mu ,\pi _\mu \) in Neumann directions and of their odd parts \(\bar{q}^{i},\bar{p}_{i}\) in Dirichlet directions, see (59) and (60). For the solution of constraints, the theory reduced to the effective theory. We obtained the effective energy-momentum tensors (70) and the effective hamiltonian (76). For the equations of motion for momenta, we obtained the corresponding effective lagrangian (94).
We also found the T-dual of the initial theory. We applied the Dirac procedure to the mixed boundary conditions of the T-dual theory. The constraints where solved, which reduced the phase space to \(\bar{k}_{a},{^\star \bar{p}}^{a}\) in D-sector and \(k_{i},{^\star p}^{i}\) in N-sector. For the solution of T-dual constraints we obtained the T-dual effective energy-momentum tensors (73) and the T-dual effective hamiltonian (78), as well as the corresponding T-dual effective lagrangian (94).
The canonically conjugated effective variables are now pairs \(q^{a},p_{a}\) and \(\bar{q}^{i},\bar{p}_{i}\) for the initial and \(k_{i},{^\star p}^{i}\) and \(\bar{k}_{a},{^\star \bar{p}}^{a}\) for the T-dual effective theory. The effective variables in both effective theories satisfy the modified Poisson brackets considered in “Appendix A”. Therefore, if the variable of the initial theory depends on both effective coordinates and effective momenta of any pair, it will be noncommutative. One observes that in N-sector coordinates do not commute (62) and also the momenta of the D-sector of the initial theory (63). In T-dual theory the roles are exchanged so that in D-sector coordinates do not commute (66) and also the momenta of the N-sector (67).
This is different, in comparison to the choice of the Neumann boundary conditions for all directions [10,11,12]. In that case, solving the constraints leads to full elimination of odd variables. Also, when considering a weakly curved background, with a coordinate dependent Kalb–Ramond field with an infinitesimal field strength, the effective theory turned out to be non-geometric. It is defined in the effective space-time composed of the even coordinate and its double \( x^\mu \rightarrow q^\mu ,\, {\tilde{q}}^\mu . \) This fact lead to appearance of nontrivial effective Kalb–Ramond field, depending on the double effective coordinate \( B_{\mu \nu }(x)\rightarrow B^{eff}_{\mu \nu }(2b{\tilde{q}}).\) It would be interesting to find the corresponding field in the mixed boundary conditions case. For constant initial background fields, considered in this paper the effective fields are constant. But, the nongeometricity can still be seen. It appears in a fact that coordinates of the initial and T-dual theories, can not be expressed without an introduction of double coordinates, see (90) and (91).
The obtained effective theories, defined in terms of the effective variables, where compared using the T-dualization procedure. It was confirmed that the corresponding background fields (the effective metrics \(G^{eff}_{\mu \nu }\) and \(^\star G_{eff}^{\mu \nu }\) (100)) are T-dual to each other. Also, the effective variables of the initial effective theory are confirmed to be T-dual to the T-dual effective variables of the T-dual effective theory, by obtaining the T-duality law connecting them. This law was an appropriate reduction of the standard T-duality coordinate transformation law. Therefore, we showed the T-duality of the reduced bosonic string theories. Consequently, all the theories on the following diagram are equivalent
So, we confirmed that two procedures, the T-dualization procedure and the solving of the mixed boundary conditions, treated as constraints in the Dirac consistency procedure, do commute.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This paper does not use any additional data.]
References
L. Brink, M.B. Green, J.H. Schwarz, Nucl. Phys. B 198, 474 (1982)
K. Kikkawa, M. Yamasaki, Phys. Lett. B 149, 357 (1984)
N. Sakai, I. Senda, Prog. Theor. Phys. 75, 692 (1984)
T. Buscher, Phys. Lett. B 194, 51 (1987)
T. Buscher, Phys. Lett. 201, 466 (1988)
M. Roček, E. Verlinde, Nucl. Phys. B 373, 630 (1992)
L. Davidović, B. Sazdović, Eur. Phys. J. C 74, 2683 (2014)
O. Hohm, C. Hull, B. Zwiebach, JHEP 08, 008 (2010)
O. Hohm, C. Hull, B. Zwiebach, JHEP 07, 016 (2010)
L. Davidović, B. Sazdović, Phys. Rev. D 83, 066014 (2011)
L. Davidović, B. Sazdović, JHEP 08, 112 (2011)
L. Davidović, B. Sazdović, Eur. Phys. J. C 72, 2199 (2012)
N. Seiberg, E. Witten, JHEP 09, 032 (1999)
B. Sazdović, Eur. Phys. J. C 44, 599 (2005)
B. Nikolić, B. Sazdović, Phys. Rev. D 74, 045024 (2006)
B. Nikolić, B. Sazdović, Phys. Rev. D 75, 085011 (2007)
B. Nikolić, B. Sazdović, Adv. Theor. Math. Phys. 14, 1 (2010)
K. Becker, M. Becker, J. Schwarz, String Theory and M-theory (Cambridge University Press, Cambridge, 2007)
C.V. Johnson, D-branes (Cambridge University Press, Cambridge, 2003)
B. Zwiebach, A First Course in String Theory (Cambridge University Press, Cambridge, 2009)
L. Davidović, B. Sazdović, Eur. Phys. J. C 78, 600 (2018)
M. Henneaux, C. Teitelboim, Quantization of Gauge Systems (Princeton University Press, Princeton, 1992)
Acknowledgements
This paper is supported in part by the Serbian Ministry of Education and Science, under contract No. 171031.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to my father Dragomir M. Davidović, theoretical physicist, who tragically died on September 2nd, 2019.
Appendix A: Brackets between effective variables
Appendix A: Brackets between effective variables
The effective theory is given in terms of the odd and even parts of the initial coordinates and momenta. These parts do not satisfy the ordinary Poisson brackets because they are not the arbitrary functions, but contain only even or odd powers of \(\sigma \). Additionally their domain is changed in order to solve the boundary conditions in both string endpoints. The new fundamental variables satisfy the modified Poisson brackets, defined with the appropriate delta functions.
The standard Poisson brackets between the initial coordinates and the momenta
give
where \(\delta _{S}\) and \(\delta _{A}\) are defined by
and the domain is \([-\pi ,\pi ]\). The even and odd coordinate parts satisfy
Separating integration domain in two parts, from \(-\pi \) to 0 and from 0 to \(\pi \), and changing the integration variable in the first part \(\bar{\sigma } \rightarrow - \bar{\sigma }\), we obtain
So, the unit functions on the interval \([0,\pi ]\) for functions with only an even or odd power in \(\sigma \) are \(2 \delta _{S}(\bar{\sigma },\sigma )\) and \(2 \delta _{A}(\bar{\sigma },\sigma )\), respectively. Therefore, the brackets which we use are
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., Sazdović, B. Effective theories of two T-dual theories are also T-dual. Eur. Phys. J. C 79, 770 (2019). https://doi.org/10.1140/epjc/s10052-019-7266-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7266-6