Automated consistent truncations and stability of flux compactifications

Abstract

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.

Comments: 31 pages. The numerical code MSSV and a corresponding database are provided as ancillary files; v2: few additions; v3: improvement of the scalar potential expressions in the paper, and of the analysis at a generic field point in the code