Charting the landscape of (anti-) de Sitter and Minkowski solutions of 10d supergravities

Abstract

We classify solutions of 10d type IIA/B supergravities with orientifolds, on a 4d maximally symmetric spacetime times a 6d group manifold. We then look for new solutions in previously unexplored solution classes, and find some: (anti-) de Sitter solutions with intersecting O4, O6 and D6, or Minkowski solutions with 3 intersecting O5, among others. We provide the numerical code that we developed for this purpose. We also prove new no-go theorems against (anti-) de Sitter solutions. We finally conjecture the absence of de Sitter solution for 2 or less intersecting source sets, implying that a 4d effective theory with de Sitter is at most N=1 supersymmetric.

Comments: v1: 33 pages + appendices. The numerical code MaxSymSolSearch developed is provided here as an ancillary file. Two further Mathematica notebooks listing the old and new solutions are also provided. v2: minor additions. v3: few additions, published version