On the period of Lehn, Lehn, Sorger, and van Straten's symplectic eightfold
type: Item
instance of: scholarly article
title: On the period of Lehn, Lehn, Sorger, and van Straten's symplectic eightfold
DOI: 10.1215/21562261-2022-0033
author: Nicolas Addington
author: Franco Giovenzana
published in: Kyoto Journal of Mathematics
publication date: 2023-02-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/2003.10984
full work available at URL: 21562261-2022-0033.full
review text: Given a smooth cubic fourfold \(Y\) not containing a plane, it is well known that there is a moduli space \(M\) of generalized twisted cubics in \(Y\) and a morphism \(u\colon M\rightarrow Z\). The latter is the LLSvS symplectic eightfold. The first result of the paper is: The universal curve \(C\subset Y\times M\) induces a map \[ [C]_*\colon H^4(Y,\mathbb{Z})\rightarrow H^2(M,\mathbb{Z}) \] that restricts to a Hodge isometry \([C]_*\colon H^4_{\mathrm{prim}}(Y,\mathbb{Z})\rightarrow u^*(H^2_{\mathrm{prim}}(Z,\mathbb{Z}))\), with the intersection pairing on the left-hand side and the opposite of the Beauville-Bogomolov-Fujiki pairing on the right. Moreover, the authors prove that an analogous result holds in topological \(K\)-theory. That is, the Fourier-Mukai kernel \(I^\vee_C(-3h)\) induces a map \(K_{\mathrm{top}}(\mathcal{A})\rightarrow K_{\mathrm{top}}(M)\) that composed with the first Chern class restricts to a Hodge isometry. As usual, \(\mathcal{A}\) is Kuznetsov's \(K3\) category. In order to prove these two results, it is enough to prove them for one specific cubic fourfold. The first result is proved by taking \(Y\) not in any Hassett's Noether-Lefschetz divisor \(\mathcal{C}_d\). The result in \(K\)-theory is proved taking a Pfaffian cubic \(Y\) and a \(K3\) surface \(X\) parameterizing a complete family of quartic scrolls on \(Y\). The authors prove that if \(X\) has Picard rank \(1\), then there is a morphism \(j\colon Y\rightarrow X^{[4]}\). The last theorem of the article is a series of explicit conditions on \(d\) such that \(Y\in\mathcal{C}_d\) if and only if \(Z\) is birational to some moduli space of (twisted) sheaves on a \(K3\) surface, or to \(\mathrm{K3}^{[4]}\).
reviewed by: Giosuè Muratore
Mathematics Subject Classification ID: 14J42
Mathematics Subject Classification ID: 14F08
zbMATH DE Number: 7655224
zbMATH Keywords: cubic fourfolds
zbMATH Keywords: derived categories
zbMATH Keywords: Hodge structures
zbMATH Keywords: holomorphic symplectic varieties
describes a project that uses: Macaulay2
MaRDI profile type: Publication
OpenAlex ID: W3012975441
cites work: On two rationality conjectures for cubic fourfolds
cites work: On the symplectic eightfold associated to a Pfaffian cubic fourfold
cites work: Hodge theory and derived categories of cubic fourfolds
cites work: Stability conditions in families
cites work: MMP for moduli of sheaves on \(K3\)s via wall-crossing: nef and movable cones, Lagrangian fibrations
cites work: Q3737565
cites work: Divisorial Zariski decompositions on compact complex manifolds
cites work: Hyper-Kähler manifolds
cites work: Q4195061
cites work: Cubic Fourfolds, K3 Surfaces, and Rationality Questions
cites work: Moving and ample cones of holomorphic symplectic fourfolds
cites work: Q5470192
cites work: Q4913084
cites work: The K3 category of a cubic fourfold
cites work: Hodge Theory of Cubic Fourfolds, Their Fano Varieties, and Associated K3 Categories
cites work: Q4212603
cites work: Hilbert schemes of lines and conics and automorphism groups of Fano threefolds
cites work: Twisted cubics on cubic fourfolds
cites work: Chern classes of tautological sheaves on Hilbert schemes of points on surfaces
cites work: Teichmüller spaces and Torelli theorems for hyperkähler manifolds
cites work: A survey of Torelli and monodromy results for holomorphic-symplectic varieties
cites work: Q4195021
cites work: The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface
cites work: Injective Holomorphic Mappings
cites work: Mapping class group and a global Torelli theorem for hyperkähler manifolds
cites work: Q4780263
description: scientific article; zbMATH DE number 7655224