Rational maps from punctual Hilbert schemes of \(K3\) surfaces (Q2017744)

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.