Rational maps from punctual Hilbert schemes of K3 surfaces

From MaRDI portal
Publication:2017744



Abstract: The purpose of this short note is to study dominant rational maps from punctual Hilbert schemes of length k>1 of projective K3 surfaces S containing infinitely many rational curves. Precisely, we prove that their image is necessarily rationally connected if this rational map is not generically finite. As an application, we simplify the proof of C. Voisin's of the fact that symplectic involutions of any projective K3 surface S act trivially on mathrmCH0(S).


Let \(S\) be a projective \(K3\) surface and \(S^{[k]}\) be the Hilbert scheme of \(k\) points on \(S\), where \(k \geq 2\). The author proves that any dominant rational map from \(S^{[k]}\) that is not generically finite has a rationally connected image. As an application the author gives an alternative proof of \textit{C. Voisin}'s theorem that any symplectic involution of a projective \(K3\) surface \(S\) acts as the identity on \(\mathrm{CH}_0(S)\) [Doc. Math., J. DMV 17, 851--860 (2012; Zbl 1276.14012)]. Using theorems of Graber-Harris-Starr [\textit{T. Graber} et al., J. Am. Math. Soc. 16, No. 1, 57--67 (2003; Zbl 1092.14063)], the author reduces his main theorem to the equivalent formulation that the image of a dominant rational map from \(S^{[k]}\) that is not generically finite is either a point or a uniruled variety.











This page was built for publication: Rational maps from punctual Hilbert schemes of \(K3\) surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017744)