Constructing stable de Sitter in M-theory from higher curvature corrections

We consider dimensional reductions of M-theory on T 7/Z 3 2 with the inclusion of arbitrary metric flux and spacetime filling KK monopoles. With these ingredients at hand, we are able to construct a novel family of non-supersymmetric yet tachyon free Minkowski extrema. These solutions are supported by pure geometry with no extra need for gauge fluxes and possess a fully stable perturbative mass spectrum, up to a single flat direction. Such a direction corresponds to the overall internal volume, with respect to which the scalar potential exhibits a no-scale behavior. We then provide a mechanism that lifts the flat direction to give it a positive squared mass while turning Mkw4 into dS4. The construction makes use of the combined effect of G7 flux and higher curvature corrections. Our solution is scale separated and the quantum corrections are small. Finally we speculate on novel possibilities when it comes to scale hierarchies within a given construction of this type, and possible issues with the choice of quantum vacuum.