Rational Lagrangian fibrations on punctual Hilbert schemes of \(K3\) surfaces (Q2502194)

By results of \textit{D. Matsushita} [Topology 38, No. 1, 79--83 (1999); addendum ibid. 40, 431--432 (2001; Zbl 0932.32027)], a morphism \(f: X \rightarrow B\) from a projective symplectic \(2d\)-fold \(X\) to a normal variety \(B\), \(0 < \dim B < 2d\), is necessary an abelian fibration, i.e. a Lagrangian fibration with a generic fiber an abelian \(d\)-fold. In particular, such fibration \(f\) is given by a nef divisor \(L\) on \(X\) on which the Beauville form \(q_X\) on \(X\) vanishes. It is natural to ask whether the inverse is true, i.e. whether any nef line bundle L on a projective symplectic manifold \(X\) with \(q_X(c_1(L)) = 0\) defines an abelian fibration on \(X\) (at least in a rational sense) [see \S 21.4 of \textit{M. Gross (ed.), D. Huybrechts (ed.), D. Joyce (ed.)}, Calabi-Yau manifolds and related geometries. Lectures at a summer school in Nordfjordeid, Norway, June 2001 (2003; Zbl 1001.00028)]. A particular case of projective symplectic manifolds with vanishing Beauville form are the Hilbert powers \(S^{[d]}\) of smooth \(K3\) surfaces \(S\) with \(Pic S = {\mathbb Z}h\), \(h^2 = m^2(2d-2)\), \(m \geq 1, d \geq 2\). \textit{B. Hassett} and \textit{Yu. Tschinkel} [Int. J. Math. 11, No. 9, 1163--1176 (2000; Zbl 0982.14012)] proved that for \(m \geq 2\) and \(d = 2\) on \(S^{[d]} = S^{[2]}\) there exists a genuine (regular) abelian fibration to \(B = {\mathbb P}^2\); in addition they asked whether for \(m \geq 2\) and any \(d \geq 3\) and \(S\) as above on \(S^{[d]}\) there also exists a similar abelian fibration onto \({\mathbb P}^d\). The present paper gives a partial answer to this question by showing that for \(m\geq 2\) and \(d \geq 3\) the Hilbert power \(X = S^{[d]}\) admits a rational map \(f\) to \({\mathbb P}^d\), which is birationally equivalent to an abelian fibration. The construction of \(f\) uses a twisted Fourier-Mukai transform which induces a birational isomorphism between \(X\) and certain abelian fibered moduli space \(M\) of twisted sheaves on another \(K3\) surface \(T\), obtained from \(S\) as a Fourier-Mukai partner. The complete positive answer to the question of Hassett and Tschinkel is given by \textit{J. Sawon} (in a collaboration with K. Yoshioka) [Lagrangian fibrations on Hilbert schemes of points on \(K3\) surfaces, \texttt{math.AG/0509224}; to appear in the J. Algebr. Geom.], by using a refinement of the same approach. Similar result for the case of generalized Kummer varieties with vanishing Beauville form has been obtained by \textit{M. Gulbrandsen} [Lagrangian fibrations on generalized Kummer varieties, \texttt{math.AG/0510145}].