scholarly journals Verra Four-Folds, Twisted Sheaves, and the Last Involution

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 ◽  
pp. 1-25
Author(s):  
CHIARA CAMERE ◽  
ALBERTO CATTANEO ◽  
ANDREA CATTANEO

We study irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on a $K3$ surface and admitting a non-symplectic involution. We classify the possible discriminant quadratic forms of the invariant and coinvariant lattice for the action of the involution on cohomology and explicitly describe the lattices in the cases where the invariant lattice has small rank. We also give a modular description of all $d$ -dimensional families of manifolds of $K3^{[n]}$ -type with a non-symplectic involution for $d\geqslant 19$ and $n\leqslant 5$ and provide examples arising as moduli spaces of twisted sheaves on a $K3$ surface.


Author(s):  
Ulrike Rieß

Abstract We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized K3[2]-type varieties, the polarization is base point free.


1998 ◽  
Vol 150 ◽  
pp. 85-94 ◽  
Author(s):  
Hoil Kim

Abstract.We show that the image of the moduli space of stable bundles on an Enriques surface by the pull back map is a Lagrangian subvariety in the moduli space of stable bundles, which is a symplectic variety, on the covering K3 surface. We also describe singularities and some other features of it.


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.


2019 ◽  
Vol 2019 (748) ◽  
pp. 241-268 ◽  
Author(s):  
Atanas Iliev ◽  
Grzegorz Kapustka ◽  
Michał Kapustka ◽  
Kristian Ranestad

Abstract We construct a new 20-dimensional family of projective six-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension-three subvarieties of the Grassmannian G(3,6) . These codimension-three subvarieties are defined as Lagrangian degeneracy loci and their construction is parallel to that of EPW sextics, we call them the EPW cubes. As a consequence we prove that the moduli space of polarized IHS sixfolds of K3 -type, Beauville–Bogomolov degree 4 and divisibility 2 is unirational.


2016 ◽  
Vol 19 (1) ◽  
pp. 78-97
Author(s):  
Simon Kapfer

We study cup products in the integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question of which classes can be represented by products of lower degrees.Supplementary materials are available with this article.


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


Sign in / Sign up

Export Citation Format

Share Document