Mapping class group and a global Torelli theorem for hyperkähler manifolds (Q394822)

The mapping class group of an oriented manifold is the quotient of its diffeomorphism group by the isotopies. The author computes the mapping class group of a hyper-Kähler manifold \(M\), showing that it is commensurable to an arithmetic lattice in SO\((3,b_2-3)\). The Teichmüller space of \(M\) is the space of complex structures on \(M\) up to isotopies. The author defines a ``birational Teichmüller space'' by identifying certain points corresponding to bimeromorphically equivalent manifolds. Furthermore, it is shown that the period map gives the isomorphism between connected components of the birational Teichmüller space and the corresponding period space in SO\((b_2-3,3)/\)SO(2)\(\times\)SO\((b_2-3,1)\). The author uses this result to obtain a Torelli theorem identifying each connected component of the birational moduli space with a quotient of a period space by an arithmetic group. When \(M\) is a Hilbert scheme of \(n\) points on a \(K3\) surface, where \(n-1\) is a prime power, the Torelli theorem implies the usual Hodge-theoretic birational Torelli theorem (for other examples of hyper-Kähler manifolds, the Hodge-theoretic Torelli theorem is known to be false).