The global moduli theory of symplectic varieties

DOI10.1515/CRELLE-2022-0033MaRDI QIDQ2170263zbMATH OpenOpenAlexFDO

Publication date 30 August 2022

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.09748

moduli space period map symplectic variety Torelli theorem

Algebraic moduli problems, moduli of vector bundles (14D20) Minimal model program (Mori theory, extremal rays) (14E30) (K3) surfaces and Enriques surfaces (14J28) Holomorphic symplectic varieties, hyper-Kähler varieties (14J42) Compact Kähler manifolds: generalizations, classification (32J27) Hyper-Kähler and quaternionic Kähler geometry, ``special geometry (53C26) Global differential geometry of Hermitian and Kählerian manifolds (53C55) Symplectic geometry, contact geometry (53Dxx)

Abstract: We develop the global moduli theory of symplectic varieties in the sense of Beauville. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of Verbitsky's global Torelli theorem in the smooth case (assuming

b_{2} g e q 5

) which does not use the existence of a hyperk"ahler metric or twistor deformations.

Review text

A primitive symplectic variety is a normal compact Kähler space \(X\) with \(H^1(X, \mathcal O_X)=0\) that admits a unique (up to scaling) symplectic form \(\sigma\) on the smooth locus that extends to a resolution of singularities. Primitive symplectic varieties are a natural generalisation of holomorphic symplectic manifolds which are famous for their rich geometry and deformation theory. In this paper the authors extend several fundamental results on holomorphic symplectic manifolds to the singular setting: fix a lattice \(\Lambda\) and a quadratic form \(q\) on \(\Lambda\). Given a primitive symplectic variety the second cohomology \(H^2(X, \mathbb Z)/\mathrm{torsion}\) carries the Beauville-Bogomolov quadratic form \(q_X\), a \(\Lambda\)-marking on \(X\) is an isomorphism \[ \mu : (H^2(X, \mathbb Z)/\mathrm{torsion}, q_X) \simeq (\Lambda, q). \] The set of isomorphism classes of \(\Lambda\)-marked primitive symplectic varieties \((X, \mu)\) is parametrised by a moduli space \(\mathfrak M_\Lambda\) that has the structure of a not-necessarily Hausdorff complex manifold. As in the smooth case one can define a period map \[ P: \mathfrak M_\Lambda \rightarrow \Omega_\Lambda \subset \mathbb P(\Lambda \otimes \mathbb C) \] by sending \((X, \mu)\) to \(\mu(H^{2,0}(X))\). The main result of this paper is a generalisation of the theorems of \textit{D. Huybrechts} [Invent. Math. 135, No. 1, 63--113 (1999; Zbl 0953.53031)] and \textit{M. Verbitsky} [Duke Math. J. 162, No. 15, 2929--2986 (2013; Zbl 1295.53042)] on the period map: assume that the lattice \(\Lambda\) has rank at least \(5\). Then for each connected component \(\mathfrak M \subset \mathfrak M_\Lambda\) the monodromy group \(\mbox{Mon}(\mathfrak M) \subset O(\Lambda)\) is of finite index. Moreover the period map \(P: \mathfrak M \rightarrow \Omega_\Lambda\) is bijective over Mumford-Tate general points and arbitrary fibres parametrise bimeromorphic varieties. One can also define a Hausdorff reduction \(\overline{\mathfrak M}\) of the moduli space which is a complex manifold, the induced map \(\overline{P}: \overline{\mathfrak M} \rightarrow \Omega_\Lambda\) is then an isomorphism onto the complement of countably many periods with maximal Picard rank. The proof of the main theorem requires a thorough review of many classical tools for symplectic manifolds, for example a generalisation of Huybrechts' projectivity criterion: given a primitive symplectic variety \(X\), assume that there exists a rational \((1,1)\)-class \(\alpha \in H^2(X, \mathbb Q)\) such that \(q_X(\alpha)>0\). Then \(X\) is a projective variety. As a corollary one obtains that every primitive symplectic variety is deformation equivalent to a projective one, moreover the deformation is locally trivial (on the total space).

Recommendations

Cites work

Cited in

(34)

Describes a project that uses

Uses Software

MathOverflow

This page was built for publication: The global moduli theory of symplectic varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2170263)