On the symplectic eightfold associated to a Pfaffian cubic fourfold (Q2408331)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the symplectic eightfold associated to a Pfaffian cubic fourfold
scientific article

    Statements

    On the symplectic eightfold associated to a Pfaffian cubic fourfold (English)
    0 references
    0 references
    0 references
    12 October 2017
    0 references
    \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.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    symplectic eightfold
    0 references
    cubic fourfold
    0 references
    Hilbert scheme
    0 references
    \(K3\) surface
    0 references
    Pfaffine cubic fourfold
    0 references
    0 references
    0 references