Flux Compactifications of M-Theory on Twisted Tori

We find the bosonic sector of the gauged supergravities that are obtained from 11-dimensional supergravity by Scherk-Schwarz dimensional reduction with flux to any dimension D. We show that, if certain obstructions are absent, the Scherk-Schwarz ansatz for a finite set of D-dimensional fields can be extended to a full compactification of M-theory, including an infinite tower of Kaluza-Klein fields. The internal space is obtained from a group manifold (which may be non-compact) by a discrete identification. We discuss the symmetry algebra and the symmetry breaking patterns and illustrate these with particular examples. We discuss the action of U-duality on these theories in terms of symmetries of the D-dimensional supergravity, and argue that in general it will take geometric flux compactifications to M-theory on non-geometric backgrounds, such as U-folds with U-duality transition functions.Comment: Latex, 47 page

Euclidean Supersymmetry, Twisting and Topological Sigma Models

We discuss two dimensional N-extended supersymmetry in Euclidean signature and its R-symmetry. For N=2, the R-symmetry is SO(2)\times SO(1,1), so that only an A-twist is possible. To formulate a B-twist, or to construct Euclidean N=2 models with H-flux so that the target geometry is generalised Kahler, it is necessary to work with a complexification of the sigma models. These issues are related to the obstructions to the existence of non-trivial twisted chiral superfields in Euclidean superspace.Comment: 8 page

The gauge algebra of double field theory and Courant brackets

We investigate the symmetry algebra of the recently proposed field theory on a doubled torus that describes closed string modes on a torus with both momentum and winding. The gauge parameters are constrained fields on the doubled space and transform as vectors under T-duality. The gauge algebra defines a T-duality covariant bracket. For the case in which the parameters and fields are T-dual to ones that have momentum but no winding, we find the gauge transformations to all orders and show that the gauge algebra reduces to one obtained by Siegel. We show that the bracket for such restricted parameters is the Courant bracket. We explain how these algebras are realised as symmetries despite the failure of the Jacobi identity.Comment: 25 pages, LaTe

Duality Twists on a Group Manifold

We study duality-twisted dimensional reductions on a group manifold G, where the twist is in a group \tilde{G} and examine the conditions for consistency. We find that if the duality twist is introduced through a group element \tilde{g} in \tilde{G}, then the flat \tilde{G}-connection A =\tilde{g}^{-1} d\tilde{g} must have constant components M_n with respect to the basis 1-forms on G, so that the dependence on the internal coordinates cancels out in the lower dimensional theory. This condition can be satisfied if and only if M_n forms a representation of the Lie algebra of G, which then ensures that the lower dimensional gauge algebra closes. We find the form of this gauge algebra and compare it to that arising from flux compactifications on twisted tori. As an example of our construction, we find a new five dimensional gauged, massive supergravity theory by dimensionally reducing the eight dimensional Type II supergravity on a three dimensional unimodular, non-semi-simple, non-abelian group manifold with an SL(3,R) twist.Comment: 22 page

Quantum Mechanics of the Doubled Torus

We investigate the quantum mechanics of the doubled torus system, introduced by Hull [1] to describe T-folds in a more geometric way. Classically, this system consists of a world-sheet Lagrangian together with some constraints, which reduce the number of degrees of freedom to the correct physical number. We consider this system from the point of view of constrained Hamiltonian dynamics. In this case the constraints are second class, and we can quantize on the constrained surface using Dirac brackets. We perform the quantization for a simple T-fold background and compare to results for the conventional non-doubled torus system. Finally, we formulate a consistent supersymmetric version of the doubled torus system, including supersymmetric constraints.Comment: 31 pages, 1 figure; v2: references added, minor corrections to final sectio

Generalised Geometry for M-Theory

Generalised geometry studies structures on a d-dimensional manifold with a metric and 2-form gauge field on which there is a natural action of the group SO(d,d). This is generalised to d-dimensional manifolds with a metric and 3-form gauge field on which there is a natural action of the group $E_{d}$. This provides a framework for the discussion of M-theory solutions with flux. A different generalisation is to d-dimensional manifolds with a metric, 2-form gauge field and a set of p-forms for $p$ either odd or even on which there is a natural action of the group $E_{d+1}$. This is useful for type IIA or IIB string solutions with flux. Further generalisations give extended tangent bundles and extended spin bundles relevant for non-geometric backgrounds. Special structures that arise for supersymmetric backgrounds are discussed.Comment: 31 page

Non-Abelian Gravity and Antisymmetric Tensor Gauge Theory

A non-abelian generalisation of a theory of gravity coupled to a 2-form gauge field and a dilaton is found, in which the metric and 3-form field strength are Lie algebra-valued. In the abelian limit, the curvature with torsion is self-dual in four dimensions, or has SU(n) holonomy in $2n$ dimensions. The coupling to self-dual Yang-Mills fields in 4 dimensions, or their higher dimensional generalisation, is discussed. The abelian theory is the effective action for (2,1) strings, and the non-abelian generalisation is relevant to the study of coincident branes in the (2,1) string approach to M-theory. The theory is local when expressed in terms of a vector pre-potential.Comment: 14 pages, phyzzx macro. Minor correction

A Geometry for Non-Geometric String Backgrounds

A geometric string solution has background fields in overlapping coordinate patches related by diffeomorphisms and gauge transformations, while for a non-geometric background this is generalised to allow transition functions involving duality transformations. Non-geometric string backgrounds arise from T-duals and mirrors of flux compactifications, from reductions with duality twists and from asymmetric orbifolds. Strings in ` T-fold' backgrounds with a local $n$-torus fibration and T-duality transition functions in $O(n,n;\Z)$ are formulated in an enlarged space with a $T^{2n}$ fibration which is geometric, with spacetime emerging locally from a choice of a $T^n$ submanifold of each $T^{2n}$ fibre, so that it is a subspace or brane embedded in the enlarged space. T-duality acts by changing to a different $T^n$ subspace of $T^{2n}$. For a geometric background, the local choices of $T^n$ fit together to give a spacetime which is a $T^n$ bundle, while for non-geometric string backgrounds they do not fit together to form a manifold. In such cases spacetime geometry only makes sense locally, and the global structure involves the doubled geometry. For open strings, generalised D-branes wrap a $T^n$ subspace of each $T^{2n}$ fibre and the physical D-brane is the part of the part of the physical space lying in the generalised D-brane subspace.Comment: 28 Pages. Minor change

On the construction of variant supergravities in D=11, D=10

We construct with a geometric procedure the supersymmetry transformation laws and Lagrangian for all the ``variant'' D=11 and D=10 Type IIA supergravities. We identify into our classification the D=11 and D=10 Type IIA ``variant'' theories first introduced by Hull performing T-duality transformation on both spacelike and timelike circles. We find in addition a set of D=10 Type IIA ``variant'' supergravities that can not be obtained trivially from eleven dimensions compactifying on a circle.Comment: 21 pages, Late

Potentials for (p,0) and (1,1) supersymmetric sigma models with torsion

Using (1,0) superfield methods, we determine the general scalar potential consistent with off-shell (p,0) supersymmetry and (1,1) supersymmetry in two-dimensional non-linear sigma models with torsion. We also present an extended superfield formulation of the (p,0) models and show how the (1,1) models can be obtained from the (1,1)-superspace formulation of the gauged, but massless, (1,1) sigma model.Comment: 11 page