Systematics of Type IIA moduli stabilisation

Understand

We analyse the flux-induced scalar potential for type IIA orientifolds in the presence of $p$-form, geometric and non-geometric fluxes.

• Just like in the Calabi-Yau case, the potential presents a bilinear structure, with a factorised dependence on axions and saxions.
• This feature allows one to perform a systematic search for vacua, which we implement for the case of geometric backgrounds.
• Guided by stability criteria, we consider configurations with a particular on-shell F-term pattern, for which we derive a no-go result for de Sitter extrema.