Leaving the Swampland: Non-geometric fluxes and the Distance Conjecture
Nana Cabo Bizet, Cesar Damian, Oscar Loaiza-Brito, Damian Mayorga, Pe\~na

TL;DR
This paper investigates non-geometric fluxes in Type IIB compactifications, demonstrating how flux configurations can control the effective field theory's validity and relate to the Swampland Distance Conjecture.
Contribution
It introduces a model with non-geometric fluxes that allows parametric control over the Swampland Distance Conjecture and computes the associated cutoff scale.
Findings
Finite field displacements are required for consistency.
Flux configurations determine the cutoff scale of the effective theory.
Discrete spectrum of string coupling values emerges in the model.
Abstract
We study a Type IIB isotropic toroidal compactification with non-geometric fluxes. Under the assumption of a hierarchy on the moduli, an effective scalar potential is constructed showing a runaway direction on the real part of the K\"ahler modulus while the rest of the moduli are stabilized. For the effective model to be consistent it is required that displacements in the field space are finite. Infinite distances in field space would imply a breakdown in the hierarchy assumption on the moduli. In this context, the Swampland Distance Conjecture is satisfied suggesting the possibility of leaving or entering the Swampland by a parametric control of the fluxes. This is achieved upon allowing the non-geometric fluxes to take fractional values. In the process we are able to compute the cut-off scale below which the theory is valid, completely depending on the flux configuration. We also…
| condition | |
|---|---|
| condition | |
| condition | |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
aainstitutetext: Departamento de Física, Universidad de Guanajuato,
Loma del Bosque No. 103 Col. Lomas del Campestre C.P 37150 León, Guanajuato, Mexico.bbinstitutetext: Departamento de Ingeniería Mecánica, Universidad de Guanajuato,
Carretera Salamanca-Valle de Santiago Km 3.5+1.8 Comunidad de Palo Blanco, Salamanca, Mexico
Leaving the Swampland: Non-geometric fluxes and the Distance Conjecture
Nana Cabo Bizet b
Cesar Damian a
Oscar Loaiza-Brito a
and Damian Mayorga Peña
Abstract
We study a Type IIB isotropic toroidal compactification with non-geometric fluxes. Under the assumption of a hierarchy on the moduli, an effective scalar potential is constructed showing a runaway direction on the real part of the Kähler modulus while the rest of the moduli are stabilized. For the effective model to be consistent it is required that displacements in the field space are finite. Infinite distances in field space would imply a breakdown in the hierarchy assumption on the moduli. In this context, the Swampland Distance Conjecture is satisfied suggesting the possibility of leaving or entering the Swampland by a parametric control of the fluxes. This is achieved upon allowing the non-geometric fluxes to take fractional values. In the process we are able to compute the cut-off scale below which the theory is valid, completely depending on the flux configuration. We also report on the appearance of a discrete spectrum of values for the string coupling at the level of the effective theory.
Keywords:
non-geometric fluxes, swampland, distance conjecture, landscape
1 Introduction
The Swampland program Vafa:2005ui ; Ooguri:2006in ; Obied:2018sgi ; Agrawal:2018own ; Garg:2018reu ; Ooguri:2018wrx has received a great deal of attention in the last few years (for reviews see e.g. Brennan:2017rbf ; Palti:2019pca ). The proposed criteria to discern wether or not an effective theory is compatible with a quantum gravity theory leads us to the possibility to understand important issues concerning the construction of effective theories directly from string theory or inspired by it Yamazaki:2019ahj . The possible microscopic origin of the criteria is also an opportunity to question wether our knowledge about dimensional reduction and compactification in generic scenarios is complete Marsh:2018kub ; Danielsson:2018qpa .
One issue has to do with the the validity of the Swampland criteria as a way to have a well-defined boundary in field theory, separating those compatible effective theories with string theory to those which are not. If true, one should be able to cross it in both directions Murayama:2018lie (see Andriot:2019wrs ; Dvali:2018jhn ; Garg:2018zdg ; Hebecker:2018vxz ; Wang:2018kly ; Brahma2019 ; Ashoorioon:2018sqb ; Motaharfar:2018zyb ; Hamaguchi:2018vtv ; Das:2018hqy ; Kallosh:2019axr ; Raveri:2018ddi ; Acharya:2018deu ; Achucarro:2018vey ; Akrami:2018ylq ; Kachru:2018aqn ; Conlon:2018eyr ; Brahma:2019mdd ; Brahma:2019kch for many different tests). Entering the Swampland seems to be easy by departing from an effective theory constructed from string theory restricted to many of the self-consistent aspects of string theory at high energies and by adding many extra assumptions.
One question arises however, about the meaning of leaving the Swampland. Let us say that one has an effective theory constructed by implementing some set of assumptions, inspired by a string construction. The number of assumptions could lead to a model violating some of the Swampland criteria. This is reflected by the apparent possibility to extend the model to transplanckian scales or to scales below the validity of the field theory. In this case the model is not just incomplete from the quantum gravity perspective but inconsistent at the level of field theory. However, suppose it is possible to identify some set of assumptions whose removal allows to fulfill the Swampland criteria and enter the Landscape. Is the final model compatible with string theory? Are the removed assumptions a way to trace back consistent models? If all the above is true, one can establish a way to identify those assumptions that can be relaxed in an effective theory by entering the Landscape. In the process one would learn more about the UV completions of the effective theory.
Of particular interest becomes the construction of effective theories inspired by string theory, or as coined in Palti:2019pca , string-inspired models. On those, the direct construction of a model from a concrete string theory is not completely known. In consequence the set of assumptions is an arbitrary election in their construction, playing in some cases, an important role in the consistency of the theory.
The presence of many assumptions could lead us to an effective theory violating some consistency checks such as the Swampland criteria, pushing the model directly into the Swampland. As proposed, if one of the Swampland criteria is violated the effective model cannot be completed in the UV, pointing out the presence of a model incompatible with some extension to quantum gravity, or as in the case, to string theory. A second case could just lead us to a model valid untill some scale above which some corrections or removal of some taken assumptions need to be implemented in order to have a model compatible with string theory. See Figure 1.
Consider the case of a scalar potential with a runaway direction. In this case the refined dS conjecture is fulfilled over a finite range for the modulus field, such that infinite trajectories are limited by the distance conjecture. The relationship between these two Swampland criteria has been intensively studied in recent times Brown:2015iha ; Corvilain:2018lgw ; Scalisi:2018eaz ; Junghans:2018gdb ; Agrawal:2018rcg ; Olguin-Tejo:2018pfq indicating a link between them in terms of modular symmetries Gonzalo:2018guu and the presence of non-perturbative objects such as instantons Marchesano:2019luw ; Font:2019cxq . Those works establish important advances in the search for the microscopic origin of the Swampland criteria (see also Lee:2019xtm ; vandeBruck:2019vzd ; Cole:2018emh ).
In this paper we explore the relation between the existence of a finite distance in field space and specific flux configurations by studying a simple string-inspired model consisting of a toroidal compactification of type IIB in the presence of non-geometric fluxes Shelton:2005cf ; Shelton:2006fd ; Wecht:2007wu . These fluxes have been considered in the construction of effective models in order to generate a superpotential depending on all moduli fields, including Kähler moduli (see Plauschinn:2018wbo for a review) by assuming the presence of T-duality at the level of the effective theory. Despite some significant success, mainly in the search for stable vacua with stabilized moduli Danielsson:2012by ; Blaback:2013ht ; Damian:2013dq ; Damian:2013dwa ; Blumenhagen:2015kja ; Blumenhagen:2015xpa , non-geometric fluxes lack for a complete global construction from the ten-dimensional perspective Bena:2017uuz ; Blumenhagen:2015kja (see however Blumenhagen:2015lta for a proposal based on double field theory). Their incorporation into compactification models usually requires of the imposition of some set of plausible constraints, making these type of constructions perfect examples of the so called string-inspired models. The most usual assumptions involve the extension of tadpole and Bianchi identities to include the corresponding T-dual fluxes, quantization of non-geometric fluxes and a null back-reaction by non-geometric fluxes on the internal geometry implying the assumption of a well-defined internal volume.
Non-geometric fluxes have also been studied in the context of the flux-scaling scenario in order to have some parametrical control to generate almost flat directions in moduli space, testing wether inflationary directions and stabilization of all moduli come along Blumenhagen:2015kja ; Blumenhagen:2015xpa ; Font:2017tuu ; Blumenhagen:2015jva . This approach was followed in the context of F-term axion monodromy inflation Marchesano:2014mla ; Blumenhagen:2014nba (see Blumenhagen:2018hsh ; Blumenhagen:2018nts ; Blumenhagen:2017cxt ; Bizet:2016paj for relations among the flux-scaling scenario, hierarchy on moduli mass and the Swampland). So far all results seem to enforce an intriguing idea: for inflationary directions to be present and to have a parametrical control over the different scales, fractional fluxes are required. In the context of the Swampland criteria, the above could be interpreted as a way to enter the Swampland, i.e. by adding an extra assumption concerning the presence of non-integer fluxes.
Within this context, we study a scenario of non-geometric flux compactification on an isotropic with orientifold three-planes Aldazabal:2006up as an string-inspired effective model. Besides the inherent assumption about the validity of T-duality in four-dimensions, we also assume a hierarchy on the masses for the complex structure and the axio-dilaton against the Kähler modulus mass. We concentrate on a particular solution for which the superpotential component (depending on the Kähler moduli and the vevs for the complex structure and the axio-dilaton) vanishes Landete:2018kqf . By this considerable increment on the number of assumptions, we find an analytical solution in which the scalar potential exhibits a runaway direction on the real component of the Kähler modulus resembling some characteristics of the KKLT-scenario111See Hamada:2019ack ; Gautason:2019jwq ; Blumenhagen:2019qcg ; Hamada:2018qef ; CaboBizet:2016qsa for recent studies on KKLT scenario and the Swampland criteria. before the inclusion of anti-branes. There are some important results in our model we want to stress out here:
Compatibility with the Hierarchy Assumption on moduli fields forces the existence of a range in the field space for as suggested in Landete:2018kqf . Since such a hierarchy comes from an appropriate selection of fluxes we conclude that in this case, the constraints on the flux configuration can be interpreted as the microscopic origin of the distance conjecture constraint. Notice as well that this provides the model with an essential feature since the volume is restricted to a range as expected to the geometric back-reaction of non-geometric fluxes. 2. 2.
The above condition defines a scale of energy up to which the model is valid and it depends purely on non-geometric fluxes. 3. 3.
Due to the number of constraints, the effective scalar potential depends only on 2 non-geometric fluxes. 4. 4.
For different flux configurations (eight thousand) we find numerical evidence that the string coupling always acquires discrete values (see Figure 3). 5. 5.
Taking integer values for all fluxes leads us to an incompatible effective theory with and with an internal volume smaller than , with the string scale. 6. 6.
Only by considering fractional values for non-geometric fluxes, the model is consistent and the distance conjecture is satisfied for a scale below . Similarly, the scale’s hierarchies are also accomplished and more importantly, it is possible to have a parametrical control by fluxes. We comment about fractional fluxes in our conclusions.
By all the above we show a specific procedure which takes an effective model out of the Swampland by removing some, in principle, essential assumptions. Wether this mechanism is an available and general option to construct consistent effective models within the Swampland project is something we want to discuss.
This work is organized as follows: In Section 2 we review some toy models on which we based our proposal, stressing out important characteristics of having a runaway direction to check for consistency with the Swampland conjectures, specifically the refined dS and the distance conjectures. In Section 3 we describe the consistency conditions of the model by assuming a hierarchy on the moduli fields. The main part of our work is described in Section 4, where we present an analytical solution for fixing vevs of some moduli fields. This establishes a way to construct a scalar potential with a runaway direction which allows us to leave the Swampland by relaxing the condition of having integer-valued fluxes. We discuss the consistency of the model, the Swampland criteria and the implications in the flux scaling scenario. Additionally we present numerical evidence supporting our assertions and a simple example in which the field acquires a small range in the field space parametrically controlled by the flux configuration. Finally we present our conclusions. In Appendix A we write the conditions for the scalar potential extrema in terms of the superpotential covariant derivates and Appendix B is devoted to an exhaustive discussion of the notation used throughout the paper.
2 Swampland criteria in type IIB toroidal compactifications
In this Section we review some of the main features that effective scalar field theories possess when constructed directly from a ten-dimensional string theory. Effective models with a runaway direction constructed by a toroidal compactification of Type IIB string theory, constitute interesting models for which the Swampland refined de Sitter and Distance criteria are satisfied. Those are usually driven by the real part of Kähler modulus.
2.1 Toy model 1: GKP and the Swampland criteria
Let us start by considering the Gukov-Vafa-Witten (GVW) superpotential derived from a 6-dimensional isotropic toroidal compactification of Type IIB string theory. The superpotential depends only on two moduli, the complex structure and the complex axio-dilaton ,
[TABLE]
with
[TABLE]
where ’s and ’s refer to RR and NS-NS fluxes. See Appendix B for more details on this notation. Being a no-scale superpotential for the Kähler modulus, the minimum for the scalar potential , supersymmetric or not, is constrained to be positive or null. Since the dependence of on the Kähler modulus only comes from the Kähler potential
[TABLE]
it contains a flat direction on and a runaway direction on . The moduli vacuum expectation values and are fixed by the equations . Since the potential is of the form
[TABLE]
with a positive real function. The canonically normalized field serves to obtain
[TABLE]
and therefore, the first refined-dS criterium () is fulfilled, notice that a SUSY solution implies . Similarly, since we have a flat direction on . For the second derivatives we have:
[TABLE]
and therefore the second dS criterion () is violated. However it is necessary to restrict the range of values for in modulus space according to the Distance Conjecture (DC). This simple no-scale model is out of the Swampland for every value of subject to an upper bound.
2.2 Toy model 2: non-SUSY à la KKLT
In this Section we review the scalar potential for a type IIB string theory toroidal compactification. The superpotential dependence on the Kähler modulus arises from D7 branes. This model is also a case that satisfies the refined Swampland constraints.
Let us consider a toroidal compactification with a superpotential given by
[TABLE]
where the contribution depending on coming from gaugino condensation or instanton contributions from -branes as in KKLT, is given by with . Assume as well a hierarchy on the moduli such that and are fixed independently of . This is obtained by solving the equations . Since and are exponentially suppressed by , the hierarchy assumption is valid and for large values of . In this scenario the scalar potential is given by
[TABLE]
with and with . The potential, as known, exhibits an AdS vacuum or a run-away direction on depending to the values on the involved constants. In the case of a runaway -direction it has been pointed out in Ooguri:2018wrx that the distance conjecture allows the potential to fulfill de refined dS criteria since large values on moduli space for would imply the apperance of extra light modes. The effective model is then consistent for large values of , with values limited by the appearance of extra light KK modes, such that an upper bound on must be imposed by hand.
Now, as stated in Conlon:2018eyr corrections to the superpotential on the Kähler modulus adds extra terms on the scalar potential. According to the refined dS conjecture, whether these corrections lead us to the swampland or not, will be an indicative of compatibility with a quantum gravity theory such as string theory. In that context we shall explore under which conditions the inclusion of non-geometric fluxes satisfies the above bounds. This implies considering only tree-level corrections of the superpotential trough the inclusion of a linear term in the superpotential which introduces an interaction of the Kähler modulus with the complex structure modulus.
3 Inclusion of non-geometric fluxes and the Moduli Hierarchy Assumption
We consider type IIB string theory compactified on an isotropic six-dimensional torus with fluxes and orientifold 3-planes. The corresponding construction involves 6 real moduli fields and 8 different integer fluxes222As we shall comment, considering integer non-geometric fluxes seems to be a natural assumption.. The corresponding superpotential reads333One sees from the expression of that there is a symmetry between moduli and . This symmetry has been used to obtain flat directions which can be unflattened by precisely breaking the symmetry upon inclusion of new fluxes denoted as -fluxes Aldazabal:2006up .
[TABLE]
with being also a cubic polynomial on given by
[TABLE]
with ’s and ’s corresponding to non-geometric fluxes (see Appendix B for notation). The scalar potential depends on all moduli and some extrema are expected in a general flux configuration.
However we are interested in studying effective models with runaway directions, particularly on the Kähler field . For that we present an analytical solution for fixing the vevs of and such that a kind of “no-scale” behavior is present in the effective model. The first assumption for such a goal is the presence of hierarchies on the moduli. Therefore we proceed to clearly describe this assumption.
3.1 On the Moduli Hierarchy Assumption
In this Subsection a moduli hierarchy is discussed in the scalar potential. We write conditions to obtain a separation between the scales of certain moduli. Based on the above toy models, an interesting scenario emerges, where the complex-structure moduli and the axio-dilaton are stabilized in a first step and the Kähler moduli are stabilized in a second step.
Consider a superpotential depending on moduli fields with and let us assume that the vacuum expectation values for some of the moduli fields are (almost) fixed independently of the rest of the moduli denoted as with . We shall refer to this assumption as the Moduli Hierarchy Assumption. Under this scheme the vacuum expectation values of are assumed to be barely modified by the dynamics of the rest of moduli , implying strong constraints on flux configurations as we shall see. In terms of the scalar potential, the moduli hierarchy assumption implies that the fields are fixed at a minimum of the potential
[TABLE]
where the fields are fixed at their vevs denoted .
The implications of the assumption on the hierarchy of moduli strongly depend on the form of the superpotential. In this case we are thinking of a superpotential consisting of a component which depends on the moduli and a second component being a function of and containing interactions between and . Those would be obtained by compactification or dimensional reduction of string theory. The complete superpotential is of the form
[TABLE]
To clearly specify the constraints followed by our assumption it is important to observe that the scalar potential can be written as Kallosh:2014oja
[TABLE]
where
[TABLE]
According to the anzatz, is a solution of (see Appendix A for the specific case of the isotropic torus).
On the other hand, the vacuum expectation values for the moduli fields , denoted should be determined by the system
[TABLE]
for each . The assumed hierarchy for the fields would be consistent with the above method of computing the vevs and mass of the rest of the moduli if
[TABLE]
The moduli mass are given, as usual, by the eigenvalues of the mass matrix . However, according to the assumed hierarchy, the following constraints must be fulfilled
[TABLE]
such that
[TABLE]
with the corresponding eigenvalues and satisfying
[TABLE]
A mass hierarchy of order 10 can be obtained from F-terms in the presence of fluxes as described in the flux-scaling scenario Blumenhagen:2015kja . Our goal is to elucidate how the hierarchy moduli assumption determines whether an effective theory is in or out the Swampland.
4 Hierarchy and the Swampland Distance Conjecture
As stated before, we shall consider the GVW superpotential with tree-level corrections depending on the Kähler modulus. For that we assume that the complex structure modulus and the dilaton are fixed independently of implying that the contribution of non-geometric fluxes is sub-leading. In the following we shall use of the notation introduced in the last section. To start with, we consider the GVW superpotential written in the form . Then we have a no-scale scalar potential of the form
[TABLE]
Fixing independently of implies finding a solution of which involves a dependence on . If we assume that is also fixed independently of , the solution of is the same as the equation (see Appendix A were we derive extremum scalar potential conditions with the covariant derivatives of the superpotential). We are therefore considering a model in which
[TABLE]
Being a no-scale model, the last assertion also implies that at the minimum of the potential is at where supersymmetry could or could not be broken by . However, it is straightforward to see that a supersymmetric solution leads us to trivial solutions for . Henceforth we consider the case in which .
Generically we know that a solution to the above equations implies turning on a form of type and Giddings:2001yu . However, here we are interested in expressing the fluxes in terms of their symplectic components . Hence, stabilization of is obtained from from which we obtain
[TABLE]
In this scheme the stabilized value of depends on .
4.1 A particular solution
In this Subsection we present an analytic solution to the conditions . Only RR and NSNS fluxes are on, generating a superpotential giving a setup where complex structure and axio-dilaton are stabilized in a first step. As we shall see, a consistent solution will require a relation between fluxes.
A generic solution would imply to substitute the dilaton as a function of the complex structure in . From this last equation
[TABLE]
with and different from zero in order to have at the minimum of the potential and being the derivative of with respect to . A general analytical solution seems difficult to obtain since we also have to satisfy the tadpole condition. We proceed to consider a particular solution by solving (24) written as:
[TABLE]
A common solution for in the above pair of equations will also stabilize the value of the dilaton . Indeed, there is a common root for the equations and if there is a relation among RR and NS-NS fluxes. In order to see that, observe that the above equations are also represented by a quadratic polynomial on and cubic in . As solutions we have444One additional solution has . We shall not consider such unphysical case.
[TABLE]
for , where the RR fluxes and the NS-NS fluxes are given by
[TABLE]
and
[TABLE]
We observe that one way for both equations to be simultaneously fulfilled, the flux coefficients must satisfy the relations
[TABLE]
while assuring a non-zero tadpole contribution from fluxes and 555These constraints together with Bianchi identities allow the tadpole for D7-brane charge to vanish only by flux contributions. This implies that no -branes or -planes are present in our model.. Notice that for both solutions the magnitude of is independent of fluxes . The value of at the minimum reads
[TABLE]
In terms of the above fluxes, the dilaton vev is given by
[TABLE]
from which the string coupling reads
[TABLE]
Using the tadpole condition (87) and the constraints (29), reduces to
[TABLE]
Therefore, any physical solution implies a new flux constraint of the form
[TABLE]
Some comments are in order. First of all observe that only depends on 4 NS-NS fluxes . In principle we start with 8 fluxes and , but only 5 of them are free once we take the flux constraints (29) together with the tadpole cancellation condition. In that context we select 4 NS-NS fluxes and one RR corresponding to the 5 degrees of freedom. Second, since not all terms are positive in the denominator, it is possible to have some flux configurations leading us outside the physical region for which is smaller than unity.
We have fixed and independently of the Kähler modulus , which has to be incorporated. Therefore our next step is to consider such tree level correction on the superpotential, looking for the required conditions such that our hierarchy assumption is consistent.
4.2 Non-geometric fluxes
In this Subsection we discuss the implications of the solutions for and presented in (26) and (31) for RR and NSNS fluxes satisfying (29). Now we incorporate non-geometric fluxes , such that the superpotential has a dependence on the Kähler modulus.
Consider now the whole superpotential of the form
[TABLE]
with a scalar potential . The values are the previously computed vevs666Take notice of our notation in agreement with section 2.. However, these values turn out to constraint the polynomial since a root of the polynomial is also a root of for any set of fluxes on the isotropic torus.
This follows from the use of Jacobi Identities for the non-geometric fluxes, from which it is possible to establish a set of relations among non-geometric and NS-NS fluxes. Before discussing the implications, let us first show that indeed . For the isotropic case there is a particular solution for Jacobi (98) and Bianchi identities (99) given by
[TABLE]
allowing us to express four non-geometric fluxes in terms of just two of them, namely and . Notice the difficulty on having integer fluxes satisfying the above constraints. Then the polynomial takes the form
[TABLE]
with
[TABLE]
We observe that depends only on 2 non-geometric fluxes through while . Observe that depends only on NS-NS fluxes and in fact, it is the only solution of with .
Here we have shown that , now let us discuss the physical implications of our solution.
4.3 Physical viability
Once we have shown that we must check if our solution is compatible with the moduli hierarchy assumption and proceed to study the implications on the scalar potential properties. First, notice from (LABEL:Eq:potenciales) that the scalar potential is given by
[TABLE]
which is actually since . Hence we see that reaches a minimum at in the -direction and has a runaway direction on . Since we also have
[TABLE]
The covariant derivatives are evaluated on the vevs and . From these expressions we see that in order for the approximations (17) to be valid and the moduli fields and to be fixed independently of it is necessary that the above vevs are not affected by the potential , i.e. that . One way to fulfill this requirement is to restrict and that in comparison with . This can be accomplished if vanishes or if
[TABLE]
together with
[TABLE]
which guarantee that ’s and ’s vev’s are approximately kept at the values and respectively. Therefore our task now is to assure the viability of vanishing of or the above two constraints. Let us start by checking wether can vanish or not. First of all, in terms of fluxes
[TABLE]
Vanishing of implies either that , or that
[TABLE]
However, non-geometric fluxes and are real while , besides being real, must also be different from zero (see (26)), implying that cannot vanish. Therefore the only option to be consistent with our hierarchy assumption is to tune on the non-geometric fluxes such that constraints (43) and (44) hold. As we shall see, this is deeply connected to the Swampland Distance Conjecture.
4.3.1 Implications on the flux scaling-scenario
Before discussing our model’s consistency with the moduli hierarchy assumption and the fixing of the cut-off scale by a proper selection of non-geometric fluxes, it is important to analyze the implications on the flux-scale scenario Blumenhagen:2015kja . We will analyze the hierarchy of physical scales.
The following hierarchy of scales is expected
[TABLE]
denote the Planck-, string-, Kaluza-Klein- and moduli masses- scales respectively. Following conventions in Blumenhagen:2015kja we have
[TABLE]
where is the gravitino mass and is the volume of in the Einstein frame. We have used the relation
[TABLE]
Since for a supergravity description to be valid in a physical region, it follows that in concordance with (47). Notice that all mass scales as well as the moduli masses are unfixed and depend inversely on , while the relevant ratios are determined by
[TABLE]
Observe that this behavior is the same as the models with frozen complex structure studied in the flux-scaling scenario Blumenhagen:2015kja , implying that . Therefore, for consistency and taking , we get
[TABLE]
The scale of supersymmetry breaking is determined by the non-vanishing F-term
[TABLE]
evaluated at and and given by
[TABLE]
Notice that the scale at which SUSY is broken is determined by fluxes and where non-geometric ones are not playing a role since the above ratio does not depend on . Finally, the moduli mass eigenvalues depend on as
[TABLE]
following that
[TABLE]
where . Since is not fixed, there is only a range of values in moduli space in which , actually for . It is then important to check the bounds for .
4.4 Moduli Hierarchy and the Swampland Distance Conjecture
Up to here we have presented a model in which the presence of non-geometric fluxes have not altered the runaway profile of the scalar potential on the -direction but have stabilized . Since any scalar potential with a dependence on for any integer value of satisfies
[TABLE]
it automatically satisfies one of the refined dS bounds. The same occurs to the potential (39) even for since
[TABLE]
with . According to the refined dS conjecture such potentials can be considered to be out of the Swampland. Therefore, the moduli hierarchy assumption allows us to have a model with tree-level corrections on the superpotential depending on the Kähler modulus by the presence of non-geometric fluxes which is actually compatible with the refined dS criteria. A priori there is no obstruction for this model to Such a model to be an effective theory compatible with a quantum gravity theory such as string theory. Notice however that despite of and being stabilized, all moduli masses still depend on for which they remain unfixed unless there is some criteria to constrain the value of .
In the following we shall use the constraints on our moduli hierarchy assumption to derive some bounds on . Even more we shall show that they are compatible with the distance conjecture, allowing us to establish a cutoff scale at which the effective model is valid.
From constraints (43) and (44), we obtain that at
[TABLE]
which is an available range of if
[TABLE]
Notice that this is a restriction on non-geometric fluxes since NS-NS and RR fluxes have been already fixed at higher scales. The above range of viable displacement on is a direct consequence of the Moduli Hierarchy Assumption and allows us to estimate the range of scales at which our effective model is valid. First of all, a supergravity description of the 10-dimensional model requires the internal volume with
[TABLE]
with being the volume of in the Einstein frame. Therefore it follows that implying that .
Second of all, from the bounded value for in (58) we have that the gravitino mass is constrained to the values
[TABLE]
indicating that for the gravitino mass to have an available range of values, must be less than unit.
A third important consequence of (58) is the following: it has been conjectured that moduli fields can not take large displacements otherwise massive fields interacting with the moduli must be taken into account. In such context and by taking string theory as the quantum gravity theory, the displacements are argued to be of the form Scalisi:2018eaz
[TABLE]
where is the canonical normalized Kähler modulus and has been typically taken of order 1777See Reference Scalisi:2018eaz for a discussion on the scale of . In our case, given the Kähler potential, and
[TABLE]
implying that is fixed by . Once and fluxes have been chosen, it depends only on non-geometric fluxes and . Therefore
[TABLE]
Notice that small values for would fix the scale below string mass. This means that the canonical normalized field have a non-zero range in which the model is consistent. Otherwise, for values of greater than unity, has a zero range of consistent values.
Therefore, by all the above implications, the range of viability for is fixed as888See Kachru:2018aqn for comments on the establishment of viable ranges for moduli
[TABLE]
Hence, the smaller the value for , the larger the allowed range of displacement for . For , in principle is fixed to a single value although the model is not consistent. Notice that with large values for (which implies a better approximation consistent with the hierarchy assumption) the range for diminishes making more difficult to satisfy the Swampland Distance Conjecture. However all we need is to have a non-zero range of viability for defined far away from the minimum and maximum values established by the hierarchy assumption while having for SUGRA to be a valid approach. See Figure 2. The question is if one can have such scenarios for concrete flux configurations.
4.5 A numerical analysis
From all the above it seems there exists a link between the Moduli Hierarchy Assumption and the distance conjecture, establishing a range of viability for . Taking into account all the constraints, our model possesses 7 degrees of freedom (4 NS-NS, 1 R-R and 2 non-geometric fluxes) implying the necessity of a numerical analysis. Using only even integer fluxes we find 8000 flux configurations fulfilling all restrictions. The results are plotted in Figure 3.
Interestingly, we find that for integer fluxes, none of the cases contains a small value for indicating that the model is not consistent. This means that the upper bound on is smaller than unity, destroying the supergravity approach. However, if one considers fractional non-geometric fluxes and , the values for become less than one, and in turn it allows a consistent range for .
A particularly surprising issue that becomes evident from this plot is the discretness of the values of (which is independent of the non-geometric fluxes). The numerical evidence points out a maximum value for of 2 (although by considering odd-fluxes this can increase). This feature was also noticed in Junghans:2018gdb and it is probably related to the high number of constraints (as shown in the expression (33) for in terms of fluxes which only depend on 4 NS-NS fluxes. Discrete values for the string coupling seem to be related to strong constraints after compactification, as fulfilling the tadpole condition or directly related to the topology of the internal space.
Similarly, it is possible to have a simple argument to scketch how fractional fluxes are linked to small values of . By assuming quantization of NS-NS and R-R fluxes one could assume its extension to non-geometry fluxes by imposing quantization on the action of non-geometric fluxes on -forms, as
[TABLE]
From (64) it follows that
[TABLE]
Hence, for less than one, can be approximated as with integer . Therefore, up to
[TABLE]
The -form has fractional values in an effective theory allowing for and to be fractional. The presence of non-integers and non-constant fluxes have been already considered in literature as fluxes sourcing punctures on a sphere Candelas:2014kma ; Candelas:2014jma ; Damian:2016lvj or fractional fluxes arising as a consequence of the topology of the internal manifold Camara:2011jg ; Garcia-Compean:2013sla . Fractional fluxes can be considered as the result of the backreaction of the metric by the presence of non-geometric fluxes or equivalently by assuming T-duality on the internal manifold threaded with NS-NS fluxes. Under this perspective, Dirac quantization is a feature compatible with string theory in its ten dimensional version which can be modified by an specific compactification setup. This is consistent with our theory as soon as the quantization is reinforced at high scales but weakened at lower energies. We have shown that this is indeed our case.
4.6 A toy example: Quintessence and the swampland
In this Subsection we particularize our solution to a set of fluxes satisfying (29), Bianchi identities and Tadpole cancellation conditions. In this scheme we analyze the implications for the Swampland constraints.
Let us focus on an example which satisfies all the constraints, namely:
[TABLE]
thus one can see that in order to get even integer fluxes the NS fluxes are highly constrained. Indeed the only values allowed for the NS fluxes are 4 and in Planck units. The and moduli are fixed at
[TABLE]
which is a solution of the scaling type and a physical solution implies that and have opposite signs. Thus, in order to stay in the perturbative regime it is required that (otherwise ) which is compatible with the flux quantization condition. As is stated by Junghans:2018gdb , it is possible to evade the Dine-Seiberg problem and to keep the theory in the perturbative regime just by fluxes, if the dilaton is stabilized at a value that it is not exponentially large. The mass hierarchy is controlled by the value of , which in terms of the fluxes is written as
[TABLE]
and it has to be as small as possible. Now, since and have oposite signs, the magnitude of lies in a circle of radius of order violating the hierarchy condition. The hierarchies are preserved if we consider fractional non-geometric fluxes, which apparently violates the Dirac quantization condition. However, the cohomology group at which the non-geometric fluxes belong has to be determined. We let this subtle question for future work and we shall proceed with the approach of considering non-geometric fluxes with magnitude less than 1, preserving a parametric control on the mass hierarchies. Fixing the values of the NS fluxes as , the scalar potential takes the form
[TABLE]
which corresponds to the potential for a quintessence scalar rolling to positive values. Since the quintessence field is represented by the Kähler modulus it can potentially lead to fifth-forces through its coupling with SM fields. However, since the rolling of the scalar field is parametrized by the non-geometric fluxes, it could be slow enough to effectively fix the couplings to SM fields avoiding fifth-forces. The flatness of the potential in such quintessence models have been recently explored PhysRevD.94.103526 .
This model breaks SUSY spontaneously though F-terms, with the sgoldsitno direction pointing mainly in the complex structure direction as becomes larger as
[TABLE]
where by construction the direction is set to zero, and the swampland criteria
[TABLE]
is satisfied. As noticed in Damian:2018tlf , this swampland criteria is not parametrically controlled by fluxes, instead it is possible to get a numerical control by a suitable choice of the scalar potential. The Moduli Hierarchy Assumption implies that Eq. (58) must hold, which for this particular solution can be written as
[TABLE]
thus, for , the allowed non-geometric fluxes lie in a circle of radius which is smaller than 1. Thus, together all the swampland criteria are satisfied if the non-geometric fluxes take fractional values less than 1. In this way the field range allowed by the distance conjecture can be parametrically controlled.
5 Final comments
In this work we studied a compactification on an isotropic six-dimensional torus with non-geometric fluxes, orientifold 3-planes and no D-branes. Validity of T-duality in the effective four-dimensional theory from which non-geometric fluxes have been introduced non-geometric flux quantization, extension of tadpole and Bianchi identities are assumed. All of them constitute self-consistent assumptions inspired directly from string theory. Notice that by assuming T-duality, interaction of non-geometric fluxes with Kähler moduli is introduced suggesting the existence of a shift-symmetry on the Kähler modulus derived from a symmetry on the non-geometric fluxes.
By a proper selection of fluxes it is possible to give a vev to the complex structure and the axio-dilaton moduli independently of the Kähler modulus and therefore independently of the choice of non-geometric fluxes. We called it the Moduli Hierarchy Assumption and an analytical solution to stabilize the complex structure and the axio-dilaton in this form is reported. For that we took a second assumption: a particular solution relating NS-NS and R-R fluxes as shown in Eqs.(29). Together with the extension of Bianchi Identities and Tadpole conditions it is possible to show that such assumption leads us to two important consequences: First, that there are only 2 unconstrained non-geometric fluxes999The rest of the fluxes satisfy all constraints and are quantized. From the set of 8 NS-NS and R-R fluxes only 5 are free. ( and ). Second, that the superpotential component depending on the Kähler moduli vanishes once evaluated at the vevs of and . These two results restrict the effective model to have a runaway direction along the real part of the complex Kähler modulus in agreement with the Refined dS conjecture.
Also, we showed that for this particular model, the Distance Conjecture is fulfilled as a consequence of a particular selection of flux configuration on which the hierarchy assumption on moduli is based. Particularly we found that is restricted to have finite specific displacements for which infinite distances in field space would turn the effective theory inconsistent. Moreover, all different scales, (depending on ) show a hierarchy as expected in models such as the flux-scaling scenario. In this context, it is possible to compute the scale at which the effective theory is valid turning out to be established solely by two non-geometric fluxes and .
After a numerical computation of near three thousand different configurations we were not able to find concrete examples with integer values for the non-geometric fluxes compatible with the Moduli Hierarchy Assumption, meaning that integer non-geometric fluxes does not allow a range of field displacement while fractional values establishes a physical consistent model. We also noticed that due to tadpole constraints, the values for the string coupling shows a discrete pattern as suggested in Junghans:2018gdb .
Fractional fluxes can arise at the compactification scale due to the internal manifold topology. In our case could be a consequence of the backreaction of the internal metric by assuming T-duality. This issue, although very well known by the community, has been ignored in order to stabilize the internal volume and make estimations on the KK scale. Since the distance conjecture is deeply connected with the internal volume by having a runaway direction on , it is expected to have definite range in the field space. We also illustrated how the fixing of the scale permits us to argue that fractional values for non-geometric fluxes are expected.
In summary we have shown that the Moduli Hierarchy Assumption together with the presence of fractional non-geometric fluxes restrict the modulus to have finite distance displacements in the field space in agreement to the Distance Conjecture, while the effective cut-off scale is completely fixed by non-geometric fluxes. Since the Hierarchy on moduli is constructed by a proper selection of NS-NS and RR fluxes our particular analytical solution for the moduli stabilization allowed us to connect the entire flux configuration with an effective model in which the run away direction is restricted to finite ranges. Infinite distances would imply the breakdown of the effective theory since the assumed hierarchy on moduli would not be fulfilled. It would be interesting to study the possible appearance of a tower of massless modes for large values of as expected. We leave this important task for future work.
Finally let us mention that we presented what we consider is a reliable method to construct effective models based on non-geometric fluxes. Along the way, we have elucidated the necessity to remove some assumptions, as the quantization of non-geometric fluxes, which allows to re-enter into the Landscape. If the Swampland criteria indeed divides the field theory space into two types of effective models, the requirements for some of them to be in the Landscape could establish a way to understand implications of a quantum theory of gravity in four-dimensional effective theories.
Acknowledgments
We thank Anamaría Font, Xin Gao, Fernando Quevedo, Pramod Shukla and Ivonne Zavala for interesting and useful discussions on related topics. C.D. is supported by CONACyT grant number 66210, N.C.B. thanks the support of DAIP-UG 2019 and CONACyT Project A1-S-37752, O. L.-B. and D. M. P. are supported by CONACyT grant number 258982 CB-2015-01 and by DAIP-UG 2019.
Appendix A Hierarchies
The extrema of the scalar potential can be recast in terms of the covariant derivatives of the superpotential. In the simpler case where only an dependence of the superpotential exists, one obtains that the condition is equivalent to . When only a dependence on is on the conditions can be satisfied simultaneously if . There is however another solution, that is is satisfied by ; and is satisfied by . When the three moduli are on the conditions can be satisfied simultaneously for . But there are other simple cases which we summarize in the table 1.
Appendix B Fixing the notation
We consider a compactification on a six-dimensional torus in the presence of NS-NS and RR three-form fluxes. The corresponding superpotential is given by
[TABLE]
where . In terms of the 3-form cohomology symplectic basis , we have that
[TABLE]
with , where
[TABLE]
The symplectic basis is given by
[TABLE]
while flux components are
[TABLE]
In the considered model the complex structure is identical for the three tori and it is determined by the complex coordinate for each , . Thus the (3,0) holomorphic form reads
[TABLE]
We have considered a unique for the isotropic and use the following notation:
[TABLE]
from which the superpotential can be written as
[TABLE]
In terms of the NS-NS and RR fluxes, the superpotential reads
[TABLE]
where are cubic polynomials on shown in expressions (2) and (3). Finally, for a compactification on an isotropic in the presence of -planes, the tadpole condition reads:
[TABLE]
where measures the contribution of an -plane to the internal -brane charge. In terms of the fluxes and the above expression reduces to
[TABLE]
B.1 Superpotential with non-geometric fluxes
Now we shall turn on non-geometric fluxes, meaning that we are considering a superpotential of the form Aldazabal:2006up
[TABLE]
with the 3-form . It is useful to rearrange all 24 non-geometric fluxes in the following matrices:
[TABLE]
In this manner, we can write the superpotential in the following form
[TABLE]
where is given by
[TABLE]
For the specific case of the isotropic torus , there are some relations among the non-geometric fluxes, which in our notation read:
[TABLE]
with . With this notation, Eq. (91) recasts the form given in (11).
In terms of the matrices given in Eq. (89), the Jacobi identities (), which usually are given in the form
[TABLE]
can be written as
[TABLE]
where
[TABLE]
[TABLE]
[TABLE]
and similarly for . For the isotropic torus the above identities become
[TABLE]
[TABLE]
while the tadpole condition on the non-geometric fluxes takes the form
[TABLE]
for the flux conditions (29) and the relations (36), meaning that seven branes are absent in our model.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) C. Vafa, The String landscape and the swampland , hep-th/0509212 .
- 2(2) H. Ooguri and C. Vafa, On the Geometry of the String Landscape and the Swampland , Nucl. Phys. B 766 (2007) 21 [ hep-th/0605264 ]. · doi ↗
- 3(3) G. Obied, H. Ooguri, L. Spodyneiko and C. Vafa, De Sitter Space and the Swampland , 1806.08362 .
- 4(4) P. Agrawal, G. Obied, P. J. Steinhardt and C. Vafa, On the Cosmological Implications of the String Swampland , Phys. Lett. B 784 (2018) 271 [ 1806.09718 ]. · doi ↗
- 5(5) S. K. Garg and C. Krishnan, Bounds on Slow Roll and the de Sitter Swampland , 1807.05193 .
- 6(6) H. Ooguri, E. Palti, G. Shiu and C. Vafa, Distance and de Sitter Conjectures on the Swampland , Phys. Lett. B 788 (2019) 180 [ 1810.05506 ]. · doi ↗
- 7(7) T. D. Brennan, F. Carta and C. Vafa, The String Landscape, the Swampland, and the Missing Corner , Po S TASI 2017 (2017) 015 [ 1711.00864 ]. · doi ↗
- 8(8) E. Palti, The Swampland: Introduction and Review , 2019, 1903.06239 .
