---
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\geq 5$) which does not use the existence of a hyperkähler metric or twistor deformations.'
address:
- |
    Benjamin Bakker\
    Department of Mathematics\
    University of Georgia\
    1023 D. W. Brooks Drive, Athens, GA 30605
- |
    Christian Lehn\
    Fakultät für Mathematik\
    Technische Universität Chemnitz\
    Reichenhainer Straße 39, 09126 Chemnitz, Germany
author:
- Benjamin Bakker
- Christian Lehn
bibliography:
- 'literatur.bib'
title: The global moduli theory of symplectic varieties
---

Introduction {#section intro}
============

A *symplectic variety* $X$ (in the sense of Beauville [@Bea00]) is a normal Kähler variety admitting a nondegenerate holomorphic two-form $\sigma\in H^0(X^\reg,\Omega^2_{X^\reg})$ on its regular part which extends holomorphically on some resolution of singularities $\pi:Y\to X$. If $X$ is compact, $H^1(X,\sO_X)=0$, and $\sigma$ is unique up to scaling, we say $X$ is a *primitive* symplectic variety. We consider these varieties a singular analog of (compact) irreducible symplectic manifolds which is as general as possible such that a reasonable global moduli theory can still be established.

Irreducible symplectic manifolds are one of the three main building blocks of compact Kähler manifolds with vanishing first Chern class by a theorem of Beauville–Bogomolov [@Bea83 Théorème 1], and their geometry is very rich. In particular, Verbitsky’s global Torelli theorem [@Ver13 Theorem 1.17] gives a precise description of the global deformations of a symplectic manifold in terms of the Hodge structure on its second cohomology.

Recent work of Druel–Greb–Guenancia–Höring–Kebekus–Peternell [@GKKP11; @DG18; @Dru18; @GGK17; @HP19] has shown a version of the above Beauville–Bogomolov decomposition theorem for singular projective varieties with trivial canonical class, see [@HP19 Theorem 1.5], and the “holomorphic-symplectic" components[^1] that show up are a special case of the primitive symplectic varieties we consider. It is therefore desirable to have a good understanding of the geometry of primitive symplectic varieties. As in the smooth case, deformation theory—especially deformations to *non-projective* varieties—is an essential part of the picture.

Our main result is a global Torelli theorem for primitive symplectic varieties in general with surjectivity of the period map in the $\Q$-factorial[^2] terminal case. Before stating the theorem, let us fix some notation. The torsion-free part $H^2(X,\Z)_{\mathrm{tf}}:=H^2(X,\Z)/\mathrm{torsion}$ of the second cohomology of a primitive symplectic variety $X$ carries a pure weight two Hodge structure which is further endowed with an integral locally trivial deformation-invariant quadratic form $q_{X}$ called the Beauville–Bogomolov–Fujiki form, see sections \[section prelim\] and \[section BBF\]. Fixing a lattice $\Lambda$ and denoting its quadratic form by $q$, a $\Lambda$-marking of $X$ is an isomorphism $\mu: (H^2(X,\Z)_{\mathrm{tf}},q_{X})\xrightarrow{\cong} (\Lambda,q)$. The set of isomorphism classes of $\Lambda$-marked primitive symplectic varieties $(X,\mu)$ is given the structure of an analytic space $\gothM_\Lambda$ by gluing the bases of *locally trivial* Kuranishi families. In fact, $\gothM_\Lambda$ is a not-necessarily-Hausdorff complex manifold by the unobstructedness of locally trivial deformations (see section \[section defo\]).

We obtain a period map $P:\mathfrak{M}_\Lambda\to\Omega_\Lambda$ to the period domain $\Omega_\Lambda\subset \P( \Lambda_\C)$ by sending $(X,\mu)$ to $\mu(H^{2,0}(X))$ and it is a local isomorphism (see section \[section BBF\]). There is a Hausdorff reduction $H:\gothM_\Lambda\to\overline\gothM_\Lambda$ where $\overline\gothM_\Lambda$ is a Hausdorff complex manifold and $H$ identifies inseparable points, and we moreover have a factorization $$\xymatrix{
&\overline{\mathfrak{M}}_\Lambda\ar[rd]^{\xxoverline{P}}&\\
\mathfrak{M}_\Lambda\ar[ru]^{H}\ar[rr]_{P}&&\Omega_\Lambda.
}$$

We now state our two main results:

\[maintorelli\] Assume $\rk(\Lambda)\geq 5$. Then for each connected component $\gothM$ of the $\Lambda$-marked moduli space $\gothM_\Lambda$ parametrizing primitive $\Q$-factorial terminal symplectic varieties we have:

1.  The monodromy group $\Mon(\gothM)\subset \O(\Lambda)$ is of finite index;

2.  $\xxoverline{P}:\overline{\mathfrak{M}}\to \Omega_\Lambda$ is an isomorphism;

3.  $P:\mathfrak{M}\to \Omega_\Lambda$ is generically injective and the fibers consist of pairwise bimeromorphic varieties.

Theorem \[maintorelli\] of course applies to the smooth case, and yields a new proof of Verbitsky’s global Torelli theorem. In general, we obtain a slightly weaker version of the surjectivity of the period map:

\[maintorelli2\] Assume $\rk(\Lambda)\geq 5$. Then for each connected component $\gothM$ of the $\Lambda$-marked moduli space $\gothM_\Lambda$ we have:

1.  The monodromy group $\Mon(\gothM)\subset \O(\Lambda)$ is of finite index;

2.  $\xxoverline{P}:\overline{\mathfrak{M}}\to \Omega_\Lambda$ is an isomorphism onto the complement of countably many maximal Picard rank periods;

3.  $P:\mathfrak{M}\to \Omega_\Lambda$ is generically injective and the fibers consist of pairwise bimeromorphic varieties.

In [@BL16 Theorem 1.3] the authors prove Theorem \[maintorelli2\] (*with* surjectivity in part (2)) for components $\gothM$ parametrizing primitive symplectic varieties admitting a crepant resolution. The proof crucially uses that simultaneous crepant resolutions exist in locally trivial families of such varieties, as then Verbitsky’s global Torelli theorem can be applied to the crepant resolution. In the general setting, one could try to reduce to Theorem \[maintorelli\] by passing to a simultaneous *$\Q$-factorial terminalization*, but in this case a new strategy is needed as Verbitsky’s proof (and even Huybrechts’ proof of the surjectivity of the period map [@Huy99 Theorem 8.1]) fundamentally uses the existence of hyperkähler metrics and twistor deformations. Instead, we prove Theorem \[maintorelli2\] directly using Verbitsky’s classification [@Ver15 Theorem 1.16] (see also [@BL16 Remark 5.7]) of orbit closures of the monodromy action on the period domain via Ratner theory, which is responsible for the assumption $b_2(X)\geq 5$ in the theorem. The surjectivity in Theorem \[maintorelli\] then follows from a slight generalization to the $\Q$-factorial terminal case of work of Kollár–Laza–Saccà–Voisin [@KLSV18] on projective degenerations using MMP techniques.

In fact, there is another problem with the naive generalization of the argument of [@BL16]: the replacement of a crepant resolution should be a $\Q$-factorial terminalization, but this is not guaranteed to exist. In the projective case the existence of a $\Q$-factorial terminalization is a consequence of deep results of Birkar–Cascini–Hacon–Kernan [@BCHM10] on the termination of an appropriate version of the MMP, but it is not even clear *a priori* that a symplectic variety can be deformed to a projective one (although Namikawa [@Nam02] has results in this direction). For this reason, we need a projectivity criterion for symplectic varieties, analogous to Huybrechts’ criterion [@Huy99 Theorem 3.11] for hyperkähler manifolds:

\[mainproj\] Let $X$ be a primitive symplectic variety, and assume $\alpha \in H^2(X,\Q)$ is a $(1,1)$-class with $q_X(\alpha)> 0$. Then $X$ is projective.

Every primitive symplectic variety is locally trivially deformation equivalent to a projective primitive symplectic variety.

The proof uses a (weak) singular analog of the Demailly–Păun theorem on the numerical characterization of the Kähler cone.

As an application of Theorem \[maintorelli2\], we can in fact conclude that terminalizations of symplectic varieties exist in the *non-projective* case, up to a bimeromorphism:

\[mainterminal\] Let $X$ be a primitive symplectic variety with $b_2(X)\geq 5$. Then there is a primitive sympletic variety $X'$ that is bimeromorphic and locally trivially deformation-equivalent to $X$ that admits a $\Q$-factorial terminalization: that is, there exists a (compact) $\Q$-factorial terminal Kähler variety $Y$ and a crepant map $\pi:Y\to X'$.

We view Theorem \[mainterminal\] as an indication that the deformation theoretic tools we develop might be used to generalize the MMP for projective symplectic varieties [@Dru11; @LP16] to the Kähler setting, and this will be pursued in a subsequent paper.

The proofs of Theorems \[maintorelli\], \[maintorelli2\], \[mainproj\], and \[mainterminal\] are built on a careful analysis of the infinitesimal locally trivial deformation theory of not-necessarily-projective symplectic varieties. There are a number of new complications all critically stemming from the fact that one can no longer bootstrap classical results on the geometry of hyperkähler manifolds via passing to a crepant resolution. In particular, we must provide:

1.  An analysis of the Hodge theory of rational and symplectic singularities in the non-projective setting, using recent results of Kebekus–Schnell [@KS18] on extending holomorphic forms.

2.  An adaptation of the results of Kollár–Laza–Saccà–Voisin [@KLSV18] on limits of projective families in the singular setting. This requires a singular analog of a theorem of Verbitsky saying that for a primitive symplectic variety $X$, the cup product map $\Sym^kH^2(X,\Q)\to H^{2k}(X,\Q)$ is injective for $2k\leq\dim X$.

3.  A description of the deformation theory of terminalizations. In particular, this requires a careful treatment of $\Q$-factoriality in the analytic category, as there are several nonequivalent generalizations of the corresponding notion in the algebraic category.

Previous work {#previous-work .unnumbered}
-------------

In [@BL16] the authors extended many of the classical results about compact irreducible symplectic manifolds to primitive symplectic varieties admitting a crepant resolution through the study of their locally trivial deformations. Menet [@Men18] has proven a version of the global Torelli theorem for certain primitive symplectic varieties with orbifold singularities using twistor deformations. There are many interesting ideas in his work that have influenced parts of the present paper, especially concerning the projectivity criterion. The local deformation theory (and in particular the local Torelli theorem) of primitive symplectic varieties has been treated by many authors, notably by Namikawa [@Nam01a; @Nam01b; @Nam06] and Kirschner [@Kir15].

Outline {#outline .unnumbered}
-------

In section \[section prelim\] we review basic notions and results about the Hodge theory of rational singularities, Kähler spaces, currents, and $\Q$-factoriality in the analytic category. Section \[section symplectic\] is devoted to primitive symplectic varieties and their Hodge theory. In section \[section defo\] we show locally trivial deformations of symplectic varieties are unobstructed. In section \[section BBF\] we recall the Beauville–Bogomolov–Fujiki form and deduce the local Torelli theorem. We also prove some topological results, including the existence of Fujiki relations and the analog of a theorem of Verbitsky discussed in (ii) above. In section \[section projectivity criterion\] we prove a (weak) singular analog of the Demailly–Păun theorem and apply it to deduce the projectivity criterion, Theorem \[mainproj\] (see Theorem \[theorem projectivity criterion\]). We also prove analogs of results of Huybrechts [@Huy99] and [@BL16] on the inseparability of bimeromorphic symplectic varieties in moduli, including part (3) of Theorems \[maintorelli\] and \[maintorelli2\] (see Theorem \[theorem inseparable implies birational\] and Corollary \[corollary huybrechts strong\]). In section \[section proj degen\] we indicate the necessary changes to [@KLSV18] to show the existence of limits of projective families for which the period does not degenerate in the $\Q$-factorial terminal setting. In section \[section torelli\] we prove parts (1) and (2) of Theorems \[maintorelli\] and \[maintorelli2\] (see Theorem \[theorem torelli\]). In section \[section qfactorial terminalizations\] we study the deformation theory of terminalizations and prove Theorem \[mainterminal\] (see Theorem \[theorem qfactorial terminalization\]).

For those interested in the proof of the global Torelli theorem in the smooth case, section \[section torelli\] can be read independently, as the results used from previous sections are standard in the smooth case[^3].

Acknowledgments. {#acknowledgments. .unnumbered}
----------------

We benefited from discussions, remarks, emails of Valery Alexeev, Andreas Höring, Daniel Huybrechts, Stefan Kebekus, Manfred Lehn, Thomas Peternell, Antonio Rapagnetta, Bernd Schober, and Christian Schnell. The first named author would like to thank Giulia Saccà for conversations related to section \[section proj degen\].

Benjamin Bakker was partially supported by NSF grants DMS-1702149 and DMS-1848049. Christian Lehn was supported by the DFG through the research grants Le 3093/2-1, Le 3093/2-2, and Le 3093/3-1.

Notation and Conventions {#notation-and-conventions .unnumbered}
------------------------

We denote by $\NS(X)$ the Néron-Severi group of a complex variety $X$ and by $\NS(X)_R$ its tensor product with a commutative ring $R$. A resolution of singularities of a variety $X$ is a proper surjective morphism $\pi:Y \to X$ from a nonsingular variety $Y$.

The term variety will denote an integral separated scheme of finite type over $\C$ in the algebraic setting or an irreducible and reduced separated complex space in the complex analytic setting.

Preliminaries {#section prelim}
=============

A complex variety $X$ is said to have rational singularities if it is normal and for any resolution of singularities $\pi:Y \to X$ and any $i > 0$ one has $R^i\pi_*\sO_Y = 0$. Recall that the Fujiki class $\scrC$ consists of all those compact complex varieties which are meromorphically dominated by a compact Kähler manifold, see [@Fuj78 §1]. This is equivalent to saying that there is a resolution of singularities by a compact Kähler manifold by Lemma 1.1 of op. cit.

The following lemma is well-known; we refer to [@BL16 Lemma 2.1] for a proof. For a Hodge structure $H$ of weight two, we denote by $H_\tr$ its transcendental part, that is, the smallest sub Hodge structure containing $H^{2,0}\oplus H^{0,2}$.

\[lemma peternell\] Let $\pi:Y\to X$ be a proper bimeromorphic morphism where $X$ is a complex variety with rational singularities. Then, $\pi^*:H^1(X,\Z) \to[\pi^*] H^1(Y,\Z)$ is an isomorphism and the sequence $$\label{eq leray}
 0 \to H^2(X,\Z) \to[\pi^*] H^2(Y,\Z) \to H^0(X,R^2\pi_*\Z)$$ is exact. In particular, if $X$ is compact and $Y$ is a compact manifold of Fujiki class, then $H^i(X,\Z)$ carries a pure Hodge structure for $i=1, 2$. Moreover, the restriction $\pi^*: H^2(X)_\tr \tensor \Q \to H^2(Y)_\tr \tensor \Q$ is an isomorphism, and $\pi^*H^{1,1}(X,\Z)$ is the subspace of $H^{1,1}(Y,\Z)$ of all classes that vanish on the classes of $\pi$-exceptional curves.

Let us recall that for $p+q\leq 2$ the graded pieces of the Hodge filtration can be identified with $H^q(X,\Omega_X^{[p]})$, see e.g. [@BL16 Corollary 2.3]. Here, $\Omega_X^{[p]}$ denotes the sheaf of reflexive $p$-forms whose definition we recall for convenience.

\[definition reflexive differentials\] Let $X$ be a complex space. The module of reflexive $p$-forms on $X$ is defined as $$\Omega_X^{[p]}:=\left(\Omega_X^p\right)^{\vee\vee}$$ where $F^\vee=\Hom_{\sO_X}(F,\sO_X)$ is the dual of a sheaf of $\sO_X$-modules.

If $X$ is a reduced normal complex space and $j:U \into X$ denotes the inclusion of the regular locus, then $\Omega_X^{[p]}=j_*\Omega^p_U$. For a resolution of singularities $\pi:Y \to X$ we moreover have $\pi_*\Omega^p_Y=\Omega_X^{[p]}$ by [@KS18 Corollary 1.8] if in addition $X$ has rational singularities.

Kähler spaces
-------------

The notion of a Kähler complex space is due to Grauert, see [@Gra62 §3, 3., p. 346] for the definition of a Kähler metric on a complex space. We recall the notion of a Kähler map—the relative version of a Kähler space—which is due to Bingener [@Bin83i Introduction]. One recovers Grauert’s definition when considering Kähler maps to a point.

Recall that a *smooth function* on a complex space $Z$ is by definition just a function $f:Z\to \R$ such that under a local holomorphic embedding of $Z$ into an open set $U\subset \C^n$, there is a smooth (i.e., $C^\infty$) function on $U$ (in the usual sense) that restricts to $f$ on $Z$.

\[definition kaehler form\] Let $Z$ be a complex space and let $f:Z\to S$ be a holomorphic map to a complex space $S$. A *Kähler form* for $f$ is given by an open covering $Z=\bigcup_{i\in I} U_i$ and smooth strictly plurisubharmonic functions $\vphi_i:U_i\to \R$ such that on $U_{ij}:=U_i\cap U_j$ the function $\vphi_i\vert_{U_{ij}} - \vphi_j\vert_{U_{ij}}$ is pluriharmonic, i.e., locally the real part of a holomorphic function. If $\vphi_i\vert_{U_{ij}} - \vphi_j\vert_{U_{ij}}$ is only locally the real part of a smooth function which is holomorphic on the fibers of $S$, then it is called a *weak Kähler form*. The map $f$ is called a *(weakly) Kähler morphism* if it admits a (weak) Kähler form. We say that $Z$ is *Kähler* or a *Kähler space* if there is a Kähler form on $Z$, i.e., a Kähler form for the morphism $Z\to \Spec\C$.

Obviously, the notions of Kähler and weakly Kähler coincide for $S=\Spec\C$. The relevant notion for us in the relative setting is weakly Kähler. The universal deformation $\scrX\to S$ (see \[section versality\] and \[section existence\] for a discussion of (uni)versal deformations) of a primitive symplectic variety $X$ will not be a Kähler morphism. For K3 surfaces this was observed by Deligne, see [@Bin83ii (3.9) Example]. The statement and its proof carry over literally to primitive symplectic varieties, we will however see that it is weakly Kähler in Lemma \[lemma universal deformation weakly kaehler\].

There are two important sheaves related to Kähler forms. We denote by ${{\operatorname{PH}}}_Z$ the sheaf of pluriharmonic functions on $Z$ and by $C^\infty_Z$ the sheaf of smooth real-valued functions on $Z$. Then we have the sequences $$\label{eq psh sequence}
0 \to {{\operatorname{PH}}}_Z \to C^\infty_Z\to C^\infty_Z/{{\operatorname{PH}}}_Z\to 0$$

and

$$\label{eq psh class sequence}
0 \to \R_Z \to \sO_Z \to {{\operatorname{PH}}}_Z \to 0.$$

Thus, a Kähler form on $Z$ gives rise to an element $\omega\in H^0(Z,C_Z^\infty/{{\operatorname{PH}}}_Z)$. Successively applying the connecting homomorphisms of and we obtain classes $[\omega] \in H^1(Z,{{\operatorname{PH}}}_Z)$ and $[\omega]\in H^2(Z,\R)$. The latter is called the Kähler class of $\omega$.

\[definition kaehler class\] Let $Z$ be a reduced complex space. A Kähler class on $Z$ is a class $\kappa\in H^2(Z,\R)$ which is the Kähler class of some Kähler form on $Z$. The Kähler cone is the set $$\sK_Z:=\{\alpha \in H^2(Z,\R)\mid \alpha = [\omega] \textrm{ for some Kähler form } \omega \}$$

\[remark kaehler\] There are several things we wish to observe.

1.  It is clear from the definition that the Kähler cone $\sK_Z$ is open in the image of $H^1(Z,{{\operatorname{PH}}}_Z)\to H^2(Z,\R)$.

2.  We can describe the Kähler classes alternatively as follows: these are Kähler forms $\omega$ on $Z^\reg$ in the usual sense such that for every $p\in Z$ there is an open neighborhood $p \in U \subset Z$ and a closed embedding $U \into V$ into a smooth Kähler manifold where the restriction of the Kähler class of $V$ to $U$ equals $\omega\vert_U$.

3.  Let us observe that a Kähler form also gives rise to a global section of $\sA^{1,1}_Z$ by applying the operator $i{{\del\bar\del}}$ where $\sA^{p,q}_Z$ denotes the sheaf of smooth $(p,q)$-forms with $\C$-coefficients on $Z$—which is defined in the same manner as the sheaf of $C^\infty$-functions. This is because ${{\del\bar\del}}\vphi_i={{\del\bar\del}}\vphi_j$ on $U_{ij}$ as ${{\del\bar\del}}$ annihilates pluriharmonic functions. The cohomology class of $\omega$ in $H^2(Z,\sA_Z^\bullet)$ is the image of the Kähler class under the natural map induced by the morphism $\R_Z\to \sA_Z^\bullet$.

Let us recall the following properties of Kähler spaces. We will use throughout the text, sometimes without explicit mention.

\[proposition kaehler space\]

1.  Every subspace of a Kähler space is Kähler.

2.  A smooth complex space is Kähler if and only if it is a Kähler manifold in the usual sense.

3.  Every reduced Kähler space has a resolution of singularities by a Kähler manifold.

This is a consequence of [@Var89 II, 1.3.1 Proposition].

Reminder on ${{\del\bar\del}}$-cohomology and currents {#section ddbar cohomology}
------------------------------------------------------

It is often convenient to work with ${{\del\bar\del}}$-cohomology whose definition we briefly recall. As indicated in Remark \[remark kaehler\], differential forms on a singular space $X$ are objects that are locally the restriction of differential forms on local embeddings into smooth spaces. For an open $U\subset X$ we denote by $\sA^k(U,\K)$ respectively $\sA^{p,q}(U,\K)$ the space of differential $k$-forms respectively $(p,q)$-forms with values in $\K$ where $\K=\R$ or $\C$. We will however usually suppress the field $\K=\C$ in the notation. Then ${{\del\bar\del}}$-cohomology is defined as $$\label{eq ddbar cohomology}
H^{p,q}_{{\del\bar\del}}(X):=\frac{\ker\left(d:\sA^{p,q}(X)\to \sA^{p+q+1}(X)\right)}{\img\left({{\del\bar\del}}:\sA^{p-1,q-1}(X)\to \sA^{p,q}(X)\right)}.$$

Similarly, we write $H^{p,p}_{{\del\bar\del}}(X,\R)$ if we take cohomology of $\R$-valued differential forms (which is different from zero only for $p=q$). On compact class $\scrC$ manifolds (in particular on compact Kähler manifolds) the natural map to de Rham cohomology is injective and gives an identification of $H^{p,q}_{{\del\bar\del}}(X)$ with $H^{p,q}(X)$. There is an obvious notion of pullback and integration for ${{\del\bar\del}}$-classes.

We briefly recall the notion of a current, see the first section of [@Dem85]. For this we denote by $\sA_c^k(X,\K) \subset \sA^k(X,\K)$ for $\K=\R$ or $\C$ the subspace of compactly supported $k$-forms on a given space $X$ and usually suppress the coefficient field if $\K=\C$.

\[definition current\] Let $X$ be a reduced complex space of pure dimension $n$. The space $\sA_k'(X)$ of $k$-currents on $X$ is defined as the topological dual of $\sA_c^{2n-k}(X)$ endowed with the topology of uniform convergence of the coefficients and all their derivatives on all compact subsets. A $k$-current on $X$ is thus a continuous linear map $T:\sA_c^k(X) \to \C$. Similarly, one defines the space $\sA_{p,q}'(X)$ of $(p,q)$-currents as the topological dual of $\sA_c^{n-p,n-q}(X)$. We denote by $\sA_k'(X,\R)$ respectively $\sA_{p,q}'(X,\R)$ the topological duals of $\sA^{2n-k}_c(X,\R)$ respectively $\sA^{n-p,n-p}_c(X,\R)$.

If $X$ is a normal variety of dimension $n$, one can integrate $2n$-forms over it. We thus obtain an inclusion $\sA^k(X)\into \sA_k'(X)$, $\eta \mapsto \left(\zeta \mapsto \int_X\eta\wedge\zeta\right)$ that respects the bigrading. Similarly, if $Z\subset X$ is a codimension $k$ subvariety it defines a $(k,k)$-current by integration over it. One can show a Poincaré lemma for currents from which it follows that the canonical map $H^k(X,\C)\to H^k(X,\sA_\bullet'(X))$ is an isomorphism, see e.g. pp. 382–385 in Chapter 3, 1. of [@GH94] or p. 13 of [@Dem12]. We recall

A $(p,p)$-form is called *positive* if locally it can be written as $i\vphi_1\wedge \bar{\vphi_1}\wedge\ldots\wedge i\vphi_{p}\wedge \bar{\vphi_{p}}$ for $(1,0)$-forms $\vphi_1,\ldots,\vphi_p$. A $(p,p)$-current $T$ on $X$ is called *positive* for every positive $\eta \in \sA^{n-p,n-p}(X)$ we have $T(\eta) \geq 0$. One defines the exterior derivative $d$ on currents via $$dT(\alpha):= T(d\alpha)$$ and calls a current *closed* if $dT=0$. For a proper map $f:X\to Y$ and a current $T$ on $X$ one can define the pushforward $f_*T$ of $T$ along $f$ by $f_*T(\eta):=T(f^*\eta)$.

In algebraic geometry, bigness and nefness are important notions for line bundles. In the complex analytic world, these notions can also be defined for real cohomology classes. If the cohomology class is the first Chern class of a line bundle, the properties for the line bundle correspond to those for the cohomology class. For later use we recall the definition.

\[definition big and nef\] Let $X$ be a compact complex space. A cohomology class $\alpha \in H_{{\del\bar\del}}^{1,1}(X)$ is called *pseudo-effective* (psef for short) if it can be represented by a closed positive $(1,1)$-current. It is called *nef* if for some hermitian form $\omega$ on $X$ and for every $\veps>0$ it can be represented by a smooth $(1,1)$-form $\eta_\veps$ such that $\eta_\veps\geq -\veps\omega$. A *Kähler current* is a closed positive $(1,1)$-current $T$ such that $T \geq \omega$ in the sense of currents. A class $\alpha \in H_{{\del\bar\del}}^{1,1}(X)$ is called *big* if it can be represented by a Kähler current.

Sometimes it is also convenient to have these notions available for singular cohomology classes. For this purpose we recall that a mixed Hodge structure allows for a functorial direct sum decomposition due to Deligne, see e.g. [@PS08 Lemma-Definition 3.4]. If $X$ is a reduced compact complex space of class $\scrC$, the decomposition of the $k$-th cohomology group reads $$\label{eq mixed hodge decomposition}
H^k(X,\C)=\bigoplus_{p+q \leq k} H^{p,q}(X).$$

Note that the weights that show up in the mixed Hodge structure on $H^k(X,\C)$ are $\leq k$. The argument for class $\scrC$ varieties is the same as in the algebraic case, cf. [@PS08 Theorem 5.39]. As the $H^{p,q}(X)$ are completely determined by the Hodge and the weight filtration, they are also functorial with respect to pullback.

\[definition big and nef cohomology\] Suppose now that $X$ is a compact complex space of class $\scrC$. We say that $\alpha \in H^{1,1}(X)$ is represented by a class $\alpha' \in H_{{\del\bar\del}}^{1,1}(X)$ if $\alpha$ and $\alpha'$ map to the same element in $H^2(\sA^\bullet(X,\C))$ under the canonical maps $$H^{1,1}(X)\to H^{2}(X,\C) \to H^2(\sA^\bullet(X,\C)) \ot H_{{\del\bar\del}}^{1,1}(X).$$ We call $\alpha \in H^{1,1}(X)$ psef (respectively nef respectively big) if it can be represented by a class $\alpha' \in H_{{\del\bar\del}}^{1,1}(X)$ that has the respective properties. In particular, these notions for singular cohomology classes are defined whenever $X$ is a manifold of Fujiki class $\scrC$.

$\Q$-factoriality {#paragraph qfact}
-----------------

Let us spend a moment to discuss the notion of $\Q$-factoriality. An algebraic variety $Z$ is called *$\Q$-factorial* if for every Weil divisor $D$ on $Z$ there is $m\in \N$ such that $mD$ is Cartier. In the algebraic category, $\Q$-factoriality is local for the Zariski topology. Moreover, it can be characterized via reflexive sheaves. Recall that Weil divisor classes are in bijective correspondence with isomorphism classes of reflexive sheaves: to a divisor $D$ on $Z$ one associates the sheaf $\sO_Z(D)$ defined by $$U\mapsto \sO_Z(D)(U):=\{ f \in \C(Z)\mid D\vert_U + {{\operatorname{div}}}\left(f\vert_U\right) \geq 0\}$$ This is easily seen to be reflexive.

Finally, let $\pi:Z' \to Z$ be a resolution of singularities and let $E_1, \ldots, E_m$ be the prime divisors contained in the exceptional locus ${{\operatorname{Exc}}}(\pi)$. By [@KM92 (12.1.6) Proposition], the variety $Z$ is $\Q$-factorial if and only if $$\label{eq qfactoriality characterization}
\img\left( H^2(Z',\Q) \to H^0\left(Z,R^2\pi_*\Q_{Z'}\right)\right) = \img\left( \bigoplus_{i=1}^m \Q[E_i] \to H^0(Z,R^2\pi_*\Q_{Z'})\right).$$ See also [@Nam06 §2 (i)] for an argument for the *only if*-direction. We summarize:

\[lemma algebraic qfactoriality\] Let $Z$ be a normal algebraic variety over $\C$. Then the following are equivalent.

1.  \[lemma algebraic qfactoriality item qfactorial\] $Z$ is $\Q$-factorial.

2.  Every Zariski open subset $U \subset Z$ is $\Q$-factorial.

3.  \[lemma algebraic qfactoriality item reflexive\] For every reflexive sheaf $L$ on $Z$ of rank $1$, there is $n\in \N$ such that $\left(L^{\tensor n}\right)^{\vee\vee}$ is invertible.

4.  holds for some resolution $\pi:Z'\to Z$.

For the equivalence of and one only needs that for a Weil divisor $D$ on $Z$ we have $\sO_Z(nD)= (\underbrace{\sO_Z(D) \tensor \ldots \tensor \sO_Z(D)}_{n-\textrm{times}})^{\vee\vee}$ which can be obtained by pushforward and the fact that it holds on the regular part.

In the analytic category, the situation is a little more subtle. We have several different notions which turn out to be non-equivalent, see Proposition \[proposition analytic qfactoriality\] and Example \[example qfactoriality\].

\[definition qfactorial\] A complex space $Z$ is called *divisorially $\Q$-factorial* if for every Weil divisor $D$ on $Z$ there is $m\in \N$ such that $mD$ is Cartier and it is called *$\Q$-factorial* if for every reflexive sheaf $L$ on $Z$ of rank $1$, there is $n\in \N$ such that $\left(L^{\tensor n}\right)^{\vee\vee}$ is invertible. We say that $Z$ is *locally analytically (divisorially) $\Q$-factorial* if every open set $U\subset X$ in the Euclidean topology is (divisorially) $\Q$-factorial.

Clearly, local analytic (divisorial) $\Q$-factoriality implies (divisorial) $\Q$-factoriality. The converse however is not true. The reason is that there are usually many more local divisors than global divisors, e.g. one cannot obtain a global divisor by taking the closure of a divisor on a small open subset. There might be no global divisors at all, see e.g. Example \[example qfactoriality\], which is also the reason why divisorial $\Q$-factoriality is not the right property to ask for and one should rather work with $\Q$-factoriality (defined for line bundles).

\[proposition analytic qfactoriality\] Let $Z$ be a complex analytic variety and consider the following statements:

1.  \[proposition analytic qfactoriality item kollarmori\] holds for some resolution $\pi:Z'\to Z$.

2.  \[proposition analytic qfactoriality item local linebundles\] $Z$ is locally analytically $\Q$-factorial.

3.  \[proposition analytic qfactoriality item local divisors\] $Z$ is locally analytically divisorially $\Q$-factorial.

4.  \[proposition analytic qfactoriality item linebundles\] $Z$ is $\Q$-factorial.

5.  \[proposition analytic qfactoriality item divisors\] $Z$ is divisorially $\Q$-factorial.

Then we have the following implications:

Assume further that $Z$ is of class $\scrC$ with rational singularities. Then $\implies$ holds and the converse holds whenever for some resolution of singularities $\pi:Z'\to Z$ the transcendental part[^4] $T \subset H^2(Z',\Q)$ together with the Picard group of $Z'$ generate $H^2(Z',\Q)$.

The implications $\implies$ $\implies$ and $\implies$ $\implies$ are immediate.

Assume now that $Z$ is a compact complex variety of class $\scrC$ with rational singularities and that $\pi:Z'\to Z$ is a resolution of singularities. This part is a slight adaption of Kóllar-Mori [@KM92 (12.1.6) Proposition]. If holds and $L$ is a rank one reflexive sheaf on $Z$, then the argument of loc. cit. works almost literally.

For the converse, the missing ingredient is covered by the additional assumption on the transcendental part and the Picard group. The key point here is that we still have $$\img\left( H^2(Z',\Q) \to H^0\left(Z,R^2\pi_*\Q_{Z'}\right)\right) = \img\left( \Pic(Z')_\Q \to H^0(Z,R^2\pi_*\Q_{Z'})\right).$$ To see this, we first observe that by Lemma \[lemma peternell\] the kernel of $H^2(Z',\Q) \to H^0\left(Z,R^2\pi_*\Q_{Z'}\right)$ is $H^2(Z,\Q)$ which carries a pure Hodge structure. As by rationality of singularities and [@BL16 Corollary 2.3] we have $H^{2,0}(Z)=H^{2,0}(Z')$, the transcendental part $T$ is completely contained in $H^2(Z,\Q)$, and the claim follows. Observe that the sum need not be direct. For the rest of the proof, one argues as in the proof of [@KM92 (12.1.6) Proposition].

The result [@KM92 (12.1.6) Proposition] is formulated for algebraic varieties only. In this case one can find a resolution $Z'\to Z$ where $Z'$ is projective of dimension $n$, and an ample divisor $h$ on $Z'$ for which the quadratic form $$q(\alpha):=\int_{Z'}\alpha^2 h^{n-2}$$ is nondegenerate on $H^2(Z,\Q)$. Thus, the orthogonal complement of the transcendental part $T \subset H^2(Z',\Q)$ is contained in the (rational) Picard group so that the hypotheses of the last statement of Proposition \[proposition analytic qfactoriality\] is satisfied. We will see that the situation is similar for primitive symplectic varieties, see Proposition \[proposition symplectic qfactoriality\].

For a general weight $2$ Hodge structure however, the assumption of Proposition \[proposition analytic qfactoriality\] need not be satisfied. Let $H$ be a $\Q$-Hodge structure, $T\subset H$ be the transcendental part, and $P$ the “Picard group” $P=H^{1,1}\cap H$, where we denote $H^{p,q}\subset H\tensor \C$ the $(p,q)$-part of the Hodge decomposition. Then $P+T$ need not span the whole of $H$. Take for example $H=\Q^3$ with Hodge filtration $H\tensor \C =F^0 \supset F^1 = \C\left\langle v_1,v_2 \right\rangle \supset F^2 = \C\left\langle v_1 \right\rangle$ where $v_1=(1,0,1+i\sqrt{2})$ and $v_2=(i,1,0)$. Then $H^{2,0}\oplus H^{0,2}$ is defined over $\Q$ (and generated by $(1,0,0),(0,0,1)$) but $H^{1,1}=\C\cdot (1,\sqrt{2},3)$, in particular, the Picard group is trivial.

Symplectic varieties {#section symplectic}
====================

For the remainder of this paper, we will use the term (primitive) symplectic variety in the following sense.

A *symplectic variety* is a pair $(X,\sigma)$ consisting of a normal variety $X$ and a holomorphic symplectic form $\sigma \in H^0(X^\reg,\Omega_X^2)$ on $X^\reg$ such that there is a resolution of singularities $\pi:Y \to X$ for which $\pi^*\sigma$ extends to a holomorphic form on $Y$. A *primitive symplectic variety* is a normal compact Kähler variety $X$ such that $H^1(X,\sO_X)=0$ and $H^0(X^\reg,\Omega_{X}^2)= \C \sigma$ such that $(X,\sigma)$ is a symplectic variety.

Greb–Kebekus–Peternell introduced a notion of irreducible holomorphic-symplectic variety (more restrictive than ours) in [@GKP16 Definition 8.16] for which there is a decomposition theorem (due to Druel–Greb–Guenancia–Höring–Kebekus–Peternell, see introduction for references). Matsushita [@Mat15 Definition 1.6] introduced the related notion of cohomologically irreducible symplectic varieties. The definition we use appeared before in Schwald [@Sch17 Definition 1] for projective varieties under the name irreducible symplectic. We chose to work with the above definition because it seems to be the most general framework that allows for a general moduli and deformation theory similar to the smooth case. We prefer however the name *primitive* over irreducible symplectic for the lack of a decomposition theorem. This fits together with Menet’s usage [@Men18 Definition 3.1].

1.  If $X$ is a primitive symplectic variety then so is:

    -   any contraction, that is, $X'$ for any proper bimeromorphic $f:X\to X'$ onto a normal Kähler space;

    -   any quotient of $X$ by a finite group of symplectic automoprhisms [@Bea00 Proposition 2.4];

    -   any small locally trivial deformation (see Lemma \[lemma deformation symplectic\] below).

2.  By Nikulin [@NikulinAuto] any symplectic involution $\iota$ of a K3 surface $S$ has 8 fixed points. The quotient $X$ of the Hilbert scheme $S^{[n]}$ of $n\geq 3$ points by $\iota$ has $\Q$-factorial terminal singularities by Lemma \[lemma basic symplectic\] below.

    For $n=2$, $X$ has $\binom{8}{2}=28$ isolated singularties and a K3 surface of transverse $A_1$ singularties, corresponding to the 28 fixed reduced subschemes and the closure of the locus of reduced orbits, respectively (see for example [@Camere §6]). It is therefore not terminal. The $\Q$-factorial terminalization $Y$ is obtained by blowing up the K3 surface. The second Betti number of $X$ is 15, and so the locally trivial deformation space of $X$ is 13-dimensional while $Y$ deforms in one dimension higher (see Theorem \[theorem deflt is smooth\] below).

3.  There is a cubic fourfold $Z\subset\P^5$ with an order 11 automorphism (see for example [@MonAuto]). Its Fano variety of lines $F$ has a symplectic automorphism $\sigma$ with isolated fixed points, and the quotient $X=F/\sigma$ is a $\Q$-factorial terminal primitive symplectic variety with $b_2=3$. It follows from [@Men18 Theorem 3.10 and Theorem 5.4] that the only deformation of $X$ is the twistor deformation.

4.  Let $S$ be a projective K3 surface, and $v\in H^*(S,\Z)$ an algebraic Mukai vector with $v^2>0$. Then for $k\geq 1$, the moduli space $X=M(kv)$ of stable sheaves of Mukai vector $kv$ with respect to a generic polarization is a primitive symplectic variety. Moreover, $X$ is always locally factorial and terminal [@KLSsing Theorem A] unless $k=2$ and $v^2=2$ (in which case $X$ admits a resolution by an irreducible symplectic manifold—the O’Grady 10-fold [@OG99]). The singularities of $M(kv)$ can be non-quotient singularities, as the completions of the local rings are often not $\Q$-factorial—see [@KLSsing Remark 6.3].

5.  For a possibly singular cubic fourfold $Y \subset  \P^5$ not containing a plane, it has been shown in [@Leh18 Theorem 3.3] that the variety $M_1(Y)$ of lines on $Y$ is a symplectic variety birational to the second punctual Hilbert scheme of an associated K3 surface. Hence, $M_1(Y)$ admits a crepant resolution by an irreducible symplectic manifold, see [@Leh18 Corollary 5.6]. A similar statement is deduced for the target space $Z(Y)$ of the MRC-fibration of the Hilbert scheme compactification of the space of twisted cubics on $Y$, see Theorem 1.1, Corollary 5.5, and Corollary 6.2 of [@Leh18].

Note that even for smooth $X$ the notion of a primitive symplectic variety is a priori more general than that of an irreducible symplectic manifold. However, we do not know if there are smooth primitive symplectic varieties which are not primitive symplectic manifolds. By Lemma \[lemma isv is ism\] below such a variety must have dimension $\geq 6$.

\[lemma isv is ism\] Let $X$ be a smooth primitive symplectic variety of dimension $\leq 4$. Then $X$ is an irreducible symplectic manifold (in the classical sense).

For $\dim X=2$ this is well known, so let us assume $\dim X=4$.

If $X$ is a smooth primitive symplectic variety in our sense, the Beauville-Bogomolov decomposition theorem yields that a finite topological cover $\wt X \to X$ of $X$ splits as a product $\wt X \isom H \times C \times T$ where $H$ is a product of irreducible symplectic manifolds, $C$ a product of strict Calabi-Yau varieties, and $T$ a complex torus. From the existence of a symplectic form on $\wt X$ (by pullback from $X$) we deduce that the factor $C$ is trivial.

By assumption, $H^1(\sO_X)=0$ and thus $H^3(\sO_X)=0$ by Serre duality. Moreover, by the unicity of the symplectic form we in fact have $\chi(\sO_X)=3$. If there is a torus factor, then $\chi(\sO_{\wt X})=0$ contradicting $\chi(\sO_{\wt X})=d \chi(\sO_{X})$ where $d$ is the degree of the cover, so the factor $T$ is trivial. If $\wt X$ is a product of K3 surfaces, then $\chi(\sO_{\wt X})=4$, which is impossible. Thus, $\wt X$ is irreducible symplectic, so that $d=1$, and thus $X$ is irreducible symplectic as well.

It seems plausible that the statement of Lemma \[lemma isv is ism\] fails in higher dimensions. It is worthwhile noting that there is a singular example of a primitive symplectic variety due to Matsushita [@Mat01], see also [@Saw14 Lemma 15] and [@Sch17 Example 29], which has the right cohomological invariants but is a torus quotient. Schwald’s account nicely illustrates how the geometry of primitive symplectic varieties may deviate from the one of irreducible symplectic manifolds.

We collect the following basic results about symplectic varieties.

\[lemma basic symplectic\]

1.  A normal variety is symplectic if and only if it has only rational Gorenstein singularities and its smooth part admits a holomorphic symplectic form. In particular, a symplectic variety has rational singularities.

2.  \[lemma basic symplectic part two\] A symplectic variety $X$ has terminal singularities if and only if $\codim_X X^\sing \geq~4$.

3.  Let $X$ be a symplectic variety and consider the stratification $X=X_0 \supset X_1 \supset \ldots \supset$ where $X_{i+1}$ is the singular part of $X_i$ endowed with the reduced structure. Then the normalization of every irreducible component of $X_i$ is a symplectic variety. In particular, the singular locus of a symplectic variety has even codimension.

As a direct consequence of Lemma \[lemma basic symplectic\] and Lemma \[lemma peternell\] we infer

\[corollary symplectic hodge\] Let $X$ be a compact symplectic variety. The Hodge structure on $H^2(X,\Z)$ is pure.

\[remark kaledin\] Kaledin’s article [@Kal06b] is formulated for complex algebraic varieties, but his results are used in Lemma \[lemma basic symplectic\] for arbitrary symplectic varieties. Let us comment on why they carry over to the compact Kähler setting as well. The crucial ingredient in Kaledin’s proofs is the use of functorial mixed Hodge structures on cohomology groups of complex algebraic varieties and there is no such structure on the cohomology of arbitrary complex varieties. However, we have a mixed Hodge structure on the cohomology of compact Kähler varieties which is functorial for proper morphisms. It would even be sufficient to consider compact complex varieties of Fujiki class $\scrC$, i.e., dominated by a Kähler manifold.

With this in mind, Kaledin’s proofs work almost literally for compact Kähler varieties. More precisely, one first shows using mixed Hodge structures that Kaledin’s proofs yield analogs of [@Kal06b Lemma 2.7] and [@Kal06b Lemma 2.9] in the compact Kähler setting. These are the key technical ingredients to prove the stratification and formal product decomposition [@Kal06b Theorem 2.3] as well as [@Kal06b Theorem 2.5] which relates the symplectic and Poisson structure. Other than mixed Hodge theory, Kaledin mainly uses Poisson structures, commutative algebra, or direct geometric arguments which all make sense also in our setting. Finally, also semi-smallness [@Kal06b Lemma 2.11] is a consequence of geometric properties of the symplectic form and Lemma 2.9 of op. cit.

Deformation theory {#section defo}
==================

\[definition deformation\] A deformation of a compact complex space $Z$ is a flat and proper morphism $\scrZ \to S$ of complex spaces together with a distinguished point $0\in S$ and an isomorphism of the fiber of $\scrZ\to S$ over $0$ with $Z$. A deformation $\pi:\scrZ \to S$ is called *locally trivial* at $0\in S$ if for every $p \in Z=\pi^{-1}(0)$ there exist open neighborhoods $\scrU \subset \scrZ$ of $p$ and $S_0 \subset S$ of $0$ such that $\scrU \isom U \times S_0$ over $S_0$ where $U=\scrU \cap Z$. The deformation is called locally trivial if it is locally trivial at each point of $S$. We speak of a *locally trivial family* or *locally trivial morphism* $\pi:\scrZ \to S$ if we do not specify $0\in S$ and the fiber over it.

For most properties and statements we should rather speak about the morphism of space germs $(\scrZ,Z) \to (S,0)$. All deformation theoretic statements have to be interpreted as statements about germs. Considering deformations and locally trivial deformations gives rise to two deformation functors; in fact, the functor $\sD_Z^\lt$ of locally trivial deformations of $Z$ is a subfunctor in the functor $\sD_Z$ of all deformations of $Z$. They have tangent spaces $T_{\sD_Z^\lt}= H^1(Z,T_Z)$ and if $Z$ is reduced $T_{\sD_Z}=\Ext^1(\Omega_Z,\sO_Z)$, respectively. Note that $H^1(Z,T_Z)\subset \Ext^1(\Omega_Z,\sO_Z)$ by the local-to-global spectral sequence for Ext.

Versality and Universality {#section versality}
--------------------------

Recall that a deformation $(\scrZ,Z) \to (S,0)$ is called *complete* if for every deformation $(\scrZ',Z)\to (S',0)$ of $Z$ there is a map $\vphi:(S',0) \to (S,0)$ of (germs of) complex spaces such that $\scrZ\times_S S' \isom \scrZ$. It is called *versal* if moreover the differential $T_{\vphi,0}:T_{S',0} \to T_{S,0}$ is uniquely determined. The deformation is called *universal* if furthermore the map $\vphi$ is unique. Clearly, every universal deformation is versal and every versal deformation is complete. The different notions of versality are defined analogously for other deformation problems such as locally trivial deformations.

Existence of a versal deformation {#section existence}
---------------------------------

Versal deformations exist by [@Gra74 Hauptsatz, p 140], see also [@Dou74 Théorème principal, p 598]. More precisely, it is shown in loc. cit. that there exist **versal** deformations $\scrZ \to S$ of a given compact complex space $Z$ which are complete in every point of $S$. We will frequently write $S=\Def(Z)$. The family $\scrZ\to \Def(Z)$ is called the *Kuranishi family* and $\Def(Z)$ is called *Kuranishi space*.

If $Z$ is a complex space satisfying $H^0(Z,T_Z)=0$, then every versal deformation is universal. Moreover, if the tangent space to the deformation functor has the same dimension for all fibers of $\scrZ \to \Def(Z)$, then the deformation is versal for all of its fibers.

Locally trivial versal deformations {#section locally trivial}
-----------------------------------

Recall from [@FK87 (0.3) Corollary] that for a versal deformation $\scrZ \to \Def(Z)$ of a compact comple space $Z$ there exists a closed complex subspace $\Def^\lt(Z)\subset \Def(Z)$ of the Kuranishi space parametrizing locally trivial deformations of $Z$. More precisely, the restriction of the versal family to this subspace, which by abuse of notation we denote also by $\scrZ \to \Def^\lt(Z)$, is a locally trivial deformation of $Z$ and is versal for locally trivial deformations of $Z$. When speaking about locally trivial deformations we will usually use the terms complete, versal, universal with respect to the functor of locally trivial deformations.

\[definition simultaneous resolution\] Let ${\scrX}\to S$ be a flat morphism between complex spaces with reduced and connected fibers. A *simultaneous resolution* of ${\scrX}\to S$ is a proper bimeromorphic $S$-morphism $\pi:{\scrY}\to {\scrX}$ such that ${\scrY}\to S$ is smooth. A simultaneous resolution is called *strong* if moreover $\pi$ is an isomorphism over the complement of the singular locus of ${\scrX}\to S$.

It follows from the definition that for every $s\in S$ the fiber ${\scrY}_s \to {\scrX}_s$ is a resolution of singularities. It is well known that simultaneous resolutions do not always exist. For example, let $f:{\scrX}\to S$ be a family of elliptic curves where ${\scrX}$ is smooth and $S$ is a smooth curve. Suppose that there is a point $0\in S$ such that $f$ is smooth over $S\ohnenull$ and ${\scrX}_0=f^{-1}(0)$ is a reduced nodal rational curve. If there were a simultaneous resolution $\pi:Y \to X$, the exceptional set of $\pi$ would be a divisor $E\subset {\scrY}$. Then $\pi(E) \subset X$ would be a finite set which contradicts smoothness of ${\scrY}\to S$ because this map would have some reducible fibers.

\[lemma simultaneous resolution\] Let ${\scrX}\to S$ be a locally trivial deformation of a reduced compact complex space $X$ over a reduced complex space $S$ and let ${\scrU}\to S$ be the regular part of ${\scrX}\to S$. Then there exists a simultaneous resolution $\pi:{\scrY}\to {\scrX}$ of ${\scrX}$ which is obtained by successive blowing ups along centers which are smooth over $S$. Moreover, $\pi$ can be chosen to be an isomorphism over ${\scrU}$.

By [@BM97], resolution of singularities works algorithmically, see also [@Vil89]. Given a global embedding $X\subset M$ into a smooth space $M$, Bierstone and Milman define an invariant $\iota:=\mathrm{inv}_X^e:M \to \Gamma$ with values in an ordered set in [@BM97 Theorem 1.14 and Remark 1.16] such that the locus where $\iota$ is maximal is smooth and Zariski closed. As explained in [@BM97 proof of Theorem 1.6, p. 285], successively blowing up the maximal locus of $\iota$ gives an algorithmic resolution. The invariant $\iota$ a priori depends on the embedding $X \subset M$. However, it is explained in [@BM97 13.] that it is in fact independent of the local embedding. It only depends on the local ring of $\iota$ and on the history of the blow up (which is how they obtain resolution results without the hypothesis of $X$ being embedded).

Therefore, we may apply the same argument in the relative setting for locally trivial deformations. Given a point $p \in {\scrX}$ mapping to $s\in S$, we choose neighborhoods $\sV$ of $p$ in ${\scrX}$ and $S_0$ of $s$ in $S$ and a trivialization $\vphi:\sV \to[\isom] V \times S_0$ where $V=\sV \cap {\scrX}_s$. The maximal locus of the Bierstone-Milman invariant $\iota$ defines a smooth closed subset $C \subset V^\sing$ of the singular locus $V^\sing \subset V$. By local triviality, the singular locus $\sV^\sing$ of $\sV \to S_0$ is identified under $\vphi$ with $V^\sing \times S_0$. Thanks to the above mentioned independence of $\iota$, the closed subsets $C \times S_0$ glue to give a center $\sC \subset {\scrX}$ for a blow up and $\sC$ is smooth over $S$. Moreover, the blow up of ${\scrX}$ in $\sC$ is by construction again locally trivial over $S$, hence we can repeat the process and obtain the sought-for resolution $\pi:{\scrY}\to {\scrX}$.

\[remark simultaneous resolution\] As the morphism $\pi:{\scrY}\to{\scrX}$ from the preceding lemma is obtained by successive blow ups in centers which are smooth over $S$, every such blow up family is locally trivial over $S$ and moreover, also the morphism $\pi$ is itself locally trivial. More precisely, for every open sets $\sV \subset {\scrX}$ and $S_0\subset S$ admitting a trivialization $\vphi:\sV \to[\isom] V \times S_0$ where $V$ is the intersection of $\sV$ with some fiber over a point of $S_0$, there is a trivialization $\phi:\pi^{-1}\left(\sV\right) \to \pi^{-1}\left(V\right) \times S_0$ such that the diagram $$\xymatrix{
\pi^{-1}\left(\sV\right) \ar[d]\ar[r] & \ar[d] \pi^{-1}\left(V\right) \times S_0\\
\sV \ar[r] & V \times S_0\\
}$$ commutes (and similarly for any intermediate step of the resolution procedure).

As a first application, we record the following.

\[corollary tx\] Let $S$ be a connected complex space and let $f:{\scrX}\to S$ be a locally trivial family each of whose fibers is a primitive symplectic variety. Denote by $j:{\scrU}\to {\scrX}$ the inclusion of the regular locus of ${\scrX}\to S$ and let $\pi:{\scrY}\to {\scrX}$ be a strong simultaneous resolution of singularities obtained by successive blow ups in smooth centers.

Then $L:=f_*\Omega^2_{{\scrU}/S}$ is an invertible sheaf on $S$ and the natural maps $$\begin{aligned}
\label{eq tx two}
T_{{\scrX}/S} \tensor f^*L &\to j_*\Omega_{{\scrU}/S} \textrm{ and}\\
\label{eq tx three}
j_*\Omega_{{\scrU}/S}  &\to \pi_*\Omega_{{\scrY}/S}.\end{aligned}$$ are isomorphisms. In particular, there is a canonical isomorphism $$\label{eq tx}
T_{{\scrX}/S} \tensor f^*L\to[\isom] \pi_*\Omega_{{\scrY}/S}.$$

By Lemma [@BL16 Lemma 2.2], the sheaf $L$ is locally free. If for $s\in S$ we denote a fiber of ${\scrU}\to S$ over $s$ by ${\scrU}_s$, then $h^0(\Omega_{{\scrU}_s})=1$ and hence $L$ is an invertible sheaf. As every section in $L$ determines a morphism $T_{{\scrU}/S} \to \Omega_{{\scrU}/S}$, hence we obtain a canonical morphism $j_*T_{{\scrU}/S} \tensor f^*L \to j_*\Omega_{{\scrU}/S}$ and is just the composition with $T_{{\scrX}/S} \to j_*T_{{\scrU}/S}$ tensored with the pullback of $L$.

As a nonvanishing section of $L$ is a family of symplectic forms, it follows that $j_*T_{{\scrU}/S} \tensor f^*L \to j_*\Omega_{{\scrU}/S}$ is an isomorphism. It thus suffices to prove that the canonical morphisms $\alpha:T_{{\scrX}/S}\to j_*T_{{\scrU}/S}$ and $\beta: \pi_*\Omega_{{\scrY}/S}\to j_*\Omega_{{\scrU}/S}$ are isomorphisms as well.

Both claims are local in the base and the involved sheaves are compatible with flat base change and inverse limits so that it suffices to assume[^5] that $S=\Spec R$ for an Artinian local $\C$-algebra $R$ with maximal ideal $\gothm\subset R$ and $\pi$ is a locally trivial deformation of a resolution $Y \to X$ (which by abuse of notation we will also denote $\pi$) of a primitive symplectic variety $X$. Observe that by Remark \[remark simultaneous resolution\] the morphism $\pi$ is also locally trivial.

By local triviality, the sheaves $T_{{\scrX}/S}, j_*T_{{\scrU}/S}, \pi_*\Omega_{{\scrY}/S}$, and $j_*\Omega_{{\scrU}/S}$ are flat over $S$ and on the central fiber $\alpha$ is an isomorphism because the tangent sheaf is reflexive and $\beta$ is an isomorphism by [@KS18 Corollary 1.8]. Now the claim follows inductively from flatness by considering the sequences $$0 \to \gothm^n/\gothm^{n+1}\to R/\gothm^{n+1} \to R/\gothm^n \to 0$$ and tensoring with the morphisms in question. As $R$ is Artinian, $\gothm^N=0$ for some $N\in \N$ and we conclude the proof.

\[lemma existence universal deformation\] Let $X$ be a primitive symplectic variety. Then $H^0(X,T_X)=0$ and every versal deformation of $X$ is universal.

Let $\pi:Y \to X$ be a resolution of singularities by a Kähler manifold and denote by $j:U \into X$ the inclusion of the regular part. Then $T_X \isom \pi_*\Omega_Y$ by Corollary \[corollary tx\]. Consequently, $$H^0(X,T_X) =H^0(Y,\Omega_Y) \isom H^{1,0}(Y)$$ by the Dolbeault isomorphism and the complex conjugate of the latter is $H^{0,1}(Y)\isom$ $H^1(Y,\sO_Y) = H^1(X,\sO_X)$ again by Dolbeault and by rationality of singularities. We conclude the proof with the observation that $H^1(X,\sO_X)=0$ by definition of a primitive symplectic variety.

We show next that any small locally trivial deformation of a primitive symplectic variety remains primitive symplectic.

\[lemma deformation symplectic\] Let $X$ be a primitive symplectic variety and let ${\scrX}\to S$ be a locally trivial deformation of $X$. Then there is an open subset $U \subset S$ containing the point $0\in S$ corresponding to $X$ such that every fiber of ${\scrX}\to S$ is a primitive symplectic variety. In particular, the locally trivial Kuranishi family of a primitive symplectic variety is universal (for locally trivial deformations) for all of its fibers.

First note that $X$ has canonical, hence rational singularities. By [@Nam01b Proposition 5], a small deformation of $X$ remains Kähler. By Lemma \[lemma simultaneous resolution\], the family ${\scrX}\to S$ admits simultaneous resolutions with Kähler fibers. If we choose such a resolution $\pi:{\scrY}\to {\scrX}$ over $S$, it follows from [@BL16 Lemma 2.2] that the sheaf $\pi_*\Omega^2_{{\scrY}/S}$ is locally free. Thus, we find a relative holomorphic $2$-form $\omega$ on ${\scrY}$. As the restriction $\omega_0$ to the fiber $Y={\scrY}_0$ degenerates at most along the exceptional set of $\pi$, the same is true for the restriction $\omega_s$ to ${\scrY}_s$ for $s\in S$ close to $0$. Hence, the nearby fibers ${\scrY}_s$ are symplectic varieties. Again by [@BL16 Lemma 2.2], $H^{1}({\scrX}_s, \sO_{{\scrX}_s})=0$ for all $s \in S$ and thus we find an open set $U\subset S$ as claimed. The last claim follows directly from Lemma \[lemma existence universal deformation\].

The proof of the following result is similar to the proof of [@BL16 Theorem 4.1]. For lack of a crepant resolution, some minor changes are necessary which is why we include a proof.

\[theorem deflt is smooth\] Let $X$ be a primitive symplectic variety. Then the space $\Def^\lt(X)$ of locally trivial deformations of $X$ is smooth of dimension $h^{1,1}(X)$.

Smoothness is deduced using Kawamata-Ran’s $T^1$-lifting principle [@Ran92; @Kaw92; @Kaw97a], see also [@GHJ03 §14], [@Leh16], [@Leh11 VI.3.6] for more details. We have to show the following. Let ${\scrX}\to S$ be a locally trivial deformation of $X$ where $S=\Spec R$ for some Artinian local $\C$-algebra $R$ with residue field $\C$, let $S' \subset S$ be a closed subscheme, and let ${\scrX}':={\scrX}\times_S S' \to S'$ be the induced deformation. Then we need to prove that the canonical morphism $H^1(T_{{\scrX}/S})\to H^1(T_{{\scrX}'/S'})$ is surjective.

Let $\pi:{\scrY}\to {\scrX}$ be a simultaneous resolution of singularities by successive blowups in smooth centers and denote by $j:{\scrU}\into {\scrX}$ the inclusion of the regular part. Then in particular, the central fiber of $\pi$ is a resolution $Y\to X$ by a compact Kähler manifold. By Corollary \[corollary tx\], it suffices to show that $H^1(j_*\Omega_{{\scrU}/S}) \to H^1(j_*\Omega_{{\scrU}'/S'})$ is surjective where ${\scrU}'={\scrU}\times_S S'$ is the regular part of ${\scrX}'\to S'$. However, by [@BL16 Lemma 2.2] the $R$-module $H^1(j_*\Omega_{{\scrU}/S})$ is locally free and compatible with arbitrary base change. In other words, $H^1(j_*\Omega_{{\scrU}'/S'}) = H^1(j_*\Omega_{{\scrU}/S}) \tensor_R R'$ where $S'=\Spec R'$ and the map is clearly surjective. Thus, it follows from the $T^1$-lifting criterion that the space $\Def^\lt(X)$ is smooth.

Recall that the tangent space to $\Def^\lt(X)$ at the origin is $H^1(T_X)\isom H^1(j_*\Omega_U)$ by Corollary \[corollary tx\], which by [@BL16 Corollary 2.3] has dimension $h^{1,1}(X)$. By the smoothness assertion we proved before the dimension of the tangent space is the dimension of $\Def^\lt(X)$.

Deformations of line bundles {#section deformation of line bundles}
----------------------------

Let $X$ be a primitive symplectic variety and $L$ a line bundle on it. We will frequently consider deformations of the pair $(X,L)$. For this purpose one considers the morphism $d\log : \sO^\times_X\to\Omega_X$, $f\mapsto \dfrac{df}{f} $ and the induced first Chern class morphism $\chern_1:H^1(X,\sO_X^\times)\to H^1(X,\Omega_X)\to H^1(X,\Omega^{[1]}_X)$ which takes values in the cohomology of reflexive differentials. Recall that $H^1(X,\Omega_X^{[1]})\isom H^{1,1}(X)$ by [@BL16 Corollary 2.3].

\[lemma deformations line bundle\] Let $L$ be a nontrivial line bundle on $X$. The canonical projection $\Def^\lt(X,L)\to \Def^\lt(X)$ is a closed immersion and identifies $\Def^\lt(X,L)$ with a smooth hypersurface whose tangent space is equal to $$\ker\left(H^1(X,T_X)\to[\cup \ \chern_1(L)] H^2(X,\sO_X)\right)$$ where the map is given by contraction and cup product.

We have a canonical map $$H^1(X,\Omega^{[1]}_X) = \Ext_X^1(\sO_X,\Omega_X^{[1]})\to \Ext_X^1(T_X,\sO_X)$$ given by sending an extension to its dual (observe that $\sExt_X^1(\sO_X,\sO_X)=0$). Therefore, $\chern_1(L) \in H^1(X,\Omega_X)$ gives rise to an extension $$\label{eq deformations of linebundles}
0\ \to \sO_X\to E_L \to T_X\to 0$$ and the sheaf $E_L$ is shown to control the deformation theory of the pair $(X,L)$ in the sense that $H^1(X,E_L)$ is the tangent space to the functor $\sD_{(X,L)}$ deformations of the pair $(X,L)$ and $H^2(X,E_L)$ is an obstruction space, see e.g. [@Ser06 Theorem 3.3.11]. The proof there is written for nonsingular projective varieties only, however, the argument is the same for *locally trivial* deformations of compact complex spaces. The rest of the proof is exactly as in [@Huy99 1.14].

For later use we record

\[lemma universal deformation weakly kaehler\] Let $f:{\scrX}\to S$ be a deformation over a reduced complex space $S$ and suppose that all fibers of $f$ are primitive symplectic varieties. Then $f$ is a weakly Kähler morphism. If $f$ is the universal locally trivial deformation, then $f$ is not a Kähler morphism.

All fibers ${\scrX}_s=f^{-1}(s)$ of $f$ are primitive symplectic, hence the canonical maps $H^2({\scrX}_s,\R)\to H^2({\scrX}_s,\sO_{{\scrX}_s})$ are surjective for every $s\in S$. Deformations are flat by definition and so the claim follows by [@Bin83i (6.3) Theorem]. Note that being weakly Kähler is local in the base as Kähler metrics can be glued using a partition of unity.

Using the local Torelli theorem, Corollary \[corollary local torelli\], the argument in [@Bin83ii (3.9) Example] carries over word by word to prove the second statement.

The Beauville–Bogomolov–Fujiki form and Local Torelli {#section BBF}
=====================================================

In this section we formulate and prove an analog of Huybrechts’ projectivity criterion [@Huy99 Theorem 3.11] (see also [@Huy03erratum]) in the singular setup. Note that for orbifold singularities, the question has been examined by Menet [@Men18]. Indeed, we use several of his as well as of Huybrechts’ arguments.

The first step is to establish basically the same properties for the Beauville–Bogomolov–Fujiki form as in the smooth case and to prove a local Torelli theorem.

Beauville–Bogomolov–Fujiki form
-------------------------------

Let $X$ be a primitive symplectic variety. Due to the work of Namikawa [@Nam01b], Kirschner [@Kir15], Matsushita [@Mat15], and Schwald [@Sch17] there is a non-degenerate quadratic form $q_X:H^2(X,\R) \to \R$ whose associated bilinear form has signature $(3,b_2(X)-3)$. As for irreducible symplectic manifolds, we will refer to $q_X$ as the *Beauville–Bogomolov–Fujiki form*, see Definition \[definition bbf form\]. We will use it to establish a local Torelli theorem in Corollary \[corollary local torelli\] and we will see in Proposition \[proposition fujiki relations\] that it satisfies analogous Fujiki relations as it does for irreducible symplectic manifolds.

We will first recall the following definition, see [@Kir15 Definition 3.2.7] and also [@Sch17 Definition 20].

\[definition bbf form unnormalized\] Let $X$ be a compact complex variety of dimension $2n$ with rational singularities let $\sigma \in H^{2,0}(X)$ be the cohomology class of a holomorphic $2$-form on $X^\reg$. Then one defines a quadratic form $q_{X,\sigma}:H^2(X,\C) \to \C$ via $$\label{eq bbf}
q_{X,\sigma}(\alpha):= n \int_X \left(\sigma\bar\sigma\right)^{n-1}\alpha^2 + (1-2n)\int_X\sigma^n\bar\sigma^{n-1}\alpha \int_X \sigma^{n-1}\bar\sigma^n\alpha.$$

If $X$ is a primitive symplectic variety, one can also define the form on a resolution of singularities $\pi:Y\to X$ by the analog of formula where $\sigma$ is replaced by the extension of the symplectic form to $Y$. This is Namikawa’s approach, see [@Nam01b], and both are equivalent by [@Sch17 Corollary 22]. Note that Schwald assumes $X$ to be projective but this is in fact not used in the argument.

The following result is already contained in the work of Namikawa [@Nam01b], Matsushita [@Mat01], Kirschner [@Kir15], Schwald [@Sch17]. Let us emphasize that the projectivity hypothesis which is sometimes made is in fact not necessary. Denote by $b_i(X):=\dim_\Q H^i(X,\Q)$, $i \in \N_0$ the $i$-th Betti number.

\[lemma signature bbf form\] The quadratic form $q_{X,\sigma}$ is non-degenerate and has signature $(3,b_2(X)-3)$. Furthermore, if $\sigma$ is chosen such that $\int_{X}\left(\sigma\bar\sigma\right)^n=1$, then $q_{X,\sigma}$ does not depend on $\sigma$.

It is immediate from that $q_{X,\sigma}$ is defined over $\R$ so that it makes sense to speak of signature. The statement about the signature (and hence also nondegeneracy) is [@Sch17 Theorem 2]. The statement about independence of $q_{X,\sigma}$ for normalized $\sigma$ is [@Sch17 Lemma 24].

\[definition bbf form\] Let $X$ be a primitive symplectic variety of dimension $2n$ and let $\sigma \in H^{2,0}(X)$ be the cohomology class of a homolorphic symplectic $2$-form on $X^\reg$ satisfying $\int_{X}\left(\sigma\bar\sigma\right)^n=1$. Then the *Beauville–Bogomolov–Fujiki form* is the quadratic form $q_X:=q_{X,\sigma}$.

It is not hard now to deduce a local Torelli theorem for locally trivial deformations. Preliminary versions have been established by Namikawa [@Nam01a], Kirschner [@Kir15 Theorem 3.4.12], Matsushita [@Mat15], and the authors [@BL16].

\[lemma bbf topological\] The Beauville–Bogomolov–Fujiki form $q_{X}$ is up to a multiple a nondegenerate quadratic form $H^2(X,\Z)\to\Z$. Moreover, it is invariant under locally trivial deformations.

The second statement is a consequence of the first, so we are left to prove integrality. This is done as in [@Bea83 Théorème 5 (a)]: we deduce from the local Torelli theorem \[corollary local torelli\] the following formula. For every $\lambda \in H^2(X,\C)$ we denote $v(\lambda):=\int_X\lambda^{2n}$ where $2n=\dim X$. Note that for a locally trivial deformation $f:\mathscr{X}\to S$ of $X$, if $\lambda$ is a section of $R^2f_*\C$ then $v(\lambda)$ is locally constant as it can be computed on a simultaneous resolution. For every $\alpha \in H^2(X,\C)$ we have $$v(\lambda)^2 q_X(\alpha) = q_X(\lambda)\left( (2n-1)v(\lambda)\int_X\lambda^{2n-2}\alpha^2 - (2n-2)\left(\int_X\lambda^{2n-1}\alpha\right)^2\right)$$ This formula immediately shows that some real multiple of $q_X$ is defined over $\Z$.

The integrality of the Beauville–Bogomolov–Fujiki form has the following nice consequence

\[proposition symplectic qfactoriality\] Let $X$ be a symplectic variety. Then $X$ is $\Q$-factorial if and only if holds.

The *if*-direction holds in general by Proposition \[proposition analytic qfactoriality\] where also the *only if*-direction is reduced to showing that for a resolution of singularities, the Picard group and the transcendental part span the second cohomology. Let $\pi:Y\to X$ be a resolution of singularities and consider the holomorphic $2$-form $\sigma_Y$ on $Y$ obtained as extension of the pullback of the symplectic form on $X^\reg$. Then one reads off from that the quadratic form $q_{Y,\sigma_Y}$ satisfies $\left(H^{2,0}(Y)\oplus H^{0,2}(Y)\right)^\perp \subset H^{1,1}(Y)$. Moreover, the restriction of $q_{Y,\sigma_Y}$ to $H^2(X,\Q)$ is nondegenerate, in fact, it it the Beauville–Bogomolov–Fujiki form see [@Sch17 Corollary 22], and by [@BL16 Lemma 2.2] the transcendental part $T \subset H^2(Y,\Q)$ is contained in $H^2(X,\Q)$. From Lemma \[lemma bbf topological\] we infer that the orthogonal complement $T^\perp$ with respect to $q_{Y,\sigma_Y}$ is contained in the Picard group $\Pic(Y)_\Q$, in particular, $H^2(Y,\Q) = T + \Pic(Y)_\Q$ as claimed.

\[proposition deformation qfactorial\] Let $X$ be a symplectic variety. Then every small locally trivial deformation of $X$ is $\Q$-factorial if and only if $X$ is $\Q$-factorial.

By the existence of simultaneous resolutions, Lemma \[lemma simultaneous resolution\], condition is invariant under deformations. The claim follows from Proposition \[proposition symplectic qfactoriality\].

We now deduce the main corollary of this section:

\[corollary local torelli\] Let $X$ be a primitive symplectic variety, let $q_X$ be its Beauville–Bogomolov–Fujiki form, and let $$\label{eq local period domain}
\Omega(X):=\{[\sigma]\in \P(H^2(X,\C))\mid q_X(\sigma)=0, q_X(\sigma,\bar\sigma)>0\}$$ be the period domain for $X$ inside $\P(H^2(X,\C))$. If $f:\scrX \to \Def^\lt(X)$ denotes the universal locally trivial deformation of $X$ and $X_t:=f^{-1}(t)$, then the local period map $$\label{eq local period map}
\wp:\Def^\lt(X) \to \Omega(X), \quad t \mapsto H^{2,0}(X_t)$$ is a local isomorphism.

By [@BL16 Lemma 2.2], the push forward $f_*\Omega_{\scrX/S}^2$ is locally free, therefore the period map is holomorphic. Let $j:U\into X$ denote the inclusion of the regular part. It is well-known that the differential of $\wp$ at zero can be described as the map $$H^1(X,T_X) \to \Hom(H^0(X,j_*\Omega_U^2),H^1(X,j_*\Omega_U^1))$$ given by cup product and contraction. This is clearly an isomorphism as $H^0(X,j_*\Omega_U^2)$ is spanned by the symplectic form. Therefore, is an isomorphism in a neighborhood of zero.

For the sake of completeness, let us summarize a statement that is well known in the smooth case.

\[corollary deformations of line bundles\] Let $X$ be a primitive symplectic variety and let $L$ be a line bundle on it. Under the isomorphism $\Def^\lt(X)\to \Omega(X)$ by the period map, the subspace $\Def^\lt(X,L)$ of deformations of the pair $(X,L)$ is identified with $\P(\chern_1(L)^\perp)\cap \Omega(X)$.

We will frequently simply write $\alpha^\perp$ instead of $\P(\alpha^\perp)\cap \Omega(X)$ for a class $\alpha\in H^2(X,\C)$.

A theorem of Verbitsky
----------------------

Let $X$ be a primitive symplectic variety of dimension $2n=\dim X$. In section \[section proj degen\] we will need the following analog of a theorem of Verbitsky [@Ver96 Theorem 1.5] (see also [@Bog96]):

\[sym\] The cup product map $\Sym^k H^2(X,\C)\to H^{2k}(X,\C)$ is injective for $k\leq n$.

The proof in [@Bog96] carries through with very mild modifications, and we summarize the main points. We have the following purely algebraic fact:

\[isotropic fact\] Let $(H,q)$ be a complex vector space with a nondegenerate form $q$, and let $A^*$ be a graded quotient of $\Sym^*H$ by a graded ideal $I^*$ such that:

1.  $A^{2n}\neq 0$;

2.  $I^*$ contains $x^{n+1}$ for all isotropic $x\in H$.

Then $I^k=0$ for $k\leq n$.

Take $(H,q)=(H^2(X,\C),q_X)$ and $A^*$ the subalgebra of $H^*(X,\C)$ generated by $H^2(X,\C)$. Observe that the first condition in the lemma is met. Indeed, let $w$ be a generator of the $H^{2,0}$ part of $H^2(X,\C)$. Since for any resolution $\pi:Y\to X$ we have an injection $\pi^*:H^2(X,\C)\to H^2(Y,\C)$, it follows that $\pi^*w$ is the class of an extension of a symplectic form. As $(\pi^*w)^n(\xxoverline{\pi^*w})^n\neq 0$, we then have that $w^n\xxoverline{w}^n\neq 0$.

Thus, it remains to verify the second condition. We have the following:

$w^{n+1}=0$.\[contains L\]

For a resolution $\pi:Y\to X$, we have that $\pi^*:W_mH^m(X,\C)\to W_mH^m(Y,\C)$ is injective. Thus, the $(m,0)$ part of the mixed Hodge structure on $H^m(X,\C)$ is 0 for $m>2n$.

To finish, just as in [@Bog96], since the period map is an étale map of $\Def^\lt(X)$ onto the irreducible quadric $(q_X=0)$ by Corollary \[corollary local torelli\], applying Lemma \[contains L\] to nearby deformations yields $(q_X=0)\subset (x^{n+1}=0)$.

Fujiki relations
----------------

Fujiki [@Fuj87 Theorem 4.7] first established interesting relations between the self intersection of a given cohomology class and powers of the Beauville–Bogomolov–Fujiki form on symplectic manifolds. It seems that Matsushita [@Mat01 Theorem 1.2], [@Mat15 Proposition 4.1] was the first to prove the ($k=\dim X$) Fujiki relation in the singular setting. He required the varieties to be projective and to have $\Q$-factorial, terminal singularities only and Schwald extended his statement to projective primitive symplectic varieties in [@Sch17]. We need a more general statement for the projectivity criterion in the next paragraph. Generalizing to the Kähler setup is not difficult, basically the existing proofs in the projective case work literally.

A small argument instead is needed when comparing powers of the Beauville–Bogomolov–Fujiki form to integration over certain very general homology classes. The first results in this direction in the singular case can be found in [@Mat01 Lemma 2.4]. As $H^{4p}(X,\Z)$ might fail to form a local system, we cannot formulate the Fujiki relations literally as in the smooth case.

\[proposition fujiki relations\] Let $X$ be a primitive symplectic variety and $\phi \in \Sym^{k}H^2(X,\Q)^\vee$ which is of type $(-k,-k)$ for all small deformations of $X$. Then if $k$ is odd we have $\phi=0$, while if $k$ is even there is a constant $c=c(\phi) \in \Q$ such that $\phi=cq_X^{k/2}$, where $q_X^{k/2}\in\Sym^{k/2}H^2(X,\R)^\vee$ is the symmetrization of $q_X^{\otimes k/2}$. In particular, for all $\alpha \in H^2(X,\C)$ we have $$\label{eq fujiki relations}
\phi( \alpha^{k}) =c\cdot q_X(\alpha)^{k/2}.$$

Using Corollary \[corollary local torelli\], the Mumford–Tate group of $H^2(X',\Z)$ for a very general locally trivial deformation $X'$ of $X$ is $\SO(H^2(X',\Q),q_{X'})$ (see e.g. [@BL16 Proposition 3.8]). It acts on $\Sym^kH^2(X,\Q)^\vee$ as $\SO(H^2(X,\Q),q_{X})$ and there are no invariants for odd $k$, while for even $k$ the only invariant is $q_X^{k/2}$ up to scaling.

For even $k$, the proof of [@GHJ03 Corollary 23.17] can be used to prove the existence of Fujiki relations for *real* classes $\phi \in \Sym^{k}H^2(X,\R)^\vee$ which are of type $(-k,-k)$ for all small deformations of $X$. The argument presented there seemed to be the only argument available in the literature so far. In particular, our argument for rational classes in Proposition \[proposition fujiki relations\] also seems to be new for smooth varieties.

Both arguments rely on the local Torelli theorem – which is probably the only reason why the statement has not been established in full generality for singular varieties before. There is no local Torelli theorem (in fact, there cannot be) for arbitrary deformations using the cohomology of the singular symplectic variety unless it has $\Q$-factorial terminal singularities. Only if we consider *locally trivial* deformations, a statement like Corollary \[corollary local torelli\] is true. This change in point of view nicely explains e.g. why a $(k<\dim X)$-Fujiki relation holds for $\Q$-factorial terminal singularities: in this case, all deformations are locally trivial.

\[corollary riemann roch via q\] Let $X$ be a primitive symplectic variety. There is a locally trivial deformation-invariant polynomial $f_X(t)\in \Q[t]$ such that for any line bundle $L$ on $X$, $\chi(L)=f_X(q_X(\mathrm{c}_1(L)))$.

As $X$ has rational singularities, for a resolution $\pi:Y\to X$ we have $\chi(L)=\chi(\pi^* L)=\int_Y\pi^*\ch(L) \mathrm{td}(Y)$. Since $\pi^*:H^2(X,\Q)\to H^2(Y,\Q)$ is an injection of Hodge structures, it follows that $$\chi(L)=\sum_k\phi_k( \mathrm{c}_1(L)^k)$$ for Hodge classes $\phi_k\in\Sym^kH^2(X,\Q)^\vee$. Moreover, from the existence of a simultaneous resolution $\mathscr{Y}\to\mathscr{X}$ of the universal locally trivial deformation $\mathscr{X}$ of $X$, it follows that the $\phi_k$ are locally constant and of type $(-k,-k)$ everywhere. Now apply the proposition.

Hodge classes as in Proposition \[proposition fujiki relations\] can be constructed via the following lemma.

Let $X$ be a primitive symplectic variety and $f:\mathscr{X}\to S$ a locally trivial deformation. Let $\mathscr{W}\subset \mathscr{X}$ be a closed subvariety that is flat over $S$ with fiberwise dimension $k$. Then $\int_{\mathscr{W}_s}$ defines a locally constant section of $\Sym^k R^2f_*\Q^\vee$ which is of type $(-k,-k)$.

We just need to argue that for any sufficiently small Euclidean open set $U\subset S$, the homology class $[\mathscr{W}_u]$ is constant in $H_{2k}(f^{-1}(U),\Q)$. We may assume $\mathscr{W}$ is reduced. By base-changing we may assume $S$ is a disk $\Delta$, and it is enough to show that $[\mathscr{W}_s]$ is constant in $H_{2k}(\mathscr{W},\Q)$. We may further assume the total space $\mathscr{W}$ is smooth by passing to a resolution. The claim then follows for smooth fibers by Ehresmann’s theorem and otherwise since the family locally retracts onto any fiber.

For the following corollary, the term *very general* is to be interpreted in terms of locally trivial deformations, i.e., outside a countable union of proper subvarieties in the base of the locally trivial Kuranishi family.

\[corollary no odd subvarieties\] Let $X$ be a very general primitive symplectic variety. Then $X$ does not contain odd dimensional closed subvarieties.

By the lemma, for a $k$-dimensional subvariety $W$ we have a Hodge class $\phi=\int_W$ in $\Sym^kH^2(X,\Q)^\vee$. By taking a Kähler class $\omega\in H^2(X,\R)$, we see that $\int_W\omega^k>0$ and thus $\phi$ is nonzero, a contradiction.

The projectivity criterion {#section projectivity criterion}
==========================

A singular version of the Demailly–Păun Theorem {#section demailly paun}
-----------------------------------------------

We do not know whether the analog of Demailly–Păun’s celebrated theorem [@DP04 Main Theorem 0.1] on the numerical characterization of the Kähler cone of a compact Kähler manifold holds for singular varieties. One may however easily deduce from it that a similar statement holds which is good enough for our purposes. We introduce a notion for cohomology classes that behave as if they were Kähler classes.

Recall the Hodge decomposition of the mixed Hodge structure on the cohomology of a reduced compact complex space of class $\scrC$ from .

\[definition demailly paun\] Let $X$ be a reduced compact complex space of class $\scrC$ and let $\kappa \in H^{1,1}(X,\R):=H^{1,1}(X)\cap H^2(X,\R)$. We say that $\kappa$ is *Demailly–Păun* if for every compact complex manifold $V$ and for every generically finite morphism $f:V \to X$ the class $f^*\kappa$ is big and nef.

We do not know of an example of a class that is Demailly–Păun but not Kähler. It seems likely that Demailly–Păun classes are the same as Kähler classes. Lemma \[lemma demailly paun is kaehler\] below gives evidence to this presumption.

We only made the assumption in Definition \[definition demailly paun\] that $X$ be of class $\scrC$ for ease of exposition. It is actually automatic as the following lemma shows.

Let $X$ be a reduced compact complex space and let $\kappa \in H^{2}(X,\R)$. Assume that for some generically finite surjective morphism $\pi:Y \to X$ from a compact complex manifold $Y$ the class $\pi^*\kappa \in H^2(Y,\C)$ is represented by some $\kappa' \in H^{1,1}_{{\del\bar\del}}(Y,\R)$ which is big. Then $X$ is of class $\scrC$. In particular, there is a functorial mixed Hodge structure on the cohomology of $X$.

As $\pi^*\kappa=\kappa'$ is big on $Y$, it is represented by a Kähler current. Then $Y$ (and hence also $X$) are of class $\scrC$ by [@DP04 Theorem 0.7].

\[definition demailly paun cone\] Let $X$ be a reduced compact complex space of class $\scrC$. We denote by ${{\operatorname{DP}}}(X)\subset H^{1,1}(X)$ the convex cone consisting of all Demailly-Păun classes. Note that ${{\operatorname{DP}}}(X)$ is non-empty if $X$ is Kähler.

\[lemma demailly paun is kaehler\] Let $X$ be a compact variety of class $\scrC$ and let $\kappa \in H^{1,1}(X,\R)$ be Demailly–Păun. In each of the following cases $\kappa$ is a Kähler class:

1.  $X$ can be embedded in a Kähler manifold and $\kappa$ can be represented by a class in $H^{1,1}_{{\del\bar\del}}(X,\R)$.

2.  $\kappa$ is rational.

If $X$ can be embedded in a smooth Kähler manifold, then it follows that $\kappa$ is Kähler by [@CT16 Theorem 1.1]. Note that $\kappa$ satisfies the hypotheses of that theorem because the pullback of $\kappa$ to a resolution of singularities of any subvariety of $X$ is big and nef. If $\kappa$ is rational, a multiple is the first chern class of a big line bundle $L$. Therefore, $X$ is Moishezon and $L$ is ample by the Nakai-Moishezon criterion. Note that the Nakai Moishezon criterion holds for big line bundles on Moishezon varieties.

\[lemma demailly paun\] Let $X$ be a compact variety of class $\scrC$ and let $\kappa \in H^{1,1}(X,\R)$. Then $\kappa$ is Demailly–Păun if and only if for every compact complex manifold $W$ and for every holomorphic map $\pi:W\to X$ which is bimeromorphic onto its image the class $\pi^*\kappa$ is big and nef. Moreover, the pullback of a Demailly-Păun class to an arbitrary compact complex manifold is nef.

We use a result of Păun [@Pau98 Théorème 1] saying that for a surjective holomorphic map $f:V \to W$ between compact complex manifolds the pullback $f^*\alpha$ of a $(1,1)$-class is nef if and only if $\alpha$ is nef.

To prove the non-trivial direction of the first claim, let $\pi:V \to X$ be a holomorphic map from a compact complex manifold which is generically finite onto its image. We consider the Stein factorization $V \to[\pi_1] \bar V \to[\pi_2] X$ where $\pi_1$ has connected fibers and $\pi_2$ is finite and chose a diagram $$\xymatrix{
 W_2 \ar[r] \ar[d]_f & V \ar[dr]^{\pi} \ar[d]_{\pi_1} &\\
 W_1 \ar[r]^\psi& \bar V \ar[r]^{\pi_2} & X\\
 }$$ where $W_1, W_2$ are compact Kähler manifolds and $W_1 \to \bar V$, $W_2\to V$ are bimeromorphic. Here we used that finite morphisms are Kähler, see [@Var89 II, 1.3.1 Proposition]. By assumption, $\alpha:=\psi^*\pi_2^*\kappa$ is big and nef and it suffices to show that $f^*\alpha$ is big and nef. But nefness is preserved under arbitrary pullbacks and bigness is preserved under generically finite pullbacks.

The second statement follows by invoking Stein factorization and Păun’s result once more and the fact that pullbacks of nef classes remain nef under arbitrary morphisms.

The main result of this section is deduced from the smooth Demailly–Păun theorem and Păun’s results in [@Pau98] via an inductive argument. Note that while our result is not essentially new compared to the Demailly-Păun theorem, it should be mentioned that Collins–Tosatti proved a true generalization of the Demailly-Păun theorem [@CT16 Theorem 1.1] for possibly singular compact subvarieties of Kähler manifolds.

\[theorem demailly paun\] Let $X$ be a reduced compact complex space of class $\scrC$ and let $P\subset H^{1,1}(X,\R)$ be the cone of all classes $\alpha$ on $X$ such that for all closed analytic subsets $V \subset X$ we have $$\int_V\alpha^{\dim V} > 0.$$ Then the Demailly–Păun cone ${{\operatorname{DP}}}(X)$ is empty or a connected component of $P$. If $X$ is Kähler, ${{\operatorname{DP}}}(X)$ is the connected component of $P$ containing the Kähler cone.

Clearly, ${{\operatorname{DP}}}(X)\subset P$ and as the Demailly-Păun cone is convex, it is contained in a connected component of $P$. Moreover, if $X$ is Kähler, the Kähler cone is contained in ${{\operatorname{DP}}}(X)$.

For the converse, we may assume that ${{\operatorname{DP}}}(X)$ is non-empty, otherwise there is nothing to prove. Let $\alpha\in P$ be a class in the same connected component as ${{\operatorname{DP}}}(X)$. We will prove that the restriction of $\alpha$ to any subvariety of $X$ is Demailly–Păun by induction on the dimension of the subvariety.

For $d=0$ the statement is trivial. Let $V\subset X$ be a subvariety of dimension $d$ and assume that $\alpha$ is Demailly-Păun on every subvariety of $X$ of dimension strictly smaller than $d$. We denote by $\pi:W\to X$ the composition of a resolution of singularities of $V$ with the inclusion $V \subset X$ where $W$ is a compact Kähler manifold of dimenion $d$. Such a resolution exists thanks to Proposition \[proposition kaehler space\]. By Lemma \[lemma demailly paun\] it suffices to prove that $\pi^*\alpha$ is big and nef. Clearly, $\alpha\vert_V$ fulfills the hypotheses of the theorem if $\alpha$ does. We show first that $\pi^*\alpha$ is nef on $W$ using the Demailly–Păun theorem on $W$. Let us take a Kähler class $\kappa$ on $W$. For $0< \veps \ll 1$ the class $\alpha_W:=\pi^*\alpha + \veps \kappa$ satisfies $\alpha_W^d > 0$. If $Z \subset W$ is a proper analytic subvariety of dimension $e$, then $\pi(Z) \subset V$ is also a proper subvariety and thus $\alpha\vert_{\pi(Z)}$ is Demailly–Păun by the inductive hypothesis. We will show that $\int_Z \alpha_W^{e}>0$. But this can be computed on a resolution of singularities, so we may without loss of generality assume that $Z$ is nonsingular. Then $\pi^*a\vert_Z$ is nef by Lemma \[lemma demailly paun\] and therefore $\alpha_W\vert_Z$ has positive top self intersection.

As $\alpha$ is in the same connected component of $P=P(V)$ as the Demailly–Păun classes on $V$, also $\alpha_W$ is in the same connected component $P(W)$ as the Demailly–Păun classes on $W$. But by Lemma \[lemma demailly paun is kaehler\], we have ${{\operatorname{DP}}}(W)=\sK(W)$ where $\sK(W)$ denotes the Kähler cone. Hence, the Demailly–Păun theorem applies and $\alpha_W$ is Kähler. Moreover, $\pi^*\alpha$ is nef on $W$ because $\veps$ was arbitrarily small. But certainly $\int_W\pi^*\alpha > 0$ and therefore $\pi^*\alpha$ is also big on $W$ by [@DP04 0.4 Theorem]. This concludes the proof.

Projectivity criterion
----------------------

In this section, the term *very general* is to be interpreted in terms of locally trivial deformations, i.e., outside a countable union of proper subvarieties in the base of the locally trivial Kuranishi family.

\[definition positive cone\] Let $X$ be a primitive symplectic variety and $q_X$ its Beauville–Bogomolov–Fujiki form. We define the positive cone $$\sC_X:=\left\{ \alpha\in H^{1,1}(X,\R)\middle| \ q_X(\alpha)>0 \right\}^\kappa$$ where $\kappa$ denotes the connected component containing the Kähler cone.

\[theorem demailly paun cone\] For a very general primitive symplectic variety $X$, the positive cone equals the Demailly-Paun cone: $$\label{eq dpx gleich cx}
{{\operatorname{DP}}}(X) = \sC_X.$$

The Demailly-Păun cone is always contained in the positive cone by Theorem \[theorem demailly paun\]. For the other inclusion let $\alpha \in \sC_X$. By Corollary \[corollary no odd subvarieties\], $X$ does not contain any odd dimensional subvarieties. Let $Z\subset X$ be a subvariety and denote by $2d$ its dimension. Choose a Kähler class $\kappa$ on $X$. Then by the Fujiki relations, Proposition \[proposition fujiki relations\], there is a constant $c_Z \in \R$ (independent of $\alpha\in H^2(X,\C)$) such that the equality $$\begin{aligned}
\label{eq positive in demailly paun}
c_Z \cdot \int_Z(\alpha S + \kappa T)^{2d} &= q_X(\alpha S+ \kappa T)^d \\
& = \left( q_X(\alpha) S^2 +2q_X(\alpha,\kappa) ST+ q_X(\kappa)T^2\right)^d\end{aligned}$$ of polynomials in the indeterminates $S$ and $T$ holds. Choosing $\alpha$ to be the Kähler form we see that $c_Z$ has to be strictly positive. As $\alpha, \kappa \in\sC_X$, Lemma \[lemma signature bbf form\] implies that $q_X(\alpha,\kappa)> 0$. The coefficients of the polynomial on the right–hand side are manifestly all positive. We conclude from looking at the left–hand side that for every $0\leq \lambda \leq 1$ we have that $\lambda \alpha + (1-\lambda) \kappa$ lies in the cone $P$ from Theorem \[theorem demailly paun\]. In particular, $\alpha$ is in the connected component of $P$ containing the Kähler cone $\sK(X)$. We conclude from Theorem \[theorem demailly paun\] that $\alpha \in {{\operatorname{DP}}}(X)$.

The following is the singular version of [@Huy03cone Theorem 3.11] and the proof relies on important ideas of his and of Menet [@Men18], see section 4 of Menet’s article. The presentation follows [@GHJ03 Proposition 26.13].

\[theorem projectivity criterion\] If $X$ is a primitive symplectic variety and $\alpha \in H^2(X,\Z)$ is a $(1,1)$-class. If $q(\alpha)> 0$, then $X$ is projective.

Note that this property can be read off only from the period.

By the Lefschetz $(1,1)$-theorem, there is a line bundle $L$ on $X$ with first Chern class $\chern_1(L)=\alpha$. We will show that $L$ is big. It suffices to do this on a resolution, as bigness of a line bundle is a birationally invariant notion. Bigness of the line bundle is implied by bigness of $\alpha$, see [@JS93 Theorem 1.1]. The strategy is to infer bigness of $\alpha$ by approximating $\alpha$ on a resolution with Kähler currents on nearby varieties.

Let us consider the locally trivial Kuranishi family ${\scrX}\to S:=\Def^\lt(X)$ and take a simultaneous resolution ${\scrY}\to{\scrX}$ which is possible by Lemma \[lemma simultaneous resolution\]. Let us denote by $\pi:Y\to X$ the special fiber of ${\scrY}\to {\scrX}$. For a very general $t\in S$ the corresponding primitive symplectic varieties ${\scrX}_t$ satisfy ${{\operatorname{DP}}}({\scrX}_t)=\sC_{{\scrX}_t}$ thanks to Theorem \[theorem demailly paun cone\]. Therefore, $\alpha$ can be approximated by Demailly–Păun classes $\alpha_{t_i}$ on ${\scrX}_{t_i}$ where $t_i \to 0\in S$ for $i\to \infty$, where $X$ is the fiber of ${\scrX}\to S$ over $0$. Consequently, $\pi^*\alpha$ can be approximated by big classes on nearby fibers ${\scrY}_{t_i}$ and as in [@Dem92 Proposition 6.1], see also the proof of [@GHJ03 Proposition 26.13], we deduce that $\pi^*\alpha$ is big. As explained before, this implies that $L$ is big. Thus, $X$ is Moishezon. Being Kähler and having rational singularities it must be projective by [@Nam02 Theorem 1.6].

The following result is the singular analog of [@Fuj83 Theorem 4.8 2)], see also [@Huy99 Theorem 3.5] and [@GHJ03 Proposition 26.6]. We have to change the proof slightly in the singular setting.

\[corollary density of projectives\] Let $X$ be a primitive symplectic variety, $f:{\scrX}\to \Def^\lt(X)$ be the universal locally trivial deformation of $X=f^{-1}(0)$, and $S \subset \Def^\lt(X)$ a positive-dimensional subvariety through $0 \in \Def^\lt(X)$. Then in every open neighborhood $U\subset S$ of $0$ there is a point $s\in U$ such that the fiber ${\scrX}_s$ is projective.

The proof is almost the same as in [@Fuj83 Theorem 4.8 2)] respectively [@Huy99 Theorem 3.5]. We refer to these references for details and content ourselves with a sketch of proof. One restricts to a one-dimensional disk $S\subset \Def^\lt(X)$ and chooses a Kähler form $\omega$ on $X$ such that the locus $S_{[\omega]}\subset \Def^\lt(X)$ where the class $[\omega]$ remains of type $(1,1)$ intersects $S$ transversally. Next one chooses classes $\alpha_i \in H^2(X,\Q)$ converging to $[\omega]$ such that the $\alpha_i$ are not of type $(1,1)$ on $X$. Then the $(1,1)$-locus $S_{\alpha_i}\subset \Def^\lt(X)$ intersects $S$ in points $t_i\neq 0$ converging to $0$. Now the idea is that the $(1,1)$-class $\alpha_i$ is Kähler on ${\scrX}_{t_i}$ for $t_i$ sufficiently close to $0$. In [@Huy99 Theorem 3.5] this is seen via harmonic representatives. As $X$ is singular, we cannot argue literally the same. However, due to Lemma \[lemma simultaneous resolution\] we may take a simultaneous resolution $\pi:{\scrY}\to{\scrX}$ obtained by successive blow ups. In particular, there is an $\R$- linear combination $E$ of exceptional divisors such that for $e:=\chern_1\left(\sO(E)\right)$ is Kähler on $Y:=\pi^{-1}(X)$. Now we apply the argument involving harmonic representatives to $\alpha_i- e$ and deduce that for $t_i$ sufficiently close to $0$ the variety ${\scrY}_{t_i}$ is projective. Hence, also the corresponding ${\scrX}_{t_i}$ is projective by [@Nam02 Theorem 1.6].

We immediately deduce

\[corollary density of projectives2\] Let $X$ be a primitive symplectic variety and let $f:{\scrX}\to \Def^\lt(X)$ be the universal locally trivial deformation of $X=f^{-1}(0)$. Then for every positive-dimensional subvariety $S \subset \Def^\lt(X)$ the set of points $\Sigma\subset S$ with projective fiber is dense.

Inseparability and moduli {#subsection inseparable}
-------------------------

Given a primitive symplectic variety $X$, we denote by $H^2(X,\Z)_{\mathrm{tf}}:=H^2(X,\Z)/\mathrm{torsion}$ the torsion-free part of its second cohomology. Given a lattice $\Lambda$ with quadratic form $q$, a $\Lambda$-marking of $X$ is an isomorphism $\mu : (H^2(X,\Z)_{\mathrm{tf}},q_X)\xrightarrow{\cong}(\Lambda,q)$. We denote by $\gothM_\Lambda$ the analytic coarse moduli space of $\Lambda$-marked primitive symplectic varieties. As a set, $\gothM_\Lambda$ consists of isomorphism classes of $\Lambda$-marked primitive symplectic varieties $(X,\mu)$, and it is given the structure of a not-necessarily-Hausdorff complex manifold using Theorem \[theorem deflt is smooth\] by identifying points in the bases of locally trivial Kuranishi families over which the fibers are isomorphic as $\Lambda$-marked varieties.

The following statement of Huybrechts’ carries over together with its proof.

\[theorem inseparable implies birational\] Let $X$, $X'$ be primitive symplectic varieties such that for some choice of marking $\mu:H^2(X,\Z)_{\mathrm{tf}}\to \Lambda$, $\mu':H^2(X',\Z)_{\mathrm{tf}}\to \Lambda$ the pairs $(X,\mu)$, $(X',\mu')$ define non-separated points in the $\Lambda$-marked moduli space. Then there is a bimeromorphic map $\phi:X \ratl X'$.

Identical to [@Huy99 Theorem 4.3].

We denote by $\Delta=\{z\in \C\mid \abs{z}\leq 1\}$ the complex unit disk and by $\Delta^*:=\Delta\ohnenull$ the complement of the origin. Recall that if two not necessarily $\Q$-factorial complex varieties are bimeromorphic, it is not in general true that we can push forward (or pull back) line bundles along the bimeromorphic map.

\[theorem huybrechts strong\] Let $X$ and $X'$ be projective primitive symplectic varieties, and let $\phi:X\ratl X'$ be a birational map which is an isomorphism in codimension one such that $\phi_*: \Pic(X)_\Q \to \Pic(X')_\Q$ is well-defined and an isomorphism. Then there are one parameter locally trivial deformations $f:\scrX \to \Delta$, $f':\scrX' \to \Delta$ such that $\scrX$ and $\scrX'$ are birational over $\Delta$ and such that $\scrX^* = f^{-1}(\Delta^*) \isom (f')^{-1}(\Delta^*) = (\scrX')^* $.

The basic strategy of [@Huy99 Theorem 4.6] remains unchanged, we will therefore only explain where we need to deviate from it. By Corollary \[corollary riemann roch via q\], there are polynomials $f_X(t)$ and $f_{X'}(t)$ with rational coefficients of degree $n=\dfrac{\dim X}{2}$ such that for any line bundle $L$ on $X$ a Hirzebruch–Riemann–Roch statement of the form $\chi(X,L)=f_X(q_X(\chern_1(L)))$ holds and similarly for $X'$. We may assume that $f_X\geq f_{X'}$ with respect to the lexicographic order and choose an ample line bundle $L'$ on $X'$ and denote by $L$ the corresponding line bundle on $X$. Let $\pi:(\scrX,\scrL)\to S$ be a locally trivial deformation of $(X,L)$ over a smooth one-dimensional base such that the Picard number of the general fiber of $\scrX\to S$ is one. As in [@Huy99 Theorem 4.6], using the projectivity criterion from Theorem \[theorem projectivity criterion\] one shows that $h^0(\scrL_t^{\tensor m})$ for $m\gg 0$ does not depend on $t\in S$ that the associated linear system gives a meromorphic $S$-morphism $\scrX\ratl \P_S(\pi_*\scrL^\vee)$ which is bimeromorphic onto its image. We obtain $\scrX'\to S$ as the closure of this image and one verifies as in [@Huy97 Proposition 4.2] that $\scrX'\to S$ has the desired properties, in particular, that its central fiber is $X'$.

This result can be reformulated as follows.

\[corollary huybrechts strong\] Let $X$ and $X'$ be projective primitive symplectic varieties, and let $\phi:X\ratl X'$ be a birational map which is an isomorphism in codimension one such that $\phi_*: \Pic(X)_\Q \to \Pic(X')_\Q$ is well-defined and an isomorphism. Then for every choice of a marking $\mu:H^2(X,\Z)_{\mathrm{tf}}\to \Lambda$ there exists a marking $\mu':H^2(X',\Z)_{\mathrm{tf}}\to \Lambda$ such that the points $(X,\mu)$ and $(X',\mu')$ are inseparable points in the moduli space $\gothM_\Lambda$.

Projective degenerations {#section proj degen}
========================

The main goal of this section is to prove the following result, which will be needed for the surjectivity of the period map in section \[section torelli\]:

\[filling holes\] Let $(B,b)$ be a pointed smooth quasiprojective curve, and $U=B\smallsetminus b$. Let $f:\mathscr{X}\to U$ be a projective locally trivial family of primitive symplectic varieties with $\Q$-factorial terminal singularities whose very general fiber has Picard rank one and such that the local monodromy of $R^2f_*\Q$ at $b$ is finite. Then after a finite base-change $g:\widetilde{B}\to B$, there is a proper locally trivial family $\tilde{f}:\xxtilde{\mathscr{X}}\to \widetilde{B}$ isomorphic over $g^{-1}(U)$ to the base-change of $\mathscr{X}$.

If we drop the hypothesis on the generic Picard rank, then we will obtain a locally trivial *birational* model, but this will not be necessary for our purposes.

Theorem \[filling holes\] is proven for smooth $\mathscr{X}\to U$ in [@KLSV18 Theorem 1.7], and the proof in our slightly more general setting is exactly the same[^6] given Proposition \[sym\]. We spell out the main steps largely for the convenience of the reader.

Note that we can obviously assume the local monodromy at $b$ is trivial. In the following, by a model we mean a flat projective family $\xxoverline{f}:\xxoverline{\mathscr{X}}\to B$ which is isomorphic over $U$ to $f$, possibly after passing to a finite base-change and shrinking $U$.

We start with two lemmas.

\[steenbrink\] Let $g:\mathscr{Y}\to B$ be a proper flat family with each fiber du Bois. Then the family is cohomologically insignificant.

Recall that this means the following. For a point $b\in B$ and a sufficiently small disk $\Delta\subset B$ through $b$, let $\mathscr{Y}_\infty=e^*\mathscr{Y}_{\Delta^*}$, where $e:\mathbb{H}\to \Delta^*$ is the universal cover. There is then a specialization map $\sp_b: H^*(\mathscr{Y}_b,\Q)\to H^*(\mathscr{Y}_\infty,\Q)$ where $H^*(\mathscr{Y}_\infty,\Q)$ is given the limit mixed Hodge structure. The family is cohomologically insignificant if for any $b\in B$ and any such disk $\Delta\subset B$, we have that $\sp_b$ is an isomorphism on the $I^{p,q}$ piece of the Deligne splitting provided $pq=0$.

[@Ste80 Theorem 2]. Note that the fact that every fiber is du Bois is all that’s used.

\[sympl comp\] Let $\xxoverline{f}:\xxoverline{\mathscr{X}}\to B$ be a model such that the local monodromy (at $b$) of $R^2f_*\Q$ is trivial, $K_{\xxoverline{\mathscr{X}}}$ is $\xxoverline{f}$-numerically trivial, and each fiber is reduced, $\Q$-factorial, and du Bois. Then the fiber $X$ (at $b$) is a primitive symplectic variety (and in particular irreducible).

We argue as in the proof of [@KLSV18 Theorem 2.1]. As above, we have specialization maps $\sp_b:H^i(X,\Q)\to H^i(\mathscr{X}_\infty,\Q)$, where $H^i(\mathscr{X}_\infty,\Q)$ is endowed with the limit mixed Hodge structure. As the monodromy is trivial, this is isomorphic to the mixed Hodge structure on a general fiber. Moreover, by Lemma \[steenbrink\], $\sp_b$ is an isomorphism on $(p,q)$ pieces with $pq=0$, so it follows there is a nonzero class $w\in H^2(X,\C)$ generating the $H^{2,0}$ part which moreover has $w^n\neq 0$ by Proposition \[sym\]. Taking a resolution $\pi:Y\to X$, as in the proof of Lemma \[contains L\] we have $(\pi^*w)^n\neq 0$, and therefore $\pi^*w$ is represented by a holomorphic 2-form which is nondegenerate on an open set. If $X$ were irreducible, we would have that $K_X$ is numerically trivial and it would follow that $X^\reg$ carries a symplectic form which extends to any resolution—that is, that $X$ is symplectic.

Thus, it remains to show the following claim:

### Claim {#claim .unnumbered}

$X$ is irreducible.

From the existence of a nonzero 2-form, some component $X_0$ of $X$ is not uniruled; let $X_1$ be the sum of the other components of $X$. As $X\sim_\Q 0$ and $K_{\xxoverline{\mathscr{X}}}\equiv 0$, by adjunction we have $$K_{X_0}\equiv X_0|_{X_0}\equiv -X_1|_{X_0}$$ is anti-effective, which is a contradiction.

We argue as in [@KLSV18 §5]. First let $\pi:\mathscr{X}'\to\mathscr{X}$ be a projective simultaneous resolution, and $\xxoverline{\mathscr{X}}'\to B$ a projective semistable model of $\mathscr{X}'$. Let $H$ be a relatively ample divisor on $\xxoverline{\mathscr{X}}'$. As the special fiber $X'$ of $\xxoverline{\mathscr{X}}'$ is linearly equivalent to $0$ as a divisor, the steps of the relative MMP of the pair $(\xxoverline{\mathscr{X}}',X')$ with scaling $H$ are the same as those of the relative MMP for $\xxoverline{\mathscr{X}}'$ with scaling $H$. As the general fiber has a good minimal model—unique by the assumption on the Picard rank—the latter terminates by [@Lai11 Prop. 2.7]. Thus, the output is a projective flat family $\xxoverline{f}:\xxoverline{\mathscr{X}}\to B$ such that:

1.  $\xxoverline{f}:\xxoverline{\mathscr{X}}\to B $ is a model of $f$ (hence the notation);

2.  the pair $(\xxoverline{\mathscr{X}},X)$ is $\Q$-factorial and dlt (see for example [@BCHM10 3.10.9]);

3.  $K_{\xxoverline{\mathscr{X}}}$ is $\xxoverline{f}$-numerically trivial.[^7]

By adjunction (see for example [@Kol13 Theorem 4.9]), $X$ is slc and thus du Bois [@KK10], so by Lemma \[sympl comp\] we have that $X$ is symplectic. Take a $\Q$-factorial terminalization $\widetilde{X}\to X$ and pull back the deformation $\xxoverline{\mathscr{X}}$ of $X$ to a deformation $\xxtilde{\mathscr{X}}$ of $\widetilde{X}$. It follows that we have a *locally trivial* family $\tilde{f}:\xxtilde{\mathscr{X}}\to  B$ isomorphic to $\scrX\to U$ over $U$.

The techniques of [@KLSV18] are used to *fill in* varieties over projective period points in the interior of the period domain. We would like to point out that in the smooth case this technique of “filling holes” has been used independently by Odaka–Oshima for a different purpose, see the second paragraph in the first proof of Claim 8.10 of [@OO18].

Monodromy and Torelli theorems {#section torelli}
==============================

Fix a lattice $\Lambda$ and denote its quadratic form by $q$.

We say a Hodge structure on $\Lambda$ is *semi-polarized* (by $q$) if the Hodge decomposition is isotropic with respect to $q$. We furthermore say a semi-polarized Hodge structure is *hyperkähler* if it is pure of weight two with $h^{2,0}=h^{0,2}=1$, the signature of $q$ is $(3,b_2-3)$, and $q$ is positive-definite on the real space underlying $H^{2,0}\oplus H^{0,2}$. Hyperkähler Hodge structures on $\Lambda$ are parametrized by the period domain $$\Omega_\Lambda:=\{[\sigma]\in \P(\Lambda_\C)\mid q(\sigma)=0, q(\sigma,\bar\sigma)>0\}.$$

Let $X^+$ be a primitive symplectic variety with $(H^2(X^+,\Z)_{\mathrm{tf}},q_{X^+})\cong (\Lambda,q)$, and let $\gothM^+$ be the moduli space of $\Lambda$-marked locally trivial deformations of $X^+$. Note that $\gothM^+$ is a union of connected components of the full moduli space $\gothM_\Lambda$ of $\Lambda$-marked primitive symplectic varieties from Section \[subsection inseparable\].

Set $\Omega:=\Omega_\Lambda$. We have a period map $P:\mathfrak{M}^+\to\Omega$ which is a local isomorphism by the local Torelli theorem (Corollary \[corollary local torelli\]). In this situation, we have a factorization $$\xymatrix{
&\overline{\mathfrak{M}}^+\ar[rd]^{\xxoverline{P}}&\\
\mathfrak{M}^+\ar[ru]^{H}\ar[rr]_{P}&&\Omega
}$$ where $H$ is the Hausdorff reduction of $\mathfrak{M}^+$ (see [@Huy12 Corollary 4.10]) and $\xxoverline{P}$ is a local homeomorphism. For each $x\in \overline{\mathfrak{M}}^+$, a local basis is provided by images $H(B)$ of open balls $x\in B\subset\mathfrak{M}^+$ over which there is a universal family for $x$.

Note that $\O(\Lambda)$ acts on each of $\mathfrak{M}^+$, $\overline{\mathfrak{M}}^+$, and $\Omega$ by changing the marking, and the three maps $H,P,\xxoverline{P}$ respect these actions. For any connected component $\gothM$ of $\gothM^+$, we define $\Mon(\mathfrak{M})\subset O(\Lambda)$ to be the image of the monodromy representation on second cohomology, which is defined up to conjugation.

The goal of this section is to show:

\[theorem torelli\]Assume $\rk(\Lambda)\geq 5$ and let $\gothM$ be a connected component of $\gothM^+$.

1.  The monodromy group $\Mon(\gothM)\subset \O(\Lambda)$ is finite index;

2.  $\xxoverline{P}$ is an isomorphism of $\overline{\mathfrak{M}}$ onto the complement in $\Omega$ of countably many maximal Picard rank periods;

3.  If $X^+$ is $\Q$-factorial and terminal, then $\xxoverline{P}$ is an isomorphism of $\overline{\mathfrak{M}}$ onto $\Omega$.

Theorem \[theorem torelli\] immediately yields parts (1) and (2) of Theorems \[maintorelli\] and \[maintorelli2\], while part (3) follows from Theorem \[theorem inseparable implies birational\].

Before the proof, we briefly recall the classification of orbit closures in $\Omega$ under an arithmetic lattice, which is crucial to the argument.

Reminder on orbit closures {#subsection orbits}
--------------------------

\[definition rational rank\] The *rational rank* of a hyperkähler period $p\in\Omega$ is defined as $${{\operatorname{rrk}}}(p):=\dim_\Q \left(\left(H^{2,0}\oplus H^{0,2}\right) \cap \Lambda_\Q\right) \in \{0,1,2\}.$$ We define the rational rank of a primitive symplectic variety to be the rational rank of its Hodge structure on second cohomology.

Recall that the period domain $\Omega$ can be thought of as the oriented positive Grassmannian ${{\operatorname{Gr}}}^{++}(2,\Lambda_\R)$. For a rational positive-definite sublattice $\ell\subset \Lambda_\Q$ with $\rk(\ell)\leq 2$, we define $T_\ell$ to be the locus of periods for which $\ell\subset(H^{2,0}\oplus H^{0,2})_\R$. Obviously $T_\ell\supset T_{\ell'}$ if $\ell\subset\ell'$. Note that if $\rk(\ell)=2$, then $T_\ell$ is a point of maximal Picard rank (and all such points arise this way). For $\rk(\ell)=1$, $T_\ell$ is isomorphic to the positive real projective space $\P^{+}(\ell^\perp_\R)$, which is a smooth real dimension $\rk(\Lambda)-2$ submanifold of $\Omega$.

The important point is that orbit closures for the action of a finite index subgroup $\Gamma\subset\O(\Lambda)$ on the period domain $\Omega$ are classified according to rational rank.

\[proposition orbits\]Assume $\rk(\Lambda)\geq 5$. We have for $p\in\Omega$:

1.  If ${{\operatorname{rrk}}}(p)=0$, $\overline{\Gamma\cdot p}=\Omega$;

2.  If ${{\operatorname{rrk}}}(p)=1$, $\overline{\Gamma\cdot p}$ is a (countable) union of $T_\ell$ with $\rk(\ell)=1$;

3.  If ${{\operatorname{rrk}}}(p)=2$, $\overline{\Gamma\cdot p}$ is a (countable) union of $T_\ell$ with $\rk(\ell)=2$.

Proof of Theorem \[theorem torelli\]
------------------------------------

We divide the proof into five steps. Parts (1), (2), and (3) are proven in steps 4, 5(a), and 5(b), respectively. 1em*Step 1.* Let $p\in \Omega$ be a very general period with Picard group generated by a positive vector. Then $\xxoverline{P}^{-1}(p)$ is finite.

In fact, its equivalent to show $P^{-1}(p)$ is finite by the assumption on the Picard rank. For the following lemma, we say an ample line bundle $L$ on a primitive symplectic variety $X$ has Beauville–Bogomolov–Fujiki square $d$ if $q_X(\mathrm{c}_1(L))=d$.

Pairs $(X,L)$ consisting of a primitive symplectic variety $X$ of a fixed locally trivial deformation type and an ample line bundle $L$ with fixed Beauville–Bogomolov–Fujiki square form a bounded family.

Using that the Fujiki constants are locally trivially deformation-invariant and [@Matsusaka Theorem 2.4], for any such pair $(X,L)$, the variety $X$ can be embedded with bounded degree in $\P^N$ for some fixed $N$ via the sections of some fixed power $L^k$. Let $H$ be the corresponding Hilbert scheme of subschemes of $\P^N$ of bounded degree, and let $f:\mathscr{X}\to H$ be the universal family. The constant-rank loci of $R^2f_*\Q$ are algebraic (since, for instance, they can be constructed via étale cohomology), and by Corollary \[corollary deformations of line bundles\] the set of pairs $(X,L)$ as in the statement of the lemma is a Zariski-open subscheme $U$ of one such locus. The $\C$-points of the quotient stack $[\PGL_{N+1}\backslash U]$ then parametrize isomorphism classes of the pairs $(X,L)$. The $\PGL_{N+1}$ action has finite stabilizers on $U$ by Lemma \[lemma existence universal deformation\], so by general theory $[\PGL_{N+1}\backslash U]$ is a Deligne–Mumford stack and there is a finite-type étale atlas $S\rightarrow [\PGL_{N+1}\backslash U]$.

To summarize, there is (depending on the fixed locally trivial deformation type and the fixed Beauville–Bogomolov–Fujiki square) a finite-type scheme $S$ and a locally trivial family $\mathscr{X}\to S$ of primitive symplectic varieties and a relatively ample $\mathscr{L}$ on $\mathscr{X}$ which has the property that every $(X,L)$ as in the statement of the lemma appears finitely many times (and at least once) as a fiber.

Each component $S_0$ of the scheme $S$ constructed in the proof of the lemma has a period map of the form $P_v:S_0\rightarrow \O(v^\perp)\backslash\Omega_{v^\perp}$ for some $v\in \Lambda$ with fixed square $q(v)=d$, where we think of $\Omega_{v^\perp}=\P(v^\perp)\cap\Omega$. Moreover, $P_v$ is a local isomorphism and therefore quasifinite, as by e.g. [@B72 Theorem 3.10] the fibers are algebraic.

Now, for $p\in \Omega$ as in the original claim, suppose $q(v)=d$ for a generator $v$ of the Picard group. It follows that there are finitely many isomorphism classes of pairs $(X,L)$ where $X$ is a primitive symplectic variety that is locally trivially deformation-equivalent to $X^+$, and $L$ is an ample bundle of Beauville–Bogomolov–Fujiki square $d$, and the primitive parts of $H^2(X,\Z)_{\mathrm{tf}}$ and $p$ are abstractly isomorphic as polarized Hodge structures. By the assumption on the Picard rank, there are then finitely many isomorphism classes of projective $X$ with $H^2(X,\Z)_{\mathrm{tf}}$ abstractly isomorphic to $p$ as semi-polarized Hodge structures. Moreover, $\Aut(p)=\pm 1$ (see e.g. [@BL16 Corollary 3.9]), so for each such $X$ there are finitely many such isomorphisms.

To finish, by Theorem \[theorem projectivity criterion\] every point in $P^{-1}(p)$ is projective and uniquely polarized by a class of Beauville–Bogomolov–Fujiki square $d$, and the claim follows.

1em

For the next step, let $\Omega_{{{\operatorname{rrk}}}=0}\subset \Omega$ be the rational-rank-zero locus, and let $\xxoverline{P}_{{{\operatorname{rrk}}}=0}$ be the restriction of $\xxoverline{P}_{{{\operatorname{rrk}}}=0}$ to the preimage of $\Omega_{{{\operatorname{rrk}}}=0}$ in $\gothM^+$ under $\xxoverline{P}$, which we call $\overline{\mathfrak{M}}^+_{{{\operatorname{rrk}}}=0}$. Likewise for $\gothM_{{{\operatorname{rrk}}}=0}$. Note that since we are assuming $\rk(\Lambda)\geq 5$, every $p\in\Omega_{{{\operatorname{rrk}}}=0}$ has dense $\O(\Lambda)$-orbit, by Proposition \[proposition orbits\]. 1em*Step 2.* $\xxoverline{P}_{{{\operatorname{rrk}}}=0}$ is a covering map onto $\Omega_{{{\operatorname{rrk}}}=0}$.

The claim follows from the following two lemmas.

$\xxoverline{P}_{{{\operatorname{rrk}}}=0}$ has finite fibers of constant size. In particular, it is surjective onto $\Omega_{{{\operatorname{rrk}}}=0}$.

By the previous step there is a point $p_0\in \Omega_{{{\operatorname{rrk}}}=0}$ over which $\xxoverline{P}^{-1}(p_0)$ is finite of size $N$, and therefore $\xxoverline{P}^{-1}(p)$ is finite of size $\leq N$ for every point $p\in \Omega_{{{\operatorname{rrk}}}=0}$. Indeed, if some $p\in \Omega_{{{\operatorname{rrk}}}=0}$ had at least $N+1$ preimages then by Hausdorffness we can find pairwise non-intersecting open neighborhoods around any $N+1$ points in the fiber $\xxoverline{P}^{-1}(p)$ that map isomorphically to the same open neighborhood $V$ of $p$, but $p_0$ has dense orbit. Interchanging $p_0$ and $p$, we see that in fact the fibers are finite of constant size.

\[lemma covering space\]Suppose $f:X\to Y$ is a local homeomorphism between two Hausdorff[^8] topological spaces. If $f$ has finite fibers of constant size, then it is a covering map onto its image.

For any $y\in Y$, because $f^{-1}(y)$ is finite we may find nonintersecting open sets $U_x$ around each point $x\in f^{-1}(y)$ on which $f$ is a homeomorphism, and by shrinking we may further assume all the $U_x$ have the same image $U$. It follows from the assumption on fiber size that $f^{-1}(U)=\bigcup_{x \in f^{-1}(y)} U_x$.

1em*Step 3.* $\xxoverline{P}_{{{\operatorname{rrk}}}=0}$ is an isomorphism of $\overline{\mathfrak{M}}_{{{\operatorname{rrk}}}=0}$ onto $\Omega_{{{\operatorname{rrk}}}=0}$.

The rational-rank-zero locus is $\Omega_{{{\operatorname{rrk}}}=0}:=\Omega\smallsetminus \bigcup_{\ell\neq 0} T_\ell$ in the notation of section \[subsection orbits\], and each $T_\ell$ is a closed submanifold of real codimension $\rk(\Lambda)-2$. Assuming $\rk(\Lambda)\geq 5$, we have that $\Omega_{{{\operatorname{rrk}}}=0}$ is locally path-connected and path-connected by [@Ver13 Lemma 4.10] and moreover locally simply connected and simply connected by the following lemma, as the same is true of $\Omega$.

\[lemma simply connected\] If $M$ is a simply connected smooth manifold and $S$ is a countable union of closed submanifolds of (real) codimension $\geq 3$, then $M\smallsetminus S$ is simply connected.

This argument is taken from a MathOverflow answer of Martin M. W. [@MO]. The result is well-known when $S$ is a single closed submanifold of codimension $\geq 3$. The space of nulhomotopies $S^1\times [0,1]\to M$ of a given path with the compact open topology is a Baire space and the set of homotopies avoiding a single closed submanifold of codimension $\geq 3$ is a dense open subset. Therefore, the set of homotopies avoiding $S$ is nonempty (and in fact dense) by definition of a Baire space.

Thus, the claim follows from the previous step.

1em*Step 4.* $\Mon(\mathfrak{M})$ is finite index in $\O(\Lambda)$.

$\xxoverline{P}:\overline{\mathfrak{M}}^+_{{{\operatorname{rrk}}}=0}\to\Omega_{{{\operatorname{rrk}}}=0}$ has finite degree and $\Omega_{{{\operatorname{rrk}}}=0}$ is path-connected. Therefore, $\mathfrak{M}^+$ has finitely many connected components. The group $\Mon(\mathfrak{M})$ is the stabilizer of the component $\gothM$, and is therefore finite index.

1em*Step 5(a).* $\xxoverline{P}$ is an isomorphism of $\overline{\mathfrak{M}}$ onto the complement in $\Omega$ of countably many maximal Picard rank periods.

By step 3, it is enough to show that the image of $\gothM$ under $P$ contains the locus $\Omega_{{{\operatorname{rrk}}}\leq 1}$ of non-maximal Picard rank periods. The image is open and $\Mon(\gothM)$-invariant, whereas by Proposition \[proposition orbits\] and the previous step a $\Mon(\gothM)$ orbit closure in $\Omega$ must be a union of $T_\ell$. It is therefore enough to show that for any rank one sublattice $\ell\subset \Lambda$, a very general point of $T_\ell$ is contained in $P(\gothM)$.

Considering a projective $(X,\mu)\in \gothM$ with a polarization $v$ that is orthogonal to $\ell$, we obtain a period map $P_v:S_0\rightarrow \O(v^\perp)\backslash\Omega_{v^\perp}$ as in step 1 corresponding to a family of locally trivial deformations of $X$ over $S_0$. The complement of $P_v(S_0)$ is a locally closed subvariety of $\O(v^\perp)\backslash\Omega_{v^\perp}$ and its preimage $V$ in $\Omega_{v^\perp}$ is therefore also a locally closed analytic subvariety.

It suffices to show that $T_\ell\cap \Omega_{v^\perp}$ is not contained in $V$. But $T_\ell$ is totally real and has half the (real) dimension of $\Omega$, so the tangent space to $T_\ell\cap\Omega_{v^\perp}$ at a point $p$ is not contained in any proper complex subspace of $T_p\Omega_{v^\perp}$. It follows that if $T_\ell$ were contained in $V$, it must be contained in the singular locus of $V$, and so by induction we get a contradiction.

1em*Step 5(b).* When $X^+$ is $\Q$-factorial and terminal, then $\xxoverline{P}$ is an isomorphism of $\overline{\mathfrak{M}}$ onto $\Omega$.

As in the previous step, since each $T_\ell$ with $\rk(\ell)=1$ contains a point $T_{\ell'}$ with $\rk(\ell')=2$, it is thus enough to show $P(\gothM)$ contains all maximal Picard rank points, which are in particular projective by Theorem \[theorem projectivity criterion\].

Now for any maximal Picard rank period $p$, let $v\in\Lambda$ be a positive vector which is Hodge with respect to $p$. A very general deformation of $p$ for which $v$ remains algebraic is in the image of $P$, and the period map $P_v:S_0\rightarrow \O(v^\perp)\backslash\Omega_{v^\perp}$ from step 1 is dominant, so we can find a curve $B\subset \O(v^\perp)\backslash\Omega_{v^\perp}$ through $p$ such that an open set $U\subset B$ lifts to $S_0$, possibly after a base-change. Now apply[^9] Proposition \[filling holes\].

This concludes the proof.

Some ideas similar to those appearing in the proof of Theorem \[theorem torelli\] have also been used recently by Huybrechts [@Huy18] to prove some finiteness results for hyperkähler manifolds, and these arguments can likely be adapted to the singular setting.

Q-factorial terminalizations and their deformations {#section qfactorial terminalizations}
===================================================

If $X$ is an algebraic variety, then by [@BCHM10 Corollary 1.4.3] there exists $\Q$-factorial terminalization $\pi:Y\to X$. This is often crucial in the theory of singular symplectic varieties. On the other hand, even if you are mainly interested in projective symplectic varieties, it is highly necessary to consider also compact Kähler varieties and certainly the methods of op. cit. are not yet established in the Kähler case. The main result of this section, Theorem \[theorem qfactorial terminalization\], is therefore highly desirable. If we start with a primitive symplectic variety with second Betti number $\geq 5$, it establishes the existence of $\Q$-factorial terminalizations on a bimeromorphic model which is locally trivially deformation equivalent to the initial variety.

In fact, by Theorem \[theorem inseparable implies birational\] the following is slightly stronger, though we expect it to be equivalent.

\[theorem qfactorial terminalization\] Let $X$ be a primitive symplectic variety satisfying $b_2(X)\geq 5$. Then there exists a primitive symplectic variety $X'$ which is inseparable from $X$ in (locally trivial) moduli and a $\Q$-factorial terminalization of $X'$, that is, a proper bimeromorphic morphism $\pi:Y\to X'$ such that $Y$ has only $\Q$-factorial terminal singularities and $\pi^*\omega_{X'}=\omega_Y = \sO_Y$. In particular, $Y$ is a primitive symplectic variety.

We will obtain it as an application of deformation theoretic results for bimeromorphic morphisms of primitive symplectic varieties. As a consequence of the fact that varieties of Picard rank zero do not have non-isomorphic bimeromorphic models[^10], we obtain:

Let $X$ be as in Theorem \[theorem qfactorial terminalization\], and additionally assume it has Picard rank zero. Then $X$ has a $\Q$-factorial terminalization.

We start with the following slight generalization of [@BL16 Lemma 3.4]. The proof is literally the same as in loc. cit. so we omit it here.

\[lemma symplektisch\] Let $\pi:Y \to X$ be a proper bimeromorphic morphism between primitive symplectic varieties. Then $\pi^*:H^2(X,\C) \to H^2(Y,\C)$ is injective and the restriction of $q_Y$ to $H^2(X,\C)$ is equal to $q_X$. We have an orthogonal decomposition $$\label{eq n}
H^2(Y,\Q)=\pi^* H^2(X,\Q)\oplus N_\Q$$ where $N:=\tilde q^{-1}(N_1(Y/X))$, which is negative definite. In particular, pullback along $\pi$ induces an isomorphism $H^2(X,\C)_\tr \isom  H^2(Y,\C)_\tr$.

Let $X$, $Y$ be normal compact complex varieties with rational singularities and let $\pi:Y \to X$ be a proper bimeromorphic morphism. It follows that $\pi_*\sO_Y = \sO_X$ and $R^1\pi_*\sO_Y=0$ so that by [@KM92 Proposition 11.4], there is a commutative diagram $$\label{eq defo diag}
\xymatrix{
\scrY \ar[d]\ar[r]^{P}& \scrX \ar[d]\\
\Def(Y) \ar[r]^{p} & \Def(X) \\
}$$ for the versal families of deformations of $X$ and $Y$. Let us consider the case that $\pi:Y\to X$ is a $\Q$-factorial terminalization of a projective primitive symplectic variety. We will show below (Proposition \[prop defo\]) that the locally trivial deformations of $X$ are identified via $p$ with the locus of deformations of $Y$ where the classes of contracted curves remain Hodge.

Before the proof, we need some preparation. First we recall the following is an important result from [@Nam01b Theorem 8 (2)].

\[proposition second cohomology qfactorial terminal\] Let $X$ be a $\Q$-factorial primitive symplectic variety with terminal singularities (equivalently $\Q$-factorial and $\codim_X X^\sing \geq 4$) and denote by $j:U\into X$ the inclusion of the regular part. Then the restriction $H^2(X,\Q) \to H^2(U,\Q)$ is an isomorphism.

The statement of [@Nam01b Theorem 8 (2)] is only for projective varieties, but the assertion of Proposition \[proposition second cohomology qfactorial terminal\] however also holds for non-projective primitive symplectic varieties. This follows from [@Nam01b Remark (2), p. 146] together with Proposition \[proposition symplectic qfactoriality\]. The following result and its proof are taken from Namikawa [@Nam06 Main Theorem]. Again the projectivity assumption is unnecessary using our definition of $\Q$-factoriality and our Hodge theoretic results from section \[section prelim\].

\[theorem qfactorial terminal is locally trivial\] Let $X$ be a primitive symplectic variety with $\Q$-factorial terminal singularities. Then all small deformations of $X$ are locally trivial.

We already know by Theorem \[theorem deflt is smooth\] that $\Def^\lt(X)$ is smooth. Then we copy the proof of [@Nam06 Lemma 1, p. 102] to obtain that the canonical map $$H^1(X,T_X) \to \Ext^1_X(\Omega_X,\sO_X)$$ is an isomorphism. This is where Proposition \[proposition second cohomology qfactorial terminal\] is used. The space on the right is the tangent space to $\Def(X)$ which is therefore smooth of dimension $h^1(X,T_X)$. Consequently, $\Def^\lt(X) \subset \Def(X)$ is an equality and the claim follows.

We record the following statement which has been proven in the proof of the theorem.

\[corollary qfactorial terminal is locally trivial\] Let $X$ be a primitive symplectic variety with $\Q$-factorial terminal singularities. Then $\Def(X)$ is smooth of dimension $h^{1,1}(X)$.

\[prop defo\] Let $X, Y$ be projective primitive symplectic varieties and let $\pi: Y\to X$ be a proper bimeromorphic morphism. Assume $Y$ is $\Q$-factorial and terminal with $b_2(Y)\geq 5$. Let $N\subset H^2(Y,\C)$ be the $q_Y$-orthogonal complement to $H^2(X,\C) \subset H^2(Y,\C)$ and consider the diagram . Denote by $\Def(Y,N)\subset \Def(Y)$ the subspace of deformations such that classes in $N$ remain of type $(1,1)$. Then the following holds:

1.  $p^{-1}(\Def^\lt(X)) = \Def(Y,N)\subset \Def(Y)$.

2.  The restriction $p:\Def(Y,N)\to\Def^\lt(X)$ is an isomorphism.

By Theorem \[theorem deflt is smooth\] respectively Corollary \[corollary qfactorial terminal is locally trivial\], the spaces $\Def^\lt(X)$ and $\Def(Y)$ are smooth of dimension $h^{1,1}(X)$ and $h^{1,1}(Y)$, respectively. Moreover, by [@Nam06 Theorem 1], $\Def(X)$ is smooth and $p:\Def(Y)\to\Def(X)$ is finite, in particular surjective.

Now, $\Def(Y,N)\subset \Def(Y)$ is a smooth subvariety of codimension $m:=\dim N$ whose tangent space is identified with $H^{1,1}(X)$ under the period map, see Lemma \[lemma deformations line bundle\]. By Lemma \[lemma deformation symplectic\], the fibers of the universal deformations $\scrY \to \Def(Y)$ and $\scrX \to \Def^\lt(X)$ are primitive symplectic varieties. Therefore, [@BL16 Lemma 2.2] entails that the second cohomology of locally trivial deformations of $X$ form a vector bundle on $\Def^\lt(X)$, in particular, $h^{1,1}(\scrX_{p(t)})=h^{1,1}(X)$. Thus, by the decomposition $H^2(Y,\C)=N\oplus H^2(X,\C)$ from Lemma \[lemma symplektisch\] we see that the space $N_1(\scrY_t/\scrX_{p(t)})$ of curves contracted by $P_t:\scrY_t \to \scrX_t$ has dimension $m$ for all $t\in p^{-1}(\Def^\lt(X))$. As $N$ is the orthogonal complement of $H^2(X,\C)$, it also varies in a local system. Using the period map this shows that $p^{-1}(\Def^\lt(X)) = \Def(Y,N)$.

One shows as in [@LP16 Proposition 2.3 (ii)] that $p$ is an isomorphism, see also [@BL16 Proposition 4.4].

The proof of Theorem \[theorem qfactorial terminalization\] is obtained by combining Proposition \[prop defo\] with Corollary \[corollary density of projectives2\], Theorems \[theorem inseparable implies birational\] and \[theorem torelli\], and the existence of $\Q$-factorial terminalizations of projective varieties.

Let us consider the universal locally trivial deformation $\scrX\to\Def^\lt(X)$ and choose $t\in \Def^\lt(X)$ nearby such that $X_0:=\scrX_t$ is projective. Take a $\Q$-factorial terminalization $Y_0\to X_0$, denote $N$ the $q_{Y_0}$-orthogonal complement of $H^2(X_0,\Q)$ in $H^2(Y_0,\Q)$, and consider the universal deformation of the pair $$\xymatrix{
\scrY_0 \ar[r]\ar[d]& \ar[d]\scrX_0 \\
\Def(Y_0,N) \ar[r]^p& \Def^\lt(X_0)
}$$ By Proposition \[proposition deformation qfactorial\], we may assume that every fiber of $\scrY_0\to \Def(Y_0,N)$ is $\Q$-factorial and by local triviality and Lemma \[lemma basic symplectic\], every fiber has terminal singularities. In other words, for all $s \in \Def(Y_0,N)$ the morphism $(\scrY_0)_s \to (\scrX_0)_{p(s)}$ is a $\Q$-factorial terminalization.

If ${{\operatorname{rrk}}}(X) = 0$, then by Proposition \[proposition orbits\] and Theorem \[theorem torelli\] there is a point $t' \in \Def(X_0)$ such that the fiber $X':=(\scrX_0)_t$ is locally trivially deformation-equivalent to $X$, such that the periods of $X'$ and $X$ are isomorphic via a parallel transport operator, and $X$ and $X'$ are inseparable in moduli. By construction, $X'$ has a $\Q$-factorial terminalization, and by Theorem \[theorem inseparable implies birational\] $X'$ is bimeromorphic to $X$. If ${{\operatorname{rrk}}}(X)=1$, projective periods are still dense in the orbit closure of the period of $X$ by Theorem \[theorem projectivity criterion\], so the same argument can be applied by choosing the period of $X_0$ to be in the orbit closure of the period of $X$. Finally, varieties $X$ with ${{\operatorname{rrk}}}(X)=2$ are projective so there the result is known anyway by [@BCHM10 Corollary 1.4.3].

As an application, we can give examples of divisorially $\Q$-factorial but not $\Q$-factorial varieties.

\[example qfactoriality\] Consider a projective irreducible symplectic manifold $Y$ of dimenison $2n$ admitting a small contraction $\pi:Y \to X$ where $X$ is a projective primitive symplectic variety and the exceptional locus of $\pi$ is isomorphic to $\P^n$. As $\pi$ has connected fibers, $\P^n$ must be contracted to a point and thus $X$ has an isolated singularity. Such examples can be realized on the Hilbert scheme $Y=S^{[n]}$ of $n$ points on a K3 surface $S$ containing a smooth rational curve. As the contraction is small, the variety $X$ is not $\Q$-factorial. By [@BL16 Theorem 4.1, Proposition 4.4, and Proposition 5.7], this contraction deforms over a smooth hypersurface in $\Def^\lt(X)$.

We denote by $\ell \subset \P^n \subset Y$ a line and by $D$ the unique Cartier $\Q$-divisor on $Y$ with $q_Y(D,\cdot)= (\ell,\cdot)$ where the right–hand side denotes the pairing $N_1(Y)_\Q \tensor N^1(Y)_\Q \to \Q$. It follows that $D$ is $q$-orthogonal to the pull back of any ample divisor on $X$, hence $q_{Y}(D)=q_{Y}(\ell)<0$. Replacing $\pi:X\to Y$ by a small locally trivial deformation, we may assume:

1.  \[example qfactoriality item one\] The varieties $X$ and $Y$ are Kähler and non-algebraic such that the Picard group of $X$ is trivial and $\Pic(Y)$ has rank one.

2.  \[example qfactoriality item two\] The deformations of $\P^n$ remain exceptional and the contraction $\pi:Y\to X$ is small. Under the isomorphism $N_1(Y)_\Q \isom N^1(Y)_\Q$ induced by the Beauville–Bogomolov–Fujiki form on $Y$ a line $\ell$ in the exceptional $\P^n$ is identified with a generator $L$ of $N^1(Y)_\Q$ such that $L$ has negative Beauville–Bogomolov–Fujiki square.

3.  \[example qfactoriality item four\] There are no divisors on $Y$, in particular, $X$ is not $\Q$-factorial but divisorially $\Q$-factorial in the sense of Definition \[definition qfactorial\].

Claim follows directly from the local Torelli theorem, Corollary \[corollary local torelli\], and Proposition \[prop defo\]. The $\P^n$ deforms over the same hypersurface in the moduli space as the contraction does by [@Voi92 0.2 Corollaire]. By a rigidity argument, the deformed $\P^n$ still has to be exceptional for $\pi$. Moreover, as $X$ was obtained from a locally trivial deformation of a variety with an isolated singularity, $X$ has an isolated singularity, say at $p\in X$. On $X$ there is a cohomology class whose pullback to $Y$ is the class of the symplectic form $\sigma$ on $Y$ by Lemma \[lemma peternell\]. The exceptional locus $\Exz(\pi)$ fits into a diagram $$\xymatrix{
\Exz(\pi) \ar[r]\ar[d] & Y \ar[d]\\
\{p\} \ar[r]& X\\
}$$ By the commutativity of the square we see that the pullback of $[\sigma]\in H^2(Y,\C)$ to $\Exz(\pi)$ is zero, in particular, $\sigma\vert_{\Exz(\pi)^\reg}=0$. Consequently, $\dim \Exz(\pi)\leq n$ and $\pi$ is small. This shows .

In order to prove , suppose that $L^{\tensor n}$ were effective for some $0\neq n\in \Z$ and denote by $D$ the corresponding effective (prime) divisor. By we know that $q_X(D)<0$ so that by [@Bou04 Theorem 4.5], $D$ is exceptional in the sense of [@Bou04 Definition 3.10]. Consequently, by [@Bou04 Proposition 4.7], $D$ is uniruled. Any curve $C\subset Y$ coming from the ruling has to have the same class as $\ell$ up to a non-zero multiple by and is thus contracted under $\pi$. But then $\pi$ contracts $D$ and cannot be a small contraction. So $Y$ does not have any (prime) divisors and so does $X$. This completes the argument.

[^1]: They were called *irreducible symplectic* by Greb–Kebekus–Peternell [@GKP16 Definition 8.16], where *irreducible* refers to the decomposition theorem.

[^2]: There is a subtlety with the definition of $\Q$-factoriality in the analytic category: requiring every divisor to be $\Q$-Cartier is potentially different from requiring every rank one torsion-free sheaf to have an invertible reflexive power (see paragraph \[paragraph qfact\]).

[^3]: Except for the required results from [@KLSV18], which can be quoted without modification.

[^4]: The transcendental part is by definition the smallest rational sub Hodge structure of $H^2(Z',\Q)$ such that $T\tensor \C$ contains $H^{2,0}(Z')$.

[^5]: Note that zero-dimensional complex spaces are nothing else that zero-dimensional $\C$-schemes of finite type.

[^6]: That is, the same as the second proof in [@KLSV18 §5].

[^7]: This follows from $K_{\xxoverline{\mathscr{X}}}$ being $\xxoverline{f}$-nef and the general fiber $X_{\mathrm{gen}}$ having $K_{X_\mathrm{gen}}\equiv 0$. Indeed, $K_{\xxoverline{\mathscr{X}}}$ is $\xxoverline{f}$-numerically equivalent to an effective divisor supported on the special fiber, but if $X_0$ is a component with strictly maximal coefficient and $X_1$ is the sum of the other components of $X$, then $-X_0\sim_\Q X_1$ as above, so $-K_{\xxoverline{\mathscr{X}}}|_{X_1}$ is numerically equivalent to an effective divisor.

[^8]: In fact, only Hausdorffness on the source is used.

[^9]: Or [@KLSV18 Theorem 1.7] in the smooth case.

[^10]: This can be seen exactly as for algebraic varieties by applying e.g. [@Deb01 Lemma 1.15 (b)] to a resolution of indeterminacies.
