On scale separation in type II AdS flux vacua

We study the separation of AdS and Kaluza-Klein (KK) scales in type II 4d AdS orientifold vacua. We first address this problem in toroidal/orbifold type IIA vacua with metric fluxes, corresponding to compactifications in twisted tori, both from the 4d and 10d points of view. We show how the naive application of the effective 4d theory leads to results which violate the AdS distance conjecture, in a class of $\mathcal{N}=1$ supersymmetric models which have a 10d lifting to a compactification on $S^3\times S^3$. We show how using KK scales properly modified by the compact metric leads to no separation of scales with $M^2_{\text{KK}} = \mathfrak{c} |\Lambda|$, with $\mathfrak{c}$ a numerical constant independent of fluxes. This applies with no need to keep non-leading fluxes fixed. We also consider a class of IIB models with non-geometric fluxes in which the effective field theory analysisseems to lead to a naive separation of scales and a violation of the AdS distance conjecture. It has a T-dual which again may be understood as a 10d type IIA theory compactified on $S^3\times S^3$. In this geometric dual one again observes that the strong AdS distance conjecture is obeyed with $M^2_{\text{KK}} = \mathfrak{c}' |\Lambda|$, if one takes into account the curvature in the internal space. These findings seem to suggest that all toroidal/orbifold models with fluxes in this class obey $M^2_{\text{KK}} = \mathfrak{c} |\Lambda|$ with $\mathfrak{c}$ a flux-independent numerical constant.