Some remarks on the dS conjecture, fluxes and K-theory in IIB toroidal compactifications
Cesar Damian, Oscar Loaiza-Brito

TL;DR
This paper explores how topological transitions involving non-BPS branes and fluxes in type IIB toroidal compactifications can destabilize de Sitter vacua, with implications for string theory conjectures.
Contribution
It introduces a scenario where topological transitions between non-BPS branes and fluxes affect the stability of de Sitter vacua in IIB compactifications.
Findings
Topological transitions can destabilize apparent stable dS vacua.
Conditions to avoid Freed-Witten anomalies are identified.
Transitions may lead to short-lived dS minima.
Abstract
In this note, we present a scenario in which the existence of dS vacua is jeopardized by topological transitions between non-BPS branes and fluxes in type IIB toroidal compactifications. We focus our study on a six-dimensional torus compactification modded out by an orientifold three-plane. In particular, we consider the presence of non-BPS five branes, which allows the construction of apparent stable dS vacua. Since moduli stabilization requires the presence of NS-NS fluxes, we also describe the minimal required conditions to avoid the appearance of Freed-Witten anomalies. Cancellation of these anomalies implies a topological transformation between non-BPS states and fluxes with the same discrete K- theory charge. After the transition, we observe that the scalar potential undergoes major changes, implying that the dS vacua are unstable. We discuss a scenario in which, even if the…
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.
Taxonomy
TopicsBlack Holes and Theoretical Physics · Cosmology and Gravitation Theories · Quantum Chromodynamics and Particle Interactions
aainstitutetext: Departamento de Física, Universidad de Guanajuato,
Loma del Bosque No. 103 Col. Lomas del Campestre C.P 37150 Leon, 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
Some remarks on Swampland conjectures, fluxes and K-theory in IIB toroidal compactifications
Cesar Damian a
Oscar Loaiza-Brito
Abstract
In this note, we present a scenario in which the existence of dS vacua is jeopardized by topological transitions between non-BPS branes and fluxes in type IIB toroidal compactifications. We focus our study on a six-dimensional torus compactification modded out by an orientifold three-plane. In particular, we consider the presence of non-BPS five branes, which allows the construction of apparent stable dS vacua. Since moduli stabilization requires the presence of NS-NS fluxes, we also describe the minimal required conditions to avoid the appearance of Freed-Witten anomalies. Cancellation of these anomalies implies a topological transformation between non-BPS states and fluxes with the same discrete K-theory charge. After the transition, we observe that the scalar potential undergoes major changes, implying that the dS vacua are unstable. We discuss a scenario in which, even if the discrete K-theory charge is globally cancelled, the above transitions could still be relevant, allowing the existence of short-lived dS minima. We briefly comment on how these implications seem to be in concordance with the Refined de Sitter and Trans-Planckian Censorship Conjectures.
Keywords:
Fluxes, swampland, K-theory.
1 Introduction
The Swampland project has received considerable attention in recent years. It offers an opportunity to examine the relevant characteristics of effective theories that can be completed at high energies to a quantum theory of gravity. (For reviews, see Palti:2019pca ; vanBeest:2021lhn ; Grana:2021zvf ; Agmon:2022thq .) One of the project’s main issues concerns a deeper understanding of the Refined de Sitter Conjecture (RdSC) Garg:2018reu ; Ooguri:2018wrx , which states that a stable de Sitter (dS) vacuum belongs to the Swampland at least in asymptotic regions of the moduli space, while a short-lived dS could be allowed in the context of the Trans-Planckian Censorship Conjecture (TCC) Bedroya:2019snp .
Studying different scenarios and searching for stable dS vacua is a way to test the validity of the above proposals. Specifically, we are interested in the role played by K-theory Witten:2000cn and torsional cohomology in phenomenologically viable scenarios Marchesano:2006ns ; Camara:2011jg ; BerasaluceGonzalez:2012zn ; Garcia-Compean:2013sla ; Marchesano:2014mla as well as possible implications on some of the Swampland conjectures.
Our interest lies in two important features that arise from K-theory when applied in string theory. Firstly, it classifies objects that remain invisible to integer cohomology, such as the so-called non-BPS branes, constructed by a pair of brane and anti-brane in the presence of orientifolds Frau:1999qs . Incorporating such states has led to important consequences in string phenomenology Marchesano:2004yq ; Marchesano:2004xz . Secondly, recent studies have shown that the presence of discrete K-theory charge can compromise the RdSC for a non-zero total K-theory charge over the compact internal manifold Blumenhagen:2019kqm . However, since a theory with a non-zero (integer or discrete) K-theory tadpole is not quantum mechanically consistent Uranga:2000xp ; Garcia-Etxebarria:2018ajm ; GarciaEtxebarria:2019caf , a relationship between the cancellation of discrete K-theory charge and trivial cobordism class has been recently proposed McNamara:2019rup ; Blumenhagen:2021nmi ; Andriot:2022mri .
A scenario where non-BPS states are considered as a possibility to construct a dS vacuum in type IIA CY compactifications in the presence of fluxes is studied in Blumenhagen:2019kqm (a similar approach in a Type IIA context is considered in Marchesano:2014mla ). Within the many possibilities, it is mentioned that a non-BPS -brane is discarded since it is potentially anomalous under the Freed-Witten (FW) anomaly Freed:1999vc . This is because it is wrapped on a 3-cycle in the internal manifold which can support the NS-NS 3-form flux . However, under a T-dual perspective (on a coordinate where the NS-NS flux is not supported), such a non-BPS state transforms into a -brane wrapping a 2-cycle in the internal manifold. Since a NS-NS flux cannot be supported in the same cycle, it seems that the brane is free of FW anomalies.
Based on the above, we want to discuss the implications of incorporating non-BPS states in toroidal IIB compactifications, with the purpose of finding possible stable dS vacua and searching for the T-dual manifestation of the FW anomaly in this scenario. To simplify the discussion, we focus on an isotropic torus with three moduli: the complex structure , the complex axio-dilaton , and the Kähler modulus . We also consider an example involving a Calabi-Yau compactification with no complex structure, which emulates a toroidal compactification with a fixed complex structure.
In the toroidal case, we find that the non-BPS seems to be essential to have a SUSY AdS minimum that can be uplifted to a short-lived dS minimum, placing this scenario in the Landscape. In the CY case without complex structure, we find that a scalar potential with a runaway direction along Kähler moduli, in which non-perturbative effects are considered, can be lifted to an apparently stable dS vacuum by incorporating a non-BPS -brane. The total scalar potential is also very flat, as in the toroidal case, and it seems that the presence of a non-BPS state places the scenario in the Landscape.
Since the T-dual picture in type IIA, which considers , is FW anomalous, we expect to have some manifestation of it in these scenarios. We find that indeed, the anomaly is present but manifested by the presence of instantonic branes and topological transformations between branes and fluxes. In our case, although the non-BPS brane is stable in the sense that it wraps a two-cycle which can not support a three-form flux, it can end on an instantonic 7-brane wrapping a discrete four-cycle which supports the NS-NS flux, inducing a topological transition between branes and fluxes111The presence of instantonic 7 -branes was studied in Loaiza-Brito:2004ajy to show that the -symmetry in super Yang-Mills theories can be interpreted as equivalence classes in K-theory. Similar results, extended to the context of the cobordism conjecture are aborded in Dierigl:2022reg ; Debray:2023yrs .. This transition is manifested as a transformation of the non-BPS state -brane into a discrete one-form flux . As a result of this transition, the scalar potential undergoes a significant change, and the existence of the original vacuum can no longer be guaranteed.
This is particularly interesting because, as many studies indicate, the total discrete K-theory charge must vanish (in our case, by having an even number of ). The above transition opens up the possibility of achieving a zero discrete K-theory tadpole through a configuration of non-BPS states and discrete fluxes. Since both of these components have a different dependence on the Kähler modulus, the existence of a stable dS vacuum becomes possible. However, under the topological transition between non-BPS branes and discrete fluxes the scalar potential can undergo major changes, rendering the dS minima unstable.
In summary, the incorporation of non-BPS states in toroidal and Calabi-Yau compactifications, both with and without complex structure, can lead to the possibility of constructing stable dS vacua. However, the presence of Freed-Witten anomalies must be carefully considered in these scenarios, as they can manifest in the form of topological transformations between branes and fluxes, ultimately rendering the dS minima unstable. Additionally, the flatness of the scalar potential, together with the short time of stability implied by the TCC, places these scenarios in the Landscape, highlighting the importance of further investigations into the properties of the Landscape and the role of non-BPS states and topological transitions in dS vacua construction. Overall, these results offer insights into the complex interplay between topology, non-BPS states, and fluxes in the construction of dS vacua in string theory, paving the way for future developments in this field.
Our work is organized as follows: In Section 2, we briefly review the construction of non-BPS states by wrapping branes on homology cycles and their relation to K-theory. More importantly for our work, we describe how the presence of NS-NS fluxes, which are sources for FW anomalies, can be incorporated in a homology description of states through the Atiyah-Hirzebruch Spectral Sequence (AHSS). The AHSS tells us which branes are unstable to decay into a topologically equivalent configuration and establishes the existence of a transformation between branes and fluxes, interpreted in terms of the Maldacena-Moore-Seiberg instantons. We also give a brief description of how the AHSS is implemented in the case of discrete components of homology. In Section 3, we present two examples in which it is possible to construct an apparent dS (de Sitter) vacuum using a -brane, which in principle would put such scenarios in the swampland due to the RdSC (de Sitter conjecture in the swampland program). We discuss interesting specifics about the model, as well as possible sources of instabilities in the construction of the vacuum. Section 4 is devoted to describing the topological transition between and a discrete flux driven by the NS-NS flux in terms of K-theory and the AHSS, which makes the corresponding dS vacua unstable. We propose that the total K-theory charge can be cancelled by the presence of a non-BPS state and a discrete flux while having a scalar potential with a dependence on the moduli, allowing for the construction of an apparent dS vacuum. However, due to these transitions, we expect the minimum to be unstable. We also briefly discuss how these results seem to be in agreement with the RdSC and the TCC. Note that many interesting studies have emerged since the original version of this manuscript, such as Blumenhagen:2022bvh .
2 Discrete K-theory charge and non-BPS branes
In this section, we review some important concepts related to the existence of non-BPS branes in compactified models, which can be classified through K-theory. We also discuss the vanishing of the total discrete K-theory and alternative descriptions of these states by wrapping branes on homology cycles. In our models, a NS-NS flux is always present for moduli stabilization, which requires a refinement of (co)homology groups in its presence. This refinement means that we must discard those branes that wrap cycles supporting the NS-NS flux due to the FW anomaly. We must also carefully interpret those branes that end on higher dimensional ones in order to cancel such an anomaly. We briefly overview some important consequences, such as the brane-flux transition.
2.1 Non-BPS states in K-theory
As shown in Uranga:2000xp , the total discrete K-theory charge from non-BPS -branes must vanish in any T-dual version of Type I theory on a compact space. For instance, consider type I compactified on a two-dimensional torus with a non-BPS -brane located at a point. The discrete charge is measured by the K-theory group . However, the system is not consistent because a -brane surrounding any point in (also carrying a discrete charge measured by ) would acquire a phase. It is then concluded that the total discrete K-theory charge must vanish. Further discussions about more subtle arguments concerning K-theory charge cancellation can be found in Garcia-Etxebarria:2018ajm ; GarciaEtxebarria:2019caf .
After applying T-duality, this constraint remains valid. To see this, consider type I theory compactified on a factorizable , with -branes wrapping coordinates transverse to the -th torus . The same inconsistency arises from the corresponding -branes surrounding points in . Now, let us perform T-duality on all internal coordinates, resulting in type IIB on with sixty-four orientifold three-planes located at fixed points in . The non-BPS -branes become -charged -branes wrapping internal two-cycles. In fact, these non-BPS states can be regarded as a pair of - wrapping a two-cycle in the covering space. Since the tachyon arising in the spectrum of strings with one end attached to a -brane and the other to a -brane is projected out by the orientifold, the system is stable with no integer RR charge. The inconsistency of having a single (or an odd number of) is also reflected at the quantum level by the presence of a global gauge anomaly on the four-dimensional field theory at the probe approximation of -branes Uranga:2000xp ; LoaizaBrito:2001ux .
A formal calculation of the discrete states spectrum in a given scenario, such as compactification on a in the presence of orientifold three-planes, requires the computation of relevant K-theory groups. Moreover, since we are considering fluxes, these K-theory groups undergo modifications, resulting in what is called twisted K-theory groups Evslin:2006cj , which computation can be rather involved.
2.2 Non-BPS by wrapping branes on (refined) homology cycles
An alternative way to describe the states mentioned earlier involves wrapping -branes on homology cycles, which can be either integer or torsional. This approach has two advantages over the more complicated K-theory counterpart. Firstly, computing homology cycles is generally simpler. Secondly, we can investigate the effects of fluxes by implementing an algorithmic process that refines the integer cohomology through a set of finite steps. The end result is a set of forms that actually belong to the K-theory group. This refinement process is known as the Atiyah-Hirzebruch Spectral Sequence (AHSS), which can be reviewed in Appendix C of Diaconescu:2000wy and it has a physical interpretation through the Maldacena-Moore-Seiberg (MSS) instantons, as explained in Maldacena:2001xj .
Let us provide a simple and general description of the AHSS in terms of branes and fluxes, which are restricted to the internal space . We begin by considering stable D-branes as those branes that wrap non-trivial homology cycles . Due to the presence of orientifold planes, the homology cycles can have torsional components, which are denoted by . Therefore, a -cycle is related to a form through Poincaré Duality. We then associate a cohomology form with a stable D-brane.
The first refinement under the AHSS is as follows: consider the map
[TABLE]
such that
[TABLE]
where is the NS-NS 3-form flux222In case of torsional components, as in our case, the wedge product must be replaced by the cap product.. In this context, a D-brane is now stable (meaning free of FW anomalies) if the associated form is closed under , i.e., , and it is not exact under , i.e., it is not of the form , for some . The coset group is defined as
[TABLE]
not only removes all FW anomalous branes but also discards those which are -exact. This has a physical interpretation we proceed to describe Maldacena:2001xj . Consider a D-brane represented by . If , it means that a D-brane is unstable if it encounters a brane represented by the form . Due to the dimensionalities, it is not hard to realize that this brane is actually a time-localized D brane called instantonic. It is wrapped on an internal -cycle in and the 3 external spatial coordinates. Since this brane is localized in time, it leaves after its disappearance (since it is unstable) a magnetic RR flux given by a -form in .
This has a very important interpretation: a D-brane wrapping a -cycle in , under the presence of a NS-NS flux not supported in the same -cycle, transforms into a flux and the same units of . Hence, the coupling carries the same units of the disappeared D-branes.
The AHSS can have many subsequent steps through mapping of higher order. However, in string theory, it seems that the only relevant step is the one described above. In this sense, the K-theory group classifying -dimensional objects is, up to a short exact sequence, the coset group .
2.3 The non-BPS -brane
In our case, the six-dimensional torus undergoes a discrete action of , resulting in the coset space . In terms of homology, there exist torsional cycles in that correspond to Frey:2002hf . As an illustration, let us consider the torus shown in Figure 1.
Therefore, consider the 1-cycle in the coset space that encircles the fixed points corresponding to the first torus . A brane that wraps twice around this cycle shrinks to a point, as twice the cycle is the boundary of a 2-dimensional submanifold on the covering space . As a result, the homology group has torsion, specifically . The same is true for other relevant cycles as
[TABLE]
It is important to note that the discrete part is obtained by removing the fixed points where the orientifolds are placed333Strictly speaking, we are considering the space (, which results from removing the fixed points under the action of , because the fixed points do not belong to the torsional part of the(co)homology groups.. Since we are dealing with a factorizable six-dimensional torus, there are also discrete cycles of higher dimensionality, formed by the product of integer cycles (which originate directly from the covering space) and/or the discrete ones (half-integer modulo 1). Therefore, higher-dimensional homology groups also have torsion components. For instance, consider a type IIB D5-brane wrapped on a discrete two-cycle in . This brane is T-dual to the non-BPS -branes in type IIA considered in Blumenhagen:2019kqm . Note that discrete D5-branes constructed in this manner define non-trivial cohomology classes, in contrast to D7-branes in Type I.
This is in general a result that reflects the difference between a (co)homology and a K-theory classification, since there are (co)homology states that are uplifted to trivial or equivalent classes in K-theory while there are other states in K-theory that are not seen by homology. In order to match both descriptions, we require refining the cohomology by the AHSS and solving some short exact sequences Bergman:2001rp ; LoaizaBrito:2001ux ; Loaiza-Brito:2004ajy . This is due to the fact that T-duality acts not within cohomology but in derived categories Hori:1999me ; Sharpe:1999qz .
Hence, although it is possible to find some differences between a classification of states by wrapping D-branes on homology cycles and the K-theory counterpart, the refinement due to the presence of the NS-NS flux will give us the actual states in K-theory together with some possible relations between different states.
In the presence of torsional components in the (co)homology groups, the AHSS involves mappings between them, as stated in Bergman:2001rp . In our case, we need to consider the possible mappings between the torsional components of the (co)homology groups related to the non-BPS -brane and the implications of brane-flux transitions. Before studying these effects, we will demonstrate the relevance of adding a -brane in constructing dS extreme in specific scenarios, and then discuss how they align with the TCC and the RdSC. We shall come back to the implications of the AHSS in Section 4.
3 Constructing a dS extreme through non-BPS states
Let us consider a compactification of type IIB on , where an -plane acts on a single non-BPS brane. This brane can also be viewed as a -brane that wraps an internal torsional 2-cycle. It is worth noting that even though this state has no RR charge444This can be explained by the fact that a non-BPS -brane is formed by a -brane and an anti--brane. From a homology perspective, this object wraps a 2-cycle in , which is related to a 3-form, also in . Therefore, it does not carry any integer RR charge., it does carry a topological charge, which means it cannot decay into the vacuum. The non-BPS state has a positive contribution to the four-dimensional scalar potential of the effective theory, as mentioned in Blumenhagen:2019kqm . In the case of an isotropic factorizable , the three complex moduli can be expressed as
[TABLE]
where is the complex structure modulus, is the dilaton and is the RR zero form. The real part of is denoted by , which can be expressed as . Additionally, represents the period of the RR four-form. The perturbative Kähler potential is written as
[TABLE]
In this note, we shall not consider quantum corrections to . As usual, the moduli and are stabilized by turning on appropriate NS-NS and RR 3-form fluxes inducing an effective potential determined by the perturbative Gukov-Vafa-Witten potential Gukov:1999ya
[TABLE]
where and and are cubic polynomials on with real coefficients fixed by the 3-form fluxes (for further details, see Aldazabal:2006up and the references therein). The Kähler modulus can be stabilized by incorporating non-perturbative corrections to the superpotential, which can be achieved by including Euclidean -branes or, as is the case here, non-BPS -branes.
In the following, we will present some specific scenarios in which we can construct a dS extremal point in the scalar potential by adding the contribution of a non-BPS -brane and by considering non-perturbative terms in the superpotential. However, as we shall discuss, the inclusion of non-BPS states required to obtain dS extrema tends to flatten the scalar potential, which can lead to instability.
3.1 Model 1: No dS without uplifting
We are interested in establishing the conditions to have a non-SUSY minimum of the scalar potential generated by where the Kähler direction be uplifted by the inclusion of a non-BPS -brane. For that, consider the case in which the complex structure is fixed at due to the conditions . This means that the Kähler derivatives of both polynomials and with respect to , share a common root while . This condition ensures that , with
[TABLE]
where and . Although the vanishing of establishes a relationship between RR and NS-NS fluxes, it allows the complex structure to be stabilized independently of and , while keeping . Therefore, by maintaining , the no-scale scalar potential that results from fluxes can be reduced to:
[TABLE]
Notice that is a function on and , actually a quadratic polynomial on over the complex, given by
[TABLE]
with being complex numbers depending on and and fixed by and . We shall restrict our description to the case which is indeed a solution.
Now, since is positive definite, the minimum value it can have is zero. This is a minimum in and directions but not in . In order to search for the possibility to stabilize the Kähler modulus, let us incorporate the non-BPS brane and consider the more general scalar potential
[TABLE]
with the contribution given by
[TABLE]
which comes from the dimensional reduction of the Dirac-Born-Infeld action for the non-BPS -brane Kachru:2002gs ; Blumenhagen:2019kqm . In this case, the effective scalar potential can be written as
[TABLE]
where depends on geometric factors of the internal space and does not depend on any moduli of the DBI action. Since is positive (it is constructed from twice the tension of a -brane) it is possible to simultaneously solve the equations and and fix the axions to their solutions and , where is a solution of the quadratic equation
[TABLE]
while is given by
[TABLE]
which is physically viable for negative. Since is positive by construction, it is not possible to stabilize the Kähler modulus, and extra structure is required.
3.2 Model 2: dS by uplifting an AdS
In this example, contrary to the previous case we succeed in constructing a dS extreme by uplifting an AdS critical point (similarly as in a KKLT scenario Kachru:2003aw ) by adding non-perturbative corrections to the superpotential together with the inclusion of a non-BPS state, which plays the role of the anti -branes in KKLT scenarios.
As a first step, let us consider the construction of a stable AdS vacuum in the context of KKLT, and study whether the inclusion of a non-BPS state would uplift the vacuum to a dS one. To do so, consider both, the superpotential in Eq. (7) and induced by Euclidean D3 branes wrapping internal 4-cycles, given by
[TABLE]
where is a complex structure-dependent one-loop determinant. As in the previous case, the complex structure is fixed by the condition , and in consequence, the pre-factor acquires a constant value while the axio-dilaton is fixed by . The complete superpotential
[TABLE]
breaks the no-scale structure and allows to stabilize the Kähler modulus by . The scalar potential has a supersymmetric minimum at
[TABLE]
which fixes the Kähler modulus at large values in an AdS minimum when (for a Calabi-Yau compactification this can be realized by an appropriate flux configuration and the use of the racetrack mechanism Demirtas:2019sip ). Notice that this step is compatible with the non-SUSY AdS conjecture Ooguri:2016pdq .
Although is not possible to analytically solve the equations and find a critical point for the scalar potential, its existence can be numerically shown. This minimum is our starting point to construct a controlled dS by incorporating a non-BPS brane which contributes to the scalar potential as
[TABLE]
Thus, as expected, the contribution of this energy to the scalar potential lifts the AdS vacua breaking supersymmetry in a controlled manner parametrized by A. A stable dS vacuum is possible only for a small value of the pre-factor A. In Figure 2, we present an explicit realization of this mechanism where a the value for was selected by hand.
Since the value of is related to the induced metric of the 2-cycle where it is wrapped on, one way to achieve a small value consists of having the non-BPS state located very close to the singular point where the orientifold plane is sitting at the internal tori, such that the volume along the coordinates of the 2-cycle minimizes the tension of the brane. Further studies are required to describe the conditions under which this could be posible555Notice that in the KKLT scenario, a very similar situation is expected by the inclusion of anti--branes where the small value of the pre-factor related to the depends on both the number of as well as on the warp factor at the end of the throat. This is, as the is gravitationally attracted to the bottom of the throat its energetic contribution is redshifted justifying such a small value required to stabilize the vacuum at a metastable dS one Aparicio:2015psl ..
3.3 Model 3: dS by uplifting an asymptotic Minkowski
In a toroidal model, the condition is hard to achieve in an explicit case, mainly because the flux component of the superpotential is a polynomial in . One way to circumvent this issue is to consider a CY compactification with , in the lines of Blumenhagen:2015kja . In this case, as we shall shortly show, the moduli can be fixed at a dS vacuum by the inclusion of a non-BPS state which uplifts a runaway direction in a controlled manner.
Let us then consider a CY compactification without complex structure, which is similar to an isotropic torus compactification with stabilized complex structure. By turning NS-NS and RR fluxes supported on the appropriate cycles, the superpotential given by Eq. (7) can be written as
[TABLE]
where the real part of the complex moduli corresponds to the saxionic scalar fields as shown in Eq. (5). Our strategy here is to analyze regions for large volume such that there is an apparent stable value for with . This means that for some specific conditions does not change significantly while approaches asymptotically to a null value. In such conditions, we shall show that an uplift to a dS vacuum can be gathered by adding the non-BPS contribution. Let us show the involved details.
Consider the superpotential in Eq. (16). Since the pre-factor is a constant, we can rewrite it as , with a parameter to be used to control the expansion. In the limit of large , large and , the superpotential can be approximated, up to third order, to666An approximation less than third order shows no minimum.
[TABLE]
Let us now proceed to stabilize the moduli and by considering the whole superpotential where we take the approximate expression for . By vanishing the Kähler derivative , the axio-dilaton is fixed at
[TABLE]
where is the value for for which . The Kähler modulus is then approximately fixed at
[TABLE]
where
[TABLE]
Then, and we can safely consider that for sufficiently large (i.e. for large and in consequence a small ) . It is important to emphasize that has not a true minimum along , but for large volume, it is possible to find a region in which changes very slowly while is given by
[TABLE]
which approaches zero for large . Since approaches zero from positive values, we are in a non-supersymmetric region where
[TABLE]
and where we have used that
[TABLE]
Thus, we observe that SUSY is broken in a controlled manner parametrized by , For large and for positive , this region provides physical values for the moduli while controlling corrections to the Kähler potential. The asymptotically zero value for can be understood as a cancellation between the F-term contribution to the scalar potential which main contribution scales as and the contribution of . As expected in a runaway direction, we can also see that for large the mass eigenvalues tends to vanish. In fact,
[TABLE]
approaches to zero for large (or equivalently for large ), where is a polynomial on . The question here is if it is possible to uplift this potential to a stable dS vacuum. The key point is to realize that the scalar potential is exponentially suppressed, for which an uplift depending on a power of could give us a stable vacuum. Let us then consider the presence of a non-BPS state, meaning that we have the scalar potential
[TABLE]
It is hard to construct an analytic expression for the vacua, thus we proceed numerically. We find that stable dS minimum can be constructed by uplifting regions of large where the v.e.v. of the saxionic components are shifted to higher values and a metastable dS is found at
[TABLE]
In Figure 3 we present a particular case where a metastable dS vacuum is found. Remember that we are working on an approximate value for the non-perturbative instantonic superpotential for large values of .
As mentioned above, the small value required for can be justified if the non-BPS brane reduces its volume along the 2-cycle around the orientifold fixed point. In the case of a CY this can also be justified if the orientifold planes are located at a warped throat where strong gravitational effects redshift its energetic contribution. However, any back reaction in the geometry of the internal space may destabilize the vacuum, and its explicit stability shall be addressed carefully. As in the previous case, more studies are required.
4 Instabilities from brane-flux transitions
As we have shown, by considering a single non-BPS -brane, it is possible to construct a dS minimum under some specific conditions. In this section, we want to show that even if we do not consider the cancellation of the total discrete K-theory charge, the involved process due to the existence of 3-form fluxes, induces some brane-flux transitions that could source for instabilities of the afore-constructed dS minima in agreement with the RdSC. At the end, this will leads us to a new perspective of how to cancel the discrete K-theory charge while keeping the possibility of constructing a dS vacuum, which nevertheless, makes it unstable.
Let us start by applying the AHSS described in section 2 to the non-BPS -brane. As mentioned, the first step in the AHSS must involve mappings from the torsional components of the cohomology groups,
[TABLE]
through the NS-NS differential . The possible mappings are shown in the diagram of Figure 4.
In our case, a 4-form represents the non-BPS . Since , this brane is stable unless it encounters an instantonic brane. The existence of an instantonic brane can be deduced from the mapping
[TABLE]
given by
[TABLE]
with . Under Poincaré duality a 1-form is related to a torsional 5-cycle in . This corresponds to a -brane wrapping an internal discrete 5-cycle (which in a toroidal compactification is easy to construct) in and the extended 3 spatial coordinates. This is an instantonic 7-brane777Actually it is an anti D7-brane Loaiza-Brito:2004ajy . which drives a transition between non-BPS branes and torsional fluxes.
The brane-flux transition can be represented as follows: the non-BPS -brane encounters an instantonic -brane supporting the NS-NS flux and it transforms into a discrete (half-integer modulo 2) flux , such that the discrete topological charge carried by the non-BPS -branes is now carried by the fluxes and , this is
[TABLE]
where is a torsional 4-cycle in the internal space, transversal to the 2-cycle where the original non-BPS -brane was wrapped.
In this context a -branes is equivalent to a flux configuration given by the NS-NS 3-form flux and a discrete 1-form flux belonging to (i.e. that for a 0-form ).
Hence, since the original configuration consisting of a -brane and 3-form fluxes has transformed into a configuration with a discrete -form and the same NS-NS 3-form fluxes, the contribution of the non-BPS state in the scalar potential changes as888The moduli dependence of the discrete flux can be derived directly from dimensional reduction of the RR flux term Hertzberg:2007wc .
[TABLE]
thus, the minimum before the transition suffers a transformation (if the internal geometry admits the presence of torsional 1-forms). This means that the aforementioned de Sitter (dS) vacuum has become destabilized. It is important to note that this topological transition can continue if it is energetically favorable. The different vacua that are connected through instantonic branes could be seen as a mechanism to modify seemingly stable vacua999It is interesting to observe that the new configuration is dependent on torsional fluxes , which can be interpreted as fractional, as explained in CaboBizet:2019sku ; Damian:2018tlf ..
Finally, it should be noted that the T-dual version of the -brane is represented by a non-BPS -brane in type IIA which wraps a 3-cycle that could support some units of NS-NS flux, rendering the state to be FW anomalous. This -brane is represented by a non-closed 3-form under , i.e., . Under T-duality, we can say that a non-closed form transforms into a exact form since the in type IIB is represented by a 4-form such that .
4.1 A proposal for canceling discrete K-theory
Tadpole cancellation in conventional flux compactifications can be reinterpreted in terms of flux-brane transitions that are derived from the MMS instantons and the AHSS. To see this, let us consider D3-branes located at a point in , and units of NS-NS flux supported on a 3-cycle of . Since the D3-branes are represented by a 6-form , it is clear that and . However, there exists a non-trivial map that indicates the presence of an instantonic -brane, which is represented by a 3-form with . The instantonic brane drives the transition of D3-branes into a unit of RR flux . As a result, the charge of the disappeared D3-branes is now carried by the fluxes through the coupling , and the total charge is conserved after the transition. This means that the quantity
[TABLE]
remains constant under these topological transformations. As the orientifolds provide a negative amount of charge, the total D3-brane charge must vanish.
The same argument can be applied to our discrete case, leading to the conclusion that
[TABLE]
Hence, although it is possible to cancel all discrete K-theory by considering an even number of non-BPS states, it is also possible to cancel it by considering a single non-BPS state (or equivalently an odd number) and a discrete flux. Since they have a different dependence on moduli, it is possible to construct a dS extreme solution even with the total discrete K-theory charge equal to zero. However, as the transition occurs, it is enough for one of them to change into the other for the total charge to explicitly cancel, destroying any possible vacuum and rendering the dS vacua to lie in the Swampland.
An interesting question arises regarding the time-average of these processes, with the intention of determining if they are allowed under the TCC. We expect a short-lived scenario since an instantonic 7-brane is a very heavy soliton solution. A much more detailed study is required to answer this question, which we leave for future work.
5 Final Comments
We discuss some general issues regarding the construction and stability of a de Sitter (dS) vacuum in toroidal compactifications with 3-form fluxes and orientifold three-planes. We show that it is possible to construct an apparently stable dS vacuum by incorporating a non-BPS -brane and uplifting either an asymptotically Minkowski scalar potential or an Anti-de Sitter (AdS) vacuum. However, the uplifted potential becomes very flat, indicating that the vacuum may be easily perturbed by a short-lived dS minimum, placing such scenarios in the Landscape, in agreement with the Trans-Planckian Censorship Conjecture. Nevertheless, these vacua cannot be consistent if the K-theory discrete charge, carried by the non-BPS brane, must cancel in compact spaces as expected by the Cobordism Conjecture, implying that any consistent scenario in the Landscape must contain an even number of -branes.
We show that even if we ignore the cancelation of discrete K-theory charge (for a while), the presence of NS-NS fluxes necessary to stabilize some of the moduli makes the non-BPS -brane unstable to transform into discrete flux , which now carries a -charge upon the appearance of an instantonic D-brane. This topological instability of the non-BPS -brane is the T-dual manifestation of the Freed-Witten anomaly present in a scenario where a non-BPS -brane in type IIA wraps a 3-cycle supporting a NS-NS flux. It is worth noting that the transition only affects the -brane required to construct the dS vacuum. In the absence of non-BPS states, the vacuum is AdS, and any topological transformation between 3-form RR fluxes and -branes does not change the scalar potential, making these vacua stable under such transitions.
Since the scalar potential’s dependence on the moduli is different for the discrete 1-form and the -brane, it is not certain that the new configuration will have the same minimum, and the seemingly stable dS vacuum could become destabilized. Furthermore, since the NS-NS flux remains, a sequence of transformations may occur, but the chain would end when a transition requires more energy than the previous step.
Therefore, just as with integer charges, having different sources for a discrete K-theory charge allows cancelation while having a non-trivial contribution to the scalar potential. Cancelation of the discrete charge requires a single (or odd number of) and a 1-form flux such that Eq. (37) is satisfied. This allows scenarios where the total discrete K-theory charge vanishes while having a contribution of and to the scalar potential, upon which it is possible to construct dS vacua since their contributions to the scalar potential have different dependence on the Kähler modulus.
However, these vacua can suffer two instabilities: 1) if the potential is very flat, they may be very short-lived, and ii) due to topological transitions and depending on the internal geometry, where non-BPS states wrap 2-cycles and discrete fluxes are supported on 1-cycles, their contribution to the scalar potential can change, thereby destroying the original vacuum. Considering all these processes, we can conclude that the dS vacua constructed in a scenario with zero discrete charge, are in the Landscape according to the Trans-Planckian Censorship, the Refined de Sitter, and the Cobordism conjectures. We leave the study of more general scenarios and a more detailed verification of the Swampland conjectures for future work.
Acknowledgments
C.D. is supported by CIIC-UG-DAIP No. 126/2022 while O. L-B is supported by CONACyT project CB-2015, No. 258982 and by CIIC-UG-DAIP No. 236/2022.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) E. Palti, The Swampland: Introduction and Review , 2019, 1903.06239 .
- 2(2) M. van Beest, J. Calderón-Infante, D. Mirfendereski and I. Valenzuela, Lectures on the Swampland Program in String Compactifications , 2102.01111 .
- 3(3) M. Graña and A. Herráez, The Swampland Conjectures: A Bridge from Quantum Gravity to Particle Physics , Universe 7 (2021) 273 [ 2107.00087 ]. · doi ↗
- 4(4) N. B. Agmon, A. Bedroya, M. J. Kang and C. Vafa, Lectures on the string landscape and the Swampland , 2212.06187 .
- 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) A. Bedroya and C. Vafa, Trans-Planckian Censorship and the Swampland , JHEP 09 (2020) 123 [ 1909.11063 ]. · doi ↗
- 8(8) E. Witten, Overview of K theory applied to strings , Int. J. Mod. Phys. A 16 (2001) 693 [ hep-th/0007175 ]. · doi ↗
