Exploiting N=2 in consistent coset reductions of type IIA
Davide Cassani, Amir-Kian Kashani-Poor
TL;DR
The paper demonstrates that massive Type IIA compactifications on left coset manifolds with SU(3) structure yield consistent ${N}=2$ gauged supergravity in four dimensions via a left-invariant truncation, enabling a controlled study of fluxes, adS vacua, and quantum corrections. It shows that RR fluxes and K-theory–induced quantization produce discrete families of ${N}=1$ AdS vacua, including a Nearly Kähler solution, and proves the truncation is consistent with the full 10d equations. At tree level, the ${N}=2$-gauged potential forbids de Sitter vacua, while string-loop corrections can alter this outcome under specific NSNS contributions, with a derived necessary condition for dS vacua in the loop-corrected potential. The work also uncovers non-supersymmetric AdS vacua, analyzes their stability, and discusses the persistence of these vacua to loop corrections, highlighting the robustness of the ${N}=2$ framework for exploring higher-dimensional corrections and the landscape of flux vacua.
Abstract
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.
