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

TL;DR

This paper derives the four-dimensional effective theories for type IIA string compactifications on nilmanifolds and cosets, analyzing moduli stabilization and implications for inflation.

Contribution

It provides a comprehensive calculation of the superpotential, Kähler potential, and mass spectrum for known solutions, including a cross-check for nilmanifold cases and moduli stabilization analysis.

Findings

All but one coset model stabilize moduli classically.

Most models can potentially evade a no-go theorem against inflation.

Confirmed mass spectrum results through independent methods.

Abstract

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. 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.