Deformed graded Poisson structures, generalized geometry and supergravity

: In recent years, a close connection between supergravity, string eﬀective actions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded geometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the 2-graded symplectic manifold T ∗ [2] T [1] M that are based on a metric g , a closed Neveu-Schwarz 3-form H (locally expressed in terms of a Kalb-Ramond 2-form B ) and a scalar dilaton φ . The derived bracket formalism relates this structure to the generalized diﬀerential geometry of a Courant algebroid, which has the appropriate stringy symmetries, and yields a connection with non-trivial curvature and torsion on the generalized “doubled” tangent bundle E ∼ = T M ⊕ T ∗ M . Projecting onto T M with the help of a natural non-isotropic splitting of E , we obtain a connection and curvature invariants that reproduce the NS-NS sector of supergravity in 10 dimensions. Further results include a fully generalized Dorfman bracket, a generalized Lie bracket and new formulas for torsion and curvature tensors associated to generalized tangent bundles. A byproduct is a unique Koszul-type formula for the torsionful connection naturally associated to a non-symmetric metric, which resolves ambiguity problems and inconsistencies of traditional approaches to non-symmetric gravity theories.


Introduction
Deformations of Poisson structures in classical physics and deformations of canonical commutation relations in quantum mechanics can be used to describe interactions. This approach is well-established in the context of electromagnetism and is an arguably slightly more general alternative to gauge theories. It allows for instance the inclusion of magnetic monopole sources [1] (see also [2]) and it can also deal rather elegantly with first order actions. In the electromagnetic case, the deformation {p µ , p ν } = eF µν (x), {x µ , p ν } = δ µ ν , {x µ , x ν } = 0 JHEP01(2020)007 of the canonical Poisson structure is based on a local change of phase space coordinates (x µ , p µ ) → (x µ , p µ + eA µ (x)) generated by a gauge field A µ (x). This is a simple application of Moser's lemma [3]. Gauge transformations δA µ = ∂ µ λ correspond to canonical transformations of the deformed Poisson structure. The undeformed "free" Hamiltonian H = p 2 /2m in conjuction with the deformed Poisson structure yields the correct Lorentz forceṗ µ = eF µνẋ ν withẋ ν = p ν /m. Globally, the deformation is non-trivial whenever the field strength belongs to a non-trivial cohomology class. So far little is known about gravitational interactions from this point of view. Here we will show how to implement the approach in the context of supergravity. The deformation data that will enable us to formulate a Supergravity action is a Riemannian metric g, a closed Neveu-Schwarz 3-form field strength H and a dilaton scalar field φ. Locally, on a contractible patch, the Neveu-Schwarz field can be expressed as H = dB in terms of the Kalb-Ramond 2-form B, which is defined up to 1-form Λ (gauge) transformations B → B + dΛ. The 1-form gauge parameter Λ is itself defined only up to a total derivative. Globally, this is the structure of an abelian bundle gerbe (a higher geometric analog of a line bundle). In analogy to the electromagnetic case mentioned above, the fields g, B and φ generate a deformation via a local change of phase space coordinates. But unlike the electromagnetic case, the deformed Poisson structure cannot entirely be formulated in terms of gauge invariant quantities, since Λ transformations act non-trivially -as is in fact to be expected in view of the gerbe structure. The deformations are thus necessarily local, but they nevertheless extend to a globally well-defined structure.
The appropriate geometric setting needed to accomodate all fields, turns out to be graded Poisson structures and it is closely related to Generalized Geometry. The deformation data in fact defines a so-called generalized metric, but this observation shall not be the main focus of this paper. Generalized Geometry unifies aspects of Riemannian, symplectic and complex geometry. It typically involves the study of a doubled (tangent plus cotangent) bundle T M ⊕ T * M with structure group O(d, d), or extensions of it, interpreted as a generalized tangent bundle. The natural notion of symmetry on the generalized tangent bundle is encoded in Courant algebroids with an ad-invariant pairing on sections, an anchor map into tangent space and a Dorfman bracket. Unlike the more familiar Lie-bracket, the Dorfman bracket is not anti-symmetric in order to assure suitable integrability properties and it satisfies a restricted Jacobi identity. Compatibility conditions between these objects must also hold. Exact Courant algebroids E ∼ = T M ⊕ T * M have been classified by Severa [4] in terms of the third cohomology class H 3 (M, R).
In the recent past the generalized differential geometry of T M ⊕ T * M has been exploited to show -with various suitable assumptions -that supergravity, as the supersymmetric theory of gravity in its own right, but also as the effective field theory of superstrings of type IIA and IIB, can be described as some kind of Einstein's General Relativity on this doubled vector bundle. For example, the works [5][6][7] and others show this in the framework of Generalized Geometry. In Double Field Theory, where also the coordinates of the base manifold (spacetime) are doubled, similar results -upon suitable projection onto standard target spacetime -were found, see e.g. [8].
As mentioned above, here we shall take a different approach based on deformations of graded Poisson structures. It is known that the aforementioned Generalized Geometry JHEP01(2020)007 structures are special cases of graded Poisson algebras in the derived bracket formalism: the 2-graded symplectic manifold T * [2]T [1]M , admitting a Hamiltonian (shifted) vector field, with its sheaf of graded Poisson algebras generated by the polynomial functions, was related to the exact Courant algebroid on T [1]M ⊕ T * [1]M ≃ T * M ⊕ T M inŠevera's letter 7 [4] to Alan Weinstein. Roytenberg, in [9] and in his PhD thesis [10], further analysed graded symplectic manifolds and found a 1-1 correspondence between symplectic N Q-manifolds of degree 2 and Courant algebroids. The key was to notice that the bracket and the pairing are derived brackets of the Poisson bracket with the Hamiltonian as differential. The relation between Courant algebroid and derived brackets and other applications to Lie algebroids are explained by Kosmann-Schwarzbach in [11]. Graded Poisson algebras and graded Lie algebras are also relevant in the context of the BRST and BV quantization of the path integral of field theories with local symmetries. Another closely related and fruitful setup for the exploitation of the rich structures of graded manifolds are the AKSZ models [12]. They associate topological field theories to graded symplectic manifolds by lifting the graded and symplectic construction on a pair of manifolds M, N to the mapping space Map(M, N ). For further details see e.g. the review on supergeometry [13]. Worth mentioning, amongst the numerous works, is the exploration of the AKSZ construction by Ikeda [14], Schaller and Strobl in [15], and Cattaneo and Felder in [16] and [17] for N = T [1]N 0 related to the Poisson σ-model.
It is natural to conjecture that the "generalized General Relativity nature" of supergravity can be described in terms of the differential graded symplectic manifold T * [2]T [1]M , with M being d-dimensional target spacetime. Indeed, this is the program of this paper: starting from a deformation of the graded Poisson algebra encoded in local vielbeins, we reconstruct the NS-NS sector of 10-dimensional supergravity from a derived generalized connection and corresponding curvature invariant. The construction uses the derived bracket approach to Generalized Geometry and some additional natural geometric structures, which we shall describe in detail.
Structure of the article. In the following section 2 we will review the necessary background on Generalized Geometry and graded symplectic manifolds. The notation will be fixed in this part. In section 3 the general deformed, i.e. non-canonical Poisson structure on C ∞ (T * [2]T [1]M ) is analysed and its Courant algebroid counterpart on on T M ⊕ T * M is computed via the derived bracket approach. Section 4 is devoted to a survey of differential geometry in this setting and in particular to generalized connections and associated tensors. This section contains several new results. Definitions for a generalized Lie bracket, torsion and curvature tensors, connection symbols of the first kind are given and a general proposition 4.4 that relates these objects to the generalized Dorfman bracket. We will see how a connection with non-trivial curvature arises from the derived bracket formalism. The section includes a comparison with previously proposed notions of torsion in the context of Generalized Geometry. Finally, in section 5, all these methods are applied with a concrete deformation based on a Riemannian metric g, a 2-form B and a scalar (dilaton) φ(x), eventually yielding the effective Lagrangian for type II closed strings. An interesting side-result is a generalization of the Koszul formula to a non-symmetric metric setting with dilaton.

JHEP01(2020)007
2 Summary of essential notions The original works on Generalized Geometry, which received a lot of attention in the early 2000's are usually considered those by Hitchin [18] and by his student Gualtieri [19], to which we refer for a nice explanation of the underlying concepts of Generalized Geometry.
The key underlying structure is that of a Courant algebroid: , ·, · ) consisting of a vector bundle with a point-wise non-degenerate symmetric bilinear form on sections ·, · , together with a bracket [·, ·] : Γ(E) × Γ(E) → Γ(E) and a map ρ : E → T M (called the anchor ), such that: A Lie algebroid (E, ρ, [·, ·]) fulfills the first axiom and the Leibniz rule and its bracket is skew-symmetric.
Courant algebroids for which the following short exact sequence holds (i.e. if j is an injective inclusion map, ρ is surjective and Imj = Kerρ) are called exact. A splitting of the exact Courant algebroid is an embedding s : The splitting s is not unique and it does not need to be isotropic -in the sense that the bilinear pairing ·, · vanishes on its image -in order to establish the isomorphism. We shall in fact later use a non-isotropic splitting to project a generalized connection to the tangent bundle. The canonical example of an exact Courant algebroid is given by the bundle M that is the Whitney sum of the tangent space and the cotangent space together with their natural pairing and with ρ being the natural projection JHEP01(2020)007 onto T M . The non-skew-symmetric bracket for the Courant algebroid most commonly used in Generalized Geometry is the Dorfman bracket. (Its antisymmetrization, called the Courant bracket, will not be used here, as the axioms would be slightly different -the Jacobi identity in the definition would hold only up to a Jacobiator.) where the bracket on vector fields is the standard Lie bracket. The Dorfman bracket can be twisted by a 3-form H ∈ Ω 3 (M ): Exact Courant algebroids have been classified byŠevera [4] in terms of the third cohomology class H 3 (M, R). Let us briefly recall the construction without going into details: a natural choice for the inclusion map j is the adjoint ρ * of ρ that is defined with respect to the bilinear form of the Courant algebroid and the natural pairing of T M and T * M . The inclusion ρ * is isotropic in the sense that the bilinear form ·, · vanishes on its image. It can be shown that one can also always find an isotropic splitting s iso . Via s iso ⊕ ρ * the exact Courant algebroid is then seen to be isomorphic to the aforementioned canonical example with the twisted bracket (2.6). Any two isotropic splittings are related by a B-transform that maps H → H + dB. Hence, exact Courant algebroids are classified by [H] ∈ H 3 (M, R). We shall later extract a generalized connection from a deformed Courant algebroid. In view ofŠevera's classification this will clearly require some additional geometric structure like a particular choice of splitting or frame, which however turns out to be quite natural. We will comment on this in due course.
Graded symplectic manifolds are manifolds very rich in structure and properties. For the basics on graded manifolds and algebras, we refer to [20]. We will focus on T * [2]T [1]M , the shifted cotangent bundle of the shifted tangent bundle of a manifold M , which we shall interpret as (target) spacetime. Darboux's theorem still holds despite the shifts in the grading. In an affine Darboux chart corresponding to a chart {x i } on M (which also coincides with a local trivialization of the bundle), coordinates on T * [2]T [1]M are given by (x i , ξ α , p i ), where (ξ α ) := χ i , θ i are 2d odd coordinates on the fibers of T * [1] ⊕ T [1]M , (x i ) are coordinates on the base M and the momenta (p i ) are coordinates on the fibers of T * [2]M . Weights |·| ∈ Z are assigned as |x i | = 0, |ξ α | = 1, |p i | = 2. From the graded geometry point of view the choice of ξ α (i.e. χ i and θ i ) is part of the local Darboux coordinate choice, from a bundle point of view it is a choice of preferred frame (coordinate basis and its dual) and we can identify (χ i , θ i ) with (∂ i , dx i ). All coordinate-dependent expressions that follow will refer to the local canonical graded coordinate system that we have described here.
The canonical symplectic form of T * [2]T [1]M has degree 2 and is given by The last line can be written more compactly as Before reviewing the derived brackets construction that leads to the fundamental result on the relation between this dg-symplectic manifold of degree 2 and the Courant algebroid (T M ⊕ T * M, ρ, [·, ·], ·, · ), we shortly recall the notion of a homological vector field and under which conditions it gives rise to a Hamiltonian in this graded setup. Definition 2.3. A homological vector field is a vector field Q belonging to the degree +1 shifted vector fields XΠ(E), such that {Q, Q} + = 2Q 2 = 0.
When such a vector field preserves the symplectic form ω, i.e. L Q ω = 0, it is a symplectic homological vector field. Q is symplectic homological iff it is Hamiltonian (ι Q ω = dξ, for dξ some exact form) and n + 1 = 0, n being the degree of ω.
If n = −1, Q is hence recovered from the Poisson bracket (of degree −n) with a corresponding Hamiltonian of weight 1 + n, denoted by Θ: Q = {Θ, ·}.
A Hamiltonian Θ for T * [2]T [1]M must therefore be of degree 3. The most general degree 3 Hamiltonian Θ that can be written down consists of a kinetic term linear in the momenta and of a potential cubic in the degree-1 coordinates: where C αβγ (x) ξ α ξ β ξ γ =: C, due to the odd parity of the ξ's, is a completely antisymmetric function in the sheaf O 3 (the set of polynomials of degree 3). It can be interpreted very naturally as the tensor representing all the T-dual stringy geometrical and non-geometrical "fluxes": R abc , Q bc a , f c ab and H abc . The position-dependent matrix ρ αi (x) will play the role of the anchor map of a Courant algebroid. The Hamiltonian Θ must satisfy the structure or master equation (corresponding to Q 2 = 0, as can be seen from the Jacobi identity and the definition 2.3): {Θ, Θ} = 0 . . From now on we will always identify the ξ α 's with a basis of sections, and all following coordinate expressions will refer to the local coordinate basis introduced in this section. Moreover the anchor ρ ∈ Hom(E, T M ) is understood as the same map appearing in (2.9) and the constraints due to the master equation impose some restrictions on it. The proof of the correspondence between the dg-symplectic manifold and the Courant algebroid can be given as follow. The first axiom is a consequence of the (graded) Jacobi identity for the Poisson graded algebra: (2.14) The last term is zero due to the master equation (2.10) and the axiom is verified.
For what concerns the remaining two axioms, the (graded) Leibniz rule and the (graded) Jacobi identity give directly: For instance, let us apply these considerations to the canonical case, whose symplectic form is given in (2.7). Equation (2.13) immediately tells us that the pairing is the O(d, d)invariant constant η. Furthermore, the anchor ρ αi (x) = ρ ai (x), ρ a i (x) T must satisfy the following differential and algebraic equations

Deformed graded Poisson brackets
Consider again the graded symplectic manifold (T * [2]T [1]M, ω) just outlined. The most general deformation of the canonical Poisson structure (2.8), which we require to preserve the x-p bracket and (of course) still obeys the graded Jacobi identity and the graded Leibniz rule is given by the following brackets (3.1). They are listed in the left column in components and in the right column in a coordinate free notation, where Similarly, from the bracket between the functions linear in the momenta and those linear in ξ we must expect a degree 1 object with the properties of a connection. The Jacobi identity with another degree 1 object implies that this connection ∇ is metric with respect to G αβ (x). In fact, according to Roytenberg's work [9], the action of the polynomial functions of degree 2 (which are just those linear in p, because those quadratic in ξ actually act trivially) on the functions of lower degree comes from a Lie algebroid action preserving G. In formal terms, the algebra of sections of the Lie algebroid is the Atiyah algebra of covariant differential operators on T * [1]M ⊕T [1]M preserving the metric. The connection ∇ can be understood as a splitting of the Atiyah sequence associated to symplectic N -manifolds of degree 2 [9]. The Poisson bracket of two momenta is given by the curvature 2-form of the aforementioned connection, R ij ∈ Λ 2 (T * [2]M ), as implied by the Jacobi identity with ξ, the commutativity of the bracket and the resulting degree (2). The symplectic form ω, which corresponds to the inverse of the Poisson bivector, is The master equation (2.10) places further restrictions on G, ∇ and R resulting in expressions that can be decomposed into a set of degree 4 equations, each involving a different monomial in the degree 1 and 2 generators. In particular the degree 4 equation for a quadruplet of ξ's is where ∇ ρ( ) is the differential graded connection on the generalized tangent bundle T * [1]M ⊕ T [1]M induced via the anchor map ρ from the ordinary affine connection ∇, and the interior product is performed with G. This equation can be solved for R as a function of the fluxes C, of the metric G and of the anchor ρ. Therefore, without loss in generality, we can take R = 0 in (3.1) and focus on the fluxes to keep track of the modifications induced by the curvature. For a complete analysis on the non-geometric fluxes and their Bianchi identities in the canonical dg-symplectic T * [2]T [1]M one can consult [21]. From now on the Poisson bracket of the momenta and hence R is set to zero unless stated otherwise. (Later in the paper we will consider a different "derived" connection with nonzero curvature.) In the absence of curvature the connection ∇ is thus forced to be the curvature-free but generically torsionful (in some broader sense) metric connection said to be of Weitzenböck type. Weitzenböck connections have already been used before in [22] and [23] in the related context of Double Field Theory, and proven useful in the derivation of Supergravity theories. In order to avoid potential confusion regarding global implications, let us mention that the above discussion of absorbing R in the fluxes was done in a local coordinate chart and in the present context, the Weitzenböck connection can also be traced back to fixing a local frame for the degree-1 coordinates, or equivalently a generalized local vielbein E. We are certainly not requiring a global vielbein or parallelizable manifold. The metric G too has an interpretation in term of E, as that one metric to which the O(d, d) η is reduced by the vielbein in a local neighborhood. The master equation for the bracket between ξ α G −1 αβ ρ i β p i and itself gives the remaining couple of relations. These involve the degree 4 objects built from a pair of momenta and from a pair of ξ's together with one p: which is also equivalent to: This set of constraints on G, Γ and ρ is underdetermined. An ansatz must be made in order to solve it, depending on the deformation that one wants to discuss. In this paper we shall choose a (generically non-constant) anchor map that is null on forms, ρ bi = 0, i.e. a projection onto tangent space up to rescaling by a function of the dilaton. In the discussion we will hint to other choices that can be investigated too. The option for ρ that we pick up here, also implies that G has a null lower right d × d block.
Canonical transformations. Let us now discuss briefly a class of canonical transformations for this algebra, the inner automorphisms. These are degree-preserving morphisms and since the brackets have degree −2, the generators h must have degree 2. This can be JHEP01(2020)007 achieved by choosing for h a function with a term linear in momenta and one quadratic in the degree 1 coordinates: When acting on an element of the algebra of functions of arbitrary degree O n via Poisson bracket, the infinitesimal canonical transformations look like: The algebra of these generators h closes as assured by degree counting and by the Poisson brackets themselves, since they produce a new function which is still linear in the momenta and quadratic in the ξ's, see the relations (3.1).
The momenta generate diffeomorphisms and the term quadratic in the ξ's generates local ). One recognizes immediately that the latter are the symmetries that preserve the Courant algebroid pairing (B-transformations are actually automorphisms for Courant algebroids). The algebra of the canonical symmetries is hence the algebra of the gauge symmetry of the gerbe structure of (T M ⊕ T * M, ρ, [·, ·] Dorf , ·, · ). These canonical transformations are of course derivations of the Poisson bracket. Con-

Derived structure
In this part we want to focus on the outcome of the derived bracket construction, and describe the Courant algebroid corresponding to the deformation.
As an example for the correspondence between the Poisson algebra of functions on T * [2]T [1]M with Hamiltonian Θ (2.9), satisfying the master equation (2.10), and the Courant algebroid (T M ⊕ T * M, ρ, [·, ·] Dorf , ·, · ) in section 2 we have already discussed the canonical graded Poisson structure. Now we will investigate a modified Poisson structure together with the Hamiltonian (2.9), whose master equation implies (3.3). 1 The associated Courant algebroid with Dorfman bracket [·, ·] ′ , pairing ·, · and anchor map ρ, as defined by the derived brackets (2.11), (2.12) and (2.13) has the following structure: 1. The pairing is given by 3. The fully generalized Dorfman bracket [·, ·] ′ , written out in components, is given by

JHEP01(2020)007
where the connection ∇ : Γ(E) × Γ(E) → Γ(E) on the Courant algebroid is induced by the connection of the graded symplectic manifold appearing in (3.1) (as the usage of the same symbol aims to stress), via the anchor map ρ from generalized vector fields (which are equivalent to degree 1 functions) to ordinary tangent vector fields (which are equivalent to degree 2 functions), ρ : Γ(E) → Γ(T M ) (see also point 2 above). The connection is a bona fide extension to generalized vector fields and it satisfies the axioms for a generalized connection: Before inspecting the deformation for the Courant algebroid to check once more that it is well-posed, let us comment on the presence of local generalized vielbeins E relating the standard O(d, d)-invariant pairing to the new, completely general, metric G. Vielbeins are sections of a frame bundle for T M ⊕ T * M and will be chosen so that the general metric G could have some desired features. E gives also a local isomorphism between exact Courant algebroids, therefore mapping a basis for sections Γ(T M ⊕ T * M ) of (T M ⊕ T * M, ρ, [·, ·] Dorf , ·, · ) to a basis for sections of (E, ρ, [·, ·] ′ , ·, · ′ ), and it is a homomorphism of the bracket too.
By naïvely modifying the graded symplectic structure one could potentially end up describing a wanna-be Courant algebroid that actually does not fulfill the defining conditions. As already explained, this will not happen as long as the Hamiltonian for the new deformed setting still has null Poisson bracket with itself, but it is nevertheless instructive to check directly that the quadruple (E, ρ, [·, ·] ′ , ·, · ′ ) is really a Courant algebroid according to definition (2.1). We will ignore the fluxes C in Θ for now and consider only since one can observe that due to associativity the tensor C is only responsible for the direct twisting of the bracket, by means of tensors with various symmetries, see (3.5). The choice (3.7) already reproduces the Courant algebroid bracket [·, ·], the anchor and the pairing. Then our previous computations of the master equation i.e. the formulas (2.14), (2.15) and (2.16) are still true for Θ |C=0 , again because of associativity. In particular, (2.14) imposes a rather obvious symmetry condition on the curvature R of the induced connection, the algebraic Bianchi identity (which is trivially true for a vanishing Weitzenböck-type connection curvature) is used here, and another condition involving G ≡ ·, · and the connection coefficients: which is a disguised version of the previous symmetry condition on R. Both remaining axioms do not require much more in order to be verified, since both (2.15) and (2.16) are simply equivalent to the statement that ∇ is metric compatible, which was already required in order to produce a Poisson structure with the brackets (3.1).
To summarize, in this section we presented the general form of a graded Poisson structure (3.1), which can be interpreted as a deformation of the canonical structure (2.8), and the corresponding Hamiltonian, which was used to characterize the structure through the master equation. We then discussed infinitesimal degree-preserving canonical transformations of the graded Poisson structure. Finally, we derived the Courant algebroid on T M ⊕ T * M arising from the derived brackets for the dg-symplectic manifold T * [2]T [1]M for such a general Poisson structure. The expression for the fully generalized Dorfman bracket of this algebroid, in equation (3.5), is found to involve a Weitzenböck-type connection for T * [2]T [1]M . This raises some interesting points that will be explored in the next section.

Courant algebroid connection
In this part we would like to formulate some essential elements of differential geometry for the generalized tangent bundle E. For our particular way of constructing (super) gravity actions, we will not actually need all the results that are presented here in full generality, but they should be interesting in their own right and put the construction in a proper perspective.
We will later apply the general formalism to the deformation given in (3.1) with vanishing Weitzenböck-type curvature as before and the background fluxes C ignored. For doing so and inspired by the structure of equation (3.5), we will start by looking for a suitable definition of a torsion tensor for E, in a coordinate-independent fashion.

Generalized torsion, Lie bracket and connection
A map T : Γ(E) × Γ(E) → Γ(E) gives rise to a 2-tensor if it is bilinear and antisymmetric: Moreover, it is a candidate for a torsion tensor, if it measures the failure of the antisymmetric pair of covariant derivatives on two generalized vector fields ∇ U V − ∇ V U to close up to their commutator, that we could think of as a generalized Lie bracket ·, · . This generalized Lie bracket shall have some properties determined by the behaviour of the connection ∇ and the tensor T themselves under C ∞ (M )-multiplication and by the antisymmetry of T. In previous works there have been attempts to employ the antisymmetric Courant bracket for these purposes, but that choice led to the addition of further correcting terms, mostly because it does not obey a Leibniz rule. We define instead: JHEP01(2020)007 holds for all E-sections U, V , is said to be a generalized Lie bracket. (Note, that we do not require a Jacobi identity, even though it may still hold in some generalized fashion.) The definition does not uniquely determine a generalized Lie bracket, but any two choices are related by an E-section valued antisymmetric 2-tensor. Existence of such a generalized Lie bracket is ensured for any Courant algebroid that has a compatible generalized connection; see proposition 4.4 below. The ordinary Lie bracket of vector fields on M gives a local condition [χ i , χ j ] Lie = 0 for a holonomic (coordinate) basis {χ i }. Vice versa, the choice of such a preferred basis can be used to define the bracket locally. We have a natural choice for such a preferred local basis, namely the one corresponding to the Darboux chart described before equation (2.7). We define this basis {ξ α } to be also holonomic in the generalized sense and consequently set ξ α , ξ β = 0. With the help of the defining property (4.1) we get the following explicit expression for the generalized Lie bracket of any two E-sections U, V in a holonomic basis (local Darboux chart): This expression is of course coordinate-choice dependent -just as it is the case for the corresponding expression of the ordinary Lie bracket as a commutator of vector fieldsbut using again (4.1) it is straightforward to obtain expressions for other (non-holonomic) bases. The bracket respects the defining conditions 4.1 by definition. Its local expression can be extended globally to all patches that cover the base manifold using (4.1) and the transition functions between patches of the underlying manifold. The extension can easily be shown to be consistent on triple overlaps as long as the anchor map is globally welldefined. 2 The above expression for the bracket resembles the commutator of generalized vector fields, in some sense analogously to the difference between the infinitesimal flow generated by the first generalized vector field on the second and vice versa.
For what concerns us, in this article we will ultimately only really use the generalized Lie bracket on ordinary tangent vector fields X, Y ∈ Γ(T M ), where it will correspond to the usual Lie bracket up to a rescaling by the dilaton that will appear in the anchor. where , ≡ η and we employed the derivatived : which vanishes on the preferred basis {ξ α }, i.e.dξ α = 0, and evaluated on a general section e = e α (x)ξ α givesd e = ρ * (de α (x))ξ α (4.4) with d the de Rham differential and ρ * providing the canonical embedding of the 1-form in Ω 1 (E). The preferred basis is the one where the isomorphism of the exact Courant For a generalized connection ∇, the following properties are required: In the remainder of this article we will often encounter expressions involving the connection contracted with a (generalized) vector field, i.e. "with all indices lowered": ∇ W U, V . Furthermore, in section 5, we will consider deformations involving a metric g, but not its inverse (the inverse will appear later), hence in that example we cannot expect to obtain Levi-Civita symbols directly, since they do involve the inverse metric. This suggests therefore to consider connection symbols of the first kind Γ (W ; U, V ). We shall stick to the convention for Christoffel symbols of the first kind in general relativity, where the upper index is lowered into the last slot: Γ γαβ := Γ λ γα g λβ and define connection coefficient on the generalized bundle E with the appropriate tensorial and linearity properties: A generalized connection symbol Γ for a connection on the generalized tangent bundle E is said to be of the first kind if for a symmetric bilinear form ·, · , and ρ : where U, V, W are E-sections and f is a smooth function.
With the help of any suitable non-degenerate symmetric bilinear form ·, · , a connection symbol of the first kind defines a generalized connection ∇ (4.6) via ∇ U V, W := Γ (U ; V, W ). . In order for ∇ to be well-defined, the metric on the tangent space must be non-degenerate. Using a suitable splitting s, the tangent space metric can be obtained from the pairing on E via X, Y |T M := s(X), s(Y ) , but then splitting s must of course not be isotropic (because else s(X), s(Y ) = 0, ∀ X, Y ∈ Γ(T M )).
We shall denote the connection on the full generalized tangent bundle and the one on tangent space by the same symbol ∇, because they both arise from the same connection symbols of first kind. Which one is in use should be immediately clear from the context. any two of the structures will define the third with all its desired properties.
We have formulated this in the more general setting of a connection of type 1. Given an ordinary connection ∇ and pairing, Γ (U ; V, W ) can be replaced by ∇ U V, W .
Proof. We shall just sketch the main points: (i) Tensoriality in the first slot is obvious as can be seen by replacing U by f U with f ∈ C ∞ (M ) and considering the properties of the pairing and the connection. In conjunction with a generalized connection -that does not necessarily have to coincide with the one in (4.10) -the generalized Lie bracket is used to define torsion and curvature.

Connection for the derived deformed Courant algebroid
Consider now (3.5) without fluxes C and let U α ξ α = U and V β ξ β = V : Here ∇ U V = ∇ ρ(U ) V is the induced Weitzenböck-type connection introduced in section 3.2. The antisymmetric combination of covariant derivatives on the r.h.s. becomes the torsion tensor (4.5) up to the generalized Lie bracket: (4.11) Contracting with W , we obtain a connectionΓ (of the first type), different than the induced Weitzenböck one for non-zero values of T In fact, the l.h.s. is clearly R-linear in U and tensorial elsewhere, henceΓ are honest connection symbols of the first kind. Remarkably it involves genuine generalized vector fields (i.e. both vector fields and forms) everywhere, also in the direction along which the derivation is taken, because of the torsion tensor. Furthermore, in light of proposition 4.4 here one can pick up any generalized Lie bracket, in particular the minimal one of example 4.2. Then the connectionΓ is not anymore the Weitzenböck one but has non-trivial curvature. In components it reads where the first index of Γ is always anchored with ρ and hence it can be labeled with the corresponding d-dimensional index.Γ will in general have non-zero curvature.
Let us briefly comment at this point on the requirement of antisymmetry for torsion, since this is sometimes omitted by other authors but it plays an important role here: metricity of ∇ follows naturally from the Jacobi identity for a certain combination of derived brackets that imply the Courant algebroid axioms (2.15) and (2.16). It also follows from the Jacobi identity for the underlying Poisson brackets. We have defined a new connection (of the first type) in (4.12). Let us check its metricity directly: which is true, provided that torsion is antisymmetric and ∇ is metric.

JHEP01(2020)007
However, going back to the connection as defined from the connection symbols of first kind, since we are interested in a connection that returns (generalized) vectors rather than their duals, we could be tempted to perform an inversion with the full pairing G −1 ≡ ·, · −1 on (4.8) to get This yields a bona fide connection on the generalized tangent bundle, since G is always non-degenerate if it is induced by a symplectic structure, as it is the case here. But for the particular deformation that we will consider, this approach will yield unphysical trivial results. We shall discuss this point in more detail in the context of curvature invariants for the manifold, subsection 4.4. In any case, physics should not be described on the doubled space -it just plays an auxiliary role. We do need some kind of projection onto T M and this can be achieved through a non-isotropic splitting s as displayed in Properties (4.7) remain true because composing with the splitting preserves naturally those relations.

Comparison with other definitions of torsion
Let us now go back to our definition of generalized torsion (4.5) which is very similar to the standard definition of torsion, and compare it with some other proposals that have so far appeared in the literature. In the pioneering work by Coimbra, Strickland-Constable and Waldram, reference [5], torsion is the operator T : Γ(E) → Γ(adF ), for adF being the adjoint representation bundle associated to the bundle of frames. T is given by the difference between a "Dorfman derivative" L taken with a covariant derivative, and a "flat" one (i.e. the Dorfman bracket): and α some tensor field in E. This formula replicates the definition of torsion in Riemannian geometry (where L is the Lie derivative). With the help of the pairing, T ∇ can be shown to belong to Γ(Λ 2 E ⊗ E) and hence to be a tensor like its standard differential geometry counterpart.
In their work, ∇ is compatible with a O(d) × O(d) × R + structure, where the positive reals take into account that the frame chosen is conformal. For the class of torsionless covariant derivatives, the generic metric connection compatible with the generalized metric H

JHEP01(2020)007
and compatible with the conformal factor Φ as well (∇Φ = 0) shall have T ∇ αβγ = 0. Then type II closed strings bosonic effective action is recovered from the Ricci tensor, which is built with the commutator of covariant derivatives taking and acting on generalized vectors from both of the subspaces in which H restricts to a O(d)-invariant metric (or O(1, d − 1) metric in Lorentzian signature).
Before elaborating on the similarities of that approach with the present one, let us show a few more examples of torsion tensors. There are other natural ways to construct a 3tensor out of the data given by a Courant algebroid with compatible generalized connection, requiring in particular that, for the given connection D, T D ∈ C ∞ (Λ 2 E ⊗E). This 3-tensor is one of the candidates for a definition "torsion" introduced by Gualtieri in [24]. There, the Courant algebroid bracket employed in the definition is the skew-symmetric version. We shall rather stick to a torsion defined in the same fashion but with the Dorfman bracket instead (as in reference [7]), and refer to it as Gualtieri torsion T D G henceforth: Here D is compatible with the pairing. With this particular instance of the bracket (4.16) is simply the contraction of (4.14) with a third generalized vector, when α is a section of E. Moreover, it can be shown to be also a special case of the definition of generalized torsion that we have given in this section: the Gualtieri torsion can be obtained by computing the type-1 connection symbol Γ (see definition 4.3 and eq. (4.8)) from D and using the result both in (4.10) to determine a generalized Lie bracket and in (4.5) together with that Lie bracket to compute the torsion. The definitions of Gualtieri torsion and ours (4.5) are not identical, the latter being more general because one can also consider generalized Lie brackets and generalized connections not related by (4.10) to define bona fide generalized torsions via (4.5) that are not of Gualtieri type.
The connection that appears in the deformation of the graded Poisson structure has in fact zero Gualtieri torsion with respect to the derived bracket based on a Hamiltonian without flux term. With flux term the Gualtieri torsion is equal to minus that flux. This is a direct consequence of the derived bracket construction, i.e. that construction is equivalent to imposing the torsion condition. In fact, , ·, · , Θ C and from (4.12).
Another related definition, but for a covariant derivative not necessarily compatible with ·, · , was suggested by Alekseev and Xu in [25]: The authors discussed it in the context of Dirac generating operators for Courant algebroids. These operators, which are spin connections in the Spin bundle, indeed arise naturally from the derived bracket construction. The quantization issue of the underlying 2-graded symplectic manifolds was addressed in [26].

JHEP01(2020)007
The Gualtieri torsion of the connection (4.12) as well as that of its tangent space ordinary counterpart (4.13) are in general non-zero unlike the one in the pioneering work [5]. The approach of [5] is hence manifestly different from the one presented here.

Curvature invariants
In section 4.2 we have shown how to extract a generalized connection ∇ defined on the entire bundle from the derived connection of the first kindΓ . We have also provided a prescription on how to evaluate it on the tangent bundle only. Associated with these two options, there are also two curvature invariants forΓ . We will eventually only make use of the first one, but we shall briefly discuss both here.
1. Taking into account just the tangent bundle, (4.13) is the standard connection of Riemannian geometry. The Riemann curvature is thus the standard one The associated Ricci tensor is then the partial trace of R: Ric ∈ Γ(T * M ⊗ T * M ), Ric cb = R a cab . This procedure may seem to not make full use of the rich structure of "double geometry", but it gives the correct physics and implements the curvature tensors for the tangent bundle as in usual Riemannian geometry. It also tremendously simplifies the calculations.
2. Considering the connection on generalized vector fields, extracted with the inverse of the full generalized metric G instead, a generalized tensor in R ∈ Γ E ⊗ 3 E * with the symmetries of the Riemann tensor can be defined in a similar way to (4.18): Since each of the indices can be vector or form valued, there are 2 4 = 16 Riemann curvatures, out of which only one corresponds to the standard differential geometry definition. The generalized Ricci tensor can be found again from the partial trace of this R. There are 4 of them and each one consists of the sum of 4 Riemann curvatures with indices contracted.
In this way the curvature invariant is obtained for the full E-bundle. This would seem to lead to an alternative way to formulate an action, but in our case leads to trivial unphysical results. (Essentially, because the inverse of the metric g on M does not appear directly in the deformation that we consider in this article.)

JHEP01(2020)007
In the rest of the paper we will describe a particular choice for G and ∇. For the derived Riemann tensor and subsequently the Ricci tensor we will follow the prescriptions of the first point, namely they will be computed for the connection on the tangent bundle. Ric will be contracted in a way that will reproduce the 10-dimensional low-energy effective action for closed bosonic superstrings.
5 Deformation with metric g, 2-form B and dilaton φ

Deformed graded Poisson algebra
Here we will present a concrete example of a deformation. It will be based on g + B (or equivalently (g + B) T = g − B), i.e. the data that locally defines a generalized metric and also the string sigma model with background fields. Globally, g and H are relevant and we are dealing with a gerbe structure. By not introducing g and B separately, we can make sure that the relative prefactors of the terms in the action that we derive provides a non-trivial check of the construction. In this article we focus on an anchor map that is a projection onto tangent space up to a rescaling to accommodate a dilaton field. Other choices are possible and we briefly comment on them in the concluding discussion section 6.
By imposing that the anchor ρ is a projector up to a rescaling, the metric G shall have the lower block in the diagonal null, as discussed in the example after equation Since the p-p bracket is zero, the metric G can be obtained from the standard O(d, d) constant pairing ·, · =: η by applying a vielbein E based only on the Riemannian metric g, in matrix notation G = E T ηE. The vielbein is indeed a non-canonical (differentiable and invertible) change of the degree 1 coordinates. In fact E can also be seen as a choice of section in the associated bundle of frames to T manifold. See [27] for a discussion in a similar setting as the one we have here and for references to the original literature.
The local vielbein E is then completely determined, and corresponds to: in which the conformal factor will be eventually set to some function exp f (φ(x)) for φ(x) a scalar field that will be interpreted as the dilaton of the gravity multiplet in supergravity.
With this vielbein we perform the local change of degree 1 coordinates that defines the deformation of the graded Poisson structure. This implies a local equivalence (isomorphism) of the corresponding deformed Courant algebroid to the standard exact Courant algebroid. This is however in general not a global equivalence, just like B is not globally defined, but just a representative in a class locally defined by H = dB. We would furthermore like to point out that even a cohomologically trivial H will in general be physically non-trivial just like a cohomologically trivial constant magnetic field will exert a force on charges. The metric G is hence The local Weitzenböck-type connection [28] coefficients Γ β iα are given by: where the Poisson bracket is the canonical one, and it is convenient to recall that (ξ α ) := (χ a , θ a ). The connection is locally flat as it results from a local change of degree 1 coordinates. Moreover, as found in the end of subsection 3.2, the connection is clearly metric compatible with G. (In order to avoid confusion, let us emphasize once more that these are local considerations and do not have any implications for the global properties of M and its closely associated bundles beyond the requirement that a Riemannian metric g and a closed 3-form H must be globally well-defined.) The expression for E, when written by making clear distinction between χ and θ coordinates, defines the following bracket in (3.1): The full (local) Poisson structure that arises from the ansatz on ρ and G (5.2) is hence: The closed non-degenerate symplectic form ω for this symplectic structure can be found from the canonical one by pull-back with E. In fact the change of degree 1 coordinates E is also a homomorphism of the Poisson algebra. Performing the substitution ξ old = ξE −1 in dx i ∧ dp i + dχ a ∧ dθ a leads to: The inversion of the Poisson bivector agrees with this result, as well as (3.2) for the metric and connection employed here. At this point we should unveil the Hamiltonian Θ |C=0 = ρ * (dx i )p i = ξ β G −1 βα ρ α i p i compatible with the symplectic form (5.5). It is given by: The structure equation for the Hamiltonian (2.10) still holds, because it now involves the deformed commutation relations (5.4) rather than the CCR. The direct computation results again in because the derivatives on the conformal factor λ −1 cancel with terms in the connection coefficients. Moreover, the composition of maps ρ • G −1 : Γ(E * ) → Γ(T M ) that appears in Θ can be seen to be:

Derived structure
Let us describe in detail how the derived structure for this particular deformation induced by the local vielbein E (5.1) looks like. We will keep identifying sections of the algebroid with the algebra of functions of degree 1 of T * [2]T [1]M by slight abuse of notation. In this way the vielbein E is also interpreted as a smooth map between sections of (T M ⊕ T * M, ρ, [·, ·] Dorf , ·, · ) and sections of (E, ρ, [·, ·] ′ , ·, · ′ ), which is the Courant algebroid corresponding to the deformed Poisson algebra (5.4). The new pairing (now denoted with a prime) is directly: {e 1 , e 2 } = e 1 , e 2 ′ = λ 2 e 1 , e 2 + 2λ 2 g (e 1 , e 2 ) ∀ e 1,2 = e α 1,2 ξ α ∈ Γ(E). The new pairing has a reduced symmetry group with respect to η, namely is invariant under (O(d) × O(d)) ⋉ e B . This is to be compared with the approach usually taken in Generalized Geometry, where the metric considered in order to define a generalized connection JHEP01(2020)007 Furthermore the maximal isotropic subspaces for (5.8) are no longer T M and T * M , as they were for the η pairing, and they are neither the subbundles on which the metric H (4.15) restricts to separate euclidean metrics of signature d and −d respectively. The maximal isotropic subspaces N 0 and N 1 for (5.8) are instead: We can also immediately state that for an exact Courant algebroid the embedding j, regardless of the particular choice, is forced to have this scaling behaviour w.r.t. the embedding j old for the standard Courant algebroid: For the Poisson brackets (5.4) the Courant algebroid bracket in (3.5) becomes: + ρ(·).j (g − B) (ρ(e 1 )) , e 2 + ( e 1 , e 2 + 2 g(e 1 , e 2 )) λ −1 ι ρ(·) dλ . (5.12) The parenthesis on the indices means antisymmetrization without 1 2 factor, and the dot in ρ(e n ). j (g − B) (ρ(e m )) denotes the action of the derivation by the anchored e n on j • (g − B) • ρ, which hence neglects e m .
This modified Dorfman bracket can be rewritten in a way that resembles the canonical one. To do so, one should notice that E being a homomorphism of the Poisson bracket, is also a homomorphism of the Dorfman bracket + ( e 1 , e 2 + 2 g(e 1 , e 2 )) λ −1 ι ρ(·) dλ . (5.13) Here again the derivation ρ(e) does not act on the generalized vector field on which g − B : As stressed in subsection 3.2, the axioms of the Courant algebroid definition 2.1 are proved for the pairing in (5.8), the anchor map in (5.10) and the bracket in (5.12). Thus these objects yield a well-defined Courant algebroid. For a further check one could also prove this by using the observation that E is a homomorphism between the two Courant algebroid brackets (see (5.13)), and the Leibniz rule and the Jacobi identity for (T M ⊕ T * M, ρ, [·, ·] Dorf , ·, · ).

JHEP01(2020)007
To conclude, let us repeat again that the derived structure associated to the Poisson algebra in (3.1) with Hamiltonian (5.6), when the fluxes are set to zero, is that of a Courant algebroid. Since the local vielbein E in (5.1) maps the canonical Poisson structure to the deformed one, at the same time E maps the Courant algebroid (T M ⊕T * M, ρ, [·, ·] Dorf , ·, · ) to the deformed (E, ρ, [·, ·] ′ , ·, · ′ ). While doing so, the connection introduced in the deformed Poisson bracket setting becomes an induced Courant algebroid connection. We will extensively discuss it after presenting, in the next paragraph, a further application of this modified structure.

Courant σ-model
As a straightforward application we can immediately compute the Courant σ-model corresponding to the deformation. This σ-model is the AKSZ action functional for a theory of extended objects with a Courant algebroid as underlying symplectic algebroid.
The manifold Σ is the 3-dimensional worldvolume of a membrane, h ∈ E * ⊗ T M for M smooth dg-manifold and for E := T M ⊕ T * M , C ∈ 3 E * , i = 1, . . . , d and β = 1, . . . , 2d. The functional (5.14) describes a symplectic structure on the space Maps(Σ, M ). In this sense the integral is over the 0-degree Hamiltonian for the symplectic structure; x i are the coordinates, Π i the momenta 2-forms and α β are the 1-form associated to the degree 1 coordinates. The graded variables in the previous section are in fact the point particle analogue of these other ones, according to the following formal assignation: Also their grading and hence their odd/even parity can be naturally interpreted in terms of (0-forms,) 1-forms and 2-forms. The deformed Courant σ-model with (T M ⊕ T * M, ρ, [·, ·] ′ , ·, · ′ ) as underlying symplectic algebroid is found by pullback, thus one needs to apply the vielbein map E α → Eα .
By making clear distinction between shifted 1-forms θ and shifted vector fields χ and using as h (prior to the deformation) the projector, (5.14) becomes where we have used the shorthand notationχ a := χ a + (g − B) ba θ b . Interestingly, the momentum P canonically associated to the x coordinate is now P i = Π i − λ 2 ∂ i B ab θ a θ b . But this comes with no surprise if one adopts the viewpoint that the modification of the symplectic and Poisson structure can be considered a way to introduce interactions. JHEP01(2020)007

Connection and curvature
In this paragraph we readily adapt the general formulas for the connection (4.12), (4.13) to the case under consideration. The result for the connection of the generalized tangent bundle is briefly discussed, as the main focus is on the connection for tangent space.
First of all a generalized connection provides a covariant derivative on generalized vector fields. The covariant derivative, by definition, behaves in the following way: As expected, the differential operator comes with a factor of λ in front of the partial derivative, carried by the anchor. The covariant derivative on vector fields, instead, will not have such factor as embedding vector fields with the splitting s, which is the left inverse of ρ, will take it away.
To see now what is the local expression of the connection derived from the vielbein E we can display the deformed Courant algebroid Dorfman bracket in the local coordinate basis, i.e. in place of e 1 , e 2 in (5.12) we will plug in the coordinate basis (∂ a , dx a ) =: ξ α . The same will be done for the Lie bracket, which is then identically zero as its definition 4.1 is formulated in such frame.
The components of ∇ (i.e. the connection coefficients of the first kind, see definition 4.3 and equation (4.12)) can be collected in the following way: In the first block of the first matrix , ∇ (1,1) ∂c , the particular combination of derivatives on g + B has reproduced the Christoffel symbols of first kind Γ L.C. plus the Neveu-Schwarz tensor H, that here corresponds directly to the exterior derivative of B, H = dB. Everywhere else, i.e. ∇ (1,2) ∂c , ∇ (2,1) ∂c and ∇ (1,1) dx c , the connection depends only on derivatives on the conformal factor, which appears because of metricity with ·, · ′ = G.
For the components of the connection for tangent space we can substitute ξ γ , ξ α and ξ β with s(∂ c ), s(∂ a ) and s(∂ b ) respectively, where the non-isotropic splitting s, ρ • s = id, is chosen to be the embedding up to the inverse of λ: 3 The induced metric on tangent space, in light of (5.18), is

JHEP01(2020)007
Employing formulas (4.9) and (4.13), for the present deformation the following connection symbols on vector fields arise: We hence get the following values for the connection symbols: This expression is surely interesting. A first thing that can be discussed is its Gualtieri torsion T ∇ G . Using formula (4.17) and (5.12) for the bracket, T ∇ G is non-zero and in fact equal to H = dB. The torsion part of the connection (5.19) and the contributions due to metricity will be analyzed also in a different fashion in subsection 5.3.2. Let us also point out that the connection depends on B only via H and is hence invariant under Λ-transformations as anticipated.
In the following section we will highlight the natural appearance of a generalized Koszul formula.

Koszul formula
Let us underline here a peculiar property of the connection which is immediate if we rather perform the computation differently. Focusing on pure vector fields (U = X, V = Y, W = Z), in equation (4.12), with [·, ·] ′ given by (5.13) and ·, · as before (4.2), if we rather express the l.h.s. before the first equality employing some basic properties of the Lie derivative L in the expression of the Dorfman bracket, namely the product rule and Cartan formulas, it will yield the Koszul formula for an antisymmetric metric G := g − B and a scalar field φ(x). This generalization of the Koszul formula is: From (5.20), it is easy read off the connection in components: Notice that we flipped indices picking up the opposite sign for B everywhere. These connection coefficients are in agreement with (5.19), because clearly while derivatives on the metric built up the Levi-Civita connection.
To our knowledge, this is a totally new generalization of the Koszul formula to a nonsymmetric metric and a conformal factor. It solves ambiguities of other non-symmetric JHEP01(2020)007 metric approaches to gravity. It enjoys also the gauge symmetry B → B + dΛ reflecting the underlying abelian gerbe structure. Moreover, unlike in the standard GR case where the formula is derived from three combinations of the metricity condition obtained by permutations of the vector fields and assuming a torsion condition, here the Koszul formula is a direct result of the metric connection's definition (4.11), and in a broader sense of the derived brackets.

Metric connection with torsion
Let us also comment briefly on another viewpoint on the connection for tangent vectors. The starting point of the discussion was a graded Poisson algebra endowed with a Weitzenböck-type connection, which is metric with respect to G and pure torsion (where the torsion tensor takes values in the generalized tangent space). Then in the derived bracket construction the appearance of the torsion tensor (4.5) on a different combination of generalized vectors was noticed, and a new connection ∇ was defined using it, because the difference between two metric connections is necessarily a tensor.
In the standard Riemannian geometry of T M , a metric connection is obtained from the unique metric torsion-free connection with respect to the induced metric from G to tangent space, i.e. 2λ 2 g, (hence the Levi-Civita one) by adding the contorsion tensor K. For a torsion tensor on vector fields only, T ∈ Γ(Λ 2 T * M ⊗ T * M ), the contorsion is the tensor K ∈ Ω 3 (M ), K kij := 1 2 (T kij − T ijk + T jki ). Given that in the local coordinate basis the torsion T kij is The derivatives on the metric drop out as expected. Hence, renaming the following compact expression is obtained In the discussion after the definition and the derivation of a connection in the most general setup for the derived structure (4.12) we already highlighted similarities and differences with other works on the topic. In the specific case of the metric G under consideration, we would also like to stress that the mixed symmetry form α as in (5.22) reminds us of the 1-form valued endomorphism (Weyl term) in the unique decomposition of the difference between two connections for E with the same torsion, see [29] and [30]. The endomorphism discussed here is the vielbein E and α takes into account the variation of a metric connection with fixed torsion upon a conformal rescaling of the metric with λ factors.

JHEP01(2020)007
by varying the following action [31] For the sake of completeness, in (5.25) also the n-form field strengths of F n = dA n are taken into account. From a worldsheet perspective these are the fields due to a condensate of fermionic 0-mode excitations of the type II superstring with Ramond boundary conditions on D-branes, in short R-R fluxes. This action is the low energy string effective action for the supersymmetric string. In 10 dimensions this action, correctly completed with the corresponding fermionic superpartners, gives the supergravity theory for both type IIA superstrings, with N = (1, 1) supersymmetry, and type IIB superstrings, with N = (2, 0) supersymmetry. The factor of e −2φ is a loop expansion parameter, and the specific factor of 2 comes from the integral of the worldsheet curvature, equal to the Euler character χ E of the sphere S 2 , χ E (S 2 ) = 2 [32].
Furthermore (5.25) can be formulated independently from string theory: in fact, it was also developed as a field theory with local supersymmetry combined with general relativity, i.e. supergravity. Seen from this perspective, the same lagrangian is then valid for every dimension, the coupling constants getting different values depending on the dimensions.
In either cases the geometry involved is complex geometry. The construction that we followed here is based on Generalized Geometry which is a combination of symplectic and complex geometry: they can coexist if the cotangent bundle is doubled with the tangent. However we gave the expression for the Riemann and the Ricci tensors as in usual Riemannian geometry for the tangent bundle, see (5.23) and (5.24). In 10 dimensions these are tensors for the general linear group GL(10) only, not of the full O(10, 10) of course. However it must be stressed that our prescriptions to obtain the connection ∇ just for tangent space, rely heavily on the differential geometry of Generalized Geometry.
To reproduce the Lagrangian in the action S the scalar built from Ric in (5.24) must contain the volume form of the (compact subregion of the) 10-dimensional spacetime over which we will integrate: this form is naturally a scalar density for GL (10). We then need to perform the contraction in the following way: This prescription for the trace relies in the following observation: in the computations the antisymmetric metric g ± B always occurred as direct metric while the only inverse metric employed was λ −2 2 g −1 . As it may not be obvious, let us remark that every 2g(X, Y )like term, as displayed in the Koszul formula (5.20), comes from the symmetrization of (g + B)(X, Y ).
One could also possibly see this trace as in a Cartan-Palatini formulation, where the connection 1-form comes from the combination of a pure torsion connection ∇. Then one vielbein contributes with a (g − B) factor.

JHEP01(2020)007
The explicit computation of (5.26) gives the following lagrangian: In the corresponding action

Discussion and comments
In this article we have investigated a graded geometry approach to the quest of finding a natural interpretation of supergravity and string effective actions as some kind of Einstein General Relativity in a Generalized Geometry setting involving the double "generalized tangent" bundle T M ⊕ T * M . In this framework, we have presented natural constructions for generalized connections (of the first and second kind) as well as the associated torsion and curvature tensors. Our initial setting is the graded Poisson structure of C ∞ (T * [2]T [1]M ) and we consider local deformations of it. The deformation is implemented by an invertible change of the degree-1 coordinates expressed in terms of local vielbeins. The introduction of this deformed graded Poisson algebra is interesting from several points of view: firstly, the construction can be seen as an applications of Moser's lemma for symplectic forms in a graded setting. Secondly, there is an underlying bundle gerbe structure, which can be interpreted as a higher gauge theory with a 2-form potential and 3-form field strengh, complemented by a metric and a scalar field. Thirdly, the deformed graded Poisson structure is ready for quantization yielding a kind of first quantized gravity (although here we do not further pursue this direction).
Then, motivated byŠevera and Roytenberg's result, via a derived bracket construction we related the new graded Poisson algebra to Courant algebroids with a deformed Dorfman bracket on E ∼ = T M ⊕ T * M . The deformed graded Poisson structure already naturally involves a metric connection, however, this connection is of Weitzenböck type. Via the derived bracket construction, and the introduction of a generalized Lie bracket (4.2), we can build, out of this connection, a bona fide connection with curvature and, once projected to T M , with standard torsion given by H. From this connection, evaluated on tangent vector fields, we obtain Riemann curvature and Ricci tensors. Suitably contracted, the JHEP01(2020)007 resulting scalar curvature yields an action that reproduces the NS-NS sector of supergravity in 10 dimensions (5.25). Some partial results without dilaton (i.e. with φ = 0) are already contained in our previous work [33] and [34].
In view ofŠevera's classification of exact Courant algebroids and Roytenberg's analysis of the correspondence of graded symplectic N Q-manifolds to Courant algebroids, one may wonder how it is possible to extract any geometric structures beyond the cohomology class H 3 (M, R) out of the deformed graded Poisson structure and Hamiltonian: the graded Poisson manifold and Hamiltonian that we study are after all directly related to an exact Courant algebroid and all exact Courant algebroids are isomorphic to the canonical Hdeformed one up to B-transforms (see section 2). In other words the deformation can be undone by a change of graded coordinates: since we are using local coordinate changes, even H can be transformed to zero. This is not very surprising: it is simply the inverse of the local change of coordinates that are used to deform the graded Poisson structure in the first place and consistency is ensured by a graded version of Moser's lemma. Note however that an inverse transformation that removes the deformation of the graded Poisson structure, Hamiltonian and Courant algebroid will deform the auxiliary geometric structure. The final results are coordinate-choice independent.
Some additional or auxiliary geometric structure is playing a role. A deformation becomes visible when compared to something undeformed. In the example of electromagnetism in the introduction the Poisson structure is deformed and the Hamiltonian is undeformed. Together, this yields the correct electromagnetic interaction and the additional structure is the Hamiltonian. In the main construction the necessary additional structures are also essentially canonical (undeformed up to dilaton rescaling). Here is a complete list of the additional structures beyond the deformed graded Poisson structure: a degree 3 Hamiltonian that satisfies the master equation (we chose the canonical one up to dilaton rescaling), a generalized Lie bracket (canonical with respect to the Darboux chart) of which we eventually only use the ordinary Lie bracket part, an embedding of T M into the generalized tangent bundle E compatible with the anchor map (we chose a non-isotropic splitting s that is just the canonical projection up to rescaling by the dilaton) and finally a suitable trace prescription to obtain the Ricci scalar from the tensor (involves the non-symmetric metric g + B). Up to dilaton rescaling all these auxiliary geometric structures are canonical and undeformed. It is probably also possible to use a construction, where the dilaton rescalings do not appear in the auxiliary geometric structures, but it will quite likely be more involved.
In this article we have focused on deformations that keep the anchor map undeformed up to rescalings. Another possibility that shall be investigated in a forthcoming article is a deformation based on the local vielbein , whose corresponding metric G is diagonal. This feature does not undermine the validity of the master equation as long as the anchor is more elaborate, namely it acts on a generalized JHEP01(2020)007 vector U = X + σ as ρ(U ) = X − (g + B) −1 (σ).
With this choice the computation of the connection and therefore the curvature is streamlined and dualization is immediate, but the expression for the anchored vector fields is now more involved. Notice also that the structure group is reduced to be O(d) × O(d), as usually in the literature on the topic of geometric frames for supergravity from Generalized Geometry/DFT. In fact, although supergravity was already obtained in the framework of Generalized Geometry as the analogue of Einstein's gravity, for the type II strings and the heterotic string (see, amongst the others, [35][36][37] and [38], and for a double field theory formulation [39,40]), here we present a different approach which begins with, and exploits, the 2-graded symplectic T * [2]T [1]M with Hamiltonian Θ (5.6). Our construction is fully covariant, the metric and 2-form enter in the combination g + B (as in string theory) and we do not impose any arguably arbitrary torsion and further constraints on a class of connections, but rather construct the connection directly from the deformation. This is also one of the striking differences with respect to [5]: here the metric g appears already directly in the generalized vector basis, in a way that it is then present again in the generalized metric for T M ⊕ T * M . In other parts of that work and ours there can be found quite a few similarities, for example in the projection of the Ricci tensor, constructed in the former case for the metric generalized connection with no Gualtieri torsion and taking for arguments generalized vectors in the eigenbundles of the involution, while in the latter case it comes from the metric connection and is restricted to tangent vector fields, which (for φ = 0) have the same expression of the eigenvectors in the previous case. The relevance of the derived brackets in reproducing the action of infinitesimal symmetries on various configuration spaces of physical interest was pointed out recently, e.g. in [41]. However, to our knowledge, so far there have been no attempts to construct those theories for which Generalized Geometry is accountable starting directly from the deformed graded Poisson algebra side. Since the derived bracket description from a corresponding deformation of the graded Poisson algebra is much less complicated than the techniques of differential geometry and cohomology on doubled bundles, we believe that theories of gravity (General Relativity, its modifications, Supergravity theories) could be very efficiently studied from this algebraic setup. As an example of the convenience of the method, let us recall again that metricity of the connection and Bianchi identities for the curvature are direct outcomes of the graded Jacobi identities.
The approach taken here keeps the covariance of the relevant objects for the differential geometry description, while at the same time suggesting slightly different formulas, e.g. the generalized Lie bracket (4.2) and the generalized torsion. We find it also interesting that, for the particular ansatz chosen, several alternative original approaches of Einstein in his quest to find a theory of gravity are consistently combined. This fact deserves more attention. The combination g + B plays the role of a non-symmetric metric, as in the nonsymmetric gravitational theory investigated by Einstein and others to find a unified field theory involving the electromagnetic field F (which failed). We instead encounter JHEP01(2020)007 the 3-form H, as it should be for the abelian gerbe. Even ideas from teleparallelism show up via the Weitzenböck connection in the deformed Poisson structure. Recall that in the teleparallel equivalent of gravity the source of the gravitational force is explained by means of the torsion rather than the curvature. (Note, however, that in this article we neither need nor assume a global vielbein and we certainly do not require a parallelizable manifold.) Here, all these rather different concepts and approaches appear in a mutually consistent manner and yield the bosonic part of the supergravity action.
The construction shares also some features with usual gauge theories, in the sense that the metric g, the B-field and the dilaton φ play a similar role as gauge potentials for the local symmetries of the dg-symplectic manifold. The relation is given by a graded generalization of Moser's lemma. The local vielbein E(x) gathers all the gauge fields in a well-defined way. We shall investigate the resulting novel approach to gravity as a gauge theory elsewhere. We are convinced that more gravity theories with various kinds of geometry can be formulated starting from deformed graded Poisson algebras, and as such they will share the same unifying description. Some attempts in this direction can be found in [42] and [43]. To conclude, let us mention some open questions: a complete treatment of the R-R fields in our description is still missing. Once that this is done, one could attempt to explain also why the bosonic fields in the gauge description of E derived from the deformed dg-symplectic T * [2]T [1]M appear to be in a supersymmetric (chiral or non-chiral) representation for d = 10 SUGRA. Another task to be accomplished concerns the C αβγ ξ α ξ β ξ γ fluxes: one could study them via the full Hamiltonian Θ, or via the Poisson algebra. In some other works the authors have dealt with them in the Hamiltonian, e.g. [44], but the other scenario opens up more intriguing possibilities. It would also be interesting to know the dynamics of a test particle in M with graded phase space T * [2]T [1]M , i.e. to find its geodesic equation from Hamilton's equations. This may require the underlying membrane sigma model to be non-topological (at least off-shell), i.e. {Θ, Θ} = 0.