Minimal Simple de Sitter Solutions

TL;DR

This paper identifies the minimal ingredients needed to construct explicit four-dimensional de Sitter solutions from type IIA string theory, demonstrating their stabilization in a simple hyperbolic compactification.

Contribution

It provides a minimal set of ingredients for de Sitter solutions and constructs explicit examples with stabilized moduli in hyperbolic compactifications.

Findings

Explicit de Sitter solutions with stabilized moduli.

Demonstration of solutions in hyperbolic compactifications.

Discussion of generalizations to metric flux scenarios.

Abstract

We show that the minimal set of necessary ingredients to construct explicit, four-dimensional de Sitter solutions from IIA string theory at tree-level are O6-planes, non-zero Romans mass parameter, form fluxes, and negative internal curvature. To illustrate our general results, we construct such minimal simple de Sitter solutions from an orientifold compactification of compact hyperbolic spaces. In this case there are only two moduli and we demonstrate that they are stabilized to a sufficiently weakly coupled and large volume regime. We also discuss generalizations of the scenario to more general metric flux constructions.