We prove that there are finitely many families, up to isomorphism in codimension one, of elliptic Calabi-Yau manifolds Y -> X with a rational section, provided that dim(Y)
We study the possibility of realizing an effective sequestering between visible and hidden sectors in generic heterotic string models, generalizing previous work on orbifold constructions to smooth Calabi-Yau compactifications. In these theories, genuine s ...
We develop a method for constructing metastable de Sitter vacua in N = 1 supergravity models describing the no-scale volume moduli sector of Calabi-Yau string compactifications. We consider both heterotic and orientifold models. Our main guideline is the n ...