STABLE VECTOR BUNDLES ON A HYPER-KAHLER¨ MANIFOLD WITH A RANK 1 OBSTRUCTION MAP ARE MODULAR EYAL MARKMAN Abstract. Let X be an irreducible 2n-dimensional holomorphic symplectic manifold. A re- flexive sheaf F is modular, if its Azumaya algebra End(F ) deforms with X to every K¨ahler deformation of X. We show that if F is a slope-stable reflexive sheaf of positive rank and the obstruction map HH2(X) → Ext2(F, F ) has rank 1, then F is modular. We associate to such a sheaf a vector in the Looijenga-Lunts-Verbitsky lattice of rank b2(X) + 2. Three sources of examples of such modular sheaves emerge. The first source consists of slope-stable reflexive sheaves F of positive rank which are isomorphic to the image Φ(OX ) of the structure sheaf via an equivalence Φ : Db(X) → Db(Y ) of the derived categories of two irreducible holomorphic symplectic manifolds. The second source consists of such F , which are isomorphic to the image of a sky-scraper sheaf via a derived equivalence. The third source consists of images Φ(L) of torsion sheaves L supported as line bundles on holomorphic lagrangian submanifolds Z, such that Z deforms with X in co-dimension one in moduli and L is a rational power of the canonical line bundle of Z. An example of the first source is constructed using a stable and rigid vector bundle G on a K3 surface X to get the modular vector bundle F on the Hilbert scheme X[n], associated to the equivariant vector bundle G ⊠ · · · ⊠ G on Xn via the BKR-correspondence. This builds upon and partially generalizes results of K. O’Grady for n = 2 [O2]. A construction of the n second source associates to a set {Gi}i=1 of n distinct stable vector bundles in the same two dimensional moduli space of vector bundles on a K3 surface X the modular vector bundle F [n] n on X corresponding to the equivariant bundle ⊕σ∈Sn [Gσ(1) ⊠ · · · ⊠ Gσ(n)] on X . Contents 1. Introduction 2 2. Real (p,p)-classes which remain of Hodge type to first order in all directions 9 2.1. The rational LLV lattice 9 arXiv:2107.13991v2 [math.AG] 1 Sep 2021 2.2. Real (p,p)-classes 10 3. Stable reflexive sheaves with a rank 1 obstruction map are modular 12 3.1. Proof of modularity 12 3.2. Examples of sheaves F with a rank 1 obstruction map HT 2(X) Ext2(F ) 16 3.3. When can a modular sheaf on X be deformed to an untwisted sheaf→ on Y ? 20 4. The BKR equivalence 25 5. The derived monodromy group 28 6. The LLV line of an object of Db(X) which deforms in co-dimension 1 in HH2(X) 31 6.1. The Hochschild Lie algebra of a holomorphic symplectic manifold 31 6.2. Subalgebras of the Hochschild Lie algebra generated by a hyperplane in HT 2(X) 35 6.3. The LLV subspace of an object in Db(X) 38 Date: September 3, 2021. 1 2 EYAL MARKMAN 6.4. The LLV line 40 6.5. Torsion sheaves which deform in co-dimension 1 are supported on lagrangian subvarieties or points 47 7. Lagrangian surfaces in IHSMs of K3[2]-type 49 7.1. The Chern character of for a maximally deformable lagrangian surface Z 49 OZ 7.2. Lagrangian surfaces Z with Z having a rank 1 cohomological obstruction map 51 7.3. Integral constraints for the existenceO of smooth lagrangian surfaces 52 7.4. Lagrangian subvarieties with a positive LLV line may lead to new examples of IHSMs 54 8. Effective LLV lines 54 9. The Chern character of a modular vector bundle isomorphic to Φ( [2] ) 56 OK3 10. Modular vector bundles isomorphic to Φ( K3[n] ) 60 11. Modular vector bundles with isotropic MukaiO vector over Hilbert schemes 62 11.1. The Chern character of the Fourier-Mukai image of a sky-scraper sheaf 62 11.2. Proof of Theorem 1.6 65 12. The action of the derived monodromy group of S on the LLV lattice of S[n] 65 13. A reflexive torsion free Fourier-Mukai image of a lagrangian line bundle with a positive LLV line 69 13.1. Fourier-Mukai images of line bundles on the Fano variety of lines on a cubic 3-fold 69 13.2. Explicit description of the isospectral Hilbert scheme for n = 2 70 13.3. A local coordinate description of the strict transforms of diagonals 72 13.4. The kernel of the BKR-conjugate of the square of a spherical twist by 73 OS 13.5. Reflexivity of the Fourier-Mukai image of Z (k) 78 13.6. Proof of Proposition 13.2 O 81 References 85 1. Introduction An irreducible holomorphic symplectic manifold is a simply connected compact K¨ahler man- 0 2 ifold X such that H (X, ΩX ) is one-dimensional spanned by an everywhere non-degenerate holomorphic 2-form. If X is 2-dimensional, then it is a K3 surface. It is well known that if E is a slope-stable vector bundle over a K3 surface X, then the projective bundle P(E) deforms with X to every complex deformation of X [Ve4]. The analogous statement fails if dim(X) > 2 even to first order, since c2( nd(E)) need not remain of Hodge type (2, 2). The starting point of this paper is the observationE that an analogous statement holds for torsion free reflexive sheaves satisfying the infinitesimal condition that the obstruction homomorphism (1.1) obs : HH2(X) Ext2(E, E) E → has rank 1 (Theorem 1.2). Above, HH2(X) is the second Hochschild cohomology of X, con- sidered as the space of natural transformations from the identity functor id : Db(X) Db(X) → to its shift id[2], and obsE sends a natural transformation α to its value αE on E. The space HH2(X) parametrizes first order deformations of the category Coh(X) of coherent sheaves on X and those yield also first order deformations of the derived category Db(X) [To]. The VECTOR BUNDLES ON A HYPER-KAHLER¨ MANIFOLD WITH A RANK 1 OBSTRUCTION MAP 3 2 class obsE(ξ) is the obstruction to lifting ξ HH (X) to a first order deformation of the pair (Db(X), E) (see [To, Prop. 6.1]). ∈ Given an object F Db(X) of non-zero rank r, set κ(F ) := ch(F )exp −c1(F ) . If F is a ∈ r locally free coherent sheaf, then κ(F ) is a characteristic class of the projective bundle P(F ). We first observe that if X is a projective irreducible holomorphic symplectic manifold and F b is an object in D (X) with obsF of rank 1, then κ(F ) remains a Hodge class for all K¨ahler deformations of X (see Lemma 2.3). Given an equivalence of derived categories Φ : Db(X) Db(Y ), we have a commutative diagram → Φ HH2(X) ∗ / HH2(Y ) obsF obsΦ(F ) Hom(F, F [2]) / Hom(Φ(F ), Φ(F )[2]), Φ where the horizontal arrows are isomorphisms, and so the rank of obsΦ(F ) and obsF are equal. If rank(F ) = 0, then the restriction of obs to the subspace H0(X, ) of HH2(X) is injective, 6 F OX by [HL, Lemma 10.1.3]. Thus, rank(obsF ) 1 for every object F such that rank(Φ(F )) = 0, for some equivalence of derived categories Φ≥ : Db(X) Db(Y ). Three sources1 of objects6 F → with obsF of rank 1 emerge: b b (1) F = Φ( X ), where Φ : D (X) D (Y ) is an equivalence of derived categories of two projectiveO irreducible holomorphic→ symplectic manifolds. Note that Ext2( , ) is OX OX one dimensional and so obsF has rank 1. (2) F is the image of a sky-scraper sheaf of a point via an equivalence Φ as above (See Section 3.1). F is the image Φ(ι∗L) via an equivalence Φ as above, where ι : Z ֒ X is the embedding (3) of Z as a holomorphic lagrangian submanifold and L is a line bundle→ on Z, such that (a) ι∗ : H1,1(X) H1,1(Z) has rank 1, and (b) L is a rational→ power of the canonical line bundle of Z. Sources (1) and (2) above seem to be special cases of deformations of source (3). If, for exampe, X is the Hilbert scheme S[n] of n points on a K3 surface S and S contains a smooth b [n] rational curve C, then S[n] is the image via an auto-equivalence of D (S ) of the structure O [n] sheaf C[n] of the lagrangian projective space C (see Example 3.12). Similarly, assume that S admitsO an elliptic fibration with a section and C S, 1 i n, are n distinct smooth i ⊂ ≤ ≤ fibers. The sky-scraper sheaf Cp supported on the origin p of the lagrangian abelian variety n [n] b [n] A := i=1 Ci S is the image of A via an auto-equivalence of D (S ). We prove the following statement.⊂ O Q Theorem 1.1. (Theorem 6.24) Let ι : Z X be an embedding of a variety Z as a proper subvariety of an irreducible holomorphic symplectic→ manifold X. Let F be a torsion free coherent sheaf on Z. If obsι∗F has rank 1, then ι(Z) is either a lagrangian subvariety or a point. 1 n 2 n The rank of obsF is 1 for every P -object F , since then dim Hom(F, F [2]) = dim H (P ) = 1.