scholarly journals F-theory and heterotic duality, Weierstrass models from Wilson lines

Author(s):  
Lilian Chabrol

AbstractWe present how to construct elliptically fibered K3 surfaces via Weierstrass models which can be parametrized in terms of Wilson lines in the dual heterotic string theory. We work with a subset of reflexive polyhedras that admit two fibers whose moduli spaces contain the ones of the $$E_{8}\times E_{8}$$ E 8 × E 8 or $$\frac{Spin(32)}{{\mathbb {Z}}_{2}}$$ S p i n ( 32 ) Z 2 heterotic theory compactified on a two torus without Wilson lines. One can then interpret the additional moduli as a particular Wilson line content in the heterotic strings. A convenient way to find such polytopes is to use graphs of polytopes where links are related to inclusion relations of moduli spaces of different fibers. We are then able to map monomials in the defining equations of particular K3 surfaces to Wilson line moduli in the dual theories. Graphs were constructed developing three different programs which give the gauge group for a generic point in the moduli space, the Weierstrass model as well as basic enhancements of the gauge group obtained by sending coefficients of the hypersurface equation defining the K3 surface to zero.

Author(s):  
MEI-CHU CHANG ◽  
HOIL KIM

Recently Calabi–Yau threefolds have been studied intensively by physicists and mathematicians. They are used as physical models of superstring theory [Y] and they are one of the building blocks in the classification of complex threefolds [KMM]. These are three dimensional analogues of K3 surfaces. However, there is a fundamental difference as is to be expected. For K3 surfaces, the moduli space N of K3 surfaces is irreducible of dimension 20, inside which a countable number of families Ng with g [ges ] 2 of algebraic K3 surfaces of dimension 19 lie as a dense subset. More explicitly, an element in Ng is (S, H), where S is a K3 surface and H is a primitive ample divisor on S with H2 = 2g − 2. For a generic (S, H), Pic (S) is generated by H, so that the rank of the Picard group of S is 1. A generic surface S in N is not algebraic and it has Pic (S) = 0, but dim N = h1(S, TS) = 20 [BPV]. It is quite an interesting problem whether or not the moduli space M of all Calabi–Yau threefolds is irreducible in some sense [R]. A Calabi–Yau threefold is algebraic if and only if it is Kaehler, while every non-algebraic K3 surface is still Kaehler. Inspired by the K3 case, we define Mh,d to be {(X, H)[mid ]H3 = h, c2(X) · H = d}, where H is a primitive ample divisor on a smooth Calabi–Yau threefold X. There are two parameters h, d for algebraic Calabi–Yau threefolds, while there is only one parameter g for algebraic K3 surfaces. (Note that c2(S) = 24 for every K3 surface.) We know that Ng is of dimension 19 for every g and is irreducible but we do not know the dimension of Mh,d and whether or not Mh,d is irreducible. In fact, the dimension of Mh,d = h1(X, TX), where (X, H) ∈ Mh,d. Furthermore, it is well known that χ(X) = 2 (rank of Pic (X) − h1(X, TX)), where χ(X) is the topological Euler characteristic of X. Calabi–Yau threefolds with Picard rank one are primitive [G] and play an important role in the moduli spaces of all Calabi–Yau threefolds. In this paper we give a bound on c3 of Calabi–Yau threefolds with Picard rank 1.


Author(s):  
D. Huybrechts

After abelian varieties, K3 surfaces are the second most interesting special class of varieties. These have a rich internal geometry and a highly interesting moduli theory. Paralleling the famous Torelli theorem, results from Mukai and Orlov show that two K3 surfaces have equivalent derived categories precisely when their cohomologies are isomorphic weighing two Hodge structures. Their techniques also give an almost complete description of the cohomological action of the group of autoequivalences of the derived category of a K3 surface. The basic definitions and fundamental facts from K3 surface theory are recalled. As moduli spaces of stable sheaves on K3 surfaces are crucial for the argument, a brief outline of their theory is presented.


2020 ◽  
Vol 2020 (766) ◽  
pp. 137-150
Author(s):  
Mario Garcia-Fernandez

AbstractWe construct new examples of solutions of the Hull–Strominger system on non-Kähler torus bundles over K3 surfaces, with the property that the connection {\nabla} on the tangent bundle is Hermite–Yang–Mills. With this ansatz for the connection {\nabla}, we show that the existence of solutions reduces to known results about moduli spaces of slope-stable sheaves on a K3 surface, combined with elementary analytical methods. We apply our construction to find the first examples of T-dual solutions of the Hull–Strominger system on compact non-Kähler manifolds with different topology.


2018 ◽  
Vol 2019 (21) ◽  
pp. 6661-6710 ◽  
Author(s):  
Chiara Camere ◽  
Grzegorz Kapustka ◽  
Michał Kapustka ◽  
Giovanni Mongardi

Abstract We study the geometry of some moduli spaces of twisted sheaves on K3 surfaces. In particular we introduce induced automorphisms from a K3 surface on moduli spaces of twisted sheaves on this K3 surface. As an application we prove the unirationality of moduli spaces of irreducible holomorphic symplectic manifolds of K3[2]-type admitting non-symplectic involutions with invariant lattices U(2) ⊕ D4(−1) or U(2) ⊕ E8(−2). This complements the results obtained in [43], [13], and the results from [29] about the geometry of irreducible holomorphic symplectic (IHS) four-folds constructed using the Hilbert scheme of (1, 1) conics on Verra four-folds. As a byproduct we find that IHS four-folds of K3[2]-type with Picard lattice U(2) ⊕ E8(−2) naturally contain non-nodal Enriques surfaces.


2020 ◽  
Vol Volume 4 ◽  
Author(s):  
Rahul Pandharipande ◽  
Johannes Schmitt

While the Chow groups of 0-dimensional cycles on the moduli spaces of Deligne-Mumford stable pointed curves can be very complicated, the span of the 0-dimensional tautological cycles is always of rank 1. The question of whether a given moduli point [C,p_1,...,p_n] determines a tautological 0-cycle is subtle. Our main results address the question for curves on rational and K3 surfaces. If C is a nonsingular curve on a nonsingular rational surface of positive degree with respect to the anticanonical class, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the virtual dimension in Gromov-Witten theory of the moduli space of stable maps. If C is a nonsingular curve on a K3 surface, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the genus of C and every marking is a Beauville-Voisin point. The latter result provides a connection between the rank 1 tautological 0-cycles on the moduli of curves and the rank 1 tautological 0-cycles on K3 surfaces. Several further results related to tautological 0-cycles on the moduli spaces of curves are proven. Many open questions concerning the moduli points of curves on other surfaces (Abelian, Enriques, general type) are discussed. Comment: Published version


Author(s):  
Ignacio Barros ◽  
Scott Mullane

Abstract We show $\overline{\mathcal{M}}_{10, 10}$ and $\overline{\mathcal{F}}_{11,9}$ have Kodaira dimension zero. Our method relies on the construction of a number of curves via nodal Lefschetz pencils on blown-up $K3$ surfaces. The construction further yields that any effective divisor in $\overline{\mathcal{M}}_{g}$ with slope $<6+(12-\delta )/(g+1)$ must contain the locus of curves that are the normalization of a $\delta $-nodal curve lying on a $K3$ surface of genus $g+\delta $.


Author(s):  
KENNETH ASCHER ◽  
KRISTIN DEVLEMING ◽  
YUCHEN LIU

Abstract We show that the K-moduli spaces of log Fano pairs $\left(\mathbb {P}^1\times \mathbb {P}^1, cC\right)$ , where C is a $(4,4)$ curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ , complete intersection curves in $\mathbb {P}^3$ . This, together with recent results by Laza and O’Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$ curves on $\mathbb {P}^1\times \mathbb {P}^1$ and the Baily–Borel compactification of moduli of quartic hyperelliptic K3 surfaces.


2019 ◽  
Vol 155 (5) ◽  
pp. 912-937 ◽  
Author(s):  
Emanuel Reinecke

Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a given Hodge isometry arises in this way. In particular, we describe the image of the representation which associates to any autoequivalence of a twisted K3 surface its realization in cohomology: this image is a subgroup of index $1$or $2$in the group of all Hodge isometries of the twisted K3 surface. We show that both indices can occur.


Sign in / Sign up

Export Citation Format

Share Document