Fixing moduli in exact type IIA flux vacua

Type IIA flux compactifications with O6-planes have been argued from a four dimensional effective theory point of view to admit stable. moduli free solutions. Here the ten dimensional description of such vacua is described in details and exact supersymmetric solutions are presented in the case when the O6-charge is smoothly distributed: the geometry is Calabi-Yau and the dilaton is constant. In the localized case, the solution is shown to be half-flat, with non-Calabi-Yau metric but still with constant dilaton. Finally, using the 10d description it is shown how all moduli are stabilized, reproducing precisely the results of de Wolfe et al. [1]. The talk is based on [4].