We construct AdS₄ flux vacua of type IIA string theory in the supergravity (large volume, small ) 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‐ 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.

中文翻译：

---

IIA型助焊剂真空中的O平面背反应和水垢分离

我们在超重力（大体积，小体积）状态（包括O6平面的反作用）中构造了IIA型弦理论的AdS ₄通量真空。我们的解决方案是DeWolfe，Giryavets，Kachru和Taylor等人研究的在Calabi‐Yau东方褶皱上的涂抹解决方案的本地化版本。我们发现，这些解决方案中的O平面反向反应会产生翘曲，变化的膨胀，非封闭的RR场强和内部曲率。就像被涂污的对等物一样，本地化解决方案也允许稳定的模量，对字符串校正的参数控制以及AdS和KK音阶之间的参数分隔。此外，我们的显式表达式还精确地描述了拖尾解决方案应近似于大容量，小容量解决方案中的精确解的常见知识。限制。最后，我们的解决方案似乎违反了最近关于超对称AdS真空中缺乏水垢分离的沼泽地猜想。我们进行了简单的观察，以解释为什么与字符串理论中的大多数其他AdS解决方案相比，这些解决方案中会发生这种情况。