The effective theory of type IIA AdS4 compactifications on nilmanifolds and cosets

We consider string theory compactifications of the form AdS(4) x M-6 with orientifold six-planes, where M-6 is a six-dimensional compact space that is either a nilmanifold or a coset. For all known solutions of this type we obtain the four-dimensional N = 1 low-energy effective theory by computing the superpotential, the Kahler potential and the mass spectrum for the light moduli. For the nilmanifold examples we perform a cross-check on the result for the mass spectrum by calculating it alternatively from a direct Kaluza-Klein reduction and find perfect agreement. We show that in all but one of the coset models all moduli are stabilized at the classical level. As an application we show that all but one of the coset models can potentially be used to bypass a recent no-go theorem against inflation in type IIA theory.