Exploiting N=2 in consistent coset reductions of type IIA

Understand

We study compactifications of type IIA supergravity on cosets exhibiting SU(3) structure.

• We establish the consistency of the truncation based on left-invariance, providing a justification for the choice of expansion forms which yields gauged N=2 supergravity in 4 dimensions.
• We explore N=1 solutions of these theories, emphasizing the requirements of flux quantization, as well as their non-supersymmetric companions.
• In particular, we obtain a no-go result for de Sitter solutions at string tree level, and, exploiting the enhanced leverage of the N=2 setup, provide a preliminary analysis of the existence of de Sitter vacua at all string loop order.