Hilbert squares of \(K3\) surfaces and Debarre-Voisin varieties
type: Item
instance of: scholarly article
title: Hilbert squares of \(K3\) surfaces and Debarre-Voisin varieties
zbMATH Open document ID: 1442.14125
author: Olivier Debarre
author: Frédéric Han
author: Claire Voisin
author: Kieran G. O'Grady
publication date: 2020-06-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1901.04032
review text: Let \(V\) be a \(10\)-dimensional complex vector space. From a trivector \(\sigma\in\bigwedge^{3}V^{\vee}\), we associate a canonically polarized subvariety \(K_{\sigma}\) of \(\mathrm{Gr}(6,V)\), called the Debarre-Voisin variety. For general \(\sigma\), \(K_{\sigma}\) form a local complete family of hyperkähler of \(K3^{[2]}\)-type. The GIT quotient \(\mathscr{M}_{DV}:=\mathbb{P}(\bigwedge^{3}V^{\vee})//\mathrm{SL}(\bigwedge^{3}V^{\vee})\) is the coarse moduli space of trivectors. By composition with the period map, we can construct a rational map \(q:\mathscr{M}_{DV}\dashrightarrow\mathcal{F}\), where \(\mathcal{F}\) is the period domain of polarized varieties of type \((K_{\sigma},\mathcal{O}_{K_{\sigma}}(1))\). There exists a resolution of \(q\), \(\overline{q}:\widetilde{\mathscr{M}_{DV}}\twoheadrightarrow\overline{\mathcal{F}}\), where \(\overline{\mathcal{F}}\) is the Baily-Borel projective compactification of \(\mathcal{F}\) and \(\widetilde{\mathscr{M}_{DV}}\) is obtained from the blow up of \(\mathbb{P}(\bigwedge^{3}V^{\vee})\) along trivectors with positive-dimensional stabilizers. An HLS divisor is an irreducible hypersurface of \(\overline{\mathcal{F}}\) which is the image of an exceptional divisor of \(\widetilde{\mathscr{M}_{DV}}\rightarrow\mathscr{M}_{DV}\). The main result of the article under review is that the Heegner divisors \(\mathscr{D}_{2},\mathscr{D}_{6},\mathscr{D}_{10},\mathscr{D}_{18}\) are HLS divisors. These divisors are studied one by one. In the case \(\mathscr{D}_{6}\), the strategy is the following. Define a trivector \(\sigma\) whose Debarre-Voisin variety \(K_{\sigma}\) is smooth but has dimension \(6\) (this was proved by \textit{P. Hivert} in [Ann. Inst. Fourier 61, No. 5, 2121--2138 (2011; Zbl 1298.14050)]). A general \(1\)-parameter deformation of \(\sigma\) defines a family of Debarre-Voisin varieties with central fiber \(S^{[2]}\), where \(S\) is a surface \(K3\) of degree \(6\). The subvariety \(S^{[2]}\subset K_{\sigma}\)…
reviewed by: Giosuè Muratore
Mathematics Subject Classification ID: 14J32
Mathematics Subject Classification ID: 14J35
Mathematics Subject Classification ID: 14M15
Mathematics Subject Classification ID: 14J70
Mathematics Subject Classification ID: 14J28
zbMATH DE Number: 7206870
zbMATH Keywords: hyper-Kähler fourfolds
zbMATH Keywords: trivectors
zbMATH Keywords: moduli spaces
zbMATH Keywords: Hilbert schemes of 2 points of a \(K3\) surfaces
describes a project that uses: Macaulay2
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W4310897078
arXiv ID: 1901.04032
cites work: Moduli spaces of polarized irreducible symplectic manifolds are not necessarily connected
cites work: Q3737565
cites work: MMP for moduli of sheaves on \(K3\)s via wall-crossing: nef and movable cones, Lagrangian fibrations
cites work: Eléments de Mathématique. Groupes et algèbres de Lie
cites work: Cremona Groups and the Icosahedron
cites work: On the cohomology of a tautological fibre bundle on the Hilbert scheme of a surface
cites work: Sections de la puissance tensorielle du fibré tautologique sur le schéma de Hilbert des points d'une surface
cites work: Special prime Fano fourfolds of degree 10 and index 2
cites work: On the Period Map for Polarized Hyperkähler Fourfolds
cites work: Classical algebraic geometry. A modern view
cites work: Hyper-Kähler fourfolds and Grassmann geometry
cites work: The Kodaira dimension of the moduli of \(K3\) surfaces
cites work: Moduli spaces of irreducible symplectic manifolds
cites work: Moduli of K3 Surfaces and Irreducible Symplectic Manifolds
cites work: Q4946819
cites work: Equations of some wonderful compactifications
cites work: Surjectivity of the period map of K3 surfaces of degree 2
cites work: Moving and ample cones of holomorphic symplectic fourfolds
cites work: Q4913084
cites work: Q4137298
cites work: Tensor products of tautological bundles under the Bridgeland-King-Reid-Haiman equivalence
cites work: The moduli space of cubic fourfolds
cites work: The moduli space of cubic fourfolds via the period map
cites work: Compactifications defined by arrangements. II: Locally symmetric varieties of type IV
cites work: The period map for cubic fourfolds
cites work: Adherences d'orbite et invariants
cites work: A survey of Torelli and monodromy results for holomorphic-symplectic varieties
cites work: Symplectic structure of the moduli space of sheaves on an abelian or K 3 surface
cites work: Q3478539
cites work: Q3438062
cites work: Q5273015
cites work: Periods of double EPW-sextics
cites work: Moduli of double EPW-sextics
cites work: Modular sheaves on hyperkähler varieties
cites work: A complete moduli space for K3 surfaces of degree 2
cites work: Linear algebraic groups.
cites work: Mapping class group and a global Torelli theorem for hyperkähler manifolds
cites work: Weak positivity and the stability of certain Hilbert points. III
cites work: Stability of tautological bundles on the Hilbert scheme of two points on a surface
DOI: 10.5802/JEP.125
published in: Journal de l’École polytechnique — Mathématiques
description: scientific article