The N=4 effective action of type IIA supergravity compactified on SU(2)-structure manifolds

We study compactifications of type IIA supergravity on six-dimensional manifolds with SU(2) structure and compute the low-energy effective action in terms of the non-trivial intrinsic torsion. The consistency with gauged N=4 supergravity is established and the gauge group is determined. Depending on the structure of the intrinsic torsion, antisymmetric tensor fields can become massive.Comment: 29 pages, latex, v2: minor corrections, added references, published versio

Heterotic compactifications on SU(2)-structure backgrounds

In this paper we study the reduction of heterotic string theory on SU(2)-structure backgrounds. We compute the bosonic low-energy gauged N=2 supergravity specified by the Killing vectors corresponding to the gauged isometries. We check that the obtained Lagrangian is consistent with the one of N=2 local supersymmetry. We also determine the Killing prepotentials.Comment: reference added, corrected typos and some factor

Finding all flux vacua in an explicit example

We explicitly construct all supersymmetric flux vacua of a particular Calabi-Yau compactification of type IIB string theory for a small number of flux carrying cycles and a given D3-brane tadpole. The analysis is performed in the large complex structure region by using the polynomial homotopy continuation method, which allows to find all stationary points of the polynomial equations that characterize the supersymmetric vacuum solutions. The number of vacua as a function of the D3 tadpole is in agreement with statistical studies in the literature. We calculate the available tuning of the cosmological constant from fluxes and extrapolate to scenarios with a larger number of flux carrying cycles. We also verify the range of scales for the moduli and gravitino masses recently found for a single explicit flux choice giving a K\"ahler uplifted de Sitter vacuum in the same construction.Comment: LaTeX, 1-32 pages, 8 figure