Supersymmetric AdS vacua and separation of scales

The moduli space of the supersymmetric massive IIA AdS4xS2(B4) vacua, where S2(B4) is a two-sphere bundle over a four-dimensional Kaehler-Einstein base B4, includes three independent parameters which can be thought of as corresponding to the sizes of AdS4, B4 and the S2 fiber. It might therefore be expected that these vacua do not suffer from the absence of scale separation. We show that the independence of the geometric moduli survives flux quantization. However, we uncover an attractor behavior whereby all sizes flow to equality in some neighborhood of spacetime independently of the initial conditions set by the parameters of the solution. This is further confirmed by the study of the ratio of internal to external scalar curvatures. We also show that the asymptotic Kaluza-Klein spectrum of a ten-dimensional massive scalar is governed by a scale of the order of the AdS4 radius. Furthermore we point out that the curvature ratio in supersymmetric IIA AdS4 vacua with rigid SU(3) structure is of order one, indicating the absence of scale separation in this large class of vacua.Comment: 21 pages, 2 figures; v2 typos correcte

N=1 effective potential from dual type-IIA D6/O6 orientifolds with general fluxes

We consider N=1 compactifications of the type-IIA theory on the T6/(Z2xZ2) orbifold and O6 orientifold, in the presence of D6-branes and general NSNS, RR and Scherk-Schwarz geometrical fluxes. Introducing a suitable dual formulation of the theory, we derive and solve the Bianchi identities, and show how certain combinations of fluxes can relax the constraints on D6-brane configurations coming from the cancellation of RR tadpoles. We then compute, via generalized dimensional reduction, the N=1, D=4 effective potential for the seven main moduli, and comment on the relation with truncated N=4 gaugings. As a byproduct, we obtain a general geometrical expression for the superpotential. We finally identify a family of fluxes, compatible with all Bianchi identities, that perturbatively stabilize all seven moduli in supersymmetric AdS4.Comment: 19 pages, no figures, JHEP3 LaTeX. Published versio

N=1,2 supersymmetric vacua of IIA supergravity and SU(2) structures

We consider backgrounds of (massive) IIA supergravity of the form of a warped product $M_{1,3}\times_{\omega} X_6$, where $X_6$ is a six-dimensional compact manifold and $M_{1,3}$ is $AdS_4$ or a four-dimensional Minkowski space. We analyse conditions for $\mathcal{N}=1$ and $\mathcal{N}=2$ supersymmetry on manifolds of SU(2) structure. We prove the absence of solutions in certain cases.Comment: 24 pages; v2: reference adde

The gauge dual of Romans mass

We deform the recently proposed holographic duality between the ABJM N=6 Chern-Simons-matter theory and type IIA string theory in AdS4xCP3. We add a non-zero Romans mass F_0, whose dual we identify as the sum of the Chern-Simons levels for the two gauge groups. One can naturally identify four different theories, with different amounts of supersymmetry and of flavor symmetry.Comment: 26 pages. v4: Corrected the sign for the probe brane potentia

Universal de Sitter solutions at tree-level

Type IIA string theory compactified on SU(3)-structure manifolds with orientifolds allows for classical de Sitter solutions in four dimensions. In this paper we investigate these solutions from a ten-dimensional point of view. In particular, we demonstrate that there exists an attractive class of de Sitter solutions, whose geometry, fluxes and source terms can be entirely written in terms of the universal forms that are defined on all SU(3)-structure manifolds. These are the forms J and Omega, defining the SU(3)-structure itself, and the torsion classes. The existence of such universal de Sitter solutions is governed by easy-to-verify conditions on the SU(3)-structure, rendering the problem of finding dS solutions purely geometrical. We point out that the known (unstable) solution coming from the compactification on SU(2)x SU(2) is of this kind.Comment: 20 pages, 3 figures, v2: added reference

Moduli Stabilization and Cosmology of Type IIB on SU(2)-Structure Orientifolds

We consider type IIB flux compactifications on six-dimensional SU(2)-structure manifolds with O5- and O7-planes. These six-dimensional spaces allow not only for F_3 and H_3 fluxes but also for F_1 and F_5 fluxes. We derive the four-dimensional N=1 scalar potential for such compactifications and present one explicit example of a fully stabilized AdS vacuum with large volume and small string coupling. We then discuss cosmological aspects of these compactifications and derive several no-go theorems that forbid dS vacua and slow-roll inflation under certain conditions. We also study concrete examples of cosets and twisted tori and find that our no-go theorems forbid dS vacua and slow-roll inflation in all but one of them. For the latter we find a dS critical point with \epsilon numerically zero. However, the point has two tachyons and eta-parameter \eta \approx -3.1.Comment: 35 pages + appendices, LaTeX2e; v2: numerical dS extremum added, typos corrected, references adde

BPS-like potential for compactifications of heterotic M-theory?

We analyze the possibility to rewrite the action of Horava-Witten theory in a BPS-like form, which means that it is given as a sum of squares of the supersymmetry conditions. To this end we compactify the theory on a seven dimensional manifold of SU(3) structure and rewrite the scalar curvature of the compactification manifold in terms of the SU(3) structure forms. This shows that a BPS-like form cannot be obtained in general, but only for certain types of compactifications.Comment: 31 pages, no figures, references added, typos correcte

Intersecting 6-branes from new 7-manifolds with G_2 holonomy

We discuss a new family of metrics of 7-manifolds with G_2 holonomy, which are R^3 bundles over a quaternionic space. The metrics depend on five parameters and have two Abelian isometries. Certain singularities of the G_2 manifolds are related to fixed points of these isometries; there are two combinations of Killing vectors that possess co-dimension four fixed points which yield upon compactification only intersecting D6-branes if one also identifies two parameters. Two of the remaining parameters are quantized and we argue that they are related to the number of D6-branes, which appear in three stacks. We perform explicitly the reduction to the type IIA model.Comment: 25 pages, 1 figure, Latex, small changes and add refs, version appeared in JHE