Automated consistent truncations and stability of flux compactifications

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.

Automated summary

Classical flux compactifications are an important research field in string theory, providing a testing ground for various conjectures. This paper focuses on type II supergravity compactifications on 6d group manifolds towards 4d maximally symmetric spacetimes, and develops a code for automated calculations and analysis.