K3 Surfaces

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.


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.


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.


2003 ◽  
Vol 14 (08) ◽  
pp. 837-864 ◽  
Author(s):  
Nobuaki Onishi ◽  
Kōta Yoshioka

We consider the singuralities of 2-dimensional moduli spaces of semi-stable sheaves on k3 surfaces. We show that the moduli space is normal, in particular the siguralities are rational double points. We also describe the exceptional locus on the resolution in terms of exceptional sheaves.


2005 ◽  
Vol 16 (01) ◽  
pp. 13-36 ◽  
Author(s):  
DANIEL HUYBRECHTS

Generalized Calabi–Yau structures, a notion recently introduced by Hitchin, are studied in the case of K3 surfaces. We show how they are related to the classical theory of K3 surfaces and to moduli spaces of certain SCFT as studied by Aspinwall and Morrison. It turns out that K3 surfaces and symplectic structures are both special cases of this general notion. The moduli space of generalized Calabi–Yau structures admits a canonical symplectic form with respect to which the moduli space of symplectic structures is Lagrangian. The standard theory of K3 surfaces implies surjectivity of the period map and a weak form of the Global Torelli theorem.


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):  
EMMA BRAKKEE

Abstract For infinitely many d, Hassett showed that special cubic fourfolds of discriminant d are related to polarised K3 surfaces of degree d via their Hodge structures. For half of the d, each associated K3 surface (S, L) canonically yields another one, (Sτ, Lτ). We prove that Sτ is isomorphic to the moduli space of stable coherent sheaves on S with Mukai vector (3, L, d/6). We also explain for which d the Hilbert schemes Hilb n (S) and Hilb n (Sτ) are birational.


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 $.


2021 ◽  
Vol Volume 5 ◽  
Author(s):  
Svetlana Makarova

The main result of the present paper is a construction of relative moduli spaces of stable sheaves over the stack of quasipolarized projective surfaces. For this, we use the theory of good moduli spaces, whose study was initiated by Alper. As a corollary, we extend the relative Strange Duality morphism to the locus of quasipolarized K3 surfaces.


Sign in / Sign up

Export Citation Format

Share Document