F-theory Side Research Articles

Unbroken $E7 \times E7$ nongeometric heterotic strings, stable degenerations and enhanced gauge groups in F-theory duals

Eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_8\mathfrak{e}_7$ were constructed by Malmendier and Morrison as heterotic duals of F-theory on K3 surfaces with $\Lambda^{1,1}\oplus E_8\oplus E_7$ lattice polarization. Clingher, Malmendier and Shaska extended these constructions to eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$ as heterotic duals of F-theory on $\Lambda^{1,1}\oplus E_7\oplus E_7$ lattice polarized K3 surfaces. In this study, we analyze the points in the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, at which the non-Abelian gauge groups on the F-theory side are maximally enhanced. The gauge groups on the heterotic side do not allow for the perturbative interpretation at these points. We show that these theories can be described as deformations of the stable degenerations, as a result of coincident 7-branes on the F-theory side. From the heterotic viewpoint, this effect corresponds to the insertion of 5-branes. These effects can be used to understand nonperturbative aspects of nongeometric heterotic strings. Additionally, we build a family of elliptic Calabi-Yau 3-folds by fibering elliptic K3 surfaces, which belong to the F-theory side of the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, over $\mathbb{P}^1$. We find that highly enhanced gauge symmetries arise on F-theory on the built elliptic Calabi-Yau 3-folds.

Non-Cartan Mordell-Weil lattices of rational elliptic surfaces and heterotic/F-theory compactifications

The Mordell-Weil lattices (MW lattices) associated to rational elliptic surfaces are classified into 74 types. Among them, there are cases in which the MW lattice is none of the weight lattices of simple Lie algebras or direct sums thereof. We study how such “non-Cartan MW lattices” are realized in the six-dimensional heterotic/F-theory compactifications. In this paper, we focus on non-Cartan MW lattices that are torsion free and whose associated singularity lattices are sublattices of A7. For the heterotic string compactification, a non-Cartan MW lattice yields an instanton gauge group H with one or more U(1) group(s). We give a method for computing massless spectra via the index theorem and show that the U(1) instanton number is limited to be a multiple of some particular non-one integer. On the F-theory side, we examine whether we can construct the corresponding threefold geometries, i.e., rational elliptic surface fibrations over ℙ1. Except for some cases, we obtain such geometries for specific distributions of instantons. All the spectrum derived from those geometries completely match with the heterotic results.

Nongeometric heterotic strings and dual F-theory with enhanced gauge groups

Eight-dimensional nongeometric heterotic strings were constructed as duals of F-theory on Λ1,1 ⊕ E8 ⊕ E7 lattice polarized K3 surfaces by Malmendier and Morrison. We study the structure of the moduli space of this construction. There are special points in this space at which the ranks of the non-Abelian gauge groups on the 7-branes in F-theory are enhanced to 18. We demonstrate that the enhanced rank-18 non-Abelian gauge groups arise as a consequence of the coincident 7-branes, which deform stable degenerations on the F-theory side. This observation suggests that the non-geometric heterotic strings include nonperturbative effects of the coincident 7-branes on the F-theory side. The gauge groups that arise at these special points in the moduli space do not allow for perturbative descriptions on the heterotic side.We also construct a family of elliptically fibered Calabi-Yau 3-folds by fibering K3 surfaces with enhanced singularities over ℙ1. Highly enhanced gauge groups arise in F-theory compactifications on the resulting Calabi-Yau 3-folds.

Structure of stable degeneration of K3 surfaces into pairs of rational elliptic surfaces

F-theory/heterotic duality is formulated in the stable degeneration limit of a K3 fibration on the F-theory side. In this note, we analyze the structure of the stable degeneration limit. We discuss whether stable degeneration exists for pairs of rational elliptic surfaces. We demonstrate that, when two rational elliptic surfaces have an identical complex structure, stable degeneration always exists. We provide an equation that systematically describes the stable degeneration of a K3 surface into a pair of isomorphic rational elliptic surfaces. When two rational elliptic surfaces have different complex structures, whether their sum glued along a smooth fiber admits deformation to a K3 surface can be determined by studying the structure of the K3 lattice. We investigate the lattice theoretic condition to determine whether a deformation to a K3 surface exists for pairs of extremal rational elliptic surfaces. In addition, we discuss the configurations of singular fibers under stable degeneration.The sum of two isomorphic rational elliptic surfaces glued together admits a deformation to a K3 surface, the singular fibers of which are twice that of the rational elliptic surface. For special situations, singular fibers of the resulting K3 surface collide and they are enhanced to a fiber of another type. Some K3 surfaces become attractive in these situations. We determine the complex structures and the Weierstrass forms of these attractive K3 surfaces. We also deduce the gauge groups in F-theory compactifications on these attractive K3 surfaces times a K3. E6, E7, E8, SU(5), and SO(10) gauge groups arise in these compactifications.

Matter in transition

We explore a novel type of transition in certain 6D and 4D quantum field theories, in which the matter content of the theory changes while the gauge group and other parts of the spectrum remain invariant. Such transitions can occur, for example, for SU(6) and SU(7) gauge groups, where matter fields in a three-index antisymmetric representation and the fundamental representation are exchanged in the transition for matter in the two-index antisymmetric representation. These matter transitions are realized by passing through superconformal theories at the transition point. We explore these transitions in dual F-theory and heterotic descriptions, where a number of novel features arise. For example, in the heterotic description the relevant 6D SU(7) theories are described by bundles on K3 surfaces where the geometry of the K3 is constrained in addition to the bundle structure. On the F-theory side, non-standard representations such as the three-index antisymmetric representation of SU(N) require Weierstrass models that cannot be realized from the standard SU(N) Tate form. We also briefly describe some other situations, with groups such as Sp(3), SO(12), and SU(3), where analogous matter transitions can occur between different representations. For SU(3), in particular, we find a matter transition between adjoint matter and matter in the symmetric representation, giving an explicit Weierstrass model for the F-theory description of the symmetric representation that complements another recent analogous construction.

Origin of Abelian gauge symmetries in heterotic/F-theory duality

We study aspects of heterotic/F-theory duality for compactifications with Abelian gauge symmetries. We consider F-theory on general Calabi-Yau manifolds with a rank one Mordell-Weil group of rational sections. By rigorously performing the stable degeneration limit in a class of toric models, we derive both the Calabi-Yau geometry as well as the spectral cover describing the vector bundle in the heterotic dual theory. We carefully investigate the spectral cover employing the group law on the elliptic curve in the heterotic theory. We find in explicit examples that there are three different classes of heterotic duals that have U(1) factors in their low energy effective theories: split spectral covers describing bundles with S(U(m) x U(1)) structure group, spectral covers containing torsional sections that seem to give rise to bundles with SU(m) x Z_k structure group and bundles with purely non-Abelian structure groups having a centralizer in E_8 containing a U(1) factor. In the former two cases, it is required that the elliptic fibration on the heterotic side has a non-trivial Mordell-Weil group. While the number of geometrically massless U(1)'s is determined entirely by geometry on the F-theory side, on the heterotic side the correct number of U(1)'s is found by taking into account a Stuckelberg mechanism in the lower-dimensional effective theory. In geometry, this corresponds to the condition that sections in the two half K3 surfaces that arise in the stable degeneration limit of F-theory can be glued together globally.

Geometric constraints in dual F-theory and heterotic string compactifications

We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete classification of models where the heterotic theory is compactified on a smooth Calabi-Yau threefold that is elliptically fibered with a single section and carries smooth irreducible vector bundles, and the dual F-theory model has a corresponding threefold base that has the form of a ℙ1 bundle. We formulate simple conditions for the geometry on the F-theory side to support an elliptically fibered Calabi-Yau fourfold. We match these conditions with conditions for the existence of stable vector bundles on the heterotic side, and show that F-theory gives new insight into the conditions under which such bundles can be constructed. In particular, we find that many allowed F-theory models correspond to vector bundles on the heterotic side with exceptional structure groups, and determine a topological condition that is only satisfied for bundles of this type. We show that in many cases the F-theory geometry imposes a constraint on the extent to which the gauge group can be enhanced, corresponding to limits on the way in which the heterotic bundle can decompose. We explicitly construct all (4962) F-theory threefold bases for dual F-theory/heterotic constructions in the subset of models where the common twofold base surface is toric, and give both toric and non-toric examples of the general results.

Non-perturbative superpotentials in F-theory and string duality

We use open-closed string duality between F-theory on K3xK3 and type II strings on CY manifolds without branes to study non-perturbative superpotentials in generalized flux compactifications. On the F-theory side we obtain the full flux potential including D3-instanton contributions and show that it leads to an explicit and simple realization of the three ingredients of the KKLT model for stringy dS vacua. The D3-instanton contribution is highly non-trivial, can be systematically computed including the determinant factors and demonstrates that a particular flux lifts very effectively zero modes on the instanton. On the closed string side, we propose a generalization of the Gukov-Vafa-Witten superpotential for type II strings on generalized CY manifolds, depending on all moduli multiplets.

U(n) spectral covers from decomposition

We construct decomposed spectral covers for bundles on elliptically fibered Calabi-Yau threefolds whose structure groups are S(U(1) x U(4)), S(U(2) x U(3)) and S(U(1) x U(1) x U(3)) in heterotic string compactifications. The decomposition requires not only the tuning of the SU(5) spectral covers but also the tuning of the complex structure moduli of the Calabi-Yau threefolds. This configuration is translated to geometric data on F-theory side. We find that the monodromy locus for two-cycles in K3 fibered Calabi-Yau fourfolds in a stable degeneration limit is globally factorized with squared factors under the decomposition conditions. This signals that the monodromy group is reduced and there is a U(1) symmetry in a low energy effective field theory. To support that, we explicitly check the reduction of a monodromy group in an appreciable region of the moduli space for an $E_6$ gauge theory with (1+2) decomposition. This may provide a systematic way for constructing F-theory models with U(1) symmetries.

AN $\mathcal{N}=1$ TRIALITY BY SPECTRUM MATCHING

On promoting the type IIA side of the [Formula: see text] heterotic/type IIA dual pairs of Ref. 1 to M-theory on a "barely G2 manifold" of Ref. 2, by spectrum-matching we show a possible triality between heterotic, M and F theories. The manifolds that figure in this triality are a self-mirror Calabi–Yau, a barely G2 manifold and an elliptically fibered Calabi–Yau four-fold with trivially rationally ruled CP1× Enriques surface base, respectively. We raise an apparent puzzle on the F-theory side, namely, the Hodge data of the 4-fold derived cannot be obtained by a naive freely acting orbifold of CY 3(3,243)×T2 as one might have guessed on the basis of arguments related to dualities involving string, M and (definition of) F theories. There are some interesting properties of the antiholomorphic involution used in Ref. 1 for constructing the type IIA orientifold and by us in constructing the "barely G2 manifold," that we also study.

Higher derivative couplings and heterotic-Type I duality in eight dimensions

We calculate F 4 and R 4 T 4 g−4 couplings in d = 8 heterotic and type I string vacua (with gauge and graviphoton field strengths F, T, and Riemann curvature R). The holomorphic piece F g of the heterotic one-loop coupling R 4 T 4 g−4 is given by a polylogarithm of index 5 − 4 g and encodes the counting of genus g curves with g nodes on the K3 of the dual F-theory side. We present closed expressions for world-sheet τ-integrals with an arbitrary number of lattice vector insertions. Furthermore we verify that the corresponding heterotic one-loop couplings sum up perturbative open string and non-perturbative D-string contributions on the type I side. Finally we discuss a type I one-loop correction to the R 2 term.

Three-branes and five-branes in N=1 dual string pairs

In this note we show that in dual N=1 string vacua provided by the heterotic string on an elliptic Calabi-Yau together with a vector bundle respectively F-theory on Calabi-Yau fourfold the number of heterotic fivebranes necessary for anomaly cancellation matches the number of F-theory threebranes necessary for tadpole cancellation. This extends to the general case the work of Friedman, Morgan and Witten, who treated the case of embedding a heterotic $E_8\times E_8$ bundle, leaving no unbroken gauge group, where one has a smooth Weierstrass model on the F-theory side.

N = 1 dual string pairs and their massless spectra

We construct two chains of four-dimensional F-theory/heterotic dual string pairs with N = 1 supersymmetry. On the F-theory side as well as on the heterotic side the geometry of the involved manifolds relies on del Pezzo surfaces. We match the massless spectra by using, for one chain of models, an index formula to count the heterotic bundle moduli and determine the dual F-theory spectra from the Hodge numbers of the four-folds X 4 and of the type 1113 base spaces.