Massive IIA flux compactifications and U-dualities

We attempt to find a rigorous formulation for the massive type IIA orientifold compactifications of string theory introduced in [1]. An approximate double T-duality converts this background into IIA string theory on a twisted torus, but various arguments indicate that the back reaction of the orientifold on this geometry is large. In particular, an AdS calculation of the entropy suggests a scaling appropriate for N M2-branes, in a certain limit of the compactification, though not the one studied in [1]. The M-theory lift of this specific regime is not 4 dimensional. We suggest that the generic limit of the background corresponds to a situation analogous to F-theory, where the string coupling is small in some regions of a compact geometry, and large in others, so that neither a long wavelength 11D SUGRA expansion, nor a world sheet expansion exists for these compactifications. We end with a speculation on the nature of the generic compactification.