On the symplectic eightfold associated to a Pfaffian cubic fourfold (Q2408331): Difference between revisions

\textit{C. Lehn} et al. [J. Reine Angew. Math. 731, 87--128 (2017; Zbl 1376.53096)] associated to each cubic hypersurface \(Y\) not containing a plane an irreducible holomorphic symplectic eightfold \(Z\), constructed from twisted cubics on \(Y\), and observed that \(Z\) has the same topological Euler number as \(\text{Hilb}^4(K3)\), but left open the question if the two are deformation equivalent or not. This paper is an appendix to the above article, and it proves that two are indeed deformation equivalent. Theorem: If \(Y\) is a Pfaffian cubic fourfold not containing a plane and the associated \(K3\) surface \(X\) does not contain a line, then \(Z\) is birational to \(\text{Hilb}^4(X)\). Corollary: For any cubic fourfold \(Y\) not containing a plane, \(Z\) is deformation equivalent to the Hilbert scheme of four points on a \(K3\) surface. The result is established by constructing for a generic Pfaffian cubic \(Y\) a birational map from \(Z\) to \(\text{Hilb}^4(X)\), where \(X\) is the \(K3\) surface associated to \(Y\) by \textit{A. Beauville} and \textit{R. Donagi} [C. R. Acad. Sci., Paris, Sér. I 301, 703--706 (1985; Zbl 0602.14041)]. The authors interpret \(Z\) as a moduli space of complexes on \(X\) and observe that at some point of \(Z\), hence on a Zariski open subset, the complex is just the ideal sheaf of four points.