Mass production of type IIA dS vacua

A three-step procedure is proposed in type IIA string theory to stabilize multiple moduli in a dS vacuum. The first step is to construct a progenitor model with a localized stable supersymmetric Minkowski vacuum, or a discrete set of such vacua. It can be done, for example, using two non-perturbative exponents in the superpotential for each modulus, as in the KL model. A large set of supersymmetric Minkowski vacua with strongly stabilized moduli is protected by a theorem on stability of these vacua in absence of flat directions. The second step involves a parametrically small downshift to a supersymmetric AdS vacuum, which can be achieved by a small change of the superpotential. The third step is an uplift to a dS vacuum with a positive cosmological constant using the $\overline {D6}$-brane contribution. Stability of the resulting dS vacuum is inherited from the stability of the original supersymmetric Minkowski vacuum if the supersymmetry breaking in dS vacuum is parametrically small.
Comment: 30 pages, 3 figs. A section on string theory embedding of the new models is added, as well as some comments in Conclusions. This is the version matching the one to appear in JHEP