Rational Hodge isometries of hyper-Kahler varieties of K3[n]-type are algebraic

Abstract

Let X and Y be compact hyper-Kahler manifolds deformation equivalence to the Hilbert scheme of length n subschemes of a K3 surface. A cohomology class in their product XxY is an analytic correspondence, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let f be a Hodge isometry of their second rational cohomologies with respect to the Beauville-Bogomolov-Fujiki pairings. We prove that f is induced by an analytic correspondence. We furthermore lift f to an analytic correspondence F between their total rational cohomologies, which is a Hodge isometry with respect to the Mukai pairings, and which preserves the gradings up to sign. When X and Y are projective the correspondences f and F are algebraic.

arXiv commentv2: 45 pages. Added Corollary 1.10 on the algebraic class inducing the Pontryagin product

References in corpus (9)

• A survey of Torelli and monodromy results for holomorphic-symplectic varieties
• Mapping class group and global Torelli theorem for hyperkahler manifolds: an erratum
• A Lie algebra attached to a projective variety
• New derived symmetries of some hyperkähler varieties
• The Standard Conjectures for holomorphic symplectic varieties deformation equivalent to Hilbert schemes of K3 surfaces
• Prime exceptional divisors on holomorphic symplectic varieties and monodromy-reflections
• On the existence of universal families of marked irreducible holomorphic symplectic manifolds
• Derived equivalences of hyperkähler varieties
• On the Hodge structures of compact hyperkähler manifolds