Source author record

Eyal Markman

Eyal Markman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
1topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2016arXiv

Naturality of the hyperholomorphic sheaf over the cartesian square of a manifold of $K3^{[n]}$-type

Let M be a 2n-dimensional smooth and compact moduli space of stable sheaves on a K3 surface S and U a universal sheaf over S x M. Over M x M there exists a natural reflexive sheaf E of rank 2n-2, namely the first relative extension sheaf of the two pullbacks of U to M x S x M. We prove that E is slope-stable with respect to every Kahler class on M. The sheaf E is known to deform to a sheaf E' over X x X, for every manifold X deformation equivalent to M, and we prove that E' is slope-stable with respect to every Kahler class on X. This triviality of the stability chamber structure combines with a result of S. Mehrotra and the author to show that the deformed sheaf E' is canonical. Consequently, the pretriangulated K3 category associated to the pair (X x X,E') in our earlier work with S. Mehrotra depends only on the isomorphism class of X.

preprint2015arXiv

Integral Transforms and Deformations of K3 Surfaces

Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component of the moduli space of isomorphism classes of marked irreducible holomorphic symplectic manifolds deformation equivalent to the Hilbert scheme X^[n] of n points on a K3 surface X, n > 1. C is 21-dimensional, while the moduli of Kahler K3 surfaces is 20-dimensional. We construct a geometric deformation of the derived categories of K3 surfaces over a Zariski dense open subset of C, which coincides with D(X) whenever the marked manifold is a moduli space of sheaves on X satisfying a technical condition.

preprint2013arXiv

A global Torelli theorem for rigid hyperholomorphic sheaves

We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya algebras on the cartesian product X^d, d>0, such that the second Chern class of A is invariant under a finite index subgroup of the monodromy group of X. The main example involves the rank 2n-2 sheaf over the cartesian square of holomorphic symplectic manifolds of K3[n]-type considered in the work of the first author arXiv:1105.3223. The result will be used in the authors forthcoming work on generalized deformations of K3 surfaces.

preprint2012arXiv

Prime exceptional divisors on holomorphic symplectic varieties and monodromy-reflections

Let X be a projective irreducible holomorphic symplectic manifold. The second integral cohomology of X is a lattice with respect to the Beauville-Bogomolov pairing. A divisor E on X is called a prime exceptional divisor, if E is reduced and irreducible and of negative Beauville-Bogomolov degree. Let E be a prime exceptional divisor on X. We first observe that associated to E is a monodromy involution of the integral cohomology of X, which acts on the second cohomology lattice as the reflection by the cohomology class of E (Theorem 1.1). We then specialize to the case that X is deformation equivalent to the Hilbert scheme of length n zero-dimensional subschemes of a K3 surface. We determine the set of classes of exceptional divisors on X (Theorem 1.11). This leads to a determination of the closure of the movable cone of X.

preprint2011arXiv

A survey of Torelli and monodromy results for holomorphic-symplectic varieties

We survey recent results about the Torelli question for holomorphic-symplectic varieties. Following are the main topics. A Hodge theoretic Torelli theorem. A study of the subgroup W, of the isometry group of the weight 2 Hodge structure, generated by reflection with respect to exceptional divisors. A description of the birational Kahler cone as a fundamental domain for the W-action on the positive cone. A proof of a weak version of Morrison's movable cone conjecture. A description of the moduli spaces of polarized holomorphic symplectic varieties as monodromy quotients of period domains of type IV.

preprint2009arXiv

Modular Galois covers associated to symplectic resolutions of singularities

Let Y be a normal projective variety and p a morphism from X to Y, which is a projective holomorphic symplectic resolution. Namikawa proved that the Kuranishi deformation spaces Def(X) and Def(Y) are both smooth, of the same dimension, and p induces a finite branched cover f from Def(X) to Def(Y). We prove that f is Galois. We proceed to calculate the Galois group G, when X is simply connected, and its holomorphic symplectic structure is unique, up to a scalar factor. The singularity of Y is generically of ADE-type, along every codimension 2 irreducible component B of the singular locus, by Namikawa's work. The modular Galois group G is the product of Weyl groups of finite type, indexed by such irreducible components B. Each Weyl group factor W_B is that of a Dynkin diagram, obtained as a quotient of the Dynkin diagram of the singularity-type of B, by a group of Dynkin diagram automorphisms. Finally we consider generalizations of the above set-up, where Y is affine symplectic, or a Calabi-Yau threefold with a curve of ADE-singularities. We prove that the morphism f from Def(X) to Def(Y) is a Galois cover of its image. This explains the analogy between the above results and related work of Nakajima, on quiver varieties, and of Szendroi on enhanced gauge symmetries for Calabi-Yau threefolds.

preprint2008arXiv

Integral constraints on the monodromy group of the hyperkahler resolution of a symmetric product of a K3 surface

Let M be a 2n-dimensional Kahler manifold deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface S. Let Mon be the group of automorphisms of the cohomology ring of M, which are induced by monodromy operators. The second integral cohomology of M is endowed with the Beauville-Bogomolov bilinear form. We prove that the restriction homomorphism from Mon to the isometry group O[H^2(M)] is injective, for infinitely many n, and its kernel has order at most 2, in the remaining cases. For all n, the image of Mon in O[H^2(M)] is the subgroup generated by reflections with respect to +2 and -2 classes. As a consequence, we get counter examples to a version of the weight 2 Torelli question, when n-1 is not a prime power.

preprint2005arXiv

On the monodromy of moduli spaces of sheaves on K3 surfaces

Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result of this paper is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. A formula is provided for the monodromy representation, in terms of the Chern character of the universal sheaf. Isometries of the second cohomology of S^[n] are lifted, via this formula, to monodromy operators of the whole cohomology ring of S^[n].