Unified picture of non-geometric fluxes and T-duality in double field theory via graded symplectic manifolds

We give a systematic derivation of the local expressions of the NS H-flux, geometric F- as well as non-geometric Q- and R-fluxes in terms of bivector beta- and two-form B-potentials including vielbeins. They are obtained using a supergeometric method on QP-manifolds by twist of the standard Courant algebroid on the generalized tangent space without flux. Bianchi identities of the fluxes are easily deduced. We extend the discussion to the case of the double space and present a formulation of T-duality in terms of canonical transformations between graded symplectic manifolds. Finally, the construction is compared to the formerly introduced Poisson Courant algebroid, a Courant algebroid on a Poisson manifold, as a model for R-flux.

analysis of non-geometric backgrounds and their relation to generalized geometry is conducted in [12].
A different model realizing R-flux was given in [13] using a Poisson tensor. This model is called Poisson Courant algebroid and the Poisson tensor is used to define the Courant algebroid on the generalized tangent bundle, where the roles of the tangent and cotangent spaces are exchanged. The associated structure is called Poisson-generalized geometry. Along this line, the authors of [14] reformulated the Poisson Courant algebroid using graded symplectic manifolds and elucidated its relation to H-flux backgrounds as well as to double field theory.
From the topological perspective, T-duality on toroidal backgrounds with H-flux was analyzed in [15,16]. An analogous examination in the setting of Poisson-generalized geometry including Q-flux was carried out in [17]. From the perspective of graded symplectic manifolds, the structure of double field theory was analyzed in [18,19]. α'-corrections to the C-bracket in double field theory from the viewpoint of deformations of graded manifolds were discussed in [20]. Relations of non-geometric fluxes to non-associative geometry were discussed in [21,22]. From the perspective of membrane sigma-models, a string in an R-flux background was proposed to propagate in the cotangent bundle T * M, which upon quantization develops a non-associative Moyal-Weyl-type star product [23]. The non-associativity is conjectured to be governed by the R-flux.
In this paper, we show how the local expression for the geometric H-and F -as well as the non-geometric Q-and R-fluxes can be introduced naturally from twists of the Courant algebroid on T M ⊕ T * M without flux. For this, we make use of QP-manifolds of degree two, which naturally are linked to general Courant algebroids [24]. The twists correspond to B-transformations, β-transformations and diffeomorphisms and therefore span the full O(D, D) T-duality group. In order to introduce twists representing the diffeomorphisms, a frame bundle is defined. These twists then naturally introduce vielbeins into the description. We then derive the local expressions of all the fluxes in the setting of double field theory by twist of the Hamiltonian analyzed in [18]. The associated structure is called pre-QPmanifold in [19]. By construction, the resulting algebraic structure can be projected by solving the section condition to either give a twisted Courant algebroid in the supergravity frame, or a twisted Courant algebroid that lives entirely in the winding frame. Of course, mixed solutions of the sections condition give rise to different twisted Courant algebroids. Again, the associated Bianchi identities are derived from the projected classical master equations.
Derived brackets induce the associated operations on the twisted Courant algebroids.
Then, we give a representation of T-duality as canonical transformation between QPmanifolds and work it out for the examples of an S 1 -isometry and three-torus with H-flux.
Finally, the Poisson Courant algebroid as a model for R-flux is reinterpreted in light of our results. We show that it is a special solution of the double field theory section condition realizing R-flux on a Poisson manifold. This paper is organized as follows. In section 2, we give a short review of non-geometric fluxes in string theory. In section 3, an introduction to QP-manifolds, Courant algebroids and double field theory is provided. This will clarify the necessary means to understand the main part, which is section 4. In section 4.1, we derive the fully twisted Courant algebroid with Bianchi identities from canonically transformed Hamiltonians. In section 4.2, the formulation of double field theory via graded symplectic manifolds is introduced. In section 4.3, we discuss the Poisson Courant algebroid with R-flux model with respect to double field theory. In section 4.4, we derive the fully twisted double field theory Hamiltonian, that incorporates local expressions for all fluxes and derive Bianchi identities for the winding frame by projection.
In section 4.5, a formulation of T-duality in terms of canonical transformations is presented. Section 5 is devoted to discussion of our results and future outlook.

Non-geometric fluxes in string theory
In this section we give a short introduction to non-geometric backgrounds and their associated non-geometric fluxes.
In general, non-geometric flux backgrounds refer to backgrounds whose mathematical description goes beyond the standard techniques of manifolds. This is in the easiest form observable if one performs T-duality on NS flux backgrounds [3,4]. For this let us start with the compactification on a flat six-dimensional torus T 6 , containing a three-cycle wrapped by the NS three-form H-flux. Let the non-zero H-flux be denoted by H 123 = N. Then we can take the B-field to be B 12 = Nx 3 . Now, there are several directions to T-dualize. Taking T-duality in the x 1 -direction leads to a so-called twisted torus background on which there is vanishing B-field, and therefore no H-flux. One says that the H-flux is mapped to the so-called geometric f -flux, denoted by f 1 23 = N. The geometric f -flux is intimately related to the Scherk-Schwarz fluxes of Scherk-Schwarz compactifications. In the resulting twisted torus background, there are still isometry directions available to T-dualize in. If we T-dualize in the x 2 -direction, we will be left with what is called a globally non-geometric background. In this case, the B-field as well as the metric develop a monodromy, which has to be patched by a T-duality transformation. Therefore, this background is still locally geometric. Such spaces are called T-folds. The associated flux is called Q-flux and in this example the resulting background will have Q 12 3 = N, whereas neither NS H-flux, nor geometric f -flux is present. It turns out that after taking the second T-duality, there is no isometry direction left to Tdualize in. This is in contrast to the fact that we started with background, which possessed this isometry in the beginning. Discussions and an analysis of the resulting structure and backgrounds associated with non-geometric fluxes can be found for example in [3,7]. In the literature, this structure was given the name R-flux and the associated would-be background is characterized by R 123 = N. It turns out that this background is not even locally geometric, but locally non-geometric, and an analysis via standard manifold and differential geometric methods is impossible.
Let us recall the well-known T-duality chain that has been analyzed in [3], where T a denotes T-duality taken in x a -direction. The authors of [3] discussed non-geometric backgrounds of toroidal compactifications of type II string theory from the viewpoint of symmetries of the effective superpotential. More precisely, they considered a six-torus, which factorizes into three identical two-tori divided by a Z 2 and a Z 3 symmetry. This leads to a so-called STU-model, where there are one complex structure modulus T , one Kähler modulus U and one axio-dilaton S for the T 2 in the factorization. Imposing T-duality invariance on the resulting N = 1 superpotential then leads to the necessity to include further coefficients, that the authors argue to be non-geometric fluxes.
An analysis of the topological aspects of T-duality was carried out in [15,16,27]. The action of T-duality on circle bundles was investigated and it turned out that on the topological level T-duality can be seen to exchange the first Chern class of the circle bundle with the background H-flux. In this sense, for each circle bundle E with first Chern class c 1 (E) and H-flux H there exists a T-dual circle bundleÊ with H-fluxĤ, so that c 1 (Ê) = π * H and c 1 (E) =π * Ĥ , where π andπ are the respective bundle projections.
A T-duality manifest approach to toroidal string compactifications is given by the so-called double field theory [5]. The manifest invariance under isometric as well as non-isometric Tduality transformations is established by introducing double coordinatesx i , which are dual to the standard ones x i . The dual coordinates are interpreted as parameterizing the winding sector of the closed strings wrapping the toroidal cycles. In double field theory, the incorporated fields are simultaneously dependent on the standard and the dual coordinates. The strong point of this theory is that geometric as well as non-geometric backgrounds can be described in a unified manner. However, since the coordinates are doubled, a so-called section condition or strong constraint has to be imposed in order to project down to the physical frame.
This constraint is intimately related with the level matching condition, which constraints the modes allowed on a closed string. We will provide a mathematical introduction into double field theory in section 3.2.
Accounts on the structure of double field theory from the viewpoint of graded symplectic manifolds are given in [18,20]. In [18], a Hamiltonian on a symplectic manifold of degree two was proposed, from which the authors computed the C-bracket using derived brackets. Furthermore, the section condition was deduced from the classical master equation of the Hamiltonian. In [20], the author considered α'-corrections to the C-bracket. The corrections were mimicked by a Moyal-Weyl star product deformation on the graded manifold at first order.

Graded symplectic manifolds and double field theory
In this section, we give an introduction to QP-manifolds and double field theory. First we define the necessary objects and focus on QP-manifolds of degree two and their relation to Courant algebroids. Then we provide a short introduction to the realm of double field theory and the associated differential geometry.

QP-manifolds and Courant algebroids
Fundamental to our analysis is the mathematical structure of a QP-manifold. 4 In this subsection, we provide an introduction to the tools necessary to understand the main text. For details on the background and definitions we refer to [28].
A QP-manifold (M, ω, Q) of degree n is a non-negatively graded manifold M with a graded symplectic structure ω of degree n and a homological vector field Q of degree one, such that L Q ω = 0. A vector field Q is called homological if it is nilpotent, Q 2 = 0. In general, ω is called P-structure and (M, ω) is the associated P-manifold. The vector field Q is called Q-structure. For a function f ∈ C ∞ (M), the corresponding Hamiltonian vector field where δ denotes the de Rham differential on M. The graded symplectic structure ω defines a graded Poisson bracket via where X f and X g denote the Hamiltonian vector fields corresponding to f, g ∈ C ∞ (M).
For any QP-manifold one can find a Hamiltonian function Θ ∈ C ∞ (M) of degree n + 1 associated to the homological vector field Q such that . Then the homological condition on the vector field translates to the so-called classical master equation One says that Θ solves the classical master equation. Θ is also called homological function or Hamiltonian.
It is well known, that Courant algebroids are in one-to-one correspondence with QPmanifolds of degree two [24].
Let us shortly recall the definition of a Courant algebroid and then relate it to QPmanifolds of degree two [25,26]. A Courant algebroid consists of a vector bundle E over a 4 QP-manifold is also called symplectic NQ-manifold.
A general section e ∈ Γ(E) can then be pushed forward via where α a ∈ C ∞ (M). For the QP-manifold of degree two, the associated graded symplectic structure ω is of degree two. We assume a fiber metric η a , η b = k ab . Then, the graded symplectic structure is chosen as We define the Q-structure in terms of the Hamiltonian function via where ρ i a , C abc ∈ C ∞ (M). In this case, the Hamiltonian function has degree three. If the Hamiltonian function satisfies the classical master equation, {Θ, Θ} = 0, then (M, ω, Q) defines a QP-manifold of degree two.
In order to reconstruct the Courant algebroid, we have to define the associated three operations. They are defined using the graded Poisson bracket and derived brackets as follows.
The pseudo-Euclidean metric is recovered by the Dorfman bracket by and the anchor map by where e 1 , e 2 , e ∈ Γ(E) and f ∈ C ∞ (M). Due to the classical master equation, the three relations induce a Courant algebroid.
Finally, let us discuss the operation of twisting QP-manifolds. A twist is defined via a canonical transformation. Let (M, ω, Θ) be a QP-manifold of degree n and α ∈ C ∞ (M) be a smooth function of degree n. Then the canonical transformation is defined via exponential adjoint action using the graded Poisson bracket, where f ∈ C ∞ (M) is any smooth function on M. Since the function α is of the same degree as the graded symplectic structure, the adjoint action is degree-preserving and obeys where f, g ∈ C ∞ (M) are smooth functions.

Double field theory
Double field theory [5] is a manifestly T-duality invariant formulation of the effective theory of the string. See also [29] for a review on that subject. Double field theory is formulated on spaces obtained after toroidal compactification of string theory.
The action of T-duality on closed strings compactified on S 1 with radius R maps to a dual theory with strings wrapping the dualS 1 with radiusR = R −1 . Therefore, we can infer that in the case of a T n -compactification various S 1 -isometric directions are available to T-dualize in. As we mentioned, investigations of T-duality in the case of T 6 -compactifications with H-flux, lead to the conjecture of non-geometric flux backgrounds [3], which go beyond the standard differential geometry and manifold techniques. The geometry of non-geometric backgrounds [7] plays a fundamental role in double field theory.
Let us consider D-dimensional string theory compactified on an n-dimensional torus T n .
We denote the non-compact coordinates by x µ , and the compact ones by x i . We also introduce so-called doubled coordinatesx i , dual to the compact ones. This is the starting point of The field content of double field theory is given by the D-dimensional metric g, the twoform field B and the dilaton field φ. For the discussion in this paper, we will ignore φ. The T-duality exchanges momentum modes with winding modes in the T-dualized direction.
Since we doubled the coordinates, we also introduce associated momentum modes. We denote the standard momentum mode by p i , whereas we denote its dual momentum mode byp i .
Throughout the main text, we call the dual momentum mode also winding mode.
The invariance property can be stated as where h P M denote O(D, D)-matrices. The generators of O(D, D) are given by diffeomorphisms and β-transformations where where h ∈ O(D, D) andp i denote winding modes, whereas p i denote momentum modes.
Since from the supergravity point of view, double field theory is an O(D, D)-manifestly invariant extension through the introduction of dual variables, there has to be a mechanism to reduce to the physical supergravity frame. This reduction is provided by the so called strong constraint or section condition and is given by where ∂ M = (∂ i , ∂ i ) reassembles standard and winding derivatives. ψ denotes any field. This condition is O(D, D)-invariant and originates from the level matching condition in string theory [29]. It can be rewritten in the form, which is useful for the main text of this paper, for any field ψ. A reduction of double field theory to the supergravity frame is done by taking all fields to not depend on the winding coordinates, loosely expressed by∂ i = 0. A reduction to the winding frame is possible by taking ∂ i = 0. Mixed reductions are also possible.
Since the metric and B-field are rearranged into a generalized object, the respective diffeomorphisms and gauge transformations can be unified using so-called generalized diffeomorphisms with generalized gauge parameter ξ M = (λ i , λ i ). On a generalized vector V M of weight ω(V ), the action of the generalized Lie derivative along ξ M is given by Requiring the closure of gauge transformations we find the relation where [ξ 1 , ξ 2 ] C denotes the so-called C-bracket. It is the antisymmetrization of the so-called Reducing the theory to the supergravity frame using the section condition reduces the Cbracket to the Courant bracket and D-bracket to the Dorfman bracket.
Finally, let us shortly discuss the generalized vielbein formulation of double field theory.
We can decompose the generalized metric via where where The matrix η ab denotes the D-dimensional metric. E A M transforms under generalized diffeomorphisms by It can be parametrized by the geometric subgroup of O(D, D) via where g ij = e a i η ab e b j and e a j are the vielbeins with respect to the D-dimensional metric g ij . If we turn on the β-field, then we allow for the full set of non-geometric backgrounds and the generalized vielbein is written by [30] In general, backgrounds considered in the framework of the full duality group are globally or even locally non-geometric and contain monodromies patched by full O(D, D)-transformations.

Non-geometric fluxes and T-duality via graded symplectic manifolds
In this section, we present the main results of this paper. First we will derive the fully geometrically and non-geometrically twisted formulation of a Courant algebroid. We derive

Courant algebroid with geometric and non-geometric fluxes
In this section, we derive the Courant algebroid, which incorporates the local expressions of the geometric H-and F -fluxes as well as non-geometric Q-and R-fluxes in terms of vielbein e i a , B-field and bivector field β. We show, that the QP-manifold, which induces this Courant algebroid naturally encodes the Bianchi identities of these fluxes.
Since Courant algebroids are QP-manifolds of degree two, let us start with the simplest QP-manifold and gradually input more ingredients. The QP-manifold, we are considering in this section, is defined on the graded manifold manifold. M is locally parametrized by the coordinates (x i , q i ) of degree (0, 1) and their conjugate coordinates (ξ i , p i ) of degree (2, 1). The symplectic structure is taken as It has total degree four. On this QP-manifold, a general Hamiltonian will be of degree three.
The simplest non-trivial Hamiltonian, we can write down, is given by Let us define an injection of the generalized tangent bundle More precisely, we have the following pullbacks Upon contraction of the Hamiltonian (32) with the graded Poisson bracket we can define for any k-form α ∈ Ω k (M). The pushforward of a k-form α is naturally given by The nilpotency of the operator d is guaranteed by the classical master equation, {Θ S,0 , Θ S,0 } = 0. We conclude, that (32) induces a de Rham cohomology on the forms over M.
The next step is to include geometric as well as non-geometric fluxes H, F , Q and R in this formulation. This is done by introducing them into the Hamiltonian. It is well known, that the H-twisted Hamiltonian induces the structure of an H-twisted Courant algebroid via the classical master equation and derived bracket construction.
In an analogous manner we can write down the R-twist of the Hamiltonian Θ S,0 , In [23] it is proposed, that the AKSZ action functional induced by the Hamiltonian (36) provides a description for a string propagating in R-space. In this case, the string is embedded into the cotangent bundle T * M and its phase space is twisted by the R-flux. This leads to a non-associative star product on phase space. However, the classical master equation of Θ S,R implies that R is trivial.
The local expressions of the H-, F -, Q-and R-fluxes can be introduced by appropriate twist of the Hamiltonian. Since this formulation makes use of a QP-manifold of degree two, the allowed degree-preserving twists also have degree two. The two obvious twists in this setup, we call B-twist or B-transformation Twists that are proportional to ξ induce derivatives and transform (9). Thus, they do not correspond to generators of O(D, D).
In order to include vielbeins, we introduce a frame bundle of T This brings us into the position to introduce vielbein components. The resulting injection into the generalized tangent bundle with frame bundle can then be written using local coordinates asǰ : If we twist the standard space Hamiltonian Θ S,0 by β-transformation we arrive at The twist induces an R-flux term induces a Poisson cohomology on the space of multivector fields In the case where the p 3 -coefficient is nonzero, we can describe the breaking of the Poisson condition by a totally antisymmetric trivector R ∈ Γ(Λ 3 T M). Then, the resulting structure is a so-called quasi-Poisson structure 1 2 [β, β] S = R. 6 If one defines the Poisson bracket associated to β as for f, g ∈ C ∞ (M), then the quasi-Poisson structure manifests itself by breaking of the Jacobi identity, In addition to the R-flux term we observe that a Q-flux term Q hk i = ∂ i β hk has been induced by the β-twist. In terms of the Poisson bracket this expression can be rewritten as [33] Therefore, the Q-flux term can be associated to non-commutative structures on the closed string.
With this knowledge we can rewrite (38) in the form The β-transformation induces a differential on the space of polyvectors, in addition to the de Rham differential on forms. Let us denote the former by introducing e i ♯ ≡ β ♯ e i = β ij ∂ j ∈ T M, where e i ∈ T * M is the dual of e i , and the latter by e i ≡ ∂ i ∈ T M, following the notation of [33]. The classical master equation, These relations coincide with the Jacobi identities for the commutation relations where [·, ·] denotes the usual commutator on the tangent bundle.
In fact, the Hamiltonian (43) defines the following Courant algebroid on T M ⊕ T * M. Let be sections of the generalized tangent bundle. The anchor map is defined as The Dorfman bracket is defined by Here β ♯ (α) ≡ β ij α i (x) ∂ ∂x j for any one-form α = α i (x)dx i . L β α denotes the Poisson-Lie derivative along a one-form α, The operator d β denotes the Lichnerowicz-Poisson differential on polyvector fields and Since the pseudo-metric is induced directly from the graded Poisson bracket, it does not change upon the β-twist.
In order to provide a fully twisted Hamiltonian, that introduces local expressions for all fluxes in terms of all potentials including the vielbeins, we now introduce two index ranges: i, j, k, . . . will denote curved coordinates and a, b, c, . . . will denote flat coordinates.
Let us get warmed up with a discussion of the f -flux in the geometric supergravity frame.
In general, the f -flux is called geometric flux and is associated with the torsion-less part of the projected spin connection. It is well known, that the T-dual of a three-torus with standard metric and non-zero H-flux is a nilmanifold with zero H-flux. The dual torus can be formulated as S 1 -bundle over S 2 with non-trivial spin connection. The appropriate Hamiltonian, that models the dual torus nilmanifold, has to incorporate a notion of vielbein e i a and f -flux with the correct relation There are two approaches that facilitate such a correspondence. Firstly, the Hamiltonian induces the relations where [· · · ] denotes antisymmetrization with the corresponding combinatorial factor. The The mixed index coefficient corresponds to a connection on the frame bundle. Since in general we will derive more complicated expressions of f -flux in non-geometric frames, we denote the general flux by F and its basic part by  (32) and twist it by B-field and β-field successively, Finally, we introduce the vielbein freedom via The twisted Hamiltonian incorporates the local expressions for all fluxes in terms of the potentials B, β and e a i in the supergravity frame. Let us rewrite (64) by by defining [e a ♯ , e as well as the Bianchi identity for the H-flux, where we defined e a ≡ e i a ∂ i and e a ♯ = β ♯ e a = β ab e b with β ab ≡ e a i e b j β ij following [33]. This gives the following Bianchi identities, Let us derive the operations on the Courant algebroid induced by (65). For sections of the generalized frame bundle, X + α = X a ∂ a + α a dx a , the anchor map is given by where f ∈ C ∞ (M). For readability, we derive the Dorfman bracket step by step. Let us start with the Dorfman bracket of two vectors X = X a ∂ a and Y = Y b ∂ b . We get where we defined [X, Y ] ∇ as the covariant Lie bracket with covariant derivative ∇ a X b = The evaluation of the Dorfman bracket of two forms α and γ leads to where we defined the covariant H-twisted Koszul bracket by The covariant Koszul bracket is defined by using the covariant Lie derivative L ∇ X along a vector X acting on forms given by where ∇ acts on a one-form γ by ∇γ The mixed Dorfman brackets can be evaluated leading to and where L ∇,β α denotes the covariant Poisson-Lie derivative defined by The symbol ∇ β denotes the covariant Lichnerowicz-Poisson differential. Finally, we summarize the full Dorfman bracket, We observe, that a lot of terms involve a β ♯ -lift, and conclude, that the existence of the bivector β is crucial for the mixed vector-form contracted twists. This concludes the derivation of the fully twisted Courant algebroid in the supergravity frame.

Double field theory via graded symplectic manifolds
In the previous section we showed how to derive the local expressions of the fluxes H, F , Q and The local expression of the graded symplectic structure ω is given by It is a two-form of degree two.
Also in this case we introduce a map j : T M ⊕ (T M ⊕ T * M ) → M that injects the generalized double tangent bundle to M by j : Finally, the vector field Q defines the Hamiltonian Θ by Q(−) = {Θ, −}. Due to the large number of local coordinates, there exist many possible terms that can be incorporated into Θ.
In order to describe the section condition in double field theory, let us begin by writing down the non-twisted double field theory Hamiltonian The classical master equation, {Θ DFT,0 , Θ DFT,0 } = 0, gives us the relation This equation can be regarded as the double field theory section condition via [18] {{f   1, 1, 2), the symplectic structure is given as usual by
Therefore, the bivector π has to be Poisson and the tri-vector R has to be d π -closed, where d π is the Lichnerowicz-Poisson differential d π (−) = [π, −] S acting on the space of multivector fields Γ(∧ • T M). Via the usual injection map j and derived bracket constructions, the Hamiltonian Θ π induces the Poisson Courant algebroid [14].
Obviously, the anchor part of this construction delivers a notion of differential, which is given by the Lichnerowicz-Poisson operator. By direct comparison to the H-fluxed Courant algebroid one easily recognizes the following similarities, One concludes that the introduction of Poisson cohomology is necessary to work with a trivector flux in the same manner as with a three-form flux using de Rham cohomology. For non-degenerate Poisson structure one finds the well-known map between Poisson and de Rham cohomologies and a relation between both Hamiltonians [14].
There are two ways to relate the Poisson Courant algebroid structure to double field theory. The first way is by twist of the double field theory Hamiltonian in the geometric frame. The second way is by direct comparison of the double field theory Hamiltonian with the Hamiltonian realizing the Poisson Courant algebroid.
In order to discuss the former way, let us take local coordinates (y i ,ỹ i ) such that Θ DFT,0 = We can choose a nontrivial physical configuration space of double field theory, a D-dimensional submanifold M ⊂ M with local coordinate x i under the assumption that M has a Poisson structure π as follows. Then consider a local coordinate transformation from the double coordinates (y i ,ỹ i ) of Θ DFT,0 to (x i ,x i ) with the following Jacobian, This local coordinate transformation can be realized as the twist of the original Θ DFT,0 by a canonical function α p = 1 2 π ij (x)p i p j . The canonical transformation deforms the homological function, The section condition is deformed tõ The projection to the standard frame recovers the Poisson Courant algebroid with a standard Courant algebroid part without fluxes, Note that, since {Θ H=0 , Θ π,R=0 } = 0, the projected Hamiltonian Θ ′ DFT,0 |x =0 defines a double complex. Now, let us relate the Poisson Courant algebroid by direct comparison of the associated Hamiltonians, where we choose a special frame (q i ,q i ) for the Poisson Courant algebroid on a D-dimensional submanifoldM ⊂ M inside double field theory. The result is that a Poisson Courant algebroid depending on coordinatesx i can be related to double field theory on double coordinates x i andx i in the winding frame (ξ i = 0, q i = 0, p i = 0) by the identificatioň The term 1 2 ∂π jk ∂x iq ip k is the Poisson connection induced on the total space. Then, the Poisson structure π can be seen as a deformation of the double field theory winding frame and the trivector freedom R inside the Poisson Courant algebroid lives inside this deformed winding frame.

Introduction of fluxes
Starting from the double field theory Hamiltonian, the non-twisted supergravity frame Hamiltonian is defined byξ i = 0, whereas the non-twisted winding frame Hamiltonian by ξ i = 0.
As for the cohomological structure associated with the Hamiltonians, Θ S,0 and Θ W,0 induce de Rham cohomologies on the space of forms on standard and winding space, respectively, so for any k-forms α ∈ Ω k (M) andα ∈ Ω k (M).
In order to discuss double field theory, which treats all H-, F -, Q-and R-fluxes on the same footing, we will derive the fully twisted Hamiltonian incorporating both de Rham differentials d andd. Locally, these fluxes can be written in terms of their potentials: the 2-form B-field, the bivector β-field and vielbeins e i a .
Then, the B-and β-twisted double field theory Hamiltonian is given by One recognizes the emergence of the local expressions for all fluxes in terms of their potentials.
Furthermore, one recognizes that the anchor map has been twisted, The anchor map part inside a Hamiltonian induces the differential on the associated space. In the twisted case, a covariant differential is induced. For example, the expression proportional to q i inside (107) induces the covariant differential on k-forms over M and the p i -part induces the covariant differential Applying the B-, β-and vielbein twists to the untwisted double field theory Hamiltonian (93) leads to We can rewrite the expression viã by defining The classical master equation then leads to the following relations between the fluxes in the double space Note that these equations have been derived by twist of the classical master equation Since the section condition has not been imposed before twisting, the twisted classical mas- On the other hand, solving the section condition by (ξ i = 0, q i = 0, p i = 0) projects to winding frame parametrized flux expressions and their corresponding Bianchi identities. In order to derive local flux expressions in the winding frame, we have to twist by a different set of canonical transformations. We will come to this point below.
The double field theory formulation now brings us into the position to also discuss the winding frame by solving the section condition by (ξ i = 0, q i = 0, p i = 0). Then, we are left with the untwisted winding frame Hamiltonian This Hamiltonian induces a de Rham complex in the winding frame. The classical master equation is trivially solved.
From the perspective of the untwisted double field theory Hamiltonian, the standard and winding frames are totally symmetric. The asymmetry between both frames is introduced by the order of twists. Above, we made the choice to first twist by B and then twist by β.
This provided us with a certain parametrization of the fluxes. For instance, the R-flux in the supergravity frame (denote R-space) has the form of 1 2 [β, β] S . In contrast to that, the translation of the R-space into a winding frame perspective leads to the Hamiltonian The H-twisted Hamiltonian that sees the H-flux from the winding frame is given by The result is

T-duality as canonical transformation
In order to discuss T-duality, we consider the anchor part of the double field theory Hamiltonian, which is twisted by B-, β and vielbein fields in the standard as well as in the winding frame, The flux part Θ DFT,Flux is third order in (q a , p a ,q a ,p a ) and encodes the local expressions of the H-, F -, Q-and R-fluxes. The anchor part Θ DFT,A can be rewritten using generalized vielbeins Θ DFT,A = e i a ξ i (q a +p a ) + e l a B liξ i (q a +p a ) + (e a i + e a l B im β ml )ξ i (p a +q a ) + e a l β li ξ i (p a +q a ) where we defined These vielbeins can be reassembled into a generalized vielbein Introducing the vectors Ξ M ≡ (ξ i ,ξ i ), Q A ≡ (q a , p a ) andP A ≡ (p a ,q a ), we can write the anchor part in a manifest form We conclude, that T-duality as O(D, D)-transformation relates the generalized vielbeins associated to different backgrounds. A T-duality in x k -direction is the transformation Let us do some example computations of T-duality on pre-QP-manifolds. The easiest example concerns T-duality on an S 1 -isometry background without B-and β-fields, where the circle has radius R. It is well known, that T-duality maps the radius R → R ′ = 1 R . The corresponding Hamiltonian is given by We can project into the supergravity frame by taking (ξ 1 = 0,q 1 = 0,p 1 = 0) leading to Θ R = Rξ 1 q 1 .
Applying the transformation described above, the Hamiltonian, which models the T-dual background, is given by In this case, the projection into the supergravity frame gives We conclude, that this transformation effectively exchanges R ↔ R −1 . Alternatively one can derive all T-dual frames from the double field theory Hamiltonian directly by choosing different solutions of the section condition. In the S 1 -isometry case we could have projected into the winding frame directly by (ξ 1 = 0, q 1 = 0, p 1 = 0) to get the result In the next step, the dual variables have to be interpreted as the standard ones leading again to (141). This reasoning works in general. If we start with an H-flux background, then it looks like F -, Q-and R-flux depending on how we solve the section condition. We can write down the anchor part of this background Θ H,A = e i i ξ i (q i +p i ) + e 1 1 B 12ξ 2 (q 1 +p 1 ) + e 2 2 B 21ξ 1 (q 2 +p 2 ) + e i iξ i (p i +q i ) = ξ i (q i +p i ) + x 3ξ2 (q 1 +p 1 ) − x 3ξ1 (q 2 +p 2 ) +ξ i (p i +q i ).
The flux expressions can be computed by plugging the background local information into the flux part of the Hamiltonian associated to that background geometry.
From the coefficients of (142) we can read off, which fluxes have been turned on or off: This background describes a twisted torus. If we take the T-dual of (142) into direction of x 2 we arrive at Θ Q,A = ξ i (q i +p i ) +ξ i (p i +q i ) − x 3 ξ 1 (p 2 +q 2 ) + x 3 ξ 2 (p 1 +q 1 ).
Again, we can read off from the coefficients of the Hamiltonian the respective local field, We conclude, that the second T-dual turned the metric twist into the non-geometric potential β. Finally, we can take the T-dual in x 3 -direction leading to Θ R,A = ξ i (q i +p i ) +ξ i (p i +q i ) −x 3 ξ 1 (p 2 +q 2 ) +x 3 ξ 2 (p 1 +q 1 ).
In this case, the former standard coordinate x 3 turned into its dualx 3 and vice versa so that

Conclusion and discussion
In the first part of this paper, we constructed a Hamiltonian on a QP-manifold of degree two, which incorporates the local expressions of NS H-flux, F -flux and non-geometric Qand R-fluxes in terms of vielbeins, B-field and β-bivector. We discussed the cohomological properties of some special cases of this Hamiltonian and deduced the flux Bianchi identities from the classical master equation. Then, we defined the operations on the resulting Courant algebroid using the derived bracket formalism.
In the second part of this paper, we extended our analysis to the double field theory setting by starting from a pre-QP-manifold. Again, by twist of the associated Hamiltonian The twisted operations of the Courant algebroid in the winding frame remain to be com-puted by derived brackets. Further topics of future investigation include associated current algebras and topological sigma models. Applications to gravity models can also be thought of. Due to the recent interest in U-duality analogues of double field theory, an extension of this approach to incorporate exceptional duality groups is wished for. Several directions are under exploration.