A No-go theorem for de Sitter compactifications?

We attempt to review all trustworthy and well-controlled de Sitter compactifications of string theory.

We study de Sitter configurations in ten-dimensional string models where supersymmetry is either absent or broken at the string scale. To this end, we derive expressions for the cosmological constant in general warped flux compactifications with localized sources, which yield no-go theorems that extend previous works on supersymmetric cases. We frame our results within a dimensional reduction and connect them to a number of Swampland conjectures, corroborating them further in...

We discuss a possible compactification of a higher-dimensional gravitational theory, which give rise to a de Sitter or an accelerating universe, to the extent that it can describe a low energy limit of string theory. Such analysis can be carried out by the usual integration over the internal space in the Einstein equations. The combined field equations in the higher-dimensional supergravity theory after integration give several new terms which may help to realize a de Sitter ...

We explore in detail the prospects of obtaining a four-dimensional de Sitter universe in classical supergravity models with warped and time-independent extra dimensions, presenting explicit cosmological solutions of the $(4+n)$-dimensional Einstein equations with and without a bulk cosmological constant term. For the first time in the literature we show that there may exist a large class of warped supergravity models with a noncompact extra dimension which lead to a finite 4D...

It is known that the Einstein gravitational field equations in $D>4$ spacetime dimensions have no time-independent non-singular compactification solutions to de Sitter space if the $D$-dimensional stress tensor satisfies the Strong Energy Condition (SEC). Here we show, by example, that the SEC alone does not exclude time-dependent non-singular compactifications to de Sitter space, in Einstein conformal frame. However, this possibility is excluded by the combined SEC and Null ...

We derive highly constraining no-go theorems for classical de Sitter backgrounds of string theory, with parallel sources; this should impact the embedding of cosmological models. We study ten-dimensional vacua of type II supergravities with parallel and backreacted orientifold Op-planes and Dp-branes, on four-dimensional de Sitter space-time times a compact manifold. Vacua for p=3, 7 or 8 are completely excluded, and we obtain tight constraints for p=4, 5, 6. This is achieved...

We show that the warped de Sitter compactifications are possible under certain conditions in D-dimensional gravitational theory coupled to a dilaton, a form field strength, and a cosmological constant. We find that the solutions of field equations give de Sitter spacetime with the warped structure, and discuss cosmological models directly obtained from these solutions. We also construct a cosmological model in the lower-dimensional effective theory. If there is a field streng...

We continue our study of codimension two solutions of warped space-time varying compactifications of string theory. In this letter we discuss a non-supersymmetric solution of the classical type IIB string theory with de Sitter gravity on a codimension two uncompactified part of spacetime. A non-zero positive value of the cosmological constant is induced by the presence of non-trivial stringy moduli, such as the axion-dilaton system for the type IIB string theory. Furthermore,...

We derive necessary criteria for the existence of classical, meta-stable, de Sitter solutions in flux compactifications of type II supergravity down to dimensions higher than four. We find that the possibilities in higher dimensions are much more restricted than in four dimensions. The only models that satisfy the criteria are derived from O6 compactifications to D=5,6 and O5 compactifications to D=5 and no meta-stable solutions can exist in dimensions higher than six. All th...

We argue that the heterotic string does not have classical vacua corresponding to de Sitter space-times of dimension four or higher. The same conclusion applies to type II vacua in the absence of RR fluxes. Our argument extends prior supergravity no-go results to regimes of high curvature. We discuss the interpretation of the heterotic result from the perspective of dual type II orientifold constructions. Our result suggests that the genericity arguments used in string landsc...