Explaining the Electroweak Scale and Stabilizing Moduli in M Theory

In a recent paper \cite{Acharya:2006ia} it was shown that in $M$ theory vacua without fluxes, all moduli are stabilized by the effective potential and a stable hierarchy is generated, consistent with standard gauge unification. This paper explains the results of \cite{Acharya:2006ia} in more detail and generalizes them, finding an essentially unique de Sitter (dS) vacuum under reasonable conditions. One of the main phenomenological consequences is a prediction which emerges from this entire class of vacua: namely gaugino masses are significantly suppressed relative to the gravitino mass. We also present evidence that, for those vacua in which the vacuum energy is small, the gravitino mass, which sets all the superpartner masses, is automatically in the TeV - 100 TeV range.