Exploiting N=2 in consistent coset reductions of type IIA

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