Charting the landscape of N=4 flux compactifications

We analyse the vacuum structure of isotropic Z(2) x Z2 flux compactifications, allowing for a single set of sources. Combining algebraic geometry with supergravity techniques, we are able to classify all vacua for both type IIA and IIB backgrounds with arbitrary gauge and geometric fluxes. Surprisingly, geometric IIA compactifications lead to a unique theory with four different vacua. In this case we also perform the general analysis allowing for sources compatible with minimal supersymmetry. Moreover, some relevant examples of type IIB non-geometric compactifications are studied. The computation of the full N = 4 mass spectrum reveals the presence of a number of non-supersymmetric and nevertheless stable AdS(4) vacua. In addition we find a novel dS(4) solution based on a non-semisimple gauging