论文标题
自动化一致的截断和通量压实的稳定性
Automated consistent truncations and stability of flux compactifications
论文作者
论文摘要
经典的通量紧凑型有助于弦乐景观的一个控制良好的角落，因此为各种猜想提供了重要的测试场。在这里，我们将重点放在II型超级重压上，这是对4D最大对称空间的6D组歧管。我们开发了一个代码，其中对操作平面和DP-BRANES的任何可能配置进行了自动化的左右标量和4D理论的尺寸降低。然后，我们证明任何此类截断都是一致的。我们进一步计算质谱，并分析许多De Sitter，Minkowski或Anti-DE保姆解决方案的稳定性，以及它们与Swampland undiendures的一致性。
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.
