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

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

Toroidal Orientifolds in IIA with General NS-NS Fluxes

Type IIA toroidal orientifolds offer a promising toolkit for model builders, especially when one includes not only the usual fluxes from NS-NS and R-R field strengths, but also fluxes that are T-dual to the NS-NS three-form flux. These new ingredients are known as metric fluxes and non-geometric fluxes, and can help stabilize moduli or can lead to other new features. In this paper we study two approaches to these constructions, by effective field theory or by toroidal fibers twisted over a toroidal base. Each approach leads us to important observations, in particular the presence of D-terms in the four-dimensional effective potential in some cases, and a more subtle treatment of the quantization of the general NS-NS fluxes. Though our methods are general, we illustrate each approach on the example of an orientifold of T^6/Z_4.Comment: 59 pages, references adde

Superstring partition functions in the doubled formalism

Computation of superstring partition function for the non-linear sigma model on the product of a two-torus and its dual within the scope of the doubled formalism is presented. We verify that it reproduces the partition functions of the toroidally compactified type--IIA and type--IIB theories for appropriate choices of the GSO projection.Comment: 15 page

D-branes in T-fold conformal field theory

We investigate boundary dynamics of orbifold conformal field theory involving T-duality twists. Such models typically appear in contexts of non-geometric string compactifications that are called monodrofolds or T-folds in recent literature. We use the framework of boundary conformal field theory to analyse the models from a microscopic world-sheet perspective. In these backgrounds there are two kinds of D-branes that are analogous to bulk and fractional branes in standard orbifold models. The bulk D-branes in T-folds allow intuitive geometrical interpretations and are consistent with the classical analysis based on the doubled torus formalism. The fractional branes, on the other hand, are `non-geometric' at any point in the moduli space and their geometric counterparts seem to be missing in the doubled torus analysis. We compute cylinder amplitudes between the bulk and fractional branes, and find that the lightest modes of the open string spectra show intriguing non-linear dependence on the moduli (location of the brane or value of the Wilson line), suggesting that the physics of T-folds, when D-branes are involved, could deviate from geometric backgrounds even at low energies. We also extend our analysis to the models with SU(2) WZW fibre at arbitrary levels.Comment: 38 pages, no figure, ams packages. Essentially the published versio

Twisting K3 x T^2 Orbifolds

We construct a class of geometric twists of Calabi-Yau manifolds of Voisin-Borcea type (K3 x T^2)/Z_2 and study the superpotential in a type IIA orientifold based on this geometry. The twists modify the direct product by fibering the K3 over T^2 while preserving the Z_2 involution. As an important application, the Voisin-Borcea class contains T^6/(Z_2 x Z_2), the usual setting for intersecting D6 brane model building. Past work in this context considered only those twists inherited from T^6, but our work extends these twists to a subset of the blow-up modes. Our work naturally generalizes to arbitrary K3 fibered Calabi-Yau manifolds and to nongeometric constructions.Comment: 57 pages, 4 figures; uses harvmac.tex, amssym.tex; v3: minor corrections, references adde

D-branes in Nongeometric Backgrounds

"T-fold" backgrounds are generically-nongeometric compactifications of string theory, described by T^n fibrations over a base N with transition functions in the perturbative T-duality group. We review Hull's doubled torus formalism, which geometrizes these backgrounds, and use the formalism to constrain the D-brane spectrum (to leading order in g_s and alpha') on T^n fibrations over S^1 with O(n,n;Z) monodromy. We also discuss the (approximate) moduli space of such branes and argue that it is always geometric. For a D-brane located at a point on the base N, the classical ``D-geometry'' is a T^n fibration over a multiple cover of N.Comment: 29 pages; uses harvmac.tex; v2: substantial revision throughou

Generalized Flux Vacua

We consider type II string theory compactified on a symmetric T^6/Z_2 orientifold. We study a general class of discrete deformations of the resulting four-dimensional supergravity theory, including gaugings arising from geometric and "nongeometric'' fluxes, as well as the usual R-R and NS-NS fluxes. Solving the equations of motion associated with the resulting N = 1 superpotential, we find parametrically controllable infinite families of supersymmetric vacua with all moduli stabilized. We also describe some aspects of the distribution of generic solutions to the SUSY equations of motion for this model, and note in particular the existence of an apparently infinite number of solutions in a finite range of the parameter space of the four-dimensional effective theory.Comment: 30 pages, 4 .eps figures; v2, reference adde