Automated consistent truncations and stability of flux compactifications

TL;DR

This paper develops an automated method for consistent truncations in flux compactifications of type II supergravity, enabling systematic stability analysis of various 4d solutions and testing swampland conjectures.

Contribution

It introduces a code that automates truncation and dimensional reduction for flux compactifications on group manifolds, proving their consistency.

Findings

Validated stability of multiple de Sitter, Minkowski, and anti-de Sitter solutions.

Analyzed compatibility of solutions with swampland conjectures.

Provided a systematic framework for exploring the string landscape.

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.