General N=1 supersymmetric flux vacua of massive type IIA string theory -: art. no. 021601

We derive conditions for the existence of four-dimensional N=1 supersymmetric flux vacua of massive type IIA string theory with general supergravity fluxes turned on. For an SU(3) singlet Killing spinor, we show that such flux vacua exist when the internal geometry is nearly Kahler. The geometry is not warped, all the allowed fluxes are proportional to the mass parameter, and the dilaton is fixed by a ratio of (quantized) fluxes. The four-dimensional cosmological constant, while negative, becomes small in the vacuum with the weak string coupling.