Classical flux compactifications contribute to a well-controlled corner of the string landscape, therefore providing an important testing ground for a variety of conjectures. We focus here on type II supergravity compactifications on 6d group manifolds towards 4d maximally symmetric spacetimes. We develop a code where the truncation to left-invariant scalars and the dimensional reduction to a 4d theory are automated, for any possible configuration of Op-planes and Dp-branes. We then prove that any such truncation is consistent. We further compute the mass spectrum and analyse the stability of many de Sitter, Minkowski or anti-de Sitter solutions, as well as their consistency with swampland conjectures.

We revisit flux compactifications of type IIB string theory on ‘spaces’ dual to rigid Calabi-Yau manifolds. This rather unexplored part of the string landscapes harbors many interesting four-dimensional solutions, namely supersymmetric $$ \mathcal{N} $$ N = 1 Minkowski vacua without flat direction and infinite families of AdS vacua, some potentially with unrestricted rank for the gauge group. We also comment on the existence of metastable dS solutions in this setup. We discuss how these solutions fit into the web of swampland conjectures.

Classical flux compactifications contribute to a well-controlled corner of the string landscape, therefore providing an important testing ground for a variety of conjectures. We focus here on type II supergravity compactifications on 6d group manifolds towards 4d maximally symmetric spacetimes. We develop a code where the truncation to left-invariant scalars and the dimensional reduction to a 4d theory are automated, for any possible configuration of O p -planes and D p -branes. We then prove that any such truncation is consistent. We further compute the mass spectrum and analyse the stability of many de Sitter, Minkowski or anti-de Sitter solutions, as well as their consistency with swampland conjectures.

No abstract