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

TL;DR

This paper classifies and explores solutions of 10-dimensional supergravity theories with various orientifold and D-brane configurations, identifying new solutions and establishing no-go theorems for de Sitter space.

Contribution

It provides a comprehensive classification of solutions, discovers new (anti-) de Sitter and Minkowski solutions, and introduces a numerical code and no-go theorems in the context of 10d supergravities.

Findings

New (anti-) de Sitter solutions with intersecting orientifolds and D-branes.

Minkowski solutions with three intersecting O5-planes.

Proven no-go theorems against certain de Sitter solutions.

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.