Abstract
We study supersymmetric AdS\(_3\) flux vacua of massive type-IIA supergravity on anisotropic G2 orientifolds. Depending on the value of the \(F_4\) flux the seven-dimensional compact space can either have six small and one large dimension such that the “external” space is scale-separated and effectively four-dimensional, or all seven compact dimensions small and parametrically scale-separated from the three external ones. Within this setup we also discuss the Distance Conjecture (including appropriate D4-branes), and highlight that such vacua provide a non-trivial example of the so-called strong Spin-2 Conjecture.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Deducing the existence of an effectively lower-dimensional theory of gravity from ten-dimensional (or eleven-dimensional) string/M-theory is both pivotal for realistic model building and also presents an interesting theoretical question on its own right. In particular, supersymmetric AdS vacua with scale separation are interesting for a variety of reasons: for example, in some cases such vacua can be uplifted to de Sitter [1], while in principle they are also of interest in holography.
The status of scale-separated AdS remains however unclear, even though one would expect supersymmetry to provide an advantage. For instance, the classical constructions with scale separation that appeared in [2] (see also [3,4,5,6,7] for closely related work) invoke type-IIA supergravity with Romans mass and (smeared) O6-planes, the latter possibly being an essential ingredient of scale separation in any case [8,9,10]. The consistency of each of these ingredients or their combination has also been under debate [11,12,13], while various steps in resolving or at least understanding some of the intricacies have been taken in [14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29]. More recently, an analysis of the holographic duals was performed in [30,31,32,33,34,35], and some extensions with anisotropies are discussed in [36, 37], where also massive type-IIA compactifications on toroidal orbifolds are presented and the possibility to have a T-dual orientifold desciption within massless type-IIA is highlighted. Controlled type-IIB vacua with scale separation are not known classically [38, 39], and the only known examples are the ones that require quantum corrections [1] (and have a series of open issues [40,41,42,43]), while there seems to be a scaling argument behind this difficulty [44]. Arguments from supergravity also indicate the difficulty in constructing scale-separated AdS with extended supersymmetry [45,46,47,48].Footnote 1 In the mean time AdS\(_3\) constructions with minimal supersymmetry and scale separation (but still with the same ingredients) have appeared in the literature [51,52,53,54].Footnote 2 For a pedagogical and up-to-date review of the status of flux vacua with moduli stabilization and scale separation see e.g. [58, 59].
In this work we will assume that smeared O6-planes are a consistent ingredient of flux compactifications and that there does exist an actual solution in string theory that is described in the low energy regime by such an approximation. In our constructions we will therefore build on the G2 orientifolds of [51] which originally give rise to scale-separated AdS\(_3\) vacua with a seven-dimensional (almost fully) isotropic compact internal space. However, our aim is to create a large anisotropy in the internal space such that: 1. Six of the internal dimensions, always maintaining large volume (to have a good supergravity approximation), become considerably small with respect to the typical length scale of the non-compact three-dimensional (AdS\(_3\)) external space, \(L_{\textrm{AdS}}\); 2. Only one becomes large and comparable in magnitude to the same \(L_{\textrm{AdS}}\). In this way the actual external space is four-dimensional whereas the six-dimensional internal one is scale-separated (not parametrically though) from the external one. When instead the \(F_4\) flux is made parametrically large, one recovers a seven-dimensional small internal compact space, albeit anisotropic, together with the AdS\(_3\) external space.
2 Massive type-IIA on G2 orientifolds
We will work within the general setup discussed in [51, 54]; therefore, here, we only need to mention the salient features of such flux compactifications and establish our conventions. (Let us also note right away that we fix \(\alpha '=1\)).
The setup is massive type-IIA supergravity compactified on a G2 space, which we take to be a toroidal orbifold \(X_7 = T^7/(Z_2)^3\) with coordinates \(\{y_i\}_{i=1,\dots ,7}\). The \(Z_2\) involutions generate a group \(\Gamma =\{\Theta _\alpha ,\Theta _\beta ,\Theta _\gamma \}\), and are defined as
one should also include in \(\Gamma \) all their combinations, e.g. \(\Theta _{\alpha \beta } = \Theta _{\alpha }\Theta _{\beta }\), etc.. Since the compact space is seven-dimensional, a three-dimensional non-compact space is left, which in [51, 54] is AdS\(_3\). Eventually the ten-dimensional Einstein-frame metric involved in the compactification has the form
and \(\text {Vol}(X_7) = \prod _{i=1}^7 r^i\). Such G2 compactification would in principle preserve four real Killing spinors,Footnote 3 but, because one also includes mutually supersymmetric O2/O6-planes in these constructions, the number of supersymmetry is further reduced by half. The O2-planes fill the non-compact space, whereas the O6-planes have three dimensions that fill the non-compact space while the remaining four wrap 4-cycles in the seven-dimensional compact space as follows:
where the “\(\times \)” indicates a direction parallel to the given O6-plane and the “−” a direction orthogonal to it. The O6-planes would be localized in a full string theory solution, but here we consider them to be smeared along those directions. The full construction works nicely making the O6-planes actually the images of the O2-planes under the \(\mathbb {Z}_2\) involutions.
Due to the various ingredients the only fluxes that can have non-zero background values are the \(F_4\) flux, the \(H_3\) flux and the Romans mass \(F_0\), which are properly expanded on the basis of harmonic forms with the correct parities. The harmonic three-forms
provide a proper basis for the \(H_3\) background flux and the harmonic four-forms \(\Psi _i\), which are defined by
provide the proper basis for the \(F_4\) flux. In the mean time the only allowed moduli are the dilaton and the seven radii \(r^i\) of the toroidal orbifold or, equivalently, the volumes of the seven 3-cycles \(\Phi _i\), which we will indicate as \(s^i\) and are defined as
All the other closed string scalars are automatically truncated due to the orbifold/orientifold action. We ignore the open string moduli here: we assume that, being compact, they will be stabilized independently at their supersymmetric positions.
In our analysis it is favorable to work with the moduli x, y (not to be confused with the \(y^i\) coordinates of the internal space) and \({\tilde{s}}^a\) (with \(a=1,\dots ,6\)), which have the following properties: the moduli x and y are a combination of the overall compact space volume \(\text {Vol}(X_7)\) and the dilaton \(\phi \), namely
Then, since we treat the volume \(\text {Vol}(X_7)\) as an independent modulus, one of the seven moduli \(s^i\) is made redundant and can be eliminated by working with the six \({\tilde{s}}^a\) scalars that are deduced from the relations
To recap, we have six independent “shape” moduli \({\tilde{s}}^a\) (with \(a=1,\dots ,6\)), while a seventh shape modulus, \({\tilde{s}}^7\), is given in terms of the other six.
Having discussed the moduli, let us turn to the tadpole conditions. The contribution of the O2-planes to the tadpole will be cancelled by appropriately distributed D2-branes, whereas the O6-plane contribution will be cancelled by fluxes. Therefore, from the Bianchi identity \(\textrm{d}F_6=0\) we have
due to vanishing net D2 charge. When integrating over each \(i\textrm{th}\) 3-cycle, the Bianchi identity \(\textrm{d}F_2=0\) is given by
where we have taken into account that \(N_{\textrm{O6}} = 2^3\) per 3-cycle. This setup has been analyzed extensively in [51, 54]: here, we refrain from getting into more details and refer the reader directly to the aforementioned articles.
With these ingredients the direct dimensional reduction of the ten-dimensional Einstein-frame action down to three dimensions produces the bosonic sector
where \(V(x,y,{\tilde{s}})\) indicates the three-dimensional scalar potential. The latter can also be described by a superpotential that can be found in [51] and will be presented momentarily. When deducing the metric of the moduli space of (2.11) one should not forget the restrictions (2.8).
3 AdS\(_3 \times \)S\(^1\) scale-separated vacua
3.1 Supersymmetric conditions
In this section, always referring to the base of harmonic forms, we work with the specific flux choices
such that \(H_3 \wedge F_4 \equiv 0\) and the O2-tadpole cancels indeed with D2-branes. We also include a Romans mass \(F_0=m\). Let us note that the parameters f and q can be made arbitrarily large and are not bounded by the tadpoles. Moreover, as far as our analysis is concerned, we are going to assume, consistently both with the tadpole cancellation condition and flux quantization, that \(f,q>0\) and that \(m,h<0\). This choice of signs for the fluxes is forced upon us, among other reasons, due to moduli stabilization. We could also have \(f,q<0\) and \(m,h>0\), which is the same setup, but we could not achieve moduli stabilization in our numerical examples if we assumed \(m>0\) and \(h<0\) (or vice-versa).
In order to achieve scale separation in the large volume and weak coupling regime we are going to use the large f limit, while we are going to take q large to make the seventh radius, i.e. \(r_7\), considerably bigger than the remaining compact dimensions. In that case four dimensions will be large and external (in the sense that the \(r_7\) KK-modes can not be ignored for a consistent low-energy EFT) while the other six will be made considerably smaller with a clear separation of the corresponding scales.
The flux quantization conditions, for \(\alpha '=1\), are
and from the cancellation of the O6-tadpole without any D6-branes we simply have \(KM=16\). As we noted earlier, in our setup we have \(m,h<0\), which means that \(K,M<0\); we will therefore sometimes denote \(-K=|K|\) and \(-M=|M|\).
For this setup the three-dimensional scalar potential can be written in terms of a real superpotential P that was derived in [51]. Furthermore, in [53] it was explicitly verified that minimizing this superpotential corresponds to solving the full ten-dimensional supersymmetry equations in the bispinor formalism. In terms of the \({\tilde{s}}^a\) moduli (with \(a=1,\dots ,6\)) the superpotential is
Having in mind supersymmetric critical configurations, let us observe that, since on a supersymmetric vacuum the vacuum energy is \(\langle V \rangle =-4P^2\), the AdS\(_3\) length scale is characterized by P as \(L_{\textrm{AdS}} = \frac{1}{\sqrt{\vert V \vert }} \sim P^{-1}\) (for a constant three-dimensional Planck mass, which here, and from now on, we set to be unit).
A supersymmetric vacuum requires to have \(P_x=P_y=P_a=0\). Once we perform the variations, we implement an ansatz for the various shape moduli \({\tilde{s}}^a\), each one associated with the volume of a corresponding 3-cycle, of the form
We further define
simply denoting \(\langle x \rangle = x_0\) and \(\langle y \rangle = y_0\). Let us furthermore remind the reader that \(\langle {\tilde{s}}^7 \rangle = 1 / \prod _{a=1}^6 \langle {\tilde{s}}^a \rangle \). Then, with the above definitions the supersymmetric equations lead to the following independent set of conditions:
and
Once the values of the various parameters have been determined, we can extract
which in turn give the dilaton \(\phi \) and the volume \(\text {Vol}(X_7)\) using (2.7). In particular,
It is clear from the above expressions that, when f is large enough, the volume can be made large and the coupling can be made weak. This happens because \(\mu \) and \(\chi \) are actually fully determined independently from the value of f as we will show momentarily in the next paragraph by analytically solving \(P_x=0=P_y\). (In our examples we explicitly verify this independence). Of course, one has to check the radii one-by-one and make sure that each one is independently large, in case the space is very anisotropic. We will do this in a while; for the moment, let us simply note that the actual volumes of the 3-cycles are given by \(s^i = \text {Vol}(X_7)^{3/7} {\tilde{s}}^i\).
We can solve the two equations of (3.6), which actually correspond to \(P_x=0=P_y\), to deduce
Substituting then (3.10) into (3.7) will give us three equations with four unknowns, i.e. (\(\sigma ,\rho ,\tau ,\gamma \)): as a result, we have one free parameter which can be conveniently chosen to be \(\gamma \) as it controls the relative anisotropy within the \(F_4\) flux components. It is precisely this freedom that will allow us to break scale separation in one compact dimension and thus make the external/large space effectively four-dimensional. The three equations that have to be solved are then
Ideally we would like to solve the equations in (3.11) analytically and express the solutions as functions of \(\gamma \), that is \(\sigma =\sigma (\gamma )\), \(\rho =\rho (\gamma )\) and \(\tau =\tau (\gamma )\), and further deduce from (3.10) \(\mu =\mu (\gamma )\) and \(\chi =\chi (\gamma )\). However, due to the highly nonlinear polynomial structure of (3.11) it does not seem possible to directly find its analytic solutions; therefore, from now on we will turn to numerical methods.
3.2 Proceeding numerically
As we already wrote, our aim is to achieve a large volume and weak coupling regime where the seventh radius \(r_7\) is made large, namely of the same order of magnitude of the AdS\(_3\) radius (or even bigger), and the remaining six radii \(r_a\) remain small. The comparison between the relevant KK-mode scales associated with each of the radii \(r_i\) and the AdS length scale \(L_{\textrm{AdS}}\) is made by a formula that is derived, for example, in [54]: for the lowest-lying KK-mode of a tower of states related to some radius \(r_i\),
and, as a consequence,
where \(|\langle V \rangle |=1/L_{\textrm{AdS}}^2\). As we are going to see exploring what happens for different values of \(\gamma \) and f, it is indeed possible to achieve
so that the large external space becomes four-dimensional (again in the sense that the \(r_7\) KK-modes cannot be ignored for a consistent EFT) and the small hidden space six-dimensional. In such cases the three-dimensional theory is not a good EFT and should be considered only as a consistent truncation; however, the vacuum equations are still valid because they are deduced from the superpotential (3.3), which also captures the full ten-dimensional supersymmetry conditions/vacuum equations as it is shown in [53].
We would like to emphasize that the anisotropy between the radius \(r_7\) and the other six radii \(r_a\) in our constructions is not parametric. This happens because such anisotropy is controlled by the parameter \(\gamma \) that is consistent with moduli stabilization only for a finite range of values. Nevertheless, as we sill see, within those values we could find quite a large anisotropy. It is not clear of course whether there could be another choice of fluxes that can make the anisotropy which singles out \(r_7\) parametric. (Such a setup does exist for the case of parametric scale separation between \(r_{2,4,6}\) and the rest of the radii; it was studied in [54]).
We would also like to stress that, once \(r_7\) is made of the same order of magnitude of \(L_{\textrm{AdS}}\), the large external space is not AdS\(_4\), but AdS\(_3\times \)S\(^1\), also underlying the fact that we have a supersymmetric vacuum with two (and not four) Killing spinors.
3.2.1 Having \(\gamma \sim \mathcal {O}(1)\) and (almost) no anisotropy
For values of \(\gamma \sim \mathcal {O}\)(1) it is easy to check that (almost) no anisotropy is generated between the seven radii \(r_i\): the system therefore behaves essentially like in [51]. Explicitly, solving the equations in (3.11) for \(\gamma = 1\), we find
Then, from (3.9) with the proper numerical values of \(\mu \) and \(\chi \) evaluated from (3.10) we can extract the behaviour of the string coupling
and the behaviour of the radii
and
By appropriately choosing the flux units we can end up having large internal volume \(\textrm{Vol}(X_7)\) (it is sufficient to take \(N^{7/16} |M|^{-3/16} |K|^{-1/4} \gg 1\)) and a small coupling \(g_s\). We also clearly notice that all the seven radii \(r_i\) are comparable in magnitude and therefore (almost) no anisotropy is generated yet.
In any case, since
for parametrically large N we can get parametric scale separation between the AdS\(_3\) external space and the seven-dimensional internal one. For example, consistently with the tadpoles, one can have \(K = -16\), \(M = - 1\) and \(N = 10^4\), or any other parametrically large value of N. The fact that for parametrically large N we recover AdS\(_3\) as external space is a general feature of the construction we are presenting here.
3.2.2 Intermediate \(\gamma \) values
To try to detach the seventh radius \(r_7\) from the other six internal radii \(r_a\) and make the former comparable in magnitude to the AdS length scale \(L_{\textrm{AdS}}\), we will now increase \(\gamma \) and consider the cases \(\gamma \sim \mathcal {O}(10^3)\) and \(\gamma \sim \mathcal {O}(10^6)\). This choice opens a window of values of N within which the above scenario can be realized. (When \(\gamma \) becomes smaller than \(\mathcal {O}(1)\), then \(r_5\) is detached; we analyze this in the appendix).
For the aforementioned values of \(\gamma \) the equations in (3.11), which determine the properties of the solution and verify moduli stabilization, are solved for the values of \(\sigma \), \(\rho \) and \(\tau \) that we present in Table 1. For such values, from (3.9) and with the proper \(\mu \) and \(\chi \) evaluated thanks to (3.10), we can consequently estimate \(g_s\) to be
(which is roughly the same for both the values of \(\gamma \) under consideration). In addition, the radii take the values that we gather in Table 2. From (3.20) and Table 2 we readily see that the large volume (i.e. large radii) and weak coupling regime can be realized by adopting appropriate choices of the flux units, e.g. by choosing (always in accordance with the tadpole cancellation condition) \(K=-16\), \(M=-1\) and N sufficiently large.
As already emphasized, the arbitrarily parametrically large N limit always leads to full scale separation. At this stage, however, we would like to understand if for some moderate (but still sufficiently large) value of N only six of the compact dimensions can remain small while the seventh one can become of the same order of magnitude of the AdS\(_3\) length scale (or even larger). This means that we want to investigate whether
More precisely, we have the ratios
which offer a wide range of values of N that can be checked. Indeed, when (once more) fixing \(K = -16\) and \(M = -1\), we find, for \(\gamma = 10^3\), the results that are presented in Table 3, and, for \(\gamma = 10^6\), we find the values that are reported in Table 4, together with the relative behaviour of the string coupling and the other radii. We observe that, as \(\gamma \) increases, the possibility to decouple the seventh radius \(r_7\) from the other six radii \(r_a\) becomes more and more achievable, with a simultaneous extension of the range of the values of N (once K and M have been fixed) we can refer to.
3.2.3 Large \(\gamma \) values and maximal anisotropy
In this subsection we will work with \(\gamma \sim \mathcal {O}(10^9)\). This is roughly the largest value that \(\gamma \) can have while keeping moduli stabilization intact. Indeed, from our numerics we see that \(\gamma \approx 2.5305 \times 10^9\) appears to (approximately) be the limiting value that \(\gamma \) can take before solutions to the extremization of (3.3) with the ansatz (3.4) cease to exist.
Solving the equations in (3.11) we get the results presented in Table 5, together with
and the values presented in Table 6 as far as the radii \(r_i\) are concerned. We can also check that a consistent anisotropy, where only six of the compact dimensions remain small while the seventh one becomes of the same order of magnitude of the AdS\(_3\) length scale (or even larger) can be achieved. Focusing, as a matter of illustration, on \(\gamma = 10^9\), we search for a realization of
We also choose to keep the same K and M units of flux as before, i.e.
so that the tadpole cancellation condition is satisfied and we can simply vary the value of N.
In particular, if we take \(N \sim 10^{19}\), we find (always in appropriate string-length units, since \(\alpha '=1\))
and
As we expect, because the characteristic length scale associated with \(r_7\) is comparable to the AdS\(_3\) length scale, the previous relation shows that the external space becomes effectively four-dimensional (that is, the \(r_7\) KK-modes can not be ignored), while the internal space is six-dimensional and it is scale-separated from the large external one.
It is also possible to choose values of N such that a different separation of scales is achieved, of the form
For example, when \(N \sim 10^{9}\),
and
The four-dimensional external space is again AdS\(_3 \times \)S\(^1\), still well scale-separated from the six-dimensional internal one; however, since the radius of the seventh compact dimension is larger than the AdS length scale, one could say that the external space effectively becomes AdS\(_3 \times \mathbb {R}^1\).
We note once more that, when the integer N takes parametrically large values, even though the compact space may remain highly anisotropic, scale separation makes the internal space seven-dimensional and the external space AdS\(_3\).
Moreover, let us observe that our flux choices do not exhaust all the possible options that would give such an anisotropy; we leave a general scan of the various possibilities for future work.
4 Mass spectrum
We now turn to the study of the mass spectrum of the model of interest focusing on the closed string moduli that we considered until now. Once we divide the masses of the scalar fields x, y and \({\tilde{s}}^a\) by the vacuum energy, we see that the analysis does not depend on the specific choice of the units N of the \(F_4\) flux, but only on \(\mu \), \(\chi \) and \(\gamma \). Therefore here we will collect some results and considerations involving the mass spectrum of the model simply as \(\gamma \) takes the values \(\gamma = 1\), \(10^3\), \(10^6\) and \(\gamma \sim \mathcal {O}(10^9)\). We should remember of course that the relative magnitude of the \(r_7\) KK-mode masses compared to the AdS length scale depends on N. This means that depending on the value of N the three-dimensional theory with only the x, y and \({\tilde{s}}^a\) is either a consistent truncation of a four-dimensional theory or an actual three-dimensional effective theory.
As anticipated, for the evaluation of the masses we will proceed by considering the AdS\(_3\) construction with the eight moduli x, y and \({\tilde{s}}^a\). We will firstly focus on the \(\gamma =10^9\) case since it is the circumstance with the larger window for the values of N and thus covers all the interesting cases.
The scalar potential takes the form
with
and
From here we evaluate the Hessian matrix and its eigenvalues:
where the eight indices I, J run over the x, y and \(\tilde{s}^a\). Moreover, once the fields have been properly normalized, we get
the matrix \(K_{IJ}\) being
Let us importantly observe that, once the modes have been canonically normalized, the tachyon respects the Breitenlohner–Freedman (BF) bound, which for AdS\(_3\) is
In the case at hand we see that the canonically normalized tachyon mass is \((m^2 L_{\textrm{AdS}}^2)_{\text {tachyon}}\) \(\simeq -0.998 > - 1\). Interestingly, the possibly generic existence of a tachyonic scalar mode within specific AdS setups was investigated in [25] within the scope of the so-called AdS-TCC (or ATCC).
In Table 7 we present the normalized masses of the scalars x, y and \({\tilde{s}}^a\) as the parameter \(\gamma \) takes also the values 1 (when the seven-dimensional internal space is almost isotropic), \(10^3\), \(10^6\), repeating the \(\gamma =10^9\) for comparison, and including also the limiting case \(\gamma =2.5305 \times 10^9\). A negative mass eigenvalue is present in all these cases and its value is always above the Breitenlohner–Freedman bound. Looking at the behaviour of this mass, one could suspect that for some value of \(\gamma \) around \(2.5305 \times 10^9\) the BF bound may be saturated by the tachyonic scalar, giving precisely (\(m^2 L_{\textrm{AdS}}^2\))\(_{\textrm{tachyon}} = - 1\), while above such critical value of \(\gamma \) supersymmetric vacua of (3.3) within (3.4) cease to exist. However, without an analytic solution for (3.11), we can not verify this explicitly.
5 Swampland considerations
As we have seen by analysing the mass spectrum of the model under consideration, our setup provides a realization of the conjectured negative mass of [25]. We can now discuss some further interesting aspects of the Swampland Program within our construction, related (in particular) to the Distance Conjecture and the Spin-2 Conjecture.
5.1 The Distance Conjecture
Clearly, it is interesting to study the interpolation between the vacua that are characterized by full scale separation and those ones that have a large radius, and see how the KK-modes behave. This can be done by following the setup of [26, 60],Footnote 4 varying the value of N with the use of D4-branes while keeping \(\gamma \) fixed. Specifically, for appropriate (and fixed) values of \(\gamma \) and when N is not parametrically large, we have a large value of \(r_7\); by increasing N, we appreciate that full scale separation takes place, while the tower of KK-modes has, as we will see, an exponentially dropping mass to realize the Distance Conjecture.
To be precise, let us remind the reader that we have
and \(H_3= (2 \pi )^2 K \sum _i \Phi _i\). Similarly to [26], where it is shown that with the inclusion of appropriate D4-branes the value of N can change at the cost of introducing a new scalar in the moduli space, let us consider \(\tilde{\textrm{N}}_i\) D4-branes wrapping the three-dimensional external space and a 2-cycle within an internal 3-cycle \(\Sigma _{3,i}\).Footnote 5 We furthermore parametrize the metric as
where \(\psi _i\) is the transverse coordinate to the 2-cycle along (\(y^m\), \(y^n\)), which the D4-brane occupies within \(\Sigma _{3,i}\). Here the real scalar v is a convenient rewriting of the volume modulus with
where the constants \(\alpha \) and \(\beta \) take the values \(\alpha =\sqrt{7}/4\) and \(\beta =-1/(4 \sqrt{7})\).
The full D4-brane action in the Einstein frame then takes the form
with
the tension of a D4-brane being \(T_4 = \frac{1}{(2\pi )^4}\) (as its charge), once \(\alpha '=1\). In the absence of world-volume flux and expressing the \(B_2\) field as
which has to satisfy \(\int _{\Sigma _{3,i}} \textrm{d}B_{2,i} = h = (2\pi )^2 K\) and for which \(U_i(\textrm{sgn}({{\tilde{N}}}_i)\pi f) = \textrm{sgn}({{\tilde{N}}}_i) f h\) (in order to resolve the anomaly due to the potential appearance of a net D2 charge), we get
or
where we have rescaled the three-dimensional metric \(g^{(3)}_{\mu \nu }\) as \(g^{(3)}_{\mu \nu } \rightarrow \frac{(2\pi )^{14}}{4} g^{(3)}_{\mu \nu }\) to make contact with the standard conventions for three-dimensional supergravity theories, and the “dots” stand for terms that do not play a role for the upcoming discussion. From the expression above we can extract the field space metric of the position scalar \(\psi _i\) that is
Other than \(g_{\psi _i\psi _i}\), in order to evaluate the distance between the vacuum where a radius (e.g. \(r_7\)) is large and the one where full scale separation is realized, we need the metric components \(g_{\phi \phi }\), \(g_{vv}\) and \(g_{{{\tilde{s}}}^a {\tilde{s}}^b}\), which can be extracted from the dimensionally reduced ten-dimensional action over the G2 space, once the fields \(\phi \), v and \(\tilde{s}^a\) have been canonically normalized:
The field space distance of interest is
where the indices \(\mathcal {I}, \mathcal {J}\) run over the fields \(\varphi = \{\psi _i, \phi , v, {{\tilde{s}}}^a\}\) and \(g_{\mathcal {I}, \mathcal {J}}\) denotes the corresponding metric element. By exploiting reparametrization invariance we can impose that \(\zeta =0\) corresponds to the circumstance where the radius \(r_7\) is large and \(\zeta =1\) is associated with the realization of full scale separation. When considering the contributions from the relevant 3-cycles \(\Sigma _{3,i} \equiv \Phi _i\) for \(i = 1,...7\), and redefining \(\sigma \), \(\rho \) and \(\tau \) as
we get
Keeping in mind that we are simply interested in extracting how \(\Delta \) scales with N and considering the numerical results of Sect. 3.2, let us massage the previous expression by grouping the 3-cycles \(\Sigma _{3,i}\) according to their approximate size: in particular, we are going to set \(s_1 = s_2 = s_3 = e^{3\beta v} \sigma = e^{3\beta v + 3\,s}\) and \(s_4 = e^{3\beta v} \rho = e^{3\beta v + 3r} \sim e^{3\beta v + 3t} = e^{3\beta v} \tau = s_5 = s_6 \sim s_7\); we will denote as \({{\hat{s}}}_1\) and \({{\hat{s}}}_2\) the typical sizes of these two classes of 3-cycles. Moreover, we will refer to the position scalars corresponding to such two groups as \({{\hat{\psi }}}_1\) and \({{\hat{\psi }}}_2\), respectively. Then, if \(r \sim t \simeq u\),
Let us importantly observe that, since the functions \(w_i(\psi _i)\) and \(U_i(\psi _i)\) do not scale with N, and because of the scalings with N of \(e^{\phi }\) and \(e^{\beta v}\),
the factor \(e^{-\phi -4\beta v}\), which carries the dependence on N and accompanies \({{\hat{U}}}_k({{\hat{\psi }}}_k)^2\), being \(\mathcal {O}(N^{-1})\), i.e. consistently suppressed for large N. As a consequence, we obtain
where we also exploited the following field re-definitions:
In order to identify the geodesic path we have to recognize (at least approximately) the geometric structure of the scalar field space under consideration. To this end we firstly observe that the second term in the first line of (5.16) is highly suppressed, by \(e^{4u-4\,s} \sim \left( \frac{\rho }{\sigma }\right) ^{\frac{4}{3}} \sim \left( \frac{\tau }{\sigma }\right) ^{\frac{4}{3}} \ll 1\), with respect to the term that precedes it in the same (5.16)Footnote 6. We are therefore going to ignore such contribution from the open string moduli sector and retain only that associated with the bigger internal 3-cycles, with volumes \(s_1\), \(s_2\) and \(s_3\). This being established, we have to perform some useful field transformations. We trade s for
and we further rescale \({\breve{s}}\) and u as
Moreover, we can perform an O(4) transformation via the orthogonal matrixFootnote 7
so that
Then, after redefining \({{\hat{\psi }}}_1\) to be
we get
By further redefining \(z_1\) so that \({{\hat{h}}}_2 = e^{-z_1}\) the distance \(\Delta \) takes the form
The geodesic path can thus be approximated as
with
and
so that the geodesic distance is estimated to be
where the coefficients \(\{d_j\}_{j=1,3,5,7}\) are determined by the boundary values of the fields \({{\hat{h}}}_1\), \({{\hat{h}}}_2\), \(z_2\), \(z_3\) and \(z_4\) corresponding to the two vacuum configurations we are interpolating between, namely the one where a radius (e.g. \(r_7\)) is large (at \(\zeta =0\)) and the one where full scale separation is achieved (at \(\zeta =1\)). Accounting for the scalings (up to numerical factors)
we can deduce, again up to numerical factors, the behaviours
so that
and eventually
\(\delta \) being a numerical coefficient that can be crudely estimated to be \(\delta \simeq 24.6\). The crucial result here is the logarithmic behaviour, which is precisely the way \(\Delta \) should scale with N, if the Distance Conjecture
is realized. This happens because we already have
as one can easily infer from (3.12) accounting for the scaling with N of the volume \(\textrm{Vol}(X_7)\) and the radii \(r_i\).
We conclude that for the highly anisotropic vacua under analysis the Distance Conjecture is realized, always with the inclusion of the appropriate D4-branes. This distance is along the path that connects AdS\(_3\times \)S\(^1\) and fully scale-separated AdS\(_3\), with the tower of the \(r_7\) KK-modes turning full scale separation on and off.
5.2 The Strong Spin-2 Conjecture
A further interesting connection of our work with the Swampland Program has to do with the Strong Spin-2 Conjecture [62], which states that in any theory with massive spin-2 fields there has to be a tower of states related to the massive spin-2 modes even in the absence of a massless spin-2 excitation. Indeed, since standard gravity in three dimensions does not have local excitations (i.e. there are no massless gravitons), the only spin-2 states are the ones related to the KK-modes of the graviton. Since they are KK-modes, these states essentially form a tower that has as characteristic mass scale the mass of the lowest one, which also defines the cut-off of the three-dimensional effective theory \(\Lambda _{\textrm{UV}}\sim m_{\mathrm{spin-2}}\). In AdS space having such low cut-off is not an inconsistency per se, if one is protected by supersymmetry; it just means that the system is not inherently three-dimensional. In this way our construction provides a non-trivial example in favour of [62].
This observation also tells us that, even though we have been able to find AdS\(_3\times \)S\(^1\) solutions, we would not be able to find dS\(_3\times \)S\(^1\) solutions within a controlled setup. This happens because, if we were able to have dS\(_3\) and to lower the KK-modes such that \(m_{\mathrm{spin-2}} \ll H\), then we would also have \(\Lambda _{\textrm{UV}} \ll H\) which signals an inherent inconsistency for de Sitter. Actually, such an inconsistency can be directly deduced from the Higuchi bound [63], which in three dimensions is
Therefore, one can never make a single radius parametrically grow in de Sitter and break scale separation as we did here for the AdS case.
6 Discussion
In this work we have studied classical flux vacua of massive type-IIA supergravity with appropriate numbers of branes and orientifold planes. All the constructions that we have analyzed are characterized by proper flux quantization, closed string moduli stabilization, large volume and weak coupling, while the O6-planes are smeared. In such setup the compact space is a seven-dimensional G2 toroidal orbifold and the non-compact space is AdS\(_3\). Our aim was to find configurations that induce a considerable anisotropy in the compact space such that one dimension can become large and comparable to the non-compact space length scale, whereas the other six dimensions become considerably smaller than the non-compact space length scale. In this way the original ten-dimensional space reduces to a product of a large four-dimensional external one and a small six-dimensional one, with (non-parametric) scale separation between the two. When, instead, the \(F_4\) flux takes parametrically large values we recover AdS\(_3\) parametrically scale-separated from the seven-dimensional internal space, while preserving (as \(\gamma \) is fixed) the amount of anisotropy between one of the internal dimensions (e.g. \(L_{\textrm{KK},7}\)) and the remaining six ones (i..e. \(L_{\textrm{KK},a}\)). This behaviour can be schematically described by the figure below for some \(F_4\) flux N (N’ being the value that allows one large radius):
This happens because such vacua have the interesting property that, while N increases, both \(L_{\textrm{KK},i}\) and \(L_{\textrm{AdS}}\) increase; however, their ratio changes proportionally to \(L_{\textrm{KK},i}^2 / L_{\textrm{AdS}}^2 \sim 1/N\), thus always restoring full scale separation at parametrically large N.
Our work leaves a series of open questions for future investigation. Firstly, a full analysis of all types of flux vacua that can be constructed from the G2 orientifold of [51] is missing. The full list of choices that one can make for the \(F_4\) and the \(H_3\) flux are still not classified; any development in that direction would be welcome. Secondly, in all of these constructions the open string moduli are assumed to be stabilized. However, a careful analysis that checks this and clarifies the full moduli space and superpotential would be interesting. Thirdly, we are still working with a toroidal orbifold here; the explicit study of different G2 spaces or G2-structure manifolds is still an open question (however, see [56] for general conditions on the G2-structure from type-IIB), and the only explicit development providing a superpotential in this direction was the analysis of type-IIB supergravity on co-calibrated G2 toroidal orbifolds with O5/O9-planes [39], while a general superpotential for such type-II constructions was derived in [53]. Finally, as far as the more fundamental issues are concerned, one could try to go to higher orders in the O6-plane backreaction since, for the moment, only the leading order was analyzed in [52].
Data Availability Statement
The manuscript has associated data in a data repository. [Authors’ comment: This is a theoretical investigation and therefore there are no data related to it.]
Notes
More concretely, one can think of this in terms of gravitini such that the counting is valid also when supersymmetry is spontaneously broken.
For another perspective on the evaluation of the distance see also [61].
We will not discuss here the scaling of the potential to justify the use of such D4-branes within the effective description: it is fairly accepted at this point that D4-branes are admitted and facilitate the flux jump. In any case we do not have more convincing or newer arguments to offer on top of the ones presented in [26].
This, in accordance to the numerical results of Sect. 3.2 when considering, for instance, the (relevant) cases \(\gamma = 10^{3}, 10^6\) or \(\gamma \sim \mathcal {O}(10^9)\).
As required by the orthogonal group, the matrix O is satisfies \(O O^T = (\text {det}[O])^{\frac{1}{2}} \mathbb {1}_4\).
References
S. Kachru, R. Kallosh, A.D. Linde, S.P. Trivedi, De Sitter vacua in string theory. Phys. Rev. D 68, 046005 (2003). arXiv:hep-th/0301240
O. DeWolfe, A. Giryavets, S. Kachru, W. Taylor, Type IIA moduli stabilization. JHEP 07, 066 (2005). arXiv:hep-th/0505160
K. Behrndt, M. Cvetic, General N=1 supersymmetric fluxes in massive type IIA string theory. Nucl. Phys. B 708, 45–71 (2005). arXiv:hep-th/0407263
J.P. Derendinger, C. Kounnas, P.M. Petropoulos, F. Zwirner, Superpotentials in IIA compactifications with general fluxes. Nucl. Phys. B 715, 211–233 (2005). arXiv:hep-th/0411276
D. Lust, D. Tsimpis, Supersymmetric AdS(4) compactifications of IIA supergravity. JHEP 02, 027 (2005). arXiv:hep-th/0412250
P.G. Camara, A. Font, L.E. Ibanez, Fluxes, moduli fixing and MSSM-like vacua in a simple IIA orientifold. JHEP 09, 013 (2005). arXiv:hep-th/0506066
C. Caviezel, P. Koerber, S. Kors, D. Lust, D. Tsimpis, M. Zagermann, The effective theory of type IIA AdS(4) compactifications on nilmanifolds and cosets. Class. Quantum Gravity 26, 025014 (2009). arXiv:0806.3458 [hep-th]
D. Tsimpis, Supersymmetric AdS vacua and separation of scales. JHEP 08, 142 (2012). arXiv:1206.5900 [hep-th]
F.F. Gautason, M. Schillo, T. Van Riet, M. Williams, Remarks on scale separation in flux vacua. JHEP 03, 061 (2016). arXiv:1512.00457 [hep-th]
D. Lüst, D. Tsimpis, \({\text{ AdS }}_{2}\) type-IIA solutions and scale separation. JHEP 07, 060 (2020). arXiv:2004.07582 [hep-th]
T. Banks, K. van den Broek, Massive IIA flux compactifications and U-dualities. JHEP 03, 068 (2007). arXiv:hep-th/0611185
J. McOrist, S. Sethi, M-theory and type IIA flux compactifications. JHEP 12, 122 (2012). arXiv:1208.0261 [hep-th]
D. Lüst, E. Palti, C. Vafa, AdS and the Swampland. Phys. Lett. B 797, 134867 (2019). arXiv:1906.05225 [hep-th]
B.S. Acharya, F. Benini, R. Valandro, Fixing moduli in exact type IIA flux vacua. JHEP 02, 018 (2007). arXiv:hep-th/0607223
J. Blaback, U.H. Danielsson, D. Junghans, T. Van Riet, T. Wrase, M. Zagermann, Smeared versus localised sources in flux compactifications. JHEP 12, 043 (2010). arXiv:1009.1877 [hep-th]
F. Saracco, A. Tomasiello, Localized O6-plane solutions with Romans mass. JHEP 07, 077 (2012). arXiv:1201.5378 [hep-th]
A. Font, A. Herráez, L.E. Ibáñez, On scale separation in type II AdS flux vacua. JHEP 03, 013 (2020). arXiv:1912.03317 [hep-th]
D. Junghans, O-plane backreaction and scale separation in type IIA flux vacua. Fortsch. Phys. 68(6), 2000040 (2020). arXiv:2003.06274 [hep-th]
G. Buratti, J. Calderon, A. Mininno, A.M. Uranga, Discrete symmetries, weak coupling conjecture and scale separation in AdS vacua. JHEP 06, 083 (2020). arXiv:2003.09740 [hep-th]
F. Marchesano, E. Palti, J. Quirant, A. Tomasiello, On supersymmetric \({\text{ AdS }}_{4}\) orientifold vacua. JHEP 08, 087 (2020). arXiv:2003.13578 [hep-th]
S. Baines, T. Van Riet, Smearing orientifolds in flux compactifications can be OK. Class. Quantum Gravity 37(19), 195015 (2020). arXiv:2005.09501 [hep-th]
G.B. De Luca, A. Tomasiello, Leaps and bounds towards scale separation. JHEP 12, 086 (2021). arXiv:2104.12773 [hep-th]
N. Cribiori, D. Junghans, V. Van Hemelryck, T. Van Riet, T. Wrase, Scale-separated AdS4 vacua of IIA orientifolds and M-theory. Phys. Rev. D 104(12), 126014 (2021). arXiv:2107.00019 [hep-th]
D. Andriot, L. Horer, P. Marconnet, Exploring the landscape of (anti-) de Sitter and Minkowski solutions: group manifolds, stability and scale separation. JHEP 08, 109 (2022). arXiv:2204.05327 [hep-th]. [erratum: JHEP 09, 184 (2022)]
D. Andriot, L. Horer, G. Tringas, Negative scalar potentials and the swampland: an anti-trans-Planckian censorship conjecture. JHEP 04, 139 (2023). arXiv:2212.04517 [hep-th]
G. Shiu, F. Tonioni, V. Van Hemelryck, T. Van Riet, AdS scale separation and the distance conjecture. JHEP 05, 077 (2023). arXiv:2212.06169 [hep-th]
I. Basile, C. Montella, Domain walls and distances in discrete landscapes. arXiv:2309.04519 [hep-th]
D. Andriot, G. Tringas, Extensions of a scale separated \({\text{ AdS }}_4\) solution and their mass spectrum. arXiv:2310.06115 [hep-th]
D. Junghans, A note on O6 intersections in AdS flux vacua. arXiv:2310.17695 [hep-th]
J.P. Conlon, S. Ning, F. Revello, Exploring the holographic Swampland. JHEP 04, 117 (2022). arXiv:2110.06245 [hep-th]
F. Apers, M. Montero, T. Van Riet, T. Wrase, Comments on classical AdS flux vacua with scale separation. JHEP 05, 167 (2022). arXiv:2202.00682 [hep-th]
F. Apers, J.P. Conlon, S. Ning, F. Revello, Integer conformal dimensions for type IIa flux vacua. Phys. Rev. D 105(10), 106029 (2022). arXiv:2202.09330 [hep-th]
J. Quirant, Noninteger conformal dimensions for type IIA flux vacua. Phys. Rev. D 106(6), 066017 (2022). arXiv:2204.00014 [hep-th]
E. Plauschinn, Mass spectrum of type IIB flux compactifications—comments on AdS vacua and conformal dimensions. JHEP 02, 257 (2023). arXiv:2210.04528 [hep-th]
F. Apers, Aspects of AdS flux vacua with integer conformal dimensions. JHEP 05, 040 (2023). arXiv:2211.04187 [hep-th]
R. Carrasco, T. Coudarchet, F. Marchesano, D. Prieto, New families of scale separated vacua. arXiv:2309.00043 [hep-th]
G. Tringas, Anisotropic scale-separated \({\text{ AdS }}_4\) flux vacua. arXiv:2309.16542 [hep-th]
M. Petrini, G. Solard, T. Van Riet, AdS vacua with scale separation from IIB supergravity. JHEP 11, 010 (2013). arXiv:1308.1265 [hep-th]
M. Emelin, F. Farakos, G. Tringas, Three-dimensional flux vacua from IIB on co-calibrated G2 orientifolds. Eur. Phys. J. C 81(5), 456 (2021). arXiv:2103.03282 [hep-th]
U.H. Danielsson, T. Van Riet, What if string theory has no de Sitter vacua? Int. J. Mod. Phys. D 27(12), 1830007 (2018). arXiv:1804.01120 [hep-th]
F.F. Gautason, V. Van Hemelryck, T. Van Riet, The tension between 10D supergravity and dS uplifts. Fortsch. Phys. 67(1–2), 1800091 (2019). arXiv:1810.08518 [hep-th]
Y. Hamada, A. Hebecker, G. Shiu, P. Soler, On brane gaugino condensates in 10d. JHEP 04, 008 (2019). arXiv:1812.06097 [hep-th]
X. Gao, A. Hebecker, D. Junghans, Control issues of KKLT. Fortsch. Phys. 68, 2000089 (2020). arXiv:2009.03914 [hep-th]
M. Emelin, Effective theories as truncated trans-series and scale separated compactifications. JHEP 11, 144 (2020). arXiv:2005.11421 [hep-th]
M.B. Green, H. Ooguri, J.H. Schwarz, Nondecoupling of maximal supergravity from the superstring. Phys. Rev. Lett. 99, 041601 (2007). arXiv:0704.0777 [hep-th]
N. Cribiori, G. Dall’Agata, Weak gravity versus scale separation. JHEP 06, 006 (2022). arXiv:2203.05559 [hep-th]
N. Cribiori, C. Montella, Quantum gravity constraints on scale separation and de Sitter in five dimensions. arXiv:2303.04162 [hep-th]
N. Cribiori, F. Farakos, Supergravity EFTs and swampland constraints. PoS CORFU2022, 167 (2023). arXiv:2304.12806 [hep-th]
F. Apruzzi, G. Bruno De Luca, G. Lo Monaco, C.F. Uhlemann, Non-supersymmetric \({\text{ AdS }}_{6}\) and the swampland. JHEP 12, 187 (2021). arXiv:2110.03003 [hep-th]
F. Apruzzi, G. Bruno De Luca, A. Gnecchi, G. Lo Monaco, A. Tomasiello, On \({\text{ AdS }}_{7}\) stability. JHEP 07, 033 (2020). arXiv:1912.13491 [hep-th]
F. Farakos, G. Tringas, T. Van Riet, No-scale and scale-separated flux vacua from IIA on G2 orientifolds. Eur. Phys. J. C 80(7), 659 (2020). arXiv:2005.05246 [hep-th]
M. Emelin, F. Farakos, G. Tringas, O6-plane backreaction on scale-separated Type IIA \({\text{ AdS }}_{3}\) vacua. JHEP 07, 133 (2022). arXiv:2202.13431 [hep-th]
V. Van Hemelryck, Scale-separated AdS3 vacua from G2-orientifolds using bispinors. Fortsch. Phys. 70(12), 2200128 (2022). arXiv:2207.14311 [hep-th]
F. Farakos, M. Morittu, G. Tringas, On/off scale separation. JHEP 10, 067 (2023). arXiv:2304.14372 [hep-th]
G. Dibitetto, G. Lo Monaco, A. Passias, N. Petri, A. Tomasiello, \({\text{ AdS }}_3\) solutions with exceptional supersymmetry. Fortsch. Phys. 66(10), 1800060 (2018). arXiv:1807.06602 [hep-th]
A. Passias, D. Prins, On supersymmetric \({\text{ AdS }}_{3}\) solutions of type II. JHEP 08, 168 (2021). arXiv:2011.00008 [hep-th]
N.T. Macpherson, A. Tomasiello, \( \cal{N} \) = (1, 1) supersymmetric \({\text{ AdS }}_{3}\) in 10 dimensions. JHEP 03, 112 (2022). arXiv:2110.01627 [hep-th]
T. Van Riet, G. Zoccarato, Beginners lectures on flux compactifications and related Swampland topics. arXiv:2305.01722 [hep-th]
T. Coudarchet, Hiding the extra dimensions: a review on scale separation in string theory. arXiv:2311.12105 [hep-th]
G. Shiu, F. Tonioni, V. Van Hemelryck, T. Van Riet, Connecting flux vacua through scalar field excursions. arXiv:2311.10828 [hep-th]
Y. Li, E. Palti, N. Petri, Towards AdS distances in string theory. JHEP 08, 210 (2023). arXiv:2306.02026 [hep-th]
D. Klaewer, D. Lüst, E. Palti, A spin-2 conjecture on the Swampland. Fortsch. Phys. 67(1–2), 1800102 (2019). arXiv:1811.07908 [hep-th]
A. Higuchi, Forbidden mass range for spin-2 field theory in de Sitter space-time. Nucl. Phys. B 282, 397–436 (1987)
Acknowledgements
FF thanks the Physics Division of NTUA for the hospitality during the completion of this work. MM is partially supported by the Ministry of Science and Universities through the Spanish Grant MCIU-22-PID2021-123021NB-I00 and by FICYT through the Asturian Grant SV-PA-21-AYUD/2021/52177.
Author information
Authors and Affiliations
Corresponding author
Small \(\gamma \) values with different anisotropy
Small \(\gamma \) values with different anisotropy
As a complement to what we discussed in the bulk of the paper, it is interesting to investigate what happens when \(\gamma \) takes small values. For the sake of the presentation, we will focus on two representative values of \(\gamma \), namely \(\gamma = 10^{-3}\) and \(\gamma = 5 \times 10^{-6}\) (being conscious of the fact that for \(\gamma \sim 4 \times 10^{-6}\) moduli stabilization of (3.3) within the ansatz (3.4) ceases to exist, and that, since \(q= \gamma f\), \(\gamma N \in \mathbb {Z}\), which is satisfied in our examples.).
The equations in (3.11) are solved by the values of \(\sigma \), \(\rho \) and \(\tau \) that are reported in Table 8; as a consequence, we also get that the string coupling is given by
or
and that the radii take the values that Table 9 exhibits. We see once again that, after fixing K and M consistently with the tadpole conditions (e.g. \(K = -16\) and \(M = -1\) ), we can end up in the desired weak string coupling and large internal volume regime by taking a sufficient amount of N units of the \(F_4\) flux.
Besides the possibility to recover full scale separation by taking N parametrically large, we would like to understand once more if for some moderate (but still sufficiently large) value of N we could effectively obtain a four-dimensional external space, AdS\(_3 \times S^1\), scale-separated from a six-dimensional internal one. This means that, in light of our previous discussion and the results presented in Table 9, we want to investigate whether
More precisely, we have the ratios
which offer quite a wide range of values of N that can be checked. Indeed, when fixing \(K = -16\) and \(M = -1\), we find, for \(\gamma = 10^{-3}\), the results that are presented in Table 10, and, for \(\gamma = 5 \times 10^{-6}\), we end up with the values that are reported in Table 11, together with the relative behaviour of the string coupling and the other radii.
Taking now also into account the behaviour of the system for \(\gamma > 1\), we can observe that for given K, M and N, as we vary the value of \(\gamma \) from \(\gamma \ll 1\) to \(\gamma \gg 1\), the length of the radius \(r_5\) decreases while the radius \(r_7\) increases in magnitude. As a result, if we start having scale-separated AdS\(_3\times \)S\(^1(r_5)\) with \(r_5 \gg r_7\), by increasing \(\gamma \) we pass through a regime where \(r_5 \sim r_7\) and end up into the regime where \(r_5 \ll r_7\) with scale-separated AdS\(_3\times \)S\(^1(r_7)\). This means that, while we are varying \(\gamma \), there is a tower of KK-modes becoming light and simultaneously another tower of KK-modes becoming heavy. Here, we are not going to precisely discuss a mechanism that allows to vary \(\gamma \) and realize the Distance Conjecture, but it can be done probably with actual jumping fluxes, in analogy with [27], or with the use of D4-branes similarly to [26], and actually following the same steps as in Sect. 5.
As we did in Sect. 4, we can also evaluate the normalized masses for the moduli x, y and \({\tilde{s}}^a\). Their numerical values are reported in Table 12, where we again notice the presence of a negative mass mode that is consistent with the BF bound.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3.
About this article
Cite this article
Farakos, F., Morittu, M. Scale-separated AdS\(_3\times \)S\(^1\) vacua from IIA orientifolds. Eur. Phys. J. C 84, 98 (2024). https://doi.org/10.1140/epjc/s10052-024-12427-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12427-z