Birational symplectic manifolds and their deformations (Q1383654): Difference between revisions

An irreducible symplectic manifold \(X\) is a simply connected compact Kähler manifold with a unique (up to scalars) holomorphic symplectic two-form. These manifolds have holonomy group \(Sp(n)\) and are higher-dimensional analogues of \(K3\) surfaces. Beauville's local Torelli theorem shows that there exists a (coarse) moduli space \(\mathcal M\) of marked irreducible symplectic manifolds and that the period map \(P\colon\mathcal M\rightarrow P(\Gamma\otimes{\mathbb{C}})\) is étale onto a hyperquadric in \(P(\Gamma\otimes{\mathbb{C}})\), where a marking consists of an isomorphism \(\sigma\) of \(H^2(X,\mathbb{Z})\) with a fixed lattice \(\Gamma\) compatible with the quadratic form defined in [\textit{A. Beauville}, J. Differ. Geom. 18, 755-782 (1983; Zbl 0537.53056)]. However, it is known that a global Torelli theorem does not hold: for any two birational irreducible symplectic manifolds \(X\) and \(X'\) it is possible to find markings \(\sigma\) and \(\sigma'\) such that \(P(X,\sigma)=P(X',\sigma')\), and birational \(X\) and \(X'\) need not be isomorphic. The paper under review deals with the following conjecture: the only failure of the injectivity of the period map \(P\) is due to the non-separatedness of \(\mathcal M\); more precisely, two irreducible symplectic manifolds \(X\) and \(X'\) are birational if and only if they correspond to non-separated points in the moduli space. The author proves that if \(X\) and \(X'\) are projective irreducible symplectic manifolds which are birational and isomorphic in codimension two, then the corresponding points in the moduli space of symplectic manifolds are non-separated. Furthermore, the conjecture is also proved when the assumptions on the codimension and the projectivity are dropped, but restricting to Mukai's elementary transformation.