Automated consistent truncations and stability of flux compactifications
David Andriot, Paul Marconnet, Muthusamy Rajaguru, Timm Wrase
Abstract
A bstract 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.