Massive Type IIA Theory Through Duality Twisted Reductions of Double Field Theory of Type II Strings

We study duality twisted reductions of the Double Field Theory (DFT) of the RR sector of massless Type II theory, with twists belonging to the duality group $Spin^+(10,10)$. We determine the action and the gauge algebra of the resulting theory and determine the conditions for consistency. In doing this, we work with the DFT action constructed by Hohm, Kwak and Zwiebach, which we rewrite in terms of the Mukai pairing: a natural bilinear form on the space of spinors, which is manifestly $Spin(n,n)$ invariant. If the duality twist is introduced via the $Spin^+(10,10)$ element $S$ in the RR sector, then the NS-NS sector should also be deformed via the duality twist $U = \rho(S)$, where $\rho$ is the double covering homomorphism between $Pin(n,n)$ and $O(n,n)$. We show that the set of conditions required for the consistency of the reduction of the NS-NS sector are also crucial for the consistency of the reduction of the RR sector, owing to the fact that the Lie algebras of $Spin(n,n)$ and $SO(n,n)$ are isomorphic. In addition, requirement of gauge invariance imposes an extra constraint on the fluxes that determine the deformations.


Introduction
Double Field Theory (DFT) is a field theory defined on a doubled space, where the usual coordinates conjugate to momentum modes are supplemented with dual coordinates that are conjugate to winding modes [1][2][3][4]. DFT was originally constructed on a doubled torus, with the aim of constructing a manifestly T-duality invariant theory describing the massless excitations of closed string theory [1,2]. Later, this action was shown to be background independent [3], allowing for more general doubled spaces than the doubled torus. Obviously, the dual coordinates might not have the interpretation of being conjugate to winding modes on such general spaces. Construction of DFT builds on earlier work, see [5][6][7][8][9][10][11][12][13]. For reviews of DFT, see [14][15][16][17].
On a general doubled space of dimension 2n, the DFT action has a manifest O(n, n) symmetry, under which the standard coordinates combined with the dual ones transform linearly as a vector. The doubled coordinates must satisfy a set of constraints, called the weak and the strong constraint and the theory is consistent only in those frames in which these constraints are satisfied. It is an important challenge to relax these constraints, especially the strong one, as in any such frame the DFT becomes a rewriting of standard supergravity, related to it by an O(n, n) transformation. Even in this case, DFT has the virtue of exhibiting already in ten dimensions (part of) the hidden symmetries of supergravity, that would only appear upon dimensional reduction in its standard formulation. This virtue should not to be underestimated, as it provides the possibility of implementing duality twisted reductions of ten dimensional supergravity with duality twists belonging to a larger symmetry group, that would normally be available only in lower dimensions. Duality twisted reductions (or generalized Scherk-Schwarz reductions) are a generalization of Kaluza-Klein reductions, which introduces into the reduced theory mass terms for various fields, a non-Abelian gauge symmetry and generates a scalar potential for the scalar fields [18]. This is possible if the parent theory has a global symmetry G, and the reduction anzats for the fields in the theory is determined according to how they transform under G. It is natural to study duality twisted reductions of DFT, as it comes equipped with the large duality group O(n, n), and indeed this line of work has been pursued by many groups so far [19][20][21][22][23]. In [19,20] it was shown that the duality twisted reductions of DFT gives in 4 dimensions the electric bosonic sector of gauged N = 4 supergravity [24]. A curious fact which was noted in these works was that the weak and the strong constraint was never needed to be imposed on the doubled internal space. This (partial) relaxation of the strong constraint made the twisted reductions of DFT even more attractive. Later, in [21], this was made more explicit, as they showed that the set of conditions to be satisfied for the consistency of the twisted reduction are in one-to-one correspondence with the constraints of gauged supergravity, constituting a weaker set of constraints compared to the strong constraint of DFT. Following this, in [25], it was shown that the weakening of the strong constraint in the twisted reductions of DFT implies that even non-geometric gaugings of half-maximal supergravity (meaning that they cannot be T-dualized to gauged supergravities arising from conventional compactifications of ten-dimensional supergravity) has an uplift to DFT. Such non-geometric gaugings also arise from compactifications of string theory with non-geometric flux (see, for example [26][27][28]) and the relation of such compactifications with twisted compactifications of DFT was explored in various papers, including [29][30][31][32]. We should also note that, the results of [21] was also obtained by [33], by considering the duality twisted reductions of the DFT action they constructed in terms of a torsionful, flat generalized connection, called the Weitzenböck connection 1 .
In all of the works cited above, only the reduction of the DFT of the NS-NS sector of massless string theory was studied. 2 The fundamental fields in this sector are the generalized metric (comprising of the Riemannian metric and the B-field) and the generalized dilaton. In a frame in which there is no dependence on the dual coordinates, this sector becomes the NS-NS sector of string theory. We will hereafter refer to this frame as the "supergravity frame". On the other hand, the DFT of the RR sector of Type II string theory has also been constructed by Hohm, Kwak and Zwiebach [36,37] (an alternative formulation of the RR sector, called the semi-covariant formulation is given in the papers [38,39]). Likewise, in the supergravity frame, this action reduces to the action of the democratic formulation of the RR sector of Type II supergravity. The fundamental fields of this sector are two SO(10, 10)-spinor fields, S and χ. The latter is a spinor field which encodes the massless p-form fields of Type II theory. It has to have a fixed chirality, depending on whether the theory is to describe the DFT of the massless Type IIA theory or Type IIB theory. The field S is the spinor representative of the generalized metric, that is, under the double covering homomorphism between P in(n, n) and O(n, n), it projects to the generalized metric of the NS-NS sector. The action of this sector has manifest Spin(10, 10) invariance (not P in(n, n)) in order to preserve the fixed chirality of χ. The action has to be supplemented by a self-duality condition, which further reduces the duality group to Spin + (10, 10).
The aim of this paper is to study the duality twisted reductions of the DFT of the RR sector of massless Type II theory, with twists belonging to the duality group Spin + (10, 10). We study how the action and the gauge transformation rules reduce and determine the conditions for the consistency of the reduction and the closure of the gauge algebra. We also construct the Dirac operator associated with the Spin + (10, 10) covariant derivative that arises in the RR sector. In finding the reduced theory, we find it useful to rewrite the action of [36,37] in terms of the Mukai pairing, which is a natural bilinear form on the space of spinors [41][42][43]. The advantage of this reformulation is that the Mukai pairing is manifestly Spin(n, n) invariant. If the duality twist is introduced via the Spin + (10, 10) element S in the RR sector, the consistency requires that the NS-NS sector should also be deformed, via a duality twisted anzats introduced by U = ρ(S). Here, ρ is the double covering homomorphism between P in(n, n) and O(n, n). The fact that Lie algebras of Spin(n, n) and SO(n, n) are isomorphic plays a crucial role in all the calculations. We show that the set of conditions required for the consistency of the reduction of the NS-NS sector are also crucial for the consistency of the reduction of the RR sector. In addition, the deformed RR sector is gauge invariant only when the Dirac operator is nilpotent, which in turn imposes an extra constraint on the fluxes that determine the deformations. The fact that such a constraint should arise in the presence of RR fields has already been noted in [19] and was verified in [22].
The plan of the paper is as follows. Section 2 is a preliminary section on spin representations and the spin group. Most of the material needed in the calculations for the reduction is reviewed in this section. In the first part of section 3, we present a brief review of both sectors of DFT, with a special emphasis on the RR sector. As the DFT of the RR sector reduces to the democratic formulation of Type II theory in the supergravity frame, we start this section by a brief review of the democratic formulation of Type II supergravity. The rewriting of the action of [36,37] in terms of the Mukai pairing is also explained in this section. Section 4 is the main section, where we study the reduction of the action and the gauge algebra and discuss the conditions for consistency and closure of the gauge algebra. We finish with a discussion of our results in section 5.

Preliminaries on Spin Representations and The Spin Group
The purpose of this preliminary section is to review the material, which we will need in the later sections of the paper. We closely follow [44].
Let V be an even dimensional (m=2n) real vector space with a symmetric non-degenerate bilinear form (a metric) Q on it. Then the orthogonal group O(V, Q) is the space of automorphisms of V preserving Q : If we restrict this set to the automorphisms of determinant 1, then we get the subgroup SO(V,Q). The corresponding orthogonal Lie algebras so(Q) = o(Q) are then the endomorphisms A : for al v,w in V. The standard methodology in constructing the spin representations of the orthogonal Lie algebra is to embed it in the Clifford algebra on V associated to the bilinear form Q and use the well-known isomorphisms between the Clifford algebras and the matrix algebras.
Given the vector space V and the metric Q, one can define the Clifford algebra C = Cl(V, Q) as the universal algebra which satisfies the property Here . is the product on the Clifford algebra. Cl(V, Q) is an associative algebra with unit 1 and as such it determines a Lie algebra, with bracket [a, b] = a.b − b.a. Clifford algebras enjoy nice isomorphisms with various matrix algebras (the form of which depends on V and Q) under which the Clifford product becomes the matrix multiplication. If e 1 , · · · , e m form a basis of V , then the unit element 1 and the products e I = e i 1 . · · · .e i k , for I = {i 1 < i 2 < · · · < i k } form a basis for the 2 m dimensional algebra Cl(V, Q). The images of these basis elements (of V ) under the isomorphisms with the matrix algebras are usually called Γ-matrices in the physics literature. The Clifford algebra is a Z 2 graded algebra and it splits as C = C even ⊕ C odd , where C even is spanned by products of an even number of elements in V and C odd is spanned by an odd number of elements of V . The space C even is also a subalgebra and it has half the dimension of C, that is, it is an algebra of dimension 2 m−1 .
The orthogonal Lie algebra so(Q) embeds in the even part of the Clifford algebra as a Lie subalgebra via the map (for a proof, see [44] Here we identify the dual space V * with V via the bilinear form Q and hence where ϕ a∧b is given by Our main interest lies in bilinear forms, which are non-degenerate and are of signature (n,n). Then a maximally isotropic subspace is of dimension n. (Recall that a maximally isotropic subspace of V is a subspace of maximum possible dimension, on which Q restricts to the zeroform) Let W be such a subspace and let W ′ be the orthogonal complement of W with respect to the bilinear form Q, so that V = W ⊕ W ′ . The exterior algebra carries a representation of the Clifford algebra C and hence the orthogonal Lie algebra so(Q), which is a Lie subalgebra of C. In other words, there exists an isomorphism of algebras between C and End(∧ • W ). The ismorphism operates as follows: for w ∈ W and w ′ ∈ W ′ one has 4 It is straightforward to see that this defines a representation of the algebra Cl(V, Q) by verifying that (l(w)) 2 = (l ′ (w ′ )) 2 = 0 (2.12) {l(w), l ′ (w ′ )} = 2Q(w, w ′ )I. (2.13) This representation of the Clifford algebra carried by ∧ • W is called the spin representation. This is an irreducible representation as a representation of the Clifford algebra, however it is reducible as a representation of the orthogonal Lie algebra so(Q) ∼ = so(n, n), which lies in C. The invariant subspaces of the spin representation under the action of so(n, n) are denoted by S + and S − and corresponds to the decomposition of the exterior algebra into the sum of even and odd exterior powers. Hence we have where S = ∧ • W is the spin representation. The elements of S + and S − are called chiral spinors. 4 Note that the usual interior product defined on the subspaces ∧ k (V ) can be extended to the whole exterior algebra by linearity. 5 Note that Q allows one to identify V with the dual space V * and under the decomposition V = W ⊕ W ′ the subspace W is identified with W ′ * and W ′ is identified with W * , hence (w ′ ) ♮ is in W * and contraction with (w ′ ) ♮ is well-defined.
Inside the Clifford algebra lies an important group, the group Pin(Q), which in fact turns out to be the double covering group of O(Q). In order to define it, one needs the following anti-involution x −→ x * on the Clifford algebra determined by for any v 1 , . . . , v k in V . This is the composite of the main automorphism τ : C −→ C and the main involution α : C −→ C determined by for v 1 , . . . , v k in V . Note that (x + y) * = x * + y * and (x · y) * = y * · x * , which follows from τ (x.y) = τ (y).τ (x) and α(x.y) = α(x).α(y).
Now the group Pin(Q) is defined as a certain subgroup of the multiplicative group of C(Q): One can show that ρ is a surjective homomorphism, which preserves the metric Q and its kernel is {+1, −1} (for a proof, see [44]). If we further demand that x lies in the even part of the Clifford algebra, then the group becomes the spinor group Spin(Q): It is easy to see that Restricting further to the elements in Spin(Q), which satisfies x.x * = +1, we obtain the subgroup Spin + (Q).
The Lie algebra of the group Spin(Q) is a subalgebra of the Clifford algebra with the usual bracket. It can be shown that this subalgebra is nothing but the Lie algebra so(Q). In other words, the derived homomorphism is in fact an isomorphism of the Lie algebras and the right hand side of evaluated in the Clifford algebra (regarding so(Q) and V as subspaces of the Clifford algebra) coincides with the standard action of so(Q) on V .
Spinorial Action of so(n, n) and Spin(n, n) on exterior forms: Let us choose a basis e M = {e 1 , · · · , e n , e 1 , · · · , e n } = {e i , e i } of V such that Q(e i , e j ) = δ i j , Q(e i , e j ) = Q(e i , e j ) = 0, ∀i, j. Obviously the elements {e 1 , · · · , e n } span an isotropic subspace W and the elements {e 1 , · · · , e n } span the orthogonal complement W ′ . The metric Q allows us to identify W with W ′ , that is, we can raise and lower indices with η: e M = η M N e N . Looking back at the maps (2.4), (2.7), one can calculate that where the generators T M N of so(n, n) are endomorphisms of V represented by the antisymmetric matrices Note that the standard action of so(Q) on V and its action on V within the Clifford algebra (when we regard both so(Q) and V as subspaces of C) agree, as it should. That is, we have where the bracket on the right hand side above is evaluated in the Clifford algebra. Let us note that we obtain the more familiar elements T M N by raising the indices of T M N by η: It can be shown that T M N satisfy the following commutation relations: Now that we know the Clifford algebra elements corresponding to the generators of the orthogonal Lie algebra, we can immediately calculate the spinorial action of each generator on forms in the exterior algebra ∧ • W . For this purpose, it is useful to divide the Lie algebra elements T M N into 3 groups: T mn , T mn , T m n . This corresponds to the decomposition ∧ 2 V = ∧ 2 (W ⊕W ′ ) ∼ = ∧ 2 (W )⊕∧ 2 (W ′ )⊕End(W ). The spinorial action of these elements on differential forms can now be easily read off from (2.10): Here, it is important to note that i em e n = 2δ n m , due to the factor 2 in (2.11). It is more common to work with the basis elements ψ M = 1 √ 2 e M which satisfies {ψ m , ψ n } = δ n m , so that one has i ψm ψ n = δ n m . Then we have: In this case one should also write the spinor α ∈ ∧ • W in terms of the basis elements: By exponentiating the Lie algebra elements T M N in the fundamental representation, one obtains the identity component SO + (n, n) of SO(n, n). A general group element in the identity component is of the form exp [ 1 2 Ω M N T M N ]. A simple computation shows that any such element can be written in terms of the matrices given below, where h B , h β , h A corresponds to the exponentiation of T mn , T mn , T m n , respectively. 6 Here we have named B kl = Ω [kl] , β kl = Ω [kl] , A l k = 1 2 (Ω l k − Ω l k ). On the other hand, exponentiation of the generators in the spin representation gives the corresponding elements S B , S β , S A in the identity component Spin + (n, n) of the spinor group Spin(n, n), which act on the differential 6 The way we have decomposes the indices implies that we have (2. 40) forms as follows: These transformation rules follow immediately from (2.34)-(2.36) 7 . Here B = 1 4 B kl e k ∧ e l = 1 2 B kl ψ k ∧ ψ l , β = 1 4 β kl e k ∧ e l = 1 2 β kl ψ k ∧ ψ l , and r = e A . Also, which is the usual action of GL + V on forms, where GL + V is the space of (orientation preserving) linear transformations on V of strictly positive determinant. Note that all these elements satisfy SS * = 1, that is, they lie in the component Spin + (n, n).
It can be checked that the above elements h B , h β , h A and the corresponding S B , S β , S A satisfy ρ(S) = h, by verifying that (2.21) is satisfied. In other words, one can verify that Multiplying both sides with η KM and using the identity Note that the right hand-side remains the same if we change S → −S, which reflects the fact that the kernel of the homomorphism Obviously, these relations also hold for the Gamma matrices Γ M , which are the matrix images of the Clifford algebra generators e M under the isomorphisms with the matrix algebras. Under such an isomorphism the Clifford multiplication becomes matrix multiplication and we have 8 Before we move on to the discussion of some important elements of P in(n, n), which do not lie in Spin + (n, n), we would like to make a remark. Note that the description of spinors as forms in an exterior algebra that we have discussed above is very useful and one can take this idea one step further by demanding that W is the cotangent space at a point p of an n-dimensional smooth manifold M, W = T * p M . Then the orthogonal complement is naturally identified with the tangent space All the linear algebra discussed above can be transported to the whole bundle, as it is known that (for example, see [43]) the SO(n, n) bundle T * ⊕ T on an orientable manifold always carries a Spin(n, n) structure. Then the spinor fields becomes sections of the exterior bundle ∧ • T * M , which are smooth differential forms on M , which are also called polyforms in the physics literature due to the fact that they are not necessarily homogenous forms. This is the setting in generalized complex geometry [43,45], where the identification of Spin(n, n) spinor fields with smooth differential forms plays a crucial role.
Let us now move on to the discussion of some other important elements in P in(n, n), that will be needed in the rest of this paper. So far, our aim has been to understand the spinorial action of the orthogonal Lie algebra (which is isomorphic to the Spinor Lie algebra) on the exterior algebra • W . At the group level, this has given us only the identity components of the orthogonal group and the Spinor group. In implementing the duality twisted reduction, we will only need such elements (connected to the identity element), as the real symmetry group of the RR sector of the DFT action is Spin + (n, n) (see section 3.2). However, in constructing this part of the DFT action, one needs more. For example, the spinor representative of the generalized metric H is in Spin − (n, n), as the generalized metric itself must be in SO − (n, n) due to the Lorentzian signature of the Riemannian metric encoded in H [36]. In order to understand such elements, one needs the elements of O(n, n) which interchanges e i ↔ e i and keeps all other basis elements of V fixed , possibly up to a sign. Let us define the following O(n, n) elements: In the fundamental representation h + i (h − i ) interchanges e i ↔ e i and for all other basis elements it sends e M → e M (e M → −e M ). One can easily find the element Λ ± i in the Pinor group which projects to these elements. They are given as One can easily verify the following by using the Clifford algebra relations Therefore, ρ(Λ ± i ) = h ± i , as we have claimed. From the elements Λ ± i one can construct a very important element in the Pinor group, which projects to the following matrix J in O(d, d): Obviously, J swaps e i ↔ e i for all i. On the other hand, h ± i = ρ(Λ ± i ) interchanges e i with e i , while keeping all other basis elements fixed, possibly up to a sign e M ↔ ±e M , M = i. Therefore, to construct the Pinor group element that projects to J, we need the product of all such elements, with some extra care to determine the overall sign. With a bit of work, one can show that the Pinor group element C, which satisfies ρ(C) = J is in even dimensions and in odd dimensions.
Note that (Λ + i ) 2 = −1 and (Λ − i ) 2 = 1 for all i. This implies that and On the other hand, with a bit of care with the ordering of the elements one can calculate that both for C + and C − . It is straightforward to check that C indeed satisfies (both in odd and even dimensions) as we have claimed. Since C and C −1 just differ by a sign, we also have ρ(C −1 ) = J as a result of which we have It is appropriate to call this element of the Pinor group the charge conjugation matrix, as it satisfies the same Gamma matrix relations as the standard charge conjugation matrix in quantum field theory. By the help of it, it is possible to define the action of a dagger operator in the Clifford algebra as Obviously, one has (S 1 · S 2 ) † = S † 2 · S † 1 (which follows immediately from τ (S 1 .S 2 ) = τ (S 2 ).τ (S 1 )) and it can be checked that C † = C −1 (as Cτ (C) = 1 both in even and odd dimensions). It is also straightforward to verify that S ∈ Pin(n, n) implies S † ∈ Pin(n, n). Also note that τ (S) = S * = ±S −1 , when S ∈ Spin ± (n, n) so we have (2.64) The following facts can be proved without much effort (for details, see [36])

65)
A bilinear form on the space of spinors: Mukai pairing: The last thing we would like to discuss is the natural inner product on the Clifford module ∧ • W . Later in section (3.3), we will utilize this inner product in order to rewrite the DFT action of the RR sector of Type II theory. Recall the map τ : v 1 · . . . · v k −→ v k · . . . · v 1 we defined above. It represents a transpose map in the Clifford algebra which, from the point of view of the spin module, arises from the following bilinear form on , : S ⊗ S → ∧ n W : where () top means that the top degree component of the form should be taken and the superscript k denotes the k-form component of the form. This bilinear form is known as the Mukai pairing and it behaves well under the action of the Spin group [43]: This bilinear form is non-degenerate and it is symmetric in dimensions n ≡ 0, 1 (mod 4) and is skew-symmetric otherwise: In particular, it is skew-symmetric for n = 10, which is the relevant dimension in constructing the DFT action for Type II strings. Also importantly, the bilinear form is zero on S + × S − and S − × S + for even n and it is zero on S + × S + and S − × S − for odd n. More details can be found in [43]. Now assume that there exists an inner product on the vector space W . This also induces a non-degenerate bilinear form on ∧ • W taking values in ∧ n W : where ⋆ is the Hodge duality operator with respect to the inner product on W . It is possible to show that this bilinear form is related to the Mukai pairing in the following way: where the charge conjugation matrix presented in (2.54, 2.55) should be written in terms of an orthonormal basis with respect to the inner product on W .
3 Democratic Formulation of Type II Theories and the Double Field Theory Extension

Democratic Formulation
The aim of this subsection is to give a brief review of the democratic formulation of the bosonic sector of (massless) Type IIA and Type IIB supergravity theories [46,47] (also see [48]). The (bosonic) matter content of these two theories are as follows: The NS-NS sector, which only involves the metric g, the Kalb-Ramond field B 2 (which is a 2-form field) and the dilaton φ is common to both Type IIA and Type IIB (as well as to other 3 perturbative superstring theories) and is given as where H 3 = dB 2 . In order to write down the Lagrangian for the RR sector in the democratic formulation, one first defines the following modified RR potentials: The indices run from 0 to 8, as we have also included the electromagnetic duals of the gauge potentials D p . The electromagnetic duals D 8−p of D p are the potential fields obtained by solving the field equations for the latter. This ensures that F defined as above satisfies where [ p−1 2 ] is the first integer greater than or equal to p−1 2 . Note that D is a section of the exterior bundle ∧ • T * M , where M is the manifold on which the RR fields live. We can also decompose where D + involves k-forms of even degree (k=0,2,4,6,8), whereas D − involves forms of odd degree. Then D + and D − are sections of the bundles ∧ even T * M and ∧ odd T * M , respectively. Obviously, there is a corresponding decomposition of the differential form F = F + + F − . Now consider the following simple actions: It can be shown that the actions given above are equivalent to the standard action of Type IIA and Type IIB supergravity theories, which also involve some complicated Chern-Simons type terms, in the following sense [36,46,47]: If one applies the duality relations (3.6) to the field equations derived from the actions (3.8), (3.9), then one obtains exactly the same field equations that one would have derived from the standard actions. The field equations for lower degree form fields match directly in the two formulations. On the other hand, the field equations (in the democratic formulation) for the higher degree fields which are absent in the standard formulation becomes, after applying (3.6), the Bianchi identities for the lower degree fields in the standard formulation.

Double Field Theory Extension
In the previous section, we have seen that the (modified) RR fields form sections of the bundles ∧ odd T * M and ∧ even T * M for Type IIA and Type IIB, respectively. We have also seen in section 2 that fibers of these bundles, when T * p M is regarded as an isotropic subspace of the doubled vector space T p M ⊕ T * p M at a given point p ∈ M , are in fact modules for the Clifford algebra Cl(n, n) (when M is n dimensional) and carry the irreducible spin representation for the isomorphic Lie algebras so(n, n), spin(n, n) and the corresponding Lie groups. This structure on the fibers can be transported to the whole bundle T ⊕ T * on any orientable manifold M . This immediately tells us that the modified RR fields transform in the spin representation of the group SO(n, n) or Spin(n, n). In fact, the main motivation of constructing the democratic formulation in the first place was to show the invariance of the RR sector under the orthogonal group [46]. In order to achieve this, one reduces Type IIA or Type IIB on a ( Double Field Theory (DFT) of Type II strings is an extension of massless Type II string theories, in which the duality symmetry SO(d, d) is already manifest in d = 10 dimensions without the requirement of dimensional reduction. 10 The main purpose of this section is to give a brief overview of DFT and in particular, to review how the sector of DFT describing the RR fields is an extension of the democratic formulation of Type II theories, in the sense that it reduces exactly to it in a particular frame. In what follows, we will keep the dimension d general, rather than fixing it to d = 10, unless it is inevitable.
The main idea in DFT is to allow the (massless) fields in string theory to depend on "dual coordinates", in addition to the usual coordinates of the space-time manifold on which the string propogates. For backgrounds admitting non-trivial cycles, e.g. for toroidal backgrounds, the dual coordinates are interpreted as being conjugate to the winding degrees of freedom, in the same way space coordinates and momenta are conjugate variables in classical field theory. This idea in DFT is inspired by closed string field theory, where all string fields naturally depend on both the usual coordinates and the dual coordinates. DFT aims to realize this in the sector of massless fields in order to construct a manifestly T-duality invariant action describing this sector. In string theory, momentum and winding modes combine to transform as a vector under the T-duality group O(d, d). Therefore, in DFT one demands the same behavior from 9 Note that we are restricting ourselves to SO(d, d) here. In fact the whole Type II theory is invariant under the bigger group O(d, d), which also involves the T-duality transformations between the Type IIA and Type IIB theories, given by the standard Buscher transformation rules in the NS-NS sector. In the RR sector, this corresponds to changing the chirality of the spinor state, which is fixed at the outset in the democratic formulation. Also note that we prefer to keep the dimension d general, rather than fixing it to d = 10 10  the space-time and dual coordinates, that is, they form an O(d, d) vector transforming as: where A and B represent any fields or parameters of the theory. To be more precise, the first of the above constraints is called the weak constraint and follows from the level matching constraint in closed string theory. The second constraint is stronger and is called the strong constraint. Regarding the partial derivatives as a coordinate basis for the tangent space, the strong constraint implies that all vector fields are sections of a restricted tangent bundle in the sense that at each point the tangent space is restricted to a maximally isotropic subspace with respect to the metric η.
Let us now present the DFT action, in its generalized metric formulation, which was first constructed by Hohm, Hull and Zwiebach for the NS-NS sector [4], and then by Hohm, Kwak and Zwiebach for the RR sector [36]. These actions can also be presented in terms of a generalized vielbein, as was first done in [7]. where and This action has to be implemented by the following self-duality constraint We will call the first term in the above action the DFT action of the NS-NS sector of string theory, whereas the second term will be referred to as the DFT action of the RR sector. The reason for this terminology is that in the frame∂ i = 0 (which we call the "supergravity frame"), which solves the strong constraint trivially, the first term reduces to the standard NS-NS action for the massless fields of string theory and the second term reduces to the RR sector of the democratic formulation of Type II supergravity theories, discussed in section (3.1). It is in this sense that this action is an extension of the democratic formulation of Type II theory.
The term R(H, d) in (3.13) is the generalized Ricci scalar and its explicit form can be found in [4]. It is defined in terms of the generalized metric H and the generalized dilaton d. These are O(d, d) covariant tensors (in fact the dilaton is invariant) depending on both the space-time and dual coordinates. Their precise form is as below: where g =| detg |. H is a symmetric O(d, d) matrix and as such it satisfies H M P η P Q H QR = η M R . The Ramond-Ramond sector couples to the NS-NS sector via S, where S is the spinor field which projects to the generalized metric H under the homomorphism ρ of section 2, that is, ρ(S) = H. In Lorentzian signature, the generalized metric H is in the coset SO − (d, d) 11 and there are subtleties in lifting this to an element S of Spin − (d, d) (for a detailed discussion, see [36]). So, in [36] the following viewpoint was adopted: it is the spin field S ∈ Spin − (d, d), rather than the generalized metric, which has to be regarded as the fundamental gravitational field. The generalized metric H is then constructed by projecting onto the corresponding unique element in SO − (d, d), so that H = ρ(S). The field S satisfies S † = S, which immediately implies that H is symmetric, as it has to be.
The other dynamical field in the DFT of the RR sector is the spinor field χ, which encodes all the (modified) p-form fields in the RR sector. The field χ , being a spinor field, transforms in the spinor representation of Spin(d, d). Its chirality has to be fixed at the outset, so that it is either an element of S + or S − (see section 2). If we demand that the doubled manifold M doub is spin and the physical manifold M sits in it in such a way that at each point p ∈ M , the cotangent space T * p M is an isotropic subspace of the whole cotangent space T * p M doub with respect to the metric η, then χ forms a section of the exterior bundle ∧ even T * M or ∧ odd T * M , depending on its fixed chirality. Therefore, when restricted to the physical manifold, that is, in the frame∂ i = 0, it encodes all the RR fields of either the Type IIA or the Type IIB theory, depending on how its chirality has been fixed. More generally, all the independent fields, including χ, might depend both on the physical coordinates and the dual ones. The operator / ∂ in the action (3.14), which differentiates χ is the generalized Dirac operator defined as 12 The self-duality constraint (3.15) makes sure that the p-form fields encoded by the spinor field χ obey the self-duality relations in the previous section . It should be noted that (3.15) is consistent only if K 2 = 1. On the other hand, where we have used (2.64), (2.59) and the facts that S ∈ Spin − (n, n) and S † = S. As a result, consistency of the self-duality equation imposes that d(d − 1)/2 should be odd, that is d ≡ 2, 3 (mod 4). These are exactly the dimensions for which the Mukai pairing is anti-symmetric. This fact will play a crucial role in section (3.3).
An important ingredient in DFT is the generalized Lie derivativeL, which determines the gauge transformations of the DFT and the C-bracket, which determines how the gauge algebra closes [2]. Let us define ξ M = (ξ i , ξ i ) as the O(d, d) vector which generates the following gauge transformations.
in the NS-NS sector and in the RR sector, where Γ P Q ≡ 1 2 [Γ P , Γ Q ], as in (2.30). It was shown in [2,4](for the NS-NS sector) and in [36](in the RR sector) that the DFT action is invariant under these gauge transformations. The gauge transformations in the RR sector were determined by demanding that they leave the action invariant as well as demanding compatibility with the gauge transformation rules in the NS-NS sector.
In the frame∂ i = 0, the gauge parameter ξ M = (ξ i , ξ i ) combines the diffeomorphism parameter ξ i (x) and the Kalb-Ramond gauge parameterξ i (x). The double field theory version of the abelian gauge symmetry of p-form gauge fields is where λ is a space-time dependent spinor.
These gauge transformations form a gauge algebra with respect to the C-bracket, which is the O(d, d) covariantization of the Courant bracket in generalized geometry [43,45]. The C-bracket of two O(d, d) vectors is given as The gauge transformations above satisfy We would like to emphasize that the strong constraint is crucial in proving the closure of the gauge algebra.
The DFT action presented in (3.14) is invariant under the following transformations: Here S ∈ Spin + (d, d) and X ′ = hX, where h = ρ(S) ∈ SO(d, d). The dilaton is invariant. The duality group is broken to Spin(d, d) as the full P in(d, d) does not preserve the fixed chirality of the spinor field χ. Also, a general Spin(d, d) transformation does not preserve the self-duality constraint (3.15) and the duality group is further reduced to the subgroup Spin + (d, d). 13 The transformation of S implies the following transformation rule for the generalized metric H = ρ(S): These transformation rules will dictate our duality twisted reduction anzats in section 4.

The DFT Action of the RR Sector Rewritten With the Mukai Pairing
In this section, we rewrite the DFT action of the RR sector in terms of the Mukai pairing reviewed in Section 2. Writing the action in this form will simplify the calculations, when we study the duality twisted reduction of the action. Besides, the fact that the DFT action (3.14) is an extension of the democratic formulation of supergravity theory becomes explicit in this reformulation.
Recall that the DFT action (3.14), which was constructed in [36] reduces to (3.8) or (3.9) in the supergravity frame∂ i = 0, depending on the chirality of χ. Here, we will start with the supergravity actions (3.8) or (3.9) and show that they extend to the action (3.14), rewritten with the Mukai pairing.
The actions (3.8) or (3.9) are quite simple; in fact they just involve the inner product of F ± ∈ S ± with itself, where the inner product is the natural inner product (2.69). In section 2, we stated how this inner product is related with the Mukai pairing, see (2.70). Therefore these Lagrangians can also be written as and where , is the Mukai pairing in (2.66). As a matter of fact, we could just as well write with F = F + + F − , as the Mukai pairing is already zero on S + × S − and S − × S + for even d and is zero on S + × S + and S − × S − for odd d. 14 Hence, there is no need to fix the chirality in 13 The transformation of χ in (3.25) implies that / ∂χ → S / ∂χ and we have C −1 (S −1 ) † = SC −1 only for S ∈ Spin + (d, d).
14 Note that C −1 F ± ∈ S ± in even dimensions and C −1 F ± ∈ S ∓ in odd dimensions. this case; the Mukai pairing already picks up the desired combinations. Recall that the charge conjugation matrix has to be written in terms of an orthonormal basis with respect to the metric on M . Alternatively, we can write C as in (2.54,2.55) and compensate that by pulling back the differential form F with the spin representative S −1 g of the inverse metric g −1 . 15 This gives us Now, it follows from (3.5) that F = S b / ∂χ, where S b is as in (2.44) and χ is the spinor field encoding the modified gauge potentials D p , see (3.4), (3.5). Writing (3.30) in terms of χ we have Now we use the invariance property (2.67), which gives Note that the + sign has to be picked in (2.67) as S b ∈ Spin + (10, 10), as discussed in section 2. Now we use (2.64) to write this Lagrangian as The expression S † b S −1 g S b that appears above is nothing but the definition of S in [36], so our action becomes When χ = χ(x) and S = S(x), this action is just a rewriting of the supergravity actions (3.8) and (3.9) in the democratic formulation. On the other hand, when χ = χ(x,x) and S = S(x,x), the action (3.34) is equivalent to (3.14) of [36,37]. Note that, in the first case we have / ∂χ(x) = ψ i ∂ i χ(x), whereas in the DFT extension we have / ∂χ(x,x) = ψ i ∂ i χ(x,x) + ψ i∂ i χ(x,x).
Let us discuss the transformation properties of this action under (3.25). First of all, note that under χ → Sχ we have / ∂χ → S / ∂χ. Indeed, where we have used (2.64). Now the invariance property (2.67) of the Mukai pairing immediately implies that the Lagrangian is invariant under the whole Spin(10, 10). As we noted above, the democratic action (without introducing the dual coordinates) is already in the form (3.34). However, this action is not invariant under Spin(10, 10) unless we introduce the dual 15 Note that, for Riemannian g, this operator is just Sg = SeS † e , where g = ee t and Se is as in (2.46) with A = e. For Lorentzian metric, it is a bit more involved, for details see [36]. For our purposes, it is sufficient to know that Sg ∈ Spin − (10, 10) and it satisfies S g −1 = S −1 g and Sg = S † g .
coordinates. Indeed, as can be seen from our discussion above, χ → Sχ implies / ∂χ → S / ∂χ only when the dual coordinates are introduced.
Recall that the self-duality relation (3.15) involved the spin element K ∈ P in(d, d), which we defined as K = C −1 S. Consistency imposed K 2 = 1, which implied that d has to satisfy d ≡ 2, 3 (mod 4), since K 2 = −(−1) d(d−1)/2 , see (3.18). It is possible to rewrite (3.34) as Note that for even d, K ∈ Spin − (d, d). Using the invariance property (2.67) we then have (for even d) Now we use (3.18) to write It is an important consistency check that the right hand side above can be written as which follows immediately from (2.68).
When we impose the constraint (3.15) in the action (3.37), we get which becomes identically zero for d ≡ 2, 3 (mod4) due to the antisymmetry property of the Mukai pairing in these dimensions. These are exactly the dimensions in which it is consistent to impose the constraint (3.15). This is the usual case with constrained actions and as usual, one must impose the constraint only to the equations of motion, not the action itself.

Duality Twisted Reductions of DFT: Gauged Double Field Theory
In the previous section we reviewed the action of DFT describing both the NS-NS and R-R sectors of massless string theory. The DFT action of the NS-NS sector has global P in(d, d) symmetry. When one includes the RR sector, this symmetry group is reduced to Spin(d, d) due to the chirality condition and is further reduced to Spin + (d, d) due to the existence of the self-duality constraint (3.15). This global symmetry group makes it possible to implement a duality twisted anzats in the dimensional reduction of the DFT action. More precisely, the transformation rule (3.25) for the fundamental fields in the theory make it possible to introduce the following duality twisted dimensional reduction anzats: Here, X denote collectively the coordinates of the reduced theory, whereas Y denote the internal coordinates, which are to be integrated out. The twist matrix S(Y ) belongs to the duality group Spin + (d, d) and encodes the whole dependence on the internal coordinates.
The above anzats for the spinor fields implies the following anzats in the NS-NS sector: The duality twisted dimensional reduction of the DFT action of the NS-NS sector with the anzats (4.3) has already been studied by several groups [19][20][21], and the resulting theory was dubbed Gauged Double Field Theory (GDFT) [21]. For the details of the reduction of the action and the gauge transformations of the dimensionally reduced theory, we refer the reader to these papers. Here, we also study the duality twisted reduction of the DFT action describing the RR sector.
In the reduction of the NS-NS sector, it is also possible to introduce the following anzats for the generalized dilaton [21] d(X, Y ) = d(X) + ρ(Y ). (4.4) This then leads to an overall conformal rescaling in the NS-NS sector This overall factor contributes to the volume factor, when one integrates out the Y coordinates in order to define the GDFT action of the NS-NS sector [21]: where R f is determined by the fluxes f ABC and η A , as we will discuss in the next subsection and v is defined as In the presence of the RR fields, the GDFT action will be of the form In order to induce the overall ρ-dependent factor in the RR sector, it is necessary to modify the anzats (4.2) as follows In the next two subsections, we will study the GDFT action arising from the introduction of the anzatse (4.1,4.3, 4.4) and (4.9). Before we move on, let us clarify a point. Comparing  (d, d). In other words we have U = (ρ(S)) −1 = ρ(S −1 ). The reason that we have made this naming (rather than naming ρ(S) = U ) is to make sure that our notation is consistent with that of the papers mentioned above, especially that of [21]. Again, following [21], we make a distinction between the indices of the parent theory and the indices of the resulting theory, which we label by M and A, respectively.

Review of the Reduction of the NS-NS Sector
In the duality twisted reduction of the NS-NS sector, there are two main conditions to be imposed on the twist matrix U : Firstly, one demands that the Lorentzian coordinates X remain untwisted, which is ensured if the following condition is satisfied by all the X dependent fields of the resulting GDFT: The second condition is This is trivially satisfied if one works with twist matrices such that a given coordinate and its dual are either both external or both internal. If the anzats involves a non-zero ρ(Y ) in (4.4), a condition similar to (4.11) has to be imposed also on ρ: As was shown in [19][20][21], all the information about the twist matrix U is encoded in the entities f ABC and η A that we will define below. These entities, which we will refer to as "fluxes", as is usual in the literature, determine both the deformation of the action and that of the gauge algebra. The situation is entirely the same in the RR sector as we will discuss shortly. The fluxes are defined as where ρ is as in (4.4) and (4.14) Note that Ω ABC are antisymmetric in the last two indices: Ω ABC = −Ω ACB . We also make the following definition It can be shown that the conditions (4.10) and (4.11) imply that the following has to be satisfied: Note that the second condition in (4.16) and (4.12) imply together that η A should also satisfy These constraints are crucial for the closure of the gauge algebra. In addition, one also needs that all the fluxes f ABC and η A must be constant. This ensures that the Y dependence in the GDFT is completely integrated out. Also, the weak and the strong constraint has to be imposed on the external space so that for any fields or gauge parameters V, W that has dependence on the coordinates of the external space only. Finally, the following Jacobi identity and the orthogonality condition should be satisfied for the closure of the gauge algebra: and 16 η A f ABC = 0. (4.20) To summarize, for the consistency of the reduction of the DFT of the NS-NS sector one needs the conditions (4.10-4.12) and (4. 16-4.20). In addition, the fluxes f ABC and η A must be constant. These are the only conditions that have to be satisfied in order to obtain a consistent GDFT.
Surprisingly, it is not necessary to impose the strong constraint in the internal space, that is, one does not need to impose Therefore, the duality twisted anzats (4.1)-(4.4) allows for a relaxation of the strong constraint on the total space.

Reduction of The RR sector
Our aim here is to study the reduction of (3.34) and the constraint (3.15). Recall the main relation (2.49), which we rewrite here for U = ρ(S −1 ): Now, we plug in the anzats where, in passing from the second line to the third, we have used (4.10) and (4.22).
Recall that the Lie algebras of Spin(d, d) and O(d, d) are isomorphic. This gives us the important property: which we prove now.
As U and S are in the connected component of the orthogonal group and the Spinor group, they can be written as where the generators T M N are in the fundamental representation for the SO + (D, D) matrix U , whereas it is in the spinor representation for S, see section 2. Therefore, we have Now we prove (4.25) starting from the right hand side: which immediately implies (4.25). As a result, we have: where we have defined Here, one might be puzzled that it is Ω ABC rather than the f ABC and η A which appear in the reduced Lagrangian. After all, it is f ABC and η A and not Ω ABC , which are constrained to be constant by the consistency requirement of the reduction of the NS-NS sector. However, the following can be shown by using the commutation relations in the Clifford algebra: where we have used the definitions (4.13) and (4.15) and the Clifford algebra identity Plugging this back in (4.30), we get The Dirac operator / ∇ is the same as the Dirac operator introduced in [15,49], where they study backgrounds with non-geometric fluxes within the context of flux formulation of DFT and β-supergravity, respectively, without performing any duality twisted reduction (see also the associated papers [19,50] and [22]). It was shown in [49] that the Bianchi identities for the NS-NS fluxes are satisfied, only when this Dirac operator is nilpotent. We will discuss this condition of nilpotency further at the end of this subsection, when it reappears as a condition to be satisfied for the gauge invariance of the GDFT of the RR sector.

Reduction of The Lagrangian
The reduced Lagrangian can be obtained easily. If we plug (4.29) and (4.1) in (3.34) we have Note that, we have used (2.64) and (2.67) in passing from the first line to the second line.
The term (4.36) is the undeformed part of the Lagrangian. The two terms in (4.37) are equivalent as can be seen as follows 17 : Here we have used the fact that K = C −1 S ∈ Spin − (10, 10), which explains the minus sign in applying (2.67) and that K 2 = 1 and the Mukai pairing is skew-symmetric in 10 dimensions. Now the two terms in (4.37) add up to give: where we have used (2.64) and the invariance property (2.67) along with the fact that S b ∈ Spin + (10, 10). We have also plugged in the definition S = S † b S −1 g S b . Note that here b = b(X), g = g(X) and χ = χ(X), as all the Y dependence in S factorized out already in the first step. Also, requirement of constancy of f ABC and η A implies thatχ =χ(X).
One can similarly compute the term (4.38) and find that the reduced Lagrangian (4.35) has the form Here we have defined F (X) = S b / ∂χ(X) = e −B ∧ / ∂χ(X) andχ B = S bχ = e −B ∧χ. If the internal coordinates X include no dual coordinates, then this can be written as follows where * is the Hodge duality operator with respect to the reduced metric g(X).
On the other hand, the constraint reduces to as can be shown easily by recalling the definition S † = Cτ (S)C −1 and the fact that τ (S) = S * = S −1 for S ∈ Spin + (n, n).

Reduction of The Gauge Algebra
In order to find the gauge transformation rules for the reduced theory we plug the anzatse (4.44) in the gauge transformation rules (3.20), (3.22) of the parent theory. This gives us the following deformed gauge transformations for the spinor field χ: where we have used (4.10), (4.13), (4.14), (4.22), (4.25) and Clifford algebra identities. In the last two lines we made the following definitions: On the other hand, the deformation of the gauge transformation (3.22) is found by plugging in the anzats λ(X, Y ) = e −ρ(Y ) S(Y )λ(X), (4.49) which then gives

Consistency of the Reduced Theory
Now that we have the deformed action and the deformed gauge transformation rules, we can analyze the conditions under which the GDFT of the RR sector is consistent. Consistency is achieved if 1. Y dependence drops both in the reduced action and the gauge algebra.
2. The reduced action is invariant under the deformed gauge transformation rules.
One can show that the constraints that arise from the consistency of the reduction of the DFT of the NS-NS sector, that is, the constancy of the fluxes f ABC and η A and the conditions (4.10-4.12) and (4. 16-4.20) are sufficient to satisfy the first and third items in the list above. When these conditions are satisfied, the deformed gauge transformations we found above close to form a gauge algebra as follows: and δλ ,δξ =δLξλχ (4.54) as can be verified by a tedious calculation. In addition to the conditions (4.10-4.12) and (4. 16-4.20), one also needs the Clifford algebra identity (4.33) and the following two identities: The last identity follows directly from the Clifford algebra.
The requirement of gauge invariance of the GDFT action of the RR sector imposes one more constraint on the fluxes. Recall that the DFT analogue of the p-form gauge transformation of the RR fields has been deformed asδλ χ = / ∇λ. Therefore, the reduced action (4.35) is invariant under these gauge transformations if and only if the Dirac operator / ∇ is nilpotent, that is, / ∇ 2 = 0. As we mentioned above, this condition of nilpotency has already appeared in [49]. Let us now work out the square of the Dirac operator. One can show that When the conditions (4. 16,4.17,4.18,4.20) are satisfied, the first line of the above expression vanishes. On the other hand, applying the Jacobi identity (4.19), one can show that the last term of the second line can be rewritten as where one uses in passing to the second line the fact that f AD D = 0. Then, we conclude that, up to the constraints that are required for the consistency of the GDFT of the NS-NS sector, we have Now let us consider the gauge invariance of the deformed action (4.35) under the deformed gauge transformations with parameterξ, for which we needδξK andδξ / ∇χ. In order to calculate the first, one first has to note that the anzats (4.1) implies the following anzats for K = C −1 S: (4.62) Then using similar steps to above in the calculation of the deformed gauge transformations for χ, one finds 18δξ On the other hand, one can computê Plugging these in (4.35) one finds, 19 only using the constraints (4.10-4.12) and (4.16-4.20) Therefore, the deformed Lagrangian is gauge invariant only when the fluxes η A vanish. 20 Combined with (4.61), following from the requirement of nilpotency of the Dirac operator, we 18 One also needs the following identity in the proof, which had not been needed before: where Γ M N is defined in (2.30). 19 The details are similar to those in section 4.2.2 of [36]. 20 It has already been noted in [21] that these fluxes should vanish for the gauge invariance of the GDFT of the NS-NS sector. It was also pointed out that this can be circumvented by considering a modified reduction anzats, that involveas a warp factor, as in [19]. It would be interesting to see whether the GDFT of the RR sector would remain gauge invariant also for non-vanishing η fluxes, by introducing such a warp factor.
conclude that the requirement of gauge invariance of the GDFT of the RR sector brings in the extra condition The necessity of this extra constraint in the presence of RR fields had already been anticipated in [15,19] and had been verified by the analysis of [22]. As was mentioned in section (1), the constraints of the GDFT (of the NS-NS sector) are in one-to-one correspondence with the constraints of half-maximal gauged supergravities. This extra condition we have found implies that the gauged theory in hand corresponds to a truncation of maximal supergavity [51]. We also note that the gauge invariance of the duality relations (4.42) can also be verified easily, and does not impose any extra constraints.
Before we finish, let us also comment on a possible modification of the anzats (4.9), which introduces gaugings associated with non-trivial RR fluxes. Note that the DFT action of the RR sector (3.14) is invariant under the global shift symmetry χ → χ + α, which would make it possible to introduce an anzats of the form χ(X, Y ) = χ(X) +α(Y ). However, the gauge transformation rules (3.20) has an explicit dependence on χ, which then means that the Y dependence arising from such an anzats would not drop from the reduced gauge transformation rules 21 . One can still consider introducing such an anzats by choosing the spinor fieldα(Y ) appropriately. Indeed, one can takeα where α is a constant spinor field. Then, the anzats (4.9) can be modified to where we have used the identities (4.22), (4.25) and (4.31) and / ∇ is as before. 22 The reduced theory in this case is The Lagrangian (4.71) has to be supplemented by the following duality relation (4.72) 21 We also note that it is possible to modify the gauge transformation rules so as to be invariant under the global shift as is done in [40]. 22 Note that we have not taken the terms associated with the derivative of ρ into account, as they combine with fA in (4.31) to give ηA, which we take zero now.
The Lagrangian and the duality relation is invariant under the following gauge transformation (4.73)

Conclusions and Outlook
In this paper, we studied the duality twisted reduction of the Double Field Theory of the RR sector of massless Type II theory. This sector of DFT has a global Spin + (n, n) symmetry, which we have utilized to introduce the duality twisted anzats. We obtained the reduced action and the gauge transformation rules and showed that the gauge algebra closes. The fact that the Lie algebras of Spin(n, n) and SO(n, n) are isomorphic plays a crucial role in our analysis.
Our reduction anzats is determined by a Spin + (n, n) element S. Under the double covering homomorphism ρ between Spin(n, n) and SO(n, n), the twist element S projects to an element U ∈ SO + (n, n). This then implies a duality twist in the accompanying reduction of the NS-NS sector of DFT, through the matrix U . The duality twisted reduction of the NS-NS sector has already been studied by several groups [19][20][21]. As was shown in these works, the consistency of the reduced theory and its gauge algebra places restrictions on the fluxes determined by the twist matrix U . It was shown in [21] that these constraints are in one-to-one correspondence with the constraints of half-maximal gauged supergravity. All these constraints are also crucial for the consistency of the GDFT of the RR sector. In addition, we have shown here that the requirement of gauge invariance in the RR sector imposes the extra constraint (4.67), which also appeared in [22]. It is known that any half-maximal gauged supergravity that satisfies this constraint can be uplifted to maximal gauged supergavity [51]. Therefore, the existence of this extra constraint can be seen as a sign that the reduction we have studied here should be related to duality twisted reductions of Exceptional Field Theory (EFT), which is a U-duality invariant extension of supergravity [52][53][54]. Indeed, the reduction of EFT on generalised parallelisable manifolds [55] (which corresponds to a reduction with a duality twisted anzats of the type we have considered here) gives rise to maximal gauged supergravity upon imposing a section constraint, which is the analogue of the strong constraint of DFT [56][57][58]. A flux formulation of (a particular type of) EFT is also available and geometric and non-geometric RR fluxes were studied also in this formulation [59]. For recent work on how to truncate such theories further to half-maximal gauged supergravities, see [60,61].
An interesting feature of our reduced action is the natural appearance of the nilpotent Dirac operator (4.34), associated with the spinorial covariant derivative acting in the RR sector. This Dirac operator has already appeared in various papers before (e.g. [15,22,49]). It was shown in [49] that the Bianchi identities for the NS-NS fluxes are satisfied, only when this Dirac operator is nilpotent and the same condition arises here from the analysis of the gauge invariance of the GDFT of the RR sector. Note that the flux dependent terms in the Dirac operator involves (products of) Gamma matrices. As we discussed in section (2), the spinorial action of these Clifford algebra elements on the spinor field χ (which is equivalently a differential form) is by contraction, when they belong to the orthogonal complement of the vector subspace, whose exterior algebra carries the spinorial representation of the Clifford algebra. In other words, the Gamma matrices with a lower index act on the spinor fields by contraction. For certain choices of twists, this gives the possibility of inducing 0-forms as deformation terms in the reduced action. We will explore this feature in [62], where we study massive deformations of Type IIA theory within DFT.
In analyzing the reduction of the DFT Lagrangian of the RR sector, we found it useful to rewrite it in terms of Mukai pairing, which is a Spin(n, n) invariant bilinear form on the space of spinors. We believe that the Lagrangian, when written in the form (3.34) is worth further study. Note that (3.34) gives a non-vanishing n-form, which is a volume form when the underlying manifold M is n dimensional as in generalized geometry of Hitchin. As a Lagrangian for DFT, it gives us an n-form on the 2n dimensional doubled manifold. However, it is a very special n-form. Recall that the spinor field χ is a section of the restricted exterior bundle • T * M doub , in the sense that at each point the cotangent space is restricted to a maximally isotropic subspace with respect to the metric η. This then implies that the n-form produced by the Lagrangian (3.34) belongs to a 1-dimensional subspace of the (2n)!/(n)!(n)! dimensional space of all possible n-forms on a 2n dimensional manifold, as it can have components only along these n restricted directions. (Note that the value of the form still depends on thex coordinates of the manifold). Then, one can naturally identify this n-form with a scalar function (a 0-form), which then becomes the Lagrangian density to be integrated on the whole doubled manifold. It would be desirable to come up with a Lagrangian which produces a volume form for the whole doubled manifold. This obviously calls for a better understanding of the differential geometric features of doubled manifolds. We believe that this direction deserves further study and we hope to come back to these issues in future work.