de Sitter space from dilatino condensates in massive IIA supergravity

We use the superspace formulation of (massive) IIA supergravity to obtain the explicit form of the dilatino terms, and we find that the quartic-dilatino term is positive. The theory admits a ten-dimensional de Sitter solution, obtained by assuming a nonvanishing quartic-dilatino condensate which generates a positive cosmological constant. Moreover, in the presence of dilatino condensates, the theory admits formal four-dimensional de Sitter solutions of the form dS(4) x M-6, where M-6 is a six-dimensional Kahler-Einstein manifold of positive scalar curvature.