Motivated by a recent construction of non-supersymmetric AdS3, we revisit the O(16) × O(16) heterotic string compactified on a torus. The string one-loop potential energy has interesting dependence on the classical moduli; extrema of this potential include loci where the gauge symmetry is maximally enhanced. Focusing on the case of a circle, we use lattice embeddings to find the maximal enhancement points together with their spectra of massless and tachyonic modes. We find an extended Dynkin diagram that encodes the global structure of the moduli space, as well as all symmetry enhancements and the loci where they occur. We find 107 points of maximal enhancement with 8 that are free of tachyons. The tachyon-free points each have positive cosmological constant. We determine the profile of the potential energy near each of these points and find that one is a maximum while three are saddle points. The remaining four live at the boundary of a tachyonic region in field space. In this way, we show that every point of maximal symmetry enhancement is unstable. We further find that the curvature of this stringy potential satisfies the de Sitter swampland conjecture. Finally, we discuss the implications for constructions of AdS3.

CERN

Switzerland

Bernardo Fraiman

France

Mariana Graña

Héctor Parra De Freitas

United States

Savdeep Sethi

Non-supersymmetric heterotic strings on a circle

Calabi-Yau compactifications have typically a large number of complex structure and/or Kähler moduli that have to be stabilised in phenomenologically-relevant vacua. The former can in principle be done by fluxes in type IIB solutions. However, the tadpole conjecture proposes that the number of stabilised moduli can at most grow linearly with the tadpole charge of the fluxes required for stabilisation. We scrutinise this conjecture in the 26 Gepner model: a non-geometric background mirror dual to a rigid Calabi-Yau manifold, in the deep interior of moduli space. By constructing an extensive set of supersymmetric Minkowski flux solutions, we spectacularly confirm the linear growth, while achieving a slightly higher ratio of stabilised moduli to flux charge than the conjectured upper bound. As a byproduct, we obtain for the first time a set of solutions within the tadpole bound where all complex structure moduli are massive. Since the 26 model has no Kähler moduli, these show that the massless Minkowski conjecture does not hold beyond supergravity.

Katrin Becker

Nathan Brady

Miguel Morros

Anindya Sengupta

Qi You

Tadpole conjecture in non-geometric backgrounds

Anti-D3 branes at the bottom of warped throats, commonly used to uplift the cosmological constant in String-Theory de Sitter proposals, source a plethora of supersymmetry-breaking fluxes, that can interact nontrivially with other ingredients of the flux compactification. In this paper we perform a complex-structure decomposition of these fluxes, and compute the effect of the (0,3) flux component on the stabilization of Kähler moduli via D7-branes gaugino condensation. This allows us to obtain a new constraint on the validity of this stabilization mechanism. This effect does not appear hard to satisfy in de Sitter construction proposals that use long warped throats, but may be problematic in proposals where the warping is small.

Iosif Bena

Emilian Dudaş

Italy

Gabriele Lo Monaco

Dimitrios Toulikas

<math> <mover> <mrow> <mi>D</mi> <mn>3</mn> </mrow> <mo>¯</mo> </mover> </math>  $$ \overline{\textrm{D}3} $$ -branes and gaugino condensation

The tadpole conjecture proposes that complex structure moduli stabilisation by fluxes that have low tadpole charge can be realised only at special points in moduli space, leading generically to (large) gauge symmetries. Here we provide an exhaustive survey of the gauge symmetries arising in F-theory flux compactifications on products of attractive K3 surfaces, with complex structure moduli fully stabilised. We compute the minimal rank of the left-over non-abelian gauge group for all flux configurations within the tadpole bound, finding that it is always non-zero. It decreases in a roughly linear fashion with the tadpole charge, reaching zero at charge 30. By working out possible gauge algebras for different values of the tadpole, we find that all simple ADE Lie algebras of rank ≤ 18 appear.

United Kingdom

Andreas Braun

Severin Lüst

Tadpoles and gauge symmetries

We compute the supersymmetry-breaking three-form fluxes generated by the addition of anti-D3 branes at the tip of a Klebanov-Strassler throat. These fluxes give rise to nontrivial terms in the superpotential when the throat is embedded in a flux compactification. We describe these terms both from a ten-dimensional and from a four-dimensional perspective and show that, upon including Kähler-moduli stabilization, the resulting potential admits de Sitter minima. Our proposed de Sitter construction does not require additional supersymmetry-breaking (0,3) fluxes, and hence is more minimalist than the KKLT proposal.

Emilian Dudas

Bare-bones de Sitter vacua

We analyze the boundaries of the moduli spaces of compactifications of the heterotic string on T  d , making particular emphasis on d = 2 and its F-theory dual. We compute the OPE algebras as we approach all the infinite distance limits that correspond to (possibly partial) decompactification limits in some dual frame. When decompactifying k directions, we find infinite towers of states becoming light that enhance the algebra arising at a given point in the moduli space of the T  d−k  compactification to its k-loop version, where the central extensions are given by the k KK vectors. For T 2 compactifications, we reproduce all the affine algebras that arise in the F-theory dual, and show all the towers explicitly, including some that are not manifest in the F-theory counterparts. Furthermore, we construct the affine SO(32) algebra arising in the full decompactification limit, both in the heterotic and in the F-theory sides, showing that not only affine algebras of exceptional type arise in the latter.

Veronica Collazuol

Alvaro Herráez

Héctor Freitas

Affine algebras at infinite distance limits in the Heterotic String

Gaugino condensation on D-branes wrapping internal cycles gives a mechanism to stabilize the associated moduli. According to the effective field theory, this gives rise, when combined with fluxes, to supersymmetric AdS4 solutions. In this paper we provide a ten-dimensional description of these vacua. We first find the supersymmetry equations for type II AdS4 vacua with gaugino condensates on D-branes, in the framework of generalized complex geometry. We then solve them for type IIB compactifications with gaugino condensates on smeared D7-branes. We show that supersymmetry requires a (conformal) Calabi-Yau manifold and imaginary self-dual three-form fluxes with an additional (0,3) component. The latter is proportional to the cosmological constant, whose magnitude is determined by the expectation value of the gaugino condensate and the stabilized volume of the cycle wrapped by the branes. This confirms, qualitatively and quantitatively, the results obtained using effective field theory. We find that exponential separation between the AdS and the KK scales seems possible as long as the three-form fluxes are such that their (0,3) component is exponentially suppressed. As for the localized solution, it requires going beyond SU(3)-structure internal manifolds. Nevertheless, we show that the action can be evaluated on-shell without relying on the details of such complicated configuration. We find that no “perfect square” structure occurs, and the result is divergent. We compute the four-fermion contributions, including a counterterm, needed to cancel these divergences.

Nicolas Kovensky

Smearing and unsmearing KKLT AdS vacua

The tadpole conjecture suggests that the complete stabilization of complex structure deformations in Type IIB and F-theory flux compactifications is severely obstructed by the tadpole bound on the fluxes. More precisely, it states that the stabilization of a large number of moduli requires a flux background with a tadpole that scales linearly in the number of stabilized fields. Restricting to the asymptotic regions of the complex structure moduli space, we give the first conceptual argument that explains this linear scaling setting and clarifies why it sets in only for a large number of stabilized moduli. Our approach relies on the use of asymptotic Hodge theory. In particular, we use the fact that in each asymptotic regime an orthogonal sl(2)-block structure emerges that allows us to group fluxes into sl(2)-representations and decouple complex structure directions. We show that the number of stabilized moduli scales with the number of sl(2)-representations supported by fluxes, and that each representation fixes a single modulus. Furthermore, we find that for Calabi-Yau four-folds all but one representation can be identified with representations occurring on two-folds. This allows us to discuss moduli stabilization explicitly and establish the relevant scaling constraints for the tadpole.

Netherlands

Thomas Grimm

Damian Heisteeg

Alvaro Herraez

Erik Plauschinn

The tadpole conjecture in asymptotic limits

We show that compactifications of the heterotic string on a circle exhibit at the boundary of moduli space (R → 0, or equivalently the decompactification limit R → ∞) a tower of winding or momentum modes that enhance the E 8 ×E 8 or SO(32) gauge symmetry to the affine algebras (E 9 ⊕ E 9)/ ∼ (the identification means that the two copies of E 9 share the same central extension) and   <math> <msub> <mover> <mi>D</mi> <mo>̂</mo> </mover> <mn>16</mn> </msub> </math>  $$ {\hat{D}}_{16} $$ , respectively. We also prove that these towers of modes satisfy the lattice weak gravity and repulsive force conjectures.

E 9 symmetry in the heterotic string on S 1 and the weak gravity conjecture

D7-brane moduli are stabilized by worldvolume fluxes, which contribute to the D3-brane tadpole. We calculate this contribution in the Type IIB limit of F-theory compactifications on Calabi-Yau four-folds with a weak Fano base, and are able to prove a no-go theorem for vast swathes of the landscape of compactifications. When the genus of the curve dual to the D7 worldvolume fluxes is fixed and the number of moduli grows, we find that the D3 charge sourced by the fluxes grows faster than 7/16 of the number of moduli, which supports the Tadpole Conjecture of ref. [1]. Our lower bound for the induced D3 charge decreases when the genus of the curves dual to the stabilizing fluxes increase, and does not allow to rule out a sliver of flux configurations dual to high-genus high-degree curves. However, we argue that most of these fluxes have very high curvature, which is likely to be above the string scale except on extremely large (and experimentally ruled out) compactification manifolds.

Callum Brodie

D7 moduli stabilization: the tadpole menace