No Arabic abstract
We find four-dimensional de Sitter compactifications of type IIA supergravity by directly solving the ten-dimensional equations of motion. In the simplest examples, the internal space has the topology of a circle times an Einstein manifold of negative curvature. An orientifold acts on the circle with two fixed loci, at which an O8$_-$ and an O8$_+$ plane sit. These orientifold planes are fully backreacted and localized. While the solutions are numerical, the charge and tension of the orientifold planes can be verified analytically. Our solutions have moduli at tree level and can be made parametrically weakly-coupled and weakly-curved. Their fate in string theory depends on quantum corrections.
We revisit the stringy construction of four-dimensional de-Sitter solutions using orientifolds O$8_{pm}$, proposed by Cordova et al. arXiv:1911.04498. While the original analysis of the supergravity equations is largely numerical, we obtain semi-analytic solutions by treating the curvature as a perturbative parameter. At each order we verify that the (permissive) boundary conditions at the orientifolds are satisfied. To illustrate the advantage of our result, we calculate the four-dimensional Newton constant as a function of the cosmological constant. We also discuss how the discontinuities at O$8_-$ can be accounted for in terms of corrections to the worldvolume action.
In previous work, we found ten-dimensional solutions to the supergravity equations of motion with a dS$_4$ factor and O8-planes. We generalize this analysis and obtain other solutions in the same spirit, with an O8$_+$ and an O6$_-$. We examine our original solutions in more detail, focusing in particular on the O8$_-$ singularities and on the issues created by their boundary conditions. We also point out some previously known supersymmetric AdS solutions with the same local behavior at their O8$_-$ singularity.
We analyze the de Sitter construction of cite{KKLT} using ten-dimensional supergravity, finding exact agreement with the four-dimensional effective theory. Starting from the fermionic couplings in the D7-brane action, we derive the ten-dimensional stress-energy due to gaugino condensation on D7-branes. We demonstrate that upon including this stress-energy, as well as that due to anti-D3-branes, the ten-dimensional equations of motion require the four-dimensional curvature to take precisely the value determined by the four-dimensional effective theory of cite{KKLT}.
It was recently proposed that type IIA string theory may allow classical de Sitter solutions with O8-planes as the only localized sources. We show that such solutions are incompatible with the integrated supergravity equations of motion, analogously to the no-go theorem due to Maldacena and Nu~{n}ez. We also discuss in detail divergences and discontinuities at the O8-plane positions and argue that they do not invalidate such an argument. We furthermore show that a recently proposed class of non-supersymmetric AdS solutions with O8-planes is in contrast with our results as well.
No-scale supergravity is the appropriate general framework for low-energy effective field theories derived from string theory. The simplest no-scale Kahler potential with a single chiral field corresponds to a compactification to flat Minkowski space with a single volume modulus, but generalizations to single-field no-scale models with de Sitter vacua are also known. In this paper we generalize these de Sitter constructions to two- and multi-field models of the types occurring in string compactifications with more than one relevant modulus. We discuss the conditions for stability of the de Sitter solutions and holomorphy of the superpotential, and give examples whose superpotential contains only integer powers of the chiral fields.