Modular symmetries and the swampland conjectures

Recent string theory tests of swampland ideas like the distance or the dS conjectures have been performed at weak coupling. Testing these ideas beyond the weak coupling regime remains challenging. We propose to exploit the modular symmetries of the moduli effective action to check swampland constraints beyond perturbation theory. As an example we study the case of heterotic 4d N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document} compactifications, whose non-perturbative effective action is known to be invariant under modular symmetries acting on the Kähler and complex structure moduli, in particular SL(2, Z) T-dualities (or subgroups thereof) for 4d heterotic or orbifold compactifications. Remarkably, in models with non-perturbative superpotentials, the corresponding duality invariant potentials diverge at points at infinite distance in moduli space. The divergence relates to towers of states becoming light, in agreement with the distance conjecture. We discuss specific examples of this behavior based on gaugino condensation in heterotic orbifolds. We show that these examples are dual to compactifications of type I’ or Horava-Witten theory, in which the SL(2, Z) acts on the complex structure of an underlying 2-torus, and the tower of light states correspond to D0-branes or M-theory KK modes. The non-perturbative examples explored point to potentials not leading to weak coupling at infinite distance, but rather diverging in the asymptotic corners of moduli space, dynamically forbidding the access to points with global symmetries. We perform a study of general modular invariant potentials and find that there are dS maxima and saddle points but no dS minima, and that all examples explored obey the refined dS conjecture.


Introduction
There has recently been a lot of interest on the concept of the Swampland constraints on effective theories [1][2][3][4][5][6][7], see [10] for a review. These are powerful conditions excluding effective theories which cannot arise in consistent theories of quantum gravity. Some of the most interesting swampland conjectures refer to the properties of the moduli space of scalars in consistent theories of quantum gravity [11][12][13][14][15][16][17][18][19]. The main list of such constraints include the following: • The moduli space of scalars is non-compact.
• Distance conjecture: consider a point in moduli space p 0 ∈ M. Then in the limit of infinite distance d(p 0 , p) = t → ∞, an infinite tower of states appears in the effective field theory with exponentially decreasing masses m e −αt .

JHEP05(2019)105
There are presumably interesting interplays among these conjectures. A possible connection between the last two conditions has been pointed out in [7], see also [15]; also, the connection between the distance conjecture and global symmetries has been pointed out in [11]. The first two conjectures have been tested in a number of different string theory settings, see [11][12][13][14] and references therein. In this paper we will explore the relations between these constraints, in the hitherto unexplored regime of low supersymmetry and strong coupling. For some recent papers on the Swampland and the Weak Gravity Conjecture see also [11,12, and [65][66][67][68].
The string theory tests of the distance conjecture performed so far are either perturbative or involve at least eight supersymmetries (or simple circle compactifications). These tests are also often essentially kinematic, in the sense that the structure of the towers of light states is identified but a full understanding of their effect on the effective field theory is lacking. Only with the additional constraints of theories with at least 8 supersymmetries it is possible to e.g. signal the emergence of a dual theory [11][12][13][14].
It would certainly be interesting to try and test these conjectures in string settings with reduced supersymmetry and also e.g. including non-perturbative induced potentials. This seems to be out of reach. However, in this paper we make substantial progress in this direction by proposing to exploit the modular symmetries of the effective action to check swampland ideas beyond weak coupling. Indeed, the scalar moduli space of string compactifications transforms in general under modular (or paramodular) symmetries, which are discrete infinite symmetries involving transformations of the moduli. They involve in general the Kähler, complex structure and complex dilaton of 4d string compactifications, and are part of the duality symmetries of string theory. The prototypical example is the SL(2, Z) T duality of tori and orbifolds thereof. This group is generated by R → 1/R transformations along with discrete shift symmetries for the real part of a Kähler modulus T . The existence of this kind of modular symmetries goes however beyond the toroidal setting, since modular symmetries arise also in (exact) moduli spaces of Calabi-Yau threefolds, like the quintic [69] and fairly generically in large classes of eliptic CY threefolds see e.g. [69][70][71][72]. These generalized modular symmetries are also generated by some discrete shift symmetry and a transformation relating large and small volumes (in fact the discrete shift symmetries and their interplay with the tower of light states near points at infinite distance in moduli space has already been explored in the N = 2 setup in [11,19]. Modular behavior arise also in non-perturbative superpotentials for F-theory compactifications on CY fourfolds [73][74][75][76][77]. Modular symmetries in axion and inflaton potentials have also been considered in [78,79]. We will focus on compactifications preserving 4d N = 1 supersymmetry, in which non-perturbative superpotentials for the moduli may arise. The resulting scalar potentials are thus constrained by invariance under modular transformations. A prototypical class of examples are 4d N = 1 heterotic orbifolds, for which the modular SL(2, Z) symmetries were well studied in the early 90's [80][81][82][83][84][85][86][87]. In this case the Kähler potential and the (non-perturbative) superpotential must transform such that the full Kähler potential (and hence the scalar potential) is invariant under modular transformations. In the case of a single modulus (little is known about modular symmetries for the multimoduli case) the JHEP05(2019)105 superpotential must be an automorphic form with definite modular weight, which is a very restrictive condition on the theory.
The study of the modular invariant effective actions of a single modulus in general 4d N = 1 string vacua is interesting in its own right, and was already considered in the early 90's, see e.g. [85][86][87]. We revisit these results from the perspective of the swampland conjectures. One finds in particular that modular invariant potentials necessarily imply the existence of essential singularities at points at infinite distance in moduli space (e.g. large/small volume). We display explicitly that in concrete string examples the divergence arises from infinite towers of states becoming light in those limits, in agreement with swampland distance conjecture expectations. Hence, our analysis remarkably relates the swampland distance conjecture with the behavior of the moduli effective action under modular transformations. In addition the modular symmetries for the moduli require the existence of the states to provide a physical understanding of the singularities. Notice that this is a novel behavior, as compared with the previous discussions in 4d N = 2 vacua; rather than the emergence of a dual description, what we find is that the infinite distance points are dynamically (exponentially) censored.
We describe different specific string contexts in which such modular invariant nonperturbative potentials appear, and discuss the relevant towers of states at infinite distance points. We revisit modular invariant gaugino condensation in 4d N = 1 heterotic toroidal orbifolds, already discussed in the early 90's [82][83][84]. In orbifolds with N = 2 subsectors, there are moduli-dependent one-loop threshold corrections to the gauge couplings [88][89][90], which can enter the moduli-dependent non-perturbative superpotential. In this case the singularities appear due to towers of KK or winding states on the fixed T 2 in the N = 2 sectors.
A key observation is that the moduli dependence relevant for invariance under modular transformations arises from subsectors with 4d N = 2 supersymmetry. Their properties are thus controlled by the properties of heterotic compactifications on K3×T 2 . This observation allows us to explore the dynamics of moduli using other dual descriptions, in particular type IIB orientifolds, type I' compactifications, and compactifications of Horava-Witten theory. These pictures allow a clear identification of the tower of states becoming light near the point at infinity in moduli space, and which are ultimately responsible for the appearance of the divergence in the scalar potential, and which correspond to D0-branes or KK momentum states in the latter pictures. This discussion enormously increases the applicability of our results on swampland conjectures from invariance under modular transformations to other string compactifications. In particular, non-perturbative superpotentials with modular behavior have been obtained in the literature in a variety of settings, see e.g. [73][74][75][76][77]. We expect that the lessons we present in this paper extend to more general string compactifications.
The fact that many string models lead to theories invariant under modular transformations, motivates the study of general effective theories of scalars with modular invariant potentials in the context of the swampland conjectures. They may be considered as nontrivial candidate field theories which may be consistently coupled to quantum gravity. This consistency would also require fully fledged string theory to give a physical meaning to their JHEP05(2019)105 behavior and singularities. In this paper, we perform a detailed study of different singlemodulus effective actions with non-trivial SL(2, Z)-invariant scalar potentials, and explore their extrema. We find AdS and Minkowski vacua, both SUSY and non-SUSY. We also find dS maxima and saddle points, but we have been unable to find a dS minimum. Our analysis show that the refined dS conjecture applies in all examples studied (including the second condition, for dS maxima). We find in our examples no runaway behavior leading to e.g. possible quintessence dynamics.
We emphasize that in these effective theories the invariant potentials always diverge exponentially at points at infinity, so that the moduli are dynamically forbidden to access them. In their UV completion, the infinite tower of states demanded by the swampland distance conjecture should be responsible for the dynamical generation of the divergent potential, and thus for the impossibility to access the regions in which global symmetries are recovered.
The structure of the rest of this paper is as follows. In section 2 we review the structure of single-modulus SL(2, Z)-invariant scalar potentials in 4d N = 1 supergravity. We show the superpotential must have modular weight (−3), implying the appearance of singularities at the boundary of moduli space. In section 3 we discuss concrete string theory setups with non-perturbative superpotentials satisfying these properties under modular transformations, and describe the UV degrees of freedom providing the infinite towers of states inducing the divergent contributions to the potential. In section 3.1 we review superpotentials from gaugino condensation in heterotic toroidal orbifolds, and subsequently in section 3.2 we turn to other dual realizations, including models in type I' or Horava-Witten theory, which nicely isolate the towers of states dominating at infinite distances (and which correspond to D0-branes or KK momentum modes). In section 4 we discuss effective field theories with general single-modulus SL(2, Z)-invariant scalar potential, and study the validity of the (refined) swampland conjectures to their extrema. Finally, in section 5 we offer our final remarks. Appendix A collects some useful properties of modular functions and appendix B an overview of the extrema in models with two complex scalars.

Modular symmetries and invariant potentials
We want to study how modular symmetries can constraint the effective action of string compactifications, and how these constraints fit with swampland ideas. We focus on the prototypical example of such symmetry, the modular group SL(2, Z), which is ubiquitous in string theory. In this section we review the scalar potential for 4d N = 1 supergravity theories of a single modulus T invariant under the modular group SL(2, Z), see [85]. This modular symmetry is generated by the transformations acting on the complex modulus T = θ + it. The two generators are T → T + 1, which implies a discrete periodicity for the real part θ, making it axion-like; and T → −1/T , which relates small and large t, e.g. t → 1/t for δ = 0.

JHEP05(2019)105
In general T may correspond to a string modulus like Kähler, complex structure or  complex dilaton, depending on the examples considered, see section 3 for examples. For concreteness, we carry out the discussion in terms of T being a Kähler modulus The effective action will be determined by the full supergravity Kähler potential This corresponds to e.g. the large Kähler modulus dependence of a Calabi-Yau (CY) string compactification with h 11 = 1. It also corresponds to the Kähler potential for the overall Kähler modulus in a toroidal/orbifold compactifications. Under modular transformations one has (T −T * ) → (T −T * )/|cT +d| 2 , so that modular invariance of the Kähler potential dictates that the superpotential should have modular weight (-3), i.e.
where δ is a moduli-independent phase, which can depend on the SL(2, Z) transformation.
We now revisit the general study of T-duality invariant potentials in [85]. A general and useful way to parametrize functions with given modular weight is through the Dedekind function η(T ), which has modular weight 1/2, η(T ) → (cT + d) 1/2 η(T ). Hence we can always write with H(T ) being a modular invariant holomorphic function. This can always be expressed as a function of the absolute modular invariant function j(T ) (see appendix A). As explained in appendix A, if one insists in avoiding singularities within the fundamental domain, it can be proven that H(T ) must be of the form where m, n are positive integers and P is a polynomial on j. Without loss of generality the zeros of P(j) may be chosen different from the SL(2, Z) self-dual points T = i, e i2π/3 . Another equivalent way to write the same expression is where G 4,6 are Eisenstein functions of weight 4 and 6 respectively, see appendix A. Note that these superpotentials with no additional singularities in the fundamental domain, necessarily diverge exponentially as T → i∞, 0. Such a behavior is in principle rather surprising, since in perturbation theory potentials are known to scale like a power of 1/t. Thus this peculiar behavior, if present, requires non-perturbative physics. 1 In coming sections we will provide explicit string models with this divergent behavior, including the JHEP05(2019)105 gaugino condensation example studied in [82]. These constructions show that the exponential singularities arise from towers of states becoming light, in nice agreement with the swampland distance conjecture.
It is interesting to consider the simplest case with H(T ) = 1, which is indeed realized in concrete string constructions, as we will see in coming sections. The scalar potential is given by the simple expression whereĜ 2 is the non-holomorphic weight-2 Eisenstein function This potential (2.7) is explicitly modular invariant and diverges like e πt for large Im T = t → ∞. Extrema of this potential as well as more general potentials with arbitrary H(T ) will be discussed in section 4.1. As we discuss in the next section, this type of potentials arise in gaugino condensation in heterotic orbifolds, and other related examples. One may worry that the above computations can be trusted only for large Im T , and that there may be corrections in the deep interior of moduli space. However, the key statement is that modular invariance strongly restricts the structure of the Kähler potential, the superpotential and thus the scalar potential for moduli. More formally, the Kähler potential and superpotential are not mere functions over moduli space, but rather sections of non-trivial bundles over moduli space. Corrections may change the specific form of the section, but cannot change the non-trivial topology of the bundle, which is encoded in the modular properties we are highlighting. Hence, in short, the superpotential must be an holomorphic form of modular weight −3. Barring singularities at finite distance in moduli space (which would have no clear physical origin, as will be clear in the examples in coming sections) this implies the existence of singularities at Im T → ∞, which thus seems unavoidable.
The existence of this singular behavior as one approaches points at infinite distance in moduli space, resonates with the swampland conjectures. For Im T 1 in Planck units, the potential dynamically censors the limits in which the continuous shift symmetries are recovered. Furthermore, the divergences in those limits stem from towers of almost massless states, in agreement with the distance swampland conjecture.
We would like to emphasize that, nevertheless, this behavior is in stark contrast with the behavior at large moduli found in other examples studied in the literature, possibly due to the extended N = 2 supersymmetry on which they are based. In those examples, e.g. [11], the towers of states near those points typically induce corrections to the metric in moduli space, possibly making the infinite distance emergent; these states sometimes admit very explicit descriptions in terms of a dual theory [13,14]. In the non-perturbative framework here described, access to these points is excluded not merely from kinematics in moduli space, but also from the dynamics inducing a potential. The models are thus trapped in a non-perturbative regime far from any weak coupling expansion. Perturbativity for the SM should then appear as an infrared effect, as suggested e.g.in [12].

JHEP05(2019)105
As explained, similar analysis applies when the relevant modulus correspond to other string moduli. The case in which it corresponds to the complex dilaton S in heterotic compactifications was put forward in [86], in the first paper introducing S-duality. Although in principle SL(2, Z) S-duality could be expected to be a symmetry only in finite theories, it was argued that it may apply to some extent in some subsector of theories with reduced or no supersymmetry. Indeed, modular invariant superpotentials involving complexified string coupling have appeared in the context of 4d N = 1 F-theory compactifications [74][75][76][77].
Following the same arguments as above the limits S → i∞, 0 would be dynamically forbidden, and the weak coupling limit g → 0 would be censored, in agreement with absence of continuous global symmetries. For large S, corresponding to g → 0, the heterotic string becomes tension-less since one has for the string scale M 2 s = M 2 p /(8 Im S). In ref. [87] the divergent limits in the S-dual potentials were avoided by canceling the divergence choosing a H(S) vanishing at S → i∞, 0. However in such a case, as discussed above, there are necessarily singularities in the fundamental region, with no obvious physical interpretation.

Gaugino condensation in 4D heterotic string
In this section we will discuss how N = 1 superpotentials of the type discussed in the previous section arise in string theory. In particular, we will consider 4d N = 1 heterotic Abelian orbifolds. We first focus on the moduli-dependent threshold corrections for gauge couplings. Upon gaugino condensation, such threshold corrections can give rise to non-perturbative moduli-dependent superpotentials which are modular forms of the appropriate weight.
Threshold corrections to 4d gauge kinetic functions arise from a perturbative 1-loop computation. We eventually focus on Abelian orbifolds, which are exact CFTs, and in particular are interested in the moduli-dependent piece, which arise in N = 2 subsectors, i.e. those associated to elements of the orbifold group leaving some T 2 fixed. In those sectors the structure is essentially that of a compactification of heterotic on K3×T 2 , and the discussion can be phrased in this more general setting (eventual breaking to N = 1 can be obtained by further orbifold twists), following the classical computation in [88][89][90], also for comparison with the section to follow.
From general results in N = 2 theories, the gauge kinetic functions can only depend on moduli in vector multiplets. Thus, since the K3 moduli belong to hypermultiplets, they cannot appear in the threshold correction. Hence, we are interested in threshold corrections depending on the Kähler and complex structure moduli T , U of the T 2 , which are in vector multiplets. We will pay special attention to the action of the modular groups SL(2, Z) T × SL(2, Z) U on these moduli.
The thresholds corrections depending on the moduli of the T 2 for the resulting N = 2 theories arise from momentum and winding modes on T 2 , and are given by and Here n i , m i are winding numbers and momenta and M is the mass of KK and winding excitations of vector multiplets involved in the loop. We note that M is invariant under SL(2, Z) T × SL(2, Z) U by suitable relabeling of the integers m 1,2 , n 1,2 . Performing the integral in (3.1) one obtains for the moduli dependent threshold corrections with b a the β-function coefficient of the corresponding N = 2 gauge theory. Note that, as expected, this expression is invariant under SL(2, Z) T × SL(2, Z) U . Let us consider including additional orbifolds to yield 4d N = 1. This leads us to consider N = 1 orbifolds T 6 /P with the orbifold group P given by Z N and Z N × Z M orbifolds, with some elements of the orbifold group (forming a subgroup P i ) leaving the i th T 2 fixed. For simplicity we focus on factorizable orbifolds, and consider the dependence on the moduli T i , U i , with i labeling the three possibly fixed T 2 . Using the above results, this is given by [88] where |P | is the order of the orbifold group (e.g.
is the β-function coefficient of the corresponding N = 2 sub-theory, and c a is a moduli-independent constant. Recall that the orbifold group is constrained to have a crystallographic action on the torus. Also, we note that in certain N = 1 orbifolds, some or all the U i are frozen and hence only contribute a constant to the thresholds. This occurs when the fixed T 2 is subject to extra orbifold action which are not Z 2 , and thus act crystallographically only for definite values of the T 2 complex structure. For instance, that is the case e.g. for the Z N orbifolds with N = 6, 8, 12.
The resulting 4d N = 1 theory contains gauge sectors which may experience strong dynamics effects at low energies. Consider the simplest situation that some gauge factor contains no charged matter, so that it describes a pure super-Yang-Mills sector, which confines and produces a gaugino condensation superpotential in the infrared. 2 The prototypical case is an unbroken E 8 , which is present if the embedding of the orbifold group in the gauge degrees of freedom involves only the other E 8 . This includes standard embedding models, but also many other orbifolds, see [93] for a review.

JHEP05(2019)105
Including the effect of the threshold correction leads to holomorphic gauge functions where S is the heterotic 4D complex dilaton. Actually, cancellation of duality anomalies requires in general a Green-Schwarz mechanism [94][95][96], which implies the replacement b N =2 where δ i GS are gauge group independent constants. However, this point is not essential for our purposes, so we rather ignore it by considering e.g. the Z 2 × Z 2 orbifold, for which δ i GS = 0. The gaugino condensation superpotential then reads where we have made use of the fact that β E 8 = 3b N =2 i,E 8 in this example. This has precisely the modular properties described in the previous section, and it is a most simple illustration of how such superpotentials can arise in very explicit heterotic compactifications.
The result can be easily adapted to other orbifold groups. For instance, in orbifolds where, as mentioned earlier, the complex structure moduli are projected out, they are simply not present in the superpotential. Also, for orbifolds with δ i GS = 0, the only effect is that the exponent of the η(T i )'s is smaller [91,92] Finally, recall that in orbifolds with no fixed planes, like the prime order cases Z 3 , Z 7 , there are no moduli dependent threshold corrections. The modular invariant scalar potentials arising from orbifolds with gaugino condensation can be subject to explicit study. For instance, considering examples with fixed complex structure, and focusing on the dependence on the overall Kähler modulus, we have a superpotential of the form W (S, T ) = Ω(S)/η(T ) 6 , which is one of the simplest examples whose extrema are studied in section 4 and appendix B.
As we advanced, these potentials diverge exponentially for large Im T, Im U . The origin of this divergence can be traced to contributions from infinite towers of states becoming light, as expected from the swampland distance conjecture. In particular, consider the mass M 2 in (3.3) for fixed complex structures: we see that at large Im T , the sector with vanishing winding numbers n 1,2 = 0 leads to an infinite tower of KK states with M 2 (Im T ) −1 . As is familiar [3,[10][11][12][13][14][15][16]19], the mass decreases exponentially with the distance, if phrased in the proper frame. By SL(2, Z) T , the opposite regime of Im T → 0 leads to an infinite tower of winding modes with vanishing momenta m 1,2 = 0. A similar behavior can be recovered at the points at infinite distance in complex structure moduli space: as Im U → ∞ (and fixed T ), there is an infinite tower of states with m 1 = n 2 = 0 becoming light. In any of these limits, the physical interpretation is that the towers of light particles modify the gauge theory dynamics by increasing the effective scale of the gaugino condensate, hence leading to a potential growing at infinity.
The description in terms of the heterotic degrees of freedom certainly resonates with the swampland distance conjecture. In the following section, we consider a dual type I' /

JHEP05(2019)105
Horava-Witten description, which allows for a more precise identification of the degrees of freedom controlling the dynamics of the T and U moduli independently.

From heterotic to type I' / HW
In the above heterotic description, the piece of moduli space under discussion has an SL(2, Z) T × SL(2, Z) U modular group. However, the relevant heterotic degrees of freedom correspond to momentum and winding states in T 2 , whose mass formula (3.3) depends on both the T and U moduli of T 2 ; they are hence not the natural objects to disentangle the two independent SL(2, Z) modular properties, or the behavior at independent infinite distance points. In this section we provide a picture in terms of a dual type I' or Horava-Witten description, which explicitly displays the degrees of freedom controlling the dynamics of the T and the U moduli independently.
In order to do that, we return to the description of moduli dependent threshold corrections in N = 2 subsectors in terms of a compactification of heterotic on of K3×T 2 . Again, eventual reduction to N = 1 can be obtained by additional orbifold actions. In this section we would like to focus on the structure of heterotic on K3×T 2 , and exploit the rich web of string dualities to understand the one-loop threshold correction.
The compactification can be constructed as a 6d N = 1 compactification on K3, followed by a T 2 compactification to 4d N = 2. As is well known, in the E 8 × E 8 heterotic, these are determined by the distribution of instanton numbers for the gauge backgrounds on the two E 8 factors, (12 + n, 12 − n) [97], while for the SO(32) heterotic, it corresponds to n = 4 [99,100], see [101] for a review. We are thus left with a large class of 6d models which should subsequently be compactified on T 2 , possibly with Wilson lines; clearly, this description is disadvantageous since the modular properties in the T 2 compactification are obscured by the complications of the previous stage of K3 compactification.
It is thus natural to regard the configuration as first a T 2 compactification down to 8d, eventually followed by a K3 compactification to 4d N = 2. In this description, the modular properties should be manifest already at the level of the toroidal 8d theory. Indeed, the 8d theory contains a precursor of the corrections to the 4d gauge couplings corrections, corresponding to corrections to the 8d couplings tr F 4 , (tr F 2 ) 2 and (tr F 2 )(tr R 2 ) (there are in addition tr R 4 and (tr R 2 ) 2 corrections, not involving the gauge groups, and which we will hence skip). As we show below, the coefficients of such couplings are modular functions of the heterotic Kähler modulus T (as well as of its complex structure modulus U ). Upon dimensional reduction on K3, including the corresponding gauge and gravitational instanton backgrounds, one recovers the 4d N = 2 corrections to the gauge couplings, thus with the precisely (combinations of) the same modular functions.
The structure of the quartic corrections to the 8d theory, for diverse choices of Wilson lines, has been studied from different dual descriptions. For instance, in [102][103][104][105][106][107][108][109], either directly as a perturbative computation in heterotic string, or from F-theory on K3. The latter is closely related (in a perturbative limit) to the orientifold of type IIB on T 2 with 4 O7-planes and 8 D7-branes on top (as counted in the double cover). This corresponds to a JHEP05(2019)105 heterotic model with Wilson lines breaking the gauge group to SO(8) 4 , as follows. Starting from the heterotic, one performs an S-duality to a type I T 2 compactification with Wilson line, and two T-dualities to the type IIB orientifold.
The original heterotic T modulus maps to the type IIB complexified coupling τ , and the heterotic U modulus remains the complex structure modulus of the type IIB T 2 . Hence, the SL(2, Z) 2 modular group corresponds to S-duality on the type IIB complex coupling τ , and the modular group of the orientifolded T 2 . In the type IIB picture, the corrections were computed in [110]; here the τ -dependent piece of the quartic corrections arise from D(−1)brane instantons, whereas the U -dependent part arises from perturbative fundamental string corrections. Hence, this picture succeeds in disentangling the two modular groups in terms of two kinds of instanton effects. This is very reminiscent of the Swampland Distance Conjecture, since moving towards points at infinite distance in a modulus has an effect in a tower of charge states, albeit in this case they correspond to D(−1)-brane instantons rather than light particles.
In order to make the connection with towers of particles as in the standard Swampland Distance Conjecture, we will exploit yet another picture, developed in [111] (see also [112]). It corresponds to T-dualizing the type IIB orientifold into an S 1 compactification of type I' theory. 3 Namely, we consider type IIA on and S 1 /Z 2 orientifold with two O8-planes, each with 16 D8-branes (as counted in the double cover). This 9d theory is then compactified on an additional S 1 to 8d, e.g. with suitable Wilson lines if we wish to relate to the SO(8) 4 theory. In fact, the discussion can be easily extended to general Wilson lines, as we will do later on.
In this type I' picture, the threshold correction is associated to the tower of particles in the 9d type I' theory, concretely the corrections depending on τ arise from D0-brane particles bound to each of the two O8/D8 configurations. As discussed in [113] the spectrum of such BPS particles is given by bound states of 2k D0-branes, giving particles in the 120 of each SO (16), and bound states of (2k + 1) D0-branes, giving particles in the 128 spinor representation of SO (16). The 8d correction arising as a 1-loop diagram of these particles, in which they are allowed to run along the S 1 bringing us down from 9d to 8d. Similarly, the corrections depending on U arise from 9d particles arising from open string stretching among the D8-branes, and thus having non-trivial winding in the type I' S 1 Z 2 . These are 9d particles with winding w ∈ Z and transforming in the (16,16) of SO(16) 2 , or with winding 2w and transforming in the (120, 1) + (1, 120).
In this picture, the modular behaviour in τ is not manifest. Indeed, since τ is the type IIB complex coupling, the corresponding S-duality group is manifest only if we lift up to M-theory. The lift of type I' theory corresponds to Horava-Witten (HW) theory, in the particular choice of wilson lines breaking the E 8 × E 8 symmetry on the boundaries down to SO(16) 2 . In this picture the D0-branes lift to KK momentum modes of the 10d E 8 gauge multiplets, which propagate on a T 2 , given by one circle associated to the lift from type I' to 11d, and the second circle being that already present in the 9d → 8d compactification

JHEP05(2019)105
Picture Modulus Duality group Objects Kähler T-duality Mix of R 10 /R 9 e iθ Complex structure wrapped F1 / KK Type I T 2 C 2 + i R 9 R 10 /g s Kähler T-duality Wrapped D1 Kähler T-duality F1 winding Kähler T-duality wrapped M2 Table 1. Dual pictures and some of their ingredients. Despite similar notation for the compactification radii, they in general have meaning adapted to the corresponding picture.
of type I'. As in standard M-theory/type IIB duality, the complex structure τ of this T 2 maps to the type IIB complex coupling, and there is a geometric interpretation for the SL(2, Z). Similarly, the U -depended contribution in type IIB theory arises from M2-branes wrapped on the S 1 /Z 2 × T 2 geometry. The dual pictures and relevant ingredients are shown in table 1.

The 1-loop computation of the threshold correction
Thus, HW theory on T 2 , possibly with Wilson lines, is the natural framework to understand the modular properties of the threshold corrections. To flesh out the discussion, in the following we illustrate the computation of the τ -dependent threshold correction for the configuration with an unbroken E 8 in 8d. Cases with more general Wilson lines can be discussed similarly. We follow closely the steps in [111], albeit for the E 8 case. The 1-loop computation of the E 8 HW vector multiplets, described from the perspective of the worldline, reads In the above expression, the t 4 in the integral is associated to the four external legs in the tr F 4 term. Note that the same result is obtained by taking two external legs i.e. tr F 2 in the 4d theory.
In the following we reabsorb V (2) in a rescaling of t. A useful way to eventually extract the dominant contribution at infinity in τ is to perform a Poisson resummation to get 11 t e 2πiw 9 11 τ 1 . (3.9) In the 10d picture upon reduction on the direction 11, the integer w 9 represents the winding of the 9d objects (eventually D0-branes) running in the loop in the S 1 bringing us down from 9d to 8d. Isolating the w 9 = 0 contribution, and performing a Poisson resummation in 11 and integrating in t, we have where we have exclude the divergent w 11 = 0 term (discussed below). As will be clear later on, this contribution extracts the dominant contribution in the large τ limit of an infinite tower labeled by 11 , of D0-branes in type I' language. With hindsight we write Incidentally, this zero-winding contribution from 11d KK modes is similar to a contribution from D0-branes in the Gopalumar-Vafa interpretation of the topological string [114]. The w 9 = 0 contribution, after integration in t reads 11 ∈Z 1 |w 9 | e −2πτ 2 |w 9 11 | e 2πiτ 1 w 9 11 . (3.12) Introducing q = e 2πiτ , and gathering the contributions from D0's ( 11 > 0) and anti-D0branes ( 11 < 0), we have 11 >0 1 w 9 q w 9 11 + cc. . Here have substracted the 11 = 0 piece, which corresponds to no D0-branes, and corresponds to a perturbative piece mentioned later on. The above expression can be recast as (1 − q 11 )   + cc. (3.14)

JHEP05(2019)105
So putting together with (3.11) we have Here the exponent is chosen by adjusting the coefficient, but it can be checked that it matches with the log(Im τ ) piece (arising from the dropped 11 = 0 part) to achieve a modular invariant quantity, as expected from the original manifestly modular invariant amplitude in the HW picture. Hence we get log [ (Im τ )|η(τ )| 4 ]. (3.16) As mentioned before, the dominant term at large τ corresponds to the zero winding w 9 = 0 contribution of the whole tower of D0-branes (or HW KK modes in the 11 direction). It is thus these states that dominate in the point at infinity in the moduli space of τ (namely, T in the heterotic description).
A very similar computation involving fundamental string winding states in type I' theory (i.e. wrapped M2-brane states in HW) can be shown to produce the U -dependent threshold corrections. These were discussed in [111] in the type I' picture for the SO(16) 2 and SO(8) 4 theories, to which we refer the reader for details. Here it suffices to note that, from the perspective of the 9d theory, the computation is identical to the previous one, as it simply relies the existence of one 9d BPS state for each integer charge k ∈ Z; in the present case, the relevant 9d states are M2-branes with wrapping number k on the two-dimensional space defined by the HW interval times the S 1 in the lift type I'→ HW. This multiplicity of bound states implies the result log [ ( Im U ) |η(U )| 4 ]. (3.17) Let us conclude with a final remark bringing us back to the original discussion of heterotic in K3×T 2 . The above computation produces the coefficient of the (tr F 2 ) 2 term in 8d (recall that E 8 has no quartic Casimir). One can similarly get the (tr F 2 )(tr R 2 ) term, resulting in a quartic correction of the form log [ (Im τ )|η(τ )| 4 (Im U ) |η(U )| 4 ] ( tr F 2 − tr R 2 ) tr F 2 . (3.18) Upon compactification on K3, with a gauge instanton background with instanton number (12 + n), and taking into account the Euler characteristic of K3, we have a threshold correction to the 4d gauge coupling constants given by which, as announced at the beginning, is controlled by the beta function of the 4d N = 2, equivalently the coefficient of the anomaly polynomial of the 6d N = 1 theory obtained from just the K3 compactification. An equivalent way to understand this picture is to indeed consider first the compactification on K3 to 6d. In this compactification, the tower of D0-branes in the adjoint of E 8 will produce a tower of 6d (massive) D0-brane states, in diverse representations of the

JHEP05(2019)105
surviving 6d gauge group. The ground states in the dimensional reduction in K3 are determined by the index theorem on K3 for states coupled to the gravitational and gauge backgrounds. These massive 6d states are subsequently compactified on T 2 , and produce, via a one-loop diagram whose computation is identical to the above one, the threshold corrections to the 4d gauge couplings. The matching with the above description is precisely due to the familiar fact that the index theorem relates the multiplicities of 6d states to the integral of tr F 2 − tr R 2 .

The gaugino condensate
Let us conclude by mentioning that the type I' or HW picture also includes the source of the non-perturbative effects, which in the 4d N = 1 context produces the non-perturbative superpotential. The relevant object is a 6d BPS particle given by a D4-brane wrapped on K3, and which runs in a loop in T 2 . In the 4d N = 2 context this gives rise to a tower of spacetime instantons, with (in their Higgs branch) correspond to gauge instantons on the D8-branes. In the 4d N = 1 setup, these instanton would have too many fermion zero modes to contribute to the superpotential, and only a few (fractional) instantons provide non-trivial contribution, thanks to the extra orbifold projections. Thus the 1-loop diagram picture is not so useful. In any event, it is interesting to point out that this description shows that the effect of the threshold corrections on the non-perturbative superpotential is nothing but the sum of the contributions from polyinstantons like those introduced in [115,116], namely the effect of instantons from D0-brane loops on the action of an instanton from a D4-brane loop.
In the HW lift, we have just an instanton effect from an M5-brane on K3 times the 11d circle, with arbitrary momentum excitations on the latter. This configuration is similar to that in [117], but with the additional difficulty that the M5-brane is bound to the E 8 boundary, which thus renders the quantitative description beyond present knowledge.

Extrema in a modular invariant potential
In the previous sections we have seen how non-perturbative effects are able to generate N = 1 superpotentials which are modular forms under SL(2, Z), keeping invariant the moduli scalar potential. In this section we explore in some detail the extrema of the most general class of modular invariant potentials for a single modulus T . These of course are simplified models, since a fully realistic string compactification is expected to involve multiple moduli, gauge bosons and matter fields. So at best, these models could arise in some particular compactification after the rest of the spectrum has been integrated out, or could perhaps represent some subsector of a more complicated compactification. On the other hand one could ignore its possible string theory origin and consider them by themselves as explicit examples of N = 1 supergravity models with one chiral field and admitting a consistent coupling to quantum gravity. The idea here is to test in specific models the connection between duality symmetries in string compactifications and the JHEP05(2019)105 swampland ideas. Thus e.g. one may ask whether the properties of modular invariance imply or are related to any of the proposed swampland constraints.
Let us consider then the N = 1 supergravity Kähler potential with a general superpotential W = H(T )/η(T ) 6 , with H(T ) given by eq. (2.5). The corresponding potential is given by Here we have renamed the real and imaginary parts of the field as: The potential is invariant under PSL(2, Z) with the fundamental region in the complex plane shown in figure 1. One can show then that the points T = i and T = ρ = e i 2π 3 are always extrema, since they are fixed points under finite order subgroups which act non-trivially on derivatives of the potential, which must thus vanish. In [85] it was also conjectured that all extrema lie on the boundary of the fundamental region. We have explored the potential numerically and we find that this is indeed the case, although we are not aware of a general proof.
We have performed a general study of minima for the different models obtained for different m, n ≥ 0 and polynomial P in eq. (2.5). The summary of our results is that we find Minkowski and AdS extrema with and without SUSY. We also find dS maxima and saddle points, but we have been unable to find dS minima. It is natural to believe that this structure is a consequence of the modular invariance (duality in a string setting) of the models.
Although we do not have a general proof for the absence of dS minima, one can explicitly prove that the extrema at the self-dual points or zeros of P are never dS minima. This may be proved for any value of n, m and choice of polynomial P(j(T )). The proof borrows some results from [85]. First we study, for each choice of H, which type of extrema is generated at these points. Once we have found a set of parameters generating a minimum, we show that, for these parameters, it can never be in dS. Let us see how his comes about, considering different values of n, m in turn.
• n = 0 or m = 0 At T = ρ one hasĜ 2 = dj dT = 0 so that for n = 0 one has dH dT = 0 and   Again it is always in AdS. In figure 2 we consider the particular case n = m = 0 with P = 1. We can see the maximum at T = ρ and a saddle point at T = i. Additionally, there is a non-SUSY AdS minimum at Im T = 1.2, in the boundary of the fundamental region, but not at a fixed point. This is the simplest example superpotential discussed above with W = 1/η(T ) 6 .
• n > 1 or m > 1 These always yield Minkowski minima. If n > 1 then T = ρ is always a minimum, and the same applies for m > 1 and T = i. If n > 1 then H (ρ) = 0 and if m > 1 then H (1) = 0. In both pointsĜ 2 = dj dT = 0. If n > 1 then at T = ρ ∂H ∂j does not diverge, so V = 0. Thus indeed it is always a Minkowski minimum, and the same happens for m > 1 at T = i.
• n = 1 or m = 1 Some of these give rise to dS maxima, but no minima. If n = 1 then, at T = ρ: H =Ĝ 2 = 0. However, ∂H ∂j diverges in such a way that dH dT is finite and non-zero. Then the potential, at both fixed points, simplifies to: (4.5) For n = 1, at T = ρ one obtains  where we have defined C = lim T →ρ dT . This is always a maxima and the potential is positive. In figure (3) we plot the potential for n = 1, m = 0, P = 1. We can see the predicted dS maximum at T = ρ in the zoom in around this point. In the same plot, at T = i there is an AdS minimum, since m = 0.
Moving on to m = 1, we evaluate the potential at T = i: where we have defined D = lim T →i dT . The potential is always positive at the extrema. By changing H we can make it a saddle point or a maximum but not a minimum.
The remaining extrema are the multiple zeros of P (j). They verify H = dH dT = 0, so they preserve supersymmetry and are always Minkowski. We summarize the results for minima at the self-dual points in the tables 2 and 3. Note that in the model considered supersymmetry is spontaneously broken if at the minimum of V the auxiliary field has a non-zero vacuum expectation value. In the last step we specified to the self-dual points, whereĜ 2 = 0. This completes the study of extrema on self-dual points, which are generic. It is quite interesting that modular functions conspire to produce all kinds of extrema except dS minima. One may wonder why, given the freedom in H and P we are still unable JHEP05(2019)105  Table 3. Classification of the extrema found at T = ρ.

JHEP05(2019)105
to uplift one of the Minkowski vacua that we have found to dS. One would naively say that, starting from a Minkowski vacuum in a self-dual point and adding some perturbation there should be some nearby dS minima, not only AdS. This is in fact not the case, and adding (modular invariant) perturbations one never lands in dS. The whole potential is constructed around the Klein Invariant function j(T ) and the Dedekind function η(T ), as a consequence of modular invariance. The dependence on η is fixed and we have only some freedom in choosing the dependence on j. It is easy to see why using only this freedom the Minkowski or AdS minimum cannot be "perturbed" to a dS minima. If j or (j − 1728) are zero at the minimum nothing changes by adding them as perturbations. We believe that something similar happens at the other points in the boundary of the fundamental modular region, but we have been unable to prove it analytically. Numerically we have checked that the other minima in the boundary, which appear for some specific choices of H are never dS minima.

Swampland conjectures
We have already seen that modular invariant potentials have features consistent with the swampland ideas and how such potentials appear in models of reduced supersymmetry at the non-perturbative level. In particular we have seen how for large values of the moduli, modular invariance dictates the existence of a dynamical barrier censoring large moduli which would allow for global symmetries. The origin of such a barrier in the specific string models studied correspond to towers of states becoming massless, in agreement with the distance conjecture ideas. The towers of states are KK, winding, D0 or instanton modes depending on the specific model. We have found dS maxima, in violation of the original dS swampland conjecture of ref. [5]. However, in all examples analyzed the refined conjecture [7] including the third condition in the beginning of this paper, seems to be obeyed. We have checked it numerically for each case by plotting as in figure 4 in which we plot an example with a dS maximum. This quantity should be either negative or larger than a certain constant c. Since there is a dS maximum at T = ρ, it will not be true at this point for any c and for other points after fixing c. According to [7] for those points we have to make sure that the smallest eigenvalue of the Hessian satisfies: In all examples analyzed with a dS maximum, the third condition on the Hessian is satisfied. One can also check whether the dS condition is obeyed for large moduli, away from any dS maxima, which in fact can be studied analytically. Taking j → e −i2πT ,Ĝ 2 (T ) → π 2 3 and H → e 2π( m 2 + n 3 +r)T P e −i2πT in eq. (2.20) of [85] we find:  where r is the highest exponent of the polynomial P. This quantity is always positive and it goes to infinity for large T , so it is guaranteed that in this limit the dS conjecture holds. Again, we resorted to numerical methods to check that it holds everywhere in all examples. It is interesting to note that this is an specific example of a large class of scalar potentials which obey the refined swampland conjecture but do not correspond to a simple monotonous decreasing potential, as considered up to now, and leading to quintessence type of potentials.
We have not much to say about the AdS conjecture of ref. [4] in these one-modulus models. This conjecture states that there are no non-SUSY, AdS stable vacua in a theory consistent with quantum gravity. In the class of models described above all AdS vacua in the self-dual points are SUSY. There are non-SUSY AdS vacua only in other points at the boundary of the fundamental region, as in the simple example with n = m = 0, P = 1 depicted in figure 2. Such vacua should be unstable if the conjecture is correct, perhaps decaying by a mechanism analogous to that of bubbles of nothing, as in [118]. It would be interesting to check if such an instability exists.

Two moduli model
The above single-modulus class of potentials is already very rich. However generic string compactifications yield effective field theories which contain typically multiple moduli, gauge groups and charged particles. In the end the total vacuum energy depends on multiple contributions and a subsector which by itself would yield e.g. an AdS vacuum, may be perhaps overwhelmed by other sectors of the theory, yielding positive energy and a dS minima. This is something that we cannot predict on the basis of the potential of a subsector of the theory.

JHEP05(2019)105
In this sense, it is interesting to check whether the results found above for a single modulus is very much modified by the addition of an extra chiral multiplets S. A simple example is provided by the heterotic gaugino condensation superpotential discussed in section 3. So, inspired by the gaugino condensate model one can consider an N = 1 supergravity model The resulting scalar potential is then given by: V (T, T * , S, S * ) = (4.14) We denote derivatives with respect to the fields with a sub-index T or S. In appendix B we study the extrema of this general potential in some detail. For general Ω there are essentially two classes of vacua, depending on whether the auxiliary field of S, F S vanishes or not at the minimum. If it vanishes, the structure of vacua are identical to the single modulus case discussed above and the same conclusions apply. For F S = 0 there are new possibilities which are summarized in the tables in appendix B. Essentially the same classes of minima as in the single modulus case are obtained and again no dS minima are found.

Conclusions and outlook
In this paper we have put forward the use of the modular symmetries in the effective action for moduli to test swampland conjectures in regimes beyond weak coupling expansion points. On one hand, we have constructed explicit string theory compactifications in which such modular symmetries are ingrained in the UV construction, and derived how several swampland constraints arise from the dynamics of e.g. non-perturbative superpotentials in models with 4d N = 1 supersymmetry. On the other hand, we have discussed fairly general effective theories for scalars enjoying duality modular symmetry and explored the extent to which the latter imply satisfying the swampland constraints. The string constructions we have considered are explicit toroidal orbifolds of the heterotic string, for which moduli in N = 2 subsectors from fixed tori have non-trivial dynamics due to their appearance in threshold corrections of 4d gauge kinetic functions. In particular, we have described examples in which the access to points at infinity in moduli space, where a global shift symmetry for the axion would be restored, is dynamically forbidden by exponential growth of the (non-perturbative) scalar potential. This potential arises from infinite towers of states becoming light, so the absence of global symmetries is interestingly linked to the swampland distance conjecture in a very explicit and novel mechanism. This new mechanism may well be the counterpart, in the context of lower (or no) supersymmetry, of the mechanisms discussed in the literature in cases with 8 supercharges.

JHEP05(2019)105
We have also considered several dual pictures, in particular type I' / Horava-Witten theory compactifications, in which the degrees of freedom associated to complex structure or Kähler moduli can be studied in isolation. Such states are key to the derivation of the swampland distance conjecture in the present context. We expect that, given the ubiquitous appearance of modular groups in CY moduli spaces, and of string dualities along the lines discussed, the strategy of relating modular properties with consistency with quantum gravity may apply in a far more general context, which we hope to explore in the future.
We have performed a careful numerical analysis of the properties of scalar potentials in general effective theories for scalars, with essentially the only constraint that they enjoy invariance under modular symmetries. Surprisingly, this requirement alone seems to suffice to render the theories consistent with a number of swampland conjecture, besides the already mentioned distance conjectures. The potentials have extrema that correspond to (supersymmetric) Minkowski and AdS minima, and dS maxima or saddle points, but no dS minima. Moreover the potentials satisfy the refined de Sitter conjecture conditions. These remarkable facts suggest the tantalizing proposal that modular properties are deeply ingrained in the conditions to guarantee consistency of effective theories with quantum gravity. This is certainly a promising research direction to pursue. Let us however insist that we do not claim that the fact that we have been unable to find any dS minimum should apply to any consistent theory of quantum gravity. Only that in the simplest classes of modular invariant effective actions we have been unable to find any dS minimum.
A final remark concerns the fact that, naively, modular symmetries are manifest in the effective actions of compactifications in which further ingredients are absent. For instance, introduction of fluxes typically induces scalar potentials which are not invariant under the modular transformations, thus seemingly breaking the symmetry explicitly at the level of the effective action. In fact, this interpretation is far from complete, and there is a precise sense in which the symmetry is present. The situation is analogous to the statement that e.g. in heterotic compactifications on K3×T 2 , the presence of Wilson lines on T 2 would seem to break the SL(2, Z) symmetries, since the Wilson lines are not invariant. In fact, the correct interpretation is that the duality symmetries act non-trivially on the Wilson lines and define a larger duality group SO(4, 20; Z) acting on and enlarged moduli space which includes the Wilson lines. Similarly, in flux compactifications, the duality groups act consistently on the set of all flux vacua by acting non-trivially on both the moduli and the fluxes. Restricting to axion scalars, this is just a re-statement that the flux potentials have an axion monodromy structure. The extension to the full duality group brings in a much richer set of fluxes, necessarily including non-geometric ones. We expect that the constraints of invariance under modular transformations of moduli in the landscape of flux vacua bring new insights into both the structure of the landscape and the set of conditions discriminating it from the swampland.

A SL(2, Z) modular forms
Here we just list some well known properties for the modular forms discussed in the main text. We follow closely the appendix in [85]. The modular group is generated by the transformations with T = θ+it. This is generated by a shift transformation T → T +1 and T → −1/T which relates small and large t. Since changing the sign of all the parameters leaves invariant the transformation, the group is actually PSL(2, Z) = SL(2, Z)/Z 2 . A meromorphic function F (T ) is said to have modular weight r if The symmetry divides the complex plane in equivalent regions and the conventional fundamental domain D is shown in figure 1. The group PSL(2, Z) has self-dual points at T = i, ρ with ρ = e i2π/3 , as well as at infinity. A modular form admits a Laurent expansion at each point in the interior of the closed domain D. The lowest order of the expansion of F in p is denoted ν p . Around the self-dual points F has an expansion in terms of uniformizing variables. In particular, as T → ∞ one expands F (T ) = q ν∞ ∞ n=0 a n q n , q = e i2πT (A. 3) and ν ∞ is the order of F at infinity. At T = i, ρ the uniformizing variables are In terms of them F (T ) admits expansions around T = 1, ρ of the form It may be proven that the orders are related to the modular weight r by the expression One interesting consequence of this formula is that for negative modular weight r < 0 (as For k > 1 these are holomorphic modular forms of weight 2k. For k = 1 G 2 rather transforms as a connection G 2 → (cT + d) 2 G 2 −2πc(cT + d). Then the non-holomorphiĉ G 2 modular formĜ 2 (T, T * ) = G 2 (T ) − The divergence of η(T ) −1 at large t is at the origin of the superpotential divergences for large modulus.

B General analysis of minima for two fields
In this appendix we study the extrema of the potential in the two moduli model inspired by gaugino condensation. Let us recall from [85] that the extrema from section 4 arise as a particular case. The second field provides a new condition for spontaneously susy breaking: If the S field is in a Type A extrema, the dependence on S after its minimization is trivial, since the potential is the one we would find for a single modulus T multiplied by the constant |Ω(S)| 2 2S I . In this way, we recover the single modulus potential and the results of section 4 which we discussed in the main text. Although in Type B extrema the dependence on Ω(S) is not trivial anymore, we will see how the results can be easily extended. In particular the proof that there are no dS minima in the self-dual points or in the zeros of P can also be done analytically, except for the n = 0 or m = 0 case, for which we rely on numerics. Now we go through the same steps of section 4 to show that if at the self-dual points there is a minimum then the potential cannot have positive minima.
n > 1 or m > 1. If n > 1 then at T = ρ H = dj dT = 0, and the same happens at T = i for m > 1. The the potential is simply V = 0 in both extrema. Just like it happened for Type A, if n > 1 or m > 1 then T = ρ or T = i respectively are always minima. n = 1 or m = 1. If n = 1 then dH dT = 0 so the condition for Type B extrema reduces to Ω = 0. Therefore V = 0 at both extrema. By changing H we can make it a saddle point or a maximum but not a minimum.   Again we do not prove it analytically, but numerically we also find that V < 0.
The remaining H = 0 extrema are the multiple zeros of P (j). These are SUSY minima and are always in Minkowski. We summarize the results for Type B extrema at the self-dual points in the next two tables.
However, we have searched numerically for dS minima at other points on the boundary, supposing Ω is given by a sum of exponentials, for various choices of H and we have not found any.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.