A sufficient condition for de Sitter vacua in type IIB string theory

We derive a sufficient condition for realizing meta-stable de Sitter vacua with small positive cosmological constant within type IIB string theory flux compactifications with spontaneously broken supersymmetry. There are a number of `lamp post' constructions of de Sitter vacua in type IIB string theory and supergravity. We show that one of them -- the method of `K\"ahler uplifting' by F-terms from an interplay between non-perturbative effects and the leading $\alpha'$-correction -- allows for a more general parametric understanding of the existence of de Sitter vacua. The result is a condition on the values of the flux induced superpotential and the topological data of the Calabi-Yau compactification, which guarantees the existence of a meta-stable de Sitter vacuum if met. Our analysis explicitly includes the stabilization of all moduli, i.e. the K\"ahler, dilaton and complex structure moduli, by the interplay of the leading perturbative and non-perturbative effects at parametrically large volume.