A barren landscape?—Metastable de Sitter vacua are nongeneric in string theory

We consider the generation of a nonperturbative superpotential in F-theory compactifications with flux. We derive a necessary condition for the generation of such a superpotential in F theory. For models with a single volume modulus, we show that the volume modulus is never stabilized by either Abelian instantons or gaugino condensation. We then comment on how our analysis extends to a larger class of compactifications. From our results, it appears that among large volume string compactifications, metastable de Sitter vacua (should any exist) are nongeneric.