The global moduli theory of symplectic varieties (Q2170263)

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).