O-plane Backreaction and Scale Separation in Type IIA Flux Vacua

We construct AdS$_4$ flux vacua of type IIA string theory in the supergravity (large volume, small $g_s$) regime, including the backreaction of O6-planes. Our solutions are the localized versions of the smeared solutions on Calabi-Yau orientifolds studied by DeWolfe, Giryavets, Kachru and Taylor and in other works. We find that the O-plane backreaction in these solutions generates warping, a varying dilaton, non-closed RR field strengths and internal curvature. Just like their smeared counterparts, the localized solutions admit stabilized moduli, a parametric control over string corrections and a parametric separation between the AdS and KK scales. Our explicit expressions furthermore make precise the common lore that smeared solutions should approximate the exact ones in the large-volume, small-$g_s$ limit. Finally, our solutions appear to violate a recent swampland conjecture about an absence of scale separation in supersymmetric AdS vacua. We make a simple observation explaining why this happens in these solutions in contrast to most other AdS solutions in string theory.