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.

12 pages, 2 figures, important error in v1 corrected but main result unaltered; v3 sent to PRD; v4 version published in PRD, minor modifications for clarification