We introduce a method for finding flux vacua of type IIB string theory in which the flux superpotential is exponentially small and at the same time one or more complex structure moduli are stabilized exponentially near to conifold points.

In order to generalize the mechanism of [5] to include conifolds one has to overcome the following obstacle. Introducing fluxes on the conifold cycles generates a conifold superpotential W cf that by itself cannot be tuned to be small. Thus, the total flux superpotential will be small in string units only if the large conifold superpotential is efficiently canceled by a comparably large contribution W bulk generated by fluxes on other cycles, i.e. if 1 See e.g. [37] for an analysis of a de Sitter solution arising from an explicit flux vacuum.

We construct supersymmetric AdS4 vacua of type IIB string theory in compactifications on orientifolds of Calabi-Yau threefold hypersurfaces. We first find explicit orientifolds and quantized fluxes for which the superpotential takes the form proposed by Kachru, Kallosh, Linde, and Trivedi. Given very mild assumptions on the numerical values of the Pfaffians, these compactifications admit vacua in which all moduli are stabilized at weak string coupling. By computing high-degree Gopakumar-Vafa invariants we give strong evidence that the α′ expansion is likewise well-controlled. We find extremely small cosmological constants, with magnitude < 10−123 in Planck units. The compactifications are large, but not exponentially so, and hence these vacua manifest hierarchical scale-separation, with the AdS length exceeding the Kaluza-Klein length by a factor of a googol.

We analyze the de Sitter construction of [1] 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 [1].