Rational Hodge isometries of hyper-Kähler varieties of type are algebraic

Abstract

Let $X$ and $Y$ be compact hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of length $n$ subschemes of a $K3$ surface. A class in $H^{p,p}(X\times Y,{\mathbb {Q}})$ is an analytic correspondence, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let $f:H^2(X,{\mathbb {Q}})\rightarrow H^2(Y,{\mathbb {Q}})$ be a rational Hodge isometry 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 $\tilde {f}: H^*(X,{\mathbb {Q}})[2n]\rightarrow H^*(Y,{\mathbb {Q}})[2n]$ , 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 $\tilde {f}$ are algebraic.