Exploiting image in consistent coset reductions of type IIA Original Research Article

We study compactifications of type IIA supergravity on cosets exhibiting image structure. We establish the consistency of the truncation based on left-invariance, providing a justification for the choice of expansion forms which yields gauged image supergravity in four dimensions. We explore image 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 image setup, provide a preliminary analysis of the existence of de Sitter vacua at all string loop order.