Intrinsic non-commutativity of closed string theory

We show that the proper interpretation of the cocycle operators appearing in the physical vertex operators of compactified strings is that the closed string target is noncommutative. We track down the appearance of this non-commutativity to the Polyakov action of the flat closed string in the presence of translational monodromies (i.e., windings). In view of the unexpected nature of this result, we present detailed calculations from a variety of points of view, including a careful understanding of the consequences of mutual locality in the vertex operator algebra, as well as a detailed analysis of the symplectic structure of the Polyakov string. We also underscore why this non-commutativity was not emphasized previously in the existing literature. This non-commutativity can be thought of as a central extension of the zero-mode operator algebra, an effect set by the string length scale — it is present even in trivial backgrounds. Clearly, this result indicates that the α′ → 0 limit is more subtle than usually assumed.


Introduction
One of the annoying technicalities of string theory is the presence of co-cycles in the physical vertex operators. In the standard account, these co-cycles are required in order to maintain locality on the worldsheet, i.e., to obtain mutual locality of physical vertex insertions. For example, they appear in standard discussions [1] of compactified strings, and rapidly lead to both technical and conceptual issues. In this paper, we re-analyze these issues carefully, and show that the space of string zero modes surprisingly is best interpreted as non-commutative, with the scale of non-commutativity set by α . A byproduct of this realization is that the operator algebra becomes straightforward (albeit with a non-commutative product), with no need for co-cycles. This is not inconsistent with our usual notion of space-time in decompactification limits, but it does significantly impact the interpretation of compactifications in terms of local effective field theories. This is a central ingredient that has been overlooked in any of the attempts at duality symmetric formulations of string theory. Indeed, in a follow-up paper we will show that one can obtain a simple understanding of exotic backgrounds such as asymmetric orbifolds [2] and T-folds [3].
Much of the usual space-time interpretation that we use in string theory is built in from the beginning. Its origins, for example, as an S-matrix theory in Minkowski space-time is emblematic of its interpretation in terms of a collection of particle states propagating in a fixed space-time background. We typically view other solutions of string theory in a similar way, with a well-defined distinction between what is big and what is small. Each such case can be viewed as a classical or semi-classical approximation to a deeper quantum theory in which the notion of a given space-time is not built in from the beginning, but is an emergent property of a given classical limit. It is natural to ask under what circumstances a local JHEP09(2017)060 effective field theory is obtained. Of course, we know many such instances, and we also know many examples where this does not occur, such as cases where non-commutative field theories are thought to emerge. Perhaps the avatar for the absence of a fixed space-time picture is given by duality-symmetric formulations (of which double field theories [4] and our own metastring theory [5][6][7][8][9][10], are examples). We are in fact working towards a new notion of quantum space-time, in which non-commutativity plays a central role, much as it does in ordinary quantum mechanics. In the present paper then, we uncover an important step towards such an understanding of quantum space-time.

Classical structure of compact string
To begin, we review various details of the free bosonic string. The majority of this material is standard fare, and we use this section to set-up our conventions, following closely the notation in ref. [1]. The reader familiar with these details might wish to skip this overview and jump to equation (3.30).
What we are interested in is the canonical analysis of the string in which translational monodromy (winding) is allowed X(τ, σ + 2π) = X(τ, σ) + 2πα p, α p ∈Γ, (2.1) while paying particularly close attention to the zero modes. In order to describe these boundary conditions, we have introduced a lattice 1Γ . Of courseΓ represents the lattice of winding modes due to the fact that we are describing strings propagating on a compact geometry, T = R d /Γ. It is then often assumed that the structure of vertex operators and the effective description of the string in terms of field theory inherits the naive geometrical structure of the string and that the string compactification implies an effective Kaluza-Klein description involving the same compact geometry. Our work will show that this traditional point of view can be misleading and that is not a generic message of string theory. We emphasize that such an interpretation relies heavily on an assumed structure for the zero modes of the string, namely that they can be thought of as coordinates on T , along with their conjugate variables. This is of course precisely what is relevant in the non-compact case, the zero modes generating a Heisenberg algebra associated with the non-compact space-time. We are interested here in a careful analysis of the compact case, with generic periodicΓ. As is well known, when we turn on another lattice appears, the lattice of momenta Γ, dual to the winding lattice, Γ =Γ * . Since our goal is to understand the geometry behind the presence of these two lattices it is interesting to note that one is quantized classically and the other one quantum mechanically and it will be useful to unify these two lattices into one denoted as Λ ≡ Γ ⊕Γ. The duality pairing between Γ andΓ equips Λ with a canonical metric that will play a key role in our story.

JHEP09(2017)060
Let us first review the usual classical solutions, again essentially to set notation. We work on a cylindrical worldsheet, which we think of as cut along σ = 0 and unrolled, 2 and the general classical solutions can then be written where we have introduced the string length scale with α the "string slope" which has dimensions of length over energy. We see that the lattice vectors are given byp The zero modes (p,p) can be extracted via Thus, we have the familiar situation of the zero mode sector being coordinatized by (x L , p L , x R , p R ), all independent. We will be interested in the structure of physical (vertex) operators and their algebra, as well as the symplectic structure of the theory. Typically in the literature, it is taken as self-evident that (x L , p L ) and (x R , p R ) generate two commuting Heisenberg algebras when the theory is quantized. We will discuss this carefully in a separate section in a detailed analysis of the symplectic structure, but now we will need a somewhat weaker assumption that (p L , p R ) commute, which as we will see, is borne out by the symplectic analysis.
Given that X L (τ − σ) and X R (τ + σ) are independent of one another, it is natural to also introduceX which is such that ∂ σX = ∂ τ X, and the corresponding classical solution may be written as 4

10)
2 Implicit here is the independence on where we cut open the cylinder. This will become an issue to be checked in the course of the construction of the symplectic structure, which we present in a separate section. 3 The Euclidean continuation, as in [1], is that left-movers are holomorphic (τ − σ → −i ln z) and rightmovers anti-holomorphic, τ + σ → −i lnz. 4 Here, we have defined We regard X(τ, σ),X(τ, σ) as a reorganization of X L (τ − σ), X R (τ + σ). In particular, the zero modes (x,x, p,p) should be considered independent, being linear combinations of (x L , p L , x R , p R ). The fieldX(τ, σ) has a well-known significance in the limit when the radius of compactification is sent to zero. In this limit, the (x, p) zero modes decouple, andX(τ, σ) is the field that the string couples to, withx coordinatizing the (T-dual) non-compact geometry. The momentum p plays the role of the translational monodromy ofX(τ, σ), i.e., X(τ, σ + 2π) =X(τ, σ) + 2πα p. (2.11) It should be clear then that what we mean by the space-time that the string "sees" should not be taken to be given by X(τ, σ). The meaning of X(τ, σ) will change in different limits. This is the essence of T-duality. The field X(τ, σ) has a space-time interpretation in the original Polyakov path integral only in the limit of large radius. Furthermore, we note that and so T-duality, which interchanges X andX, is associated with Hodge duality on the worldsheet, as far as the currents are concerned. The momentum field conjugate to X(τ, σ) is of course the momentum density P (τ, σ) = 1 2πα ∂ τ X(τ, σ). Similarly, it is convenient to introduce the winding densityP (τ, σ) = 1 2πα ∂ τX (τ, σ). Our intention in this discussion is to highlight the zero modes. Of course, it is often assumed that the zero mode x plays a preferred role, being interpreted as a coordinate in the target space, whilex is immaterial as it does not appear in the action. In fact, neither x norx appear in the abelian currents dX and the string action density. However, they do enter the theory in the vertex operator algebra, and so we are led to study them more carefully. In the present context both (x L , x R ) (equivalently (x,x)) do appear in vertex operators, and we will take pains to treat them with care. It is implicit in this analysis that (x L , x R ) (equivalently (x,x)) are independent; it is only in the R → ∞ (R → 0) limit that a projectionp → 0 (p → 0) on the spectrum is induced, at which pointx (x) decouples.

The vertex algebra and mutual locality
As we mentioned earlier, it is often assumed [1] from the outset that the zero modes satisfy Heisenberg algebras We will argue below that there is an important subtlety here, related to the commutativity ofx L ,x R , that has been overlooked. To get there, we begin by considering local vertex operators and the requirement of mutual locality.

JHEP09(2017)060
It is convenient to revert to Euclidean methods, rewriting 5 where the prime in the sum means that we omit m = 0. Also we introduced the zero modes functionalsx Now we are interested in physical vertex operators that have well-defined conformal properties. For simplicity, we concentrate on the tachyon operators 6 where hat is used to denote operators, K stands for the pair (k L , k R ) (or equivalently (k, k)) and the double dots denote a normal ordering prescription that extends to the zero modes. Implicit in this is the assumption thatp andp commute, and thus we choose to label operators by their eigenvalues (k, k), where the wavelength vectors k andk have units of 1/length. As noted in [1], we must take care of the branch cuts in the logarithms appearing in (3.3), and in particular, of their effect on the commutation properties of the vertex operators, sinceX L andX R are not themselves well-defined operators. Correspondingly, we have included an operatorial co-cycle factorĈ K in the vertex operators. This factor is independent of (z,z) and is assumed to be a function of (p L ,p R ), in other wordsĈ K = C K (p L ,p R ). As we are going to see, mutual locality drastically constrains the form of this operator.
The short-distance singularities at finite separation are of the form We will separate the zero-modes from the oscillator parts, and so we writê where U K (z,z) contains the zero-modes, and V K the normal ordered oscillatorŝ Here we have introduced 7 9) 5 We will see that the oscillators satisfy the usual commutation relations, [α a n ,α b m ] = nh ab δn+m,α † n =α−n, (3.2) and similarly forα, where h is the space-time Lorentz metric. 6 As is standard, :: refers to the usual oscillator normal ordering. This removes, for example, overall factors in eq. (3.8). 7 The dagger operation is the BPZ conjugation [Φ(z,z)] † = Φ † (z −1 ,z −1 ), which is consistent with the Lorentzian definition (z,z) → (e i(τ −σ) , e i(τ +σ) ) and α † n = α−n. The definition implies that V k L are unitary operators.

JHEP09(2017)060
and, similarly for the right-movers. We also define the zero mode operator (3.10) We will discuss its detailed form later, but for nowÛ K can be considered as an exponential operator depending on the zero modesx L,R (3.11) U K needs to satisfy two properties. First, the product of two such operators needs to close. We therefore suppose that products may involve a co-cycle factor K,K ∈ C * 12) and the associativity of the product implies that the cocycles must satisfy Second,Û K will have non-trivial commutation with functions ofp L,R and in particular we will need which follows from eq. (3.1). Now we computê We will perform re-orderings on the right-hand side so that it can be written in terms of expressions involving K + K . We note that the sum converging uniformly within the disc |z 2 | < |z 1 |. Putting everything together, we findŴ where z 12 = z 1 − z 2 . Again, this is valid for the time-ordering |z 2 | < |z 1 |. For the exterior of the disk, |z 1 | < |z 2 |, the sums converge for the opposite operator orderinĝ

JHEP09(2017)060
Equations (3.18), (3.19) lead to the radial ordered correlation function and also to the operator product expansion. Indeed, the normal-ordered product may be expanded to a series of local operators, weighted by integer powers of z 12 andz 12 , and thus a given term in the series will scale (in the case of (3.18)) as z , for m, n ∈ Z. Mutual locality is the requirement that operators commute at space-like separation. We can investigate this by comparing the limits of (3.18) and (3.19) as |z 1 | → |z 2 | (for some spatial separation σ 12 = σ 1 − σ 2 ). It is most straightforward to go back and write the expression in terms of the summation appearing in (3.16). Then one finds in the limit (3.20) We write this result in the more compact form where we recognize θ(σ) as the staircase distribution This distribution satisfies three key properties: its derivative is proportional to the Dirac distribution, θ (σ) = 2πδ(σ), it is quasi-periodic with period 2π, θ(σ + 2πn) = θ(σ) + 2πn, and it is odd, θ(−σ) = −θ(σ). In particular this implies that θ(σ) is valued in πZ for σ ∈ R\Z. We have also introduced a bilinear form η in order to write the result in a compact form 8 We can now infer two important conclusions from the vertex operator algebra (3.21). First, if one demands that the string is closed we have to impose that the vertex operator is 2π periodic along σ, that is,Ŵ K (|z|, σ + 2π) =Ŵ K (|z|, σ). Since θ is quasi-periodic with quasi-period 2π, this condition is consistent with the vertex operator algebra if and only if 2η(λK, λK ) is integer-valued. This means that the lattice (Λ, 2η) of momenta λK, equipped with the norm 2η, must be an integer lattice. 9 Since the staircase distribution is valued in πZ this implies that the σ-dependent phase factor is in fact independent of σ and λK form a lattice, where λ 2 = α /2. 9 Parameterizing as usual in terms of momentum and winding integers n, w, we get Indeed, we have 2η(λK, λK ) = nw + wn ∈ Z.

JHEP09(2017)060
Demanding that this vertex operator be 2π-periodic is not enough. We also need to impose mutual locality, the condition that vertex operators which are space-like separated on the world-sheet commute with each other. 10 The mutual locality of vertex operators with the same momenta requires the phase factor (3.26) to be trivial for identical momenta, that is, it requires 2η(λK, λK) to be an even integer. In other words, the lattice is such that the scalar products η(λK, λK) ∈ Z are all integers, and this in turn implies 11 that η(λK, λK ) ∈ Z/2. Therefore, the closed string boundary condition and the imposition of mutual locality of identical vertex operators demands that the lattice (Λ, 2η) is an even self-dual lattice [1,11,12]. This requirement means that we must have This condition can be equivalently stated as the demand that (k, 0) and (0,k) are elements of the lattice Λ if K = (k,k) is, which means that Λ decomposes as a direct sum of two sublattices which are Lagrangian with respect to η and dual to each other: Λ = Γ ⊕Γ with Γ * =Γ. Usually, this restriction on Λ comes from the demand of modular invariance.
Here we see that it appears more naturally as the demand of mutual locality. Note that with our conventions (see also [1]) the Virasoro zero-mode generators are given by is the number of left (resp. right) oscillators. The on-shell equations (L 0 ,L 0 ) = (1, 1) for the string states can therefore be written in terms of the wave vectors as The second condition, called level matching, is consistent with the condition (3.28) coming from mutual locality. We can finally impose mutual locality of vertex operators carrying different momenta K and K . This implies a condition on the cocycle factors that were defined in equation (3.12): where given the above discussion, we have e 2πiη(λK,λK ) = ±1. A solution to this equation is given by With this definition we can evaluate the l.h.s. of (3.30), which is skew-symmetric in (K, K ) while the r.h.s. is symmetric. The difference between the two is a factor e 4πiλ 2 k·k which is equal to 1 by the condition (3.28). We note that (3.31) automatically satisfies (3.13), as would the exponential of any bilinear form. This is not without ambiguity, as it could be 10 This is usually called local causality in the Lorentzian context. Since we are dealing with the Wick rotated theory it appears as mutual locality. 11 Since

JHEP09(2017)060
multiplied by any expression s K,K ∈ Z 2 symmetric under the interchange K ↔ K , which satisfies the cocycle condition (3.13). A change of normalization U K → α K U K modifies the cocycle by the multiplication of a symmetric cocycle δα K,K = . It turns out that any closed symmetric Z 2 cocycle is a coboundary. 12 We can therefore always make the choice (3.31) by choosing the normalization ofÛ K appropriately. From now on we assume that this is done. In this case the only ambiguity left is a choice of normalization α K such that δα = 1, so that α K = e iη(K,O) is a linear functional.
Note that K,K can be written in a covariant form by introducing an antisymmetric form ω whereby the choice (3.31) becomes This is an important result. Recall that this phase appears in the product of zero mode operatorsÛ which corresponds to an instance of the Heisenberg group generated by (x,x). To proceed further, we consider representations ofÛ K satisfying this algebra.
Up to now we have used the commutation relations of (x,x) with (p,p) and we have remained agnostic about the commutations ofx withx defined as the zero mode of the string. We now want to know what commutation relations are admissible for (x,x). In order to analyze this issue we introduce commuting variables (q,q) which stand as placeholders for (x,x). We now investigate whether these can be identified with the string zero modes.
To begin, suppose we takê To proceed we need to make some assumptions about the commutation relations ofq and q. In order to recover the usual framework when the theory is decompactified, we need to have [q a ,q b ] = 0 and by duality [q a ,q b ] = 0. Suppose that we also make the assumption that Let us recall that we have established thatĈ K depends only on the operators (p L ,p R ) in order to get (3.14), which follows from (3.1). Under these assumptions, and in order to get the commutation relations (3.34),Ĉ K has to be an operator, which up to a constant factor is given byĈ This is the result obtained, for example, in [1] and written in terms of the dual coordinates. The choice of the cocycle made in (3.31) insures that in the non-compact case, whenk = 0, no modification of the wave operator arises. It seems very natural that the zero modes satisfy (3.36), as this is in keeping with an interpretation in terms of commutative geometry, so that they (or more precisely q = q L + q R ) represent coordinates on ordinary classical space-time. The downside is that cocycles appear in the algebra of physical operators. So the zero mode operator algebra is not just the algebra generated by q andq but q and q + πα p, a combination that depends on the choice of an O(d, d) frame, as we will see in what follows.
In the following section, we will provide evidence for the following re-interpretation. We will argue that up to a normalization one should takê where x = x R + x L andx = x R − x L are the zero mode operators appearing above in the mode expansion (2.9), (2.10). A detailed analysis of the symplectic structure 13 of the zero modes indicates that the operator that is canonically conjugate top is notx, but instead q :=x − πα p. It is this operator, rather thanx, that commutes withx. In other words, the commutative placeholders that we used in the previous section (also used in [1]) to label vertex operators are not the string zero modes. In fact, the symplectic structure implies that the zero modes satisfy Remarkably, this commutation relation is consistent with a trivial co-cycle as in the representation (3.39). Also this shows that the zero mode operator algebra is now just the algebra generated byx andx with no extra input. Thus in the case where the double coordinates satisfy (3.40), the vertex operators contain no cocycle factors, but form a non-commutative subgroup of the Weyl group on the double space P coordinatized by (x,x). This means that we have to interpret the string zero modes as coordinates in a non-commutative space-time. Note that eq. (3.40) does not depend on the compactification radius, but only on the string length λ. Thus there is an α effect present in the physics of the zero modes that is essentially implied by worldsheet locality. We will discuss in a separate paper what might be the fate of the usual low energy limit α → 0 associated with effective field theories.
To summarize, the zero mode operators appearing in physical vertex operators may be written as in (3.39). Note that in writing it this way, we have chosen an operator ordering, 13 We remind the reader that such an analysis is required to deduce Poisson brackets in the classical theory and commutation relations in the quantum theory. The result that we are claiming here is the one consistent with locality and causality of the worldsheet theory, as we will explain in the following.

JHEP09(2017)060
or equivalently we have made a choice of a pure (non-operatorial) phase. In the double space notation, X A (τ, σ) = (X µ (τ, σ),X µ (τ, σ)), this can be written covariantly aŝ The symplectic structure of the zero modes In this section, we will derive the string symplectic structure. We began with the traditional presentation of the zero mode sector of the compactified string, presented either as (x L , p L ; x R , p R ) or equivalently as (x, p;x,p). Usually, these are interpreted as Darboux coordinates on a 4D-dimensional phase space, on which the symplectic form has been block off-diagonalized. That is, the zero modes form two commuting Heisenberg algebras. This interpretation would be perfectly fine if we were interested only in polynomials of these variables. However, of course we are not: we are interested in operators containing exponentials of the zero modes, as we have discussed above. Indeed, it is precisely in the usual context of compactification that we are interested in operators that are well-defined on tori. It is the algebra of these exponential operators that is important, and not the algebra of Xs, which are not single-valued.
In this section, we will consider carefully the symplectic structure of the classical Polyakov string. 14 A systematic way to study the symplectic structure is to vary the classical action, and evaluating this on-shell, to extract the symplectic 1-form. We will consider a cylindrical worldsheet, cut open along σ = 0 to a rectangular region, coordinatized by σ ∈ [0, 2π], τ ∈ [τ 0 , τ 1 ]. It is important to recall that the dual fieldX is defined by the identity ∂ τ X := ∂ σX . The dynamics of the dual field can then simply be given by ∂ τX= ∂ σ X, where hatted equalities mean that they are taken on-shell. It is obvious that these two equations imply the usual dynamics for the string field X. The action is Here the integral d 2 σ is over the domain τ 1 τ 0 dτ 2π 0 dσ. Note that, in principle, this can be generalized to include additional terms integrated over boundaries of the worldsheet. Varying (4.1), we find there is a term integrated along the cut in the worldsheet (which we have placed at σ = 0) in addition to the usual term integrated over the space-like boundaries. This extra term appears precisely because in the present context, the fields (X,X), and their variations, are not single-valued on the worldsheet (although the current dX and the dual current dX are single-valued). Now, we define the charges where C is a cut on the surface. The equation of motion implies that (p C ,p C ) depend only on the homology class of C. In the coordinates we are using here and for a spacelike cut, we have We note that p is conserved by virtue of the equation of motion and the periodicity of ∂ σ X, whilep is conserved simply because of the periodicity of ∂ τ X. The last equality can be used to evaluate the last term in (4.2) This allows us to write the on-shell variation as (4.7) We refer to the second term here as the 'corner term'. From the variation of the action, we deduce the canonical symplectic 1-form Θ(τ ) defined on a spatial slice of the worldsheet at time τ Θ(τ ) = −δp ·X(τ, 0) + 1 2πα 2π 0 dσ δX(τ, σ)·∂ τ X(τ, σ). (4.8) Let us remark on the presence of the corner term, which is essential for two reasons. First, it is responsible for ensuring diffeomorphism invariance: one can check that the corner term removes any dependence on the location of the cut. This can be seen by considering the symplectic potential along a cut placed at σ 0 . This is given by where we have used the definition ofX via ∂ τ X = ∂ σX , in order to write the potential in a convenient form. Taking the derivative of this expression with respect to σ 0 , we can establish that it is indeed independent of σ 0 . Without the corner term, the re-parametrization

JHEP09(2017)060
invariance of the worldsheet would be lost at the level of the symplectic potential. The mechanism of having in a gauge theory new degrees of freedom (edge modes) appearing at the boundaries of regions in which the theory is defined in order to restore covariance has been described in general terms in [15] and applied to gravity and Yang-Mills theory.
Here we see that the same mechanism is at play, the subtlety being that even if the string is closed for the fields dX, it possesses boundaries for the field X and the restoration of covariance requires the introduction of the zero mode forX. Second, the corner term contribution to the symplectic structure is responsible for making (x,p) dynamical. Indeed, using the mode expansions (2.9), (2.10) we derive 1 2πα  Combining these two expressions we see that the zero mode factors contain a term p · δx(τ ) − δp · (x(τ ) − πα p). We are now ready to evaluate the symplectic potential. The symplectic structure is obtained by variation Ω = δΘ, where δ is the variational differential satisfying δ 2 = 0. Denoting the wedge product of variations δa δb = −δb δa we get (4.13) The periodic modes inside the integral are consistent with the commutation relations 15 for the oscillators α m andα m . The first two terms contain the symplectic form of the zero modes.
To summarize: the dynamics ofx,p comes from the corner term. Thus the corner term is responsible for the fact that x, p,x,p (or equivalently x L , p L , x R , p R ) must be thought of as independent variables. This is natural, since the physical significance ofx,p comes 15 Indeed we have that  Inverting Ω/i gives the commutator [αm,α−m] = m.

JHEP09(2017)060
about from relaxing boundary conditions and thus should not arise from the bulk of the (constant time slice of) the worldsheet. Also, there is an additional term πα δp˙ δp in the symplectic 2-form. Finally, the corner term is responsible for ensuring diffeomorphism invariance, and the corner term removes any dependence on the location of the cut. How should we read this? The proper interpretation is that (p, x) and (p,x − πα p) are canonically conjugate pairs, and in particular, we should have [x,x − πα p] = 0. Therefore Thus we recover directly the results (3.40) established by analyzing the structure of the vertex operator algebra. Equivalently, we can proceed more formally, rewriting the zero mode part of the symplectic 2-form as where we use the ordering Z α = {p a , x a ,p a ,x a }. The corresponding commutation relations are then of the form where Ω αβ are the components of the inverse matrix. Explicitly, we have , and thus In particular, the operators (x,x) appearing in the mode expansions do not commute, with the noncommutativity scale given by 2πλ 2 = π α . Note thatp andp do commute, which is consistent with their diagonalization, and the labeling of states with their eigenvalues. Recall that there is an additional payoff if we take the non-trivial commutation relations ofx andx into account: the mutually local vertex operators involve the simple zero mode factorŝ without additional operatorial cocycle terms. This is the result that we suggested in the previous section.

Causality
Let us examine more carefully the symplectic structure derived above. In particular, let us focus on the p · δp term, as its presence will no doubt be controversial. One might try to argue that in fact this term can be dropped from Θ(τ ) because if both p and δp are on-shell,

JHEP09(2017)060
they are time-independent. Of course, adding a time-independent quantity to Θ(τ ) does not change (4.7). In fact, this term cannot be dropped, as it is required by causality. To see this, note that the [x,x] commutator appears in Recall that we are working on the interval σ ∈ [0, 2π], and θ(σ) = π for all σ in the open interval σ ∈ (0, 2π). Thus, the non-zero [x,x] commutator gives rise to the commutativity at space-like separation of the fields X(τ, σ) andX(τ, σ), that is, it gives rise to worldsheet causality, not just for the physical vertex operators, but also for X(τ, σ) andX(τ, σ).
Note that since the [x,x] commutator has led to a constant in the [X(τ, σ 1 ),X(τ, σ 2 )] commutator, it can be interpreted as an integration constant obtained by integrating the canonical equal-time commutator with respect to σ 2 . But the only value of this integration constant consistent with causality is πα . This result was in fact found in previous work in the language of the metastring [7]. There, we used the double notation X A (τ, σ) = (X µ (τ, σ),X µ (τ, σ)). Using this notation, the equal-time commutator can be written covariantly where ω and η are the tensors that we used earlier in the discussion of co-cycles. In the metastring construction, ω AB appeared in fact in the worldsheet action as a total derivative term. The subtlety there, complementary to the present discussion, is that the ω term had to be kept even for the closed string, because of the presence of monodromies. Here, ω AB appears as the symplectic form of the X zero modes. Our analysis therefore confirms the results established in [7] that the double space P should be understood as a phase space.

T-duality
Before exploring the consequences of the zero mode non-commutativity let us consider a loose end concerning the action we used so far, the usual Polyakov action (4.1). This action is well suited for the study of strings propagating in a non-compact target. However, as we have witnessed repeatedly, when the string propagates in a compact target R d /Z d , the multivaluedness of the field X could be understood as if the closed string had boundaries

JHEP09(2017)060
for the zero mode operators. If that is the case then it should be possible to introduce "closed string boundary terms" that depend on the string windings. We want to understand such terms. Another related puzzle comes from the non-commutativity that we have just established. It is well-known that semi-classically the non-commutative nature of two observables like (x, p) normally translates into the presence of Aharonov-Bohm-like phases associated with topologically non-trivial paths in phase space. It is then customary to work with a properly defined action that records naturally the presence of these phases -hence the term pdx added to the Hamiltonian Hdτ in the usual action that accounts for the non-commutativity of p with x. Is it then possible to find such terms in the closed string action in order to account directly for the established non-commutativity of (x,x)?
Finally, the presence of the zero-modex as an edge mode of the string action suggests that we could exchange the role of X andX in the action in order to have a T-dual formulation. However, the usual form of the Polyakov string action which depends only on X precludes such a formulation and one usually establishes the target T-duality symmetry only at the level of the spectra of the string operators. Is it possible to account for this directly at the level of the string action? What is interesting is that these three loose ends can all be tied up together in one go. In order to see this we first focus on T-duality.
To this end, consider the form of the symplectic potential Θ as written in (4.9). We denote byΘ the same symplectic potential after the exchange (X,X) → (X, X). If Tduality was manifest we might expect thatΘ = Θ. This is not the case and instead we obtain, after integration by parts, the relation Θ(τ ) + δJ(τ ) =Θ(τ ) + 2πα p·δp, (4.26) where we have defined J(τ ) := −p · X(τ, 0) + 1 2πα 2π 0 dσX(τ, σ) · ∂ σ X(τ, σ). (4.27) Let us first examine the last term in (4.26). This term should not concern us since the quantization condition (3.28) translates into 2πα p ·p ∈ 2π Z. (4.28) Thus, if we look at transformations that preserve this condition, the action is modified by a quantity which is 1 when exponentiated. This is similar to the Wess-Zumino term in the principal chiral model. The main physical difference comes from the presence of the total variation term δJ. The fact that this term is a total variation means that it can be reabsorbed by the addition of a boundary term to the Polyakov action S. The last bit of information we need in order to identify this term comes from the fact that the functional J is self-dual in the sense that if we denote byJ the functional obtained from J after the T-duality transformation (X,X) → (X, X), we haveJ = −J. Therefore, what we are looking for is an action s such that S + s has the same equation of motion as S and such that δS + δs = Θ + 1 2 δJ τ 1 τ 0 which is also equal to Θ + 1 2 δJ

JHEP09(2017)060
Note that the addition of such a term does not modify the symplectic structure, since the latter appears as a total variation in the symplectic potential. So the conclusions about the commutation relations will not be modified.
Remarkably, there is a solution of this set of constraints given by s(X,X) = ω, ω := 1 8πλ 2 (dX a ∧ dX a ). (4.29) This follows from the fact that the integrand ω is a closed form and thus s(X,X) = 1 4πα Therefore, we have just established that the action functional that gives the symplectic potential invariant under T-duality is the Polyakov action extended by a topological term If we modifyX a by a vector-valued function α a which is single-valued on the worldsheet Σ, the extended action is invariant S ext (X,X + α) = S ext (X,X). This means thatX is a topological degree of freedom coupled to the string. Its only dynamical components are the zero modes ofX. The presence of these topological degrees of freedom makes the appearance of the zero modes (x,x) in the symplectic potential more natural, since they are already there at the level of the action. For the non-compact string, X is single-valued on the worldsheet and ω is an exact form on Σ. Its integral vanishes and thus ω plays no role. This is why it was never noticed before. When the string has winding, Σ ω does not vanish. In the case Σ is a disk this integral reduces to 1 2πλ 2 S 1X dX. In this form the topological term reduces to the usual Aharanov-Bohm phase of quantum mechanics, wherex/2πλ 2 plays the role of the variable conjugate to x, and it is the Lagrangian analog of the non-commutativity relation (4.15). As promised, we see that the restoration of T-duality also introduces extra phases for paths which are non-contractible. These extra phases are necessary to account for the noncommutativity of the zero modes, and these extra phases enter the action via a topological coupling that involves a symplectic structure ω in the double space (x,x), making it into a phase space. As we already mentioned the same conclusion was reached in the metastring formulation [7].

O(d, d) and more general backgrounds
So far our discussion has been centered on the flat closed string with trivial metric and zero B fields and we now want to turn on constant G, B background fields

JHEP09(2017)060
As we are going to see the main effect that comes from the presence of a B-field is to produce a non-commutativity of the dual coordinates. We define the dual coordinateX a as a covector where ∂ σXa := G ab ∂ τ X a , while the string equation of motion implies ∂ τXa= G ab ∂ σ X b when G, B are constant. Repeating the calculation with constant G, B background fields included, one finds Here we have introduced, as before, momenta p a = 1 2πα 2π 0 dσ ∂ σXa and dual momentã p a = 1 2πα 2π 0 dσ ∂ σ X a . We then deduce We should note that the momentum field conjugate to X is now 2πα P = G · ∂ τ X + B · ∂ σ X. So in this notation, p is not the zero mode of P . Instead, we have 1 2π and it is this zero mode, i.e., the momentum conjugate to x, that appears in the shift ofx in the zero mode contribution to Θ. The zero mode part of the symplectic form is Ω = δp a δx a + δp a δx a − πα (δp a + B ab δp b ) .
The key property satisfied by this bracket is that the combinationsx a andx a − πα (p a + B abp b ) generate a commutative sub-algebra. The presence of a non-trivial B-field implies that the subalgebra generated by the dual coordinatesx is non-commutative, with noncommutativity being proportional to the background B-field. In order to understand the nature of this result it is convenient to introduce the following kinematical tensors on doubled space where η defines a neutral O(d, d) metric and ω a compatible 2-form. The compatibility means that the tensor K := η −1 ω is a product structure, i.e., it squares to the identity JHEP09(2017)060 K 2 = 1. When we set B ab = 0, then we can simply write the zero mode symplectic form in a covariant manner as When we turn on the B ab field, there are two ways to write the symplectic form in covariant form. The first one, which we call the passive point of view, is to consider that a non-zero B-field corresponds to a change of background.
One introduces the modified metric and form η (B) and using these we can simply evaluate the symplectic structure in a B background as In this passive picture the change of background results in a modification of the commutation relations of X, which can be written as This is equivalent to (4.36). For this reason, we see that ω AB plays the role of a symplectic form on the subspace of phase space coordinatized by (x,x), and we will refer to it as such. Thus we realize that the modified forms are simply given by a change of the O(d, d) frame where eB is the O(d, d) transformation determined by the B-field. 17 The alternative active interpretation of (4.40) is to keep the background fields unchanged and to modify the O(d, d) frame by an active transformation eB, i.e., one that acts on P and X as whereP = K and N L , N R ∈ N are the oscillator numbers. This spectrum is modified in the presence of the B-field by a redefinition H → H (B) (or equivalently, by a change of frame P → eBP). The new ingredient here is that this field redefinition also affects the kinematics of the effective string geometry by changing the nature of the non-commutativity of the zero modes.
That the introduction of a B-field implies a modification of the canonical structure of zero modes can also be understood from the point of view of the extended action (4.31). Under a B transform the topological action term is modified to Therefore, we see that we can write the extended action either as S ext In the second formulation, which corresponds to a different choice of the O(d, d) frame, we see that the effect of the B-field is simply to modify the topological interaction term. The fact that the geometrical elements of the string given by the pair (η, ω), which controls the kinematics of the theory, and H, which controls the metric, are all rotated in a different frame into (η, ω (B) , H (B) ), implies that (ω, η, H) form the elements of a Born geometry [6]. More generally, let us recall that a general O(d, d) transformation g : (x,x) → (Ax + Cx, Dx + Bx), such that A is invertible, can be decomposed uniquely as a product g = eBÂeβ of a B-transformation eB(x,x) = (x,x + B(x)) labeled by a 2-form, a GL(d) trans-formationÂ(x,x) = (Ax, (A T ) −1x ), where A ∈ GL(d), and a β-transform eβ(x,x) = (x + β(x),x) labeled by a skew symmetric bi-vector β ab . These sets of transformations do not include the T-duality transformations T a which exchange h ab x b andx a (with h ab the Minkowski metric). The A-transform and the B-transform are special in the sense that they do not affect our notion of space-time. The usual space-time can be embedded in the double space as the slice M := {(x, 0)}. Both A-and B-transformations map the set M onto itself and this explains why these have a commutative space-time interpretation. On the other hand, the β-transform and T-duality do not preserve the space-time slice M , mixing x withx. Since these coordinates do not commute, the proper way to understand these transformations is in the context of non-commutative geometry.

Conclusion
In this paper we have uncovered an intrinsic non-commutative structure in closed string theory on flat backgrounds. For a compactified string, we have found that the doubled JHEP09(2017)060 space of zero modes coordinatized by (x,x) is in fact a non-commutative geometry. The precise form of this non-commutativity is that it is a Heisenberg algebra. From this point of view, the zero mode space can be considered as a phase space. Drawing an analogy with [9] then, it seems natural to conjecture that in this framework a choice of spacetime corresponds to a choice of commutative subalgebra. The obvious classical choices of commutative subalgebras corresponding to the subspace coordinatized by {x µ } (or {x µ }), as would be recovered in decompactification limits. On the other hand, in ref. [9] we pointed out the existence of quantum polarizations of the Heisenberg group given by a choice of modular variables. In this case, the length scale inherent to such a modular polarization is set by the string scale λ itself.
From the string point of view, space-time, which is the target space of string theory, is the usual commutative compactified space. However, from the effective field theory point of view, space-time is an index space. Our point is twofold. First, space-time viewed as an index space does not have to be the same as the space-time viewed as a target. This has already been observed in the context of double field theory [4]. The second point is that, in order to understand space-time as an index space, we have to leave the realm of commutative geometry and enter the realm of non-commutative geometry. In this context, the space-time viewed as an index space appears as a commutative subalgebra of the Heisenberg algebra. From this viewpoint, strings propagating on a compact space-time involve a choice of (modular) polarization for an effective description based on string zero modes. Generally, T-dualities act within this framework as the operations that change the choice of polarization.
It is natural to ask in what sense effective field theories can be thought to emerge from string theory in the context of compactification. We will explore this question elsewhere, but it seems natural to note that such field theories may be defined not in the UV, but in terms of a notion of self-dual fixed points. Such self-dual fixed points occur for example in the doubled renormalization group [21], found in the toy models of non-commutative field theory [16][17][18][19][20][21].
Clearly, the non-commutativity that we have uncovered here will be of crucial importance for duality-symmetric formulations of string theory. In particular, as we will also discuss elsewhere, the methods that we have developed here will serve to make the structure of exotic backgrounds (such as asymmetric orbifolds [2] or more generally T-folds [3]) transparent.
We conclude with a comment about the literature: there exist old papers that are apparently not widely known in the community [14,[22][23][24][25][26], in which the central results concerning the co-cycles of closed string vertex operators (in orbifold backgrounds) that follow from the presentation of this paper were also discussed. The relevance of co-cycles was more recently emphasized in [27,28]. Non-commutative aspects of the vertex operator algebra of free string theory in the zero mode sector were also studied in [29]. What was missing in these papers was the recognition of the generic non-commutativity of closed string theory as well as the relevance of the more general structures associated with Born geometry.