Charting the landscape of (anti-) de Sitter and Minkowski solutions of 10d supergravities
Résumé
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 O$_{4}$, O$_{6}$ and D$_{6}$, or Minkowski solutions with 3 intersecting O$_{5}$, 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 $ \mathcal{N} $ = 1 supersymmetric.