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

Understand

We consider string theory compactifications of the form AdS4 x M6 with orientifold six-planes, where M6 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 Kaehler 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.