A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hyperkähler manifold , showing that it is commensurable to an arithmetic lattice in . A Teichmüller space of is a space of complex structures on up to isotopies. We define a birational Teichmüller space by identifying certain points corresponding to bimeromorphically equivalent manifolds. We show that the period map gives the isomorphism between connected components of the birational Teichmüller space and the corresponding period space . We use 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 is a Hilbert scheme of points on a K3 surface, with a prime power, our Torelli theorem implies the usual Hodge-theoretic birational Torelli theorem (for other examples of hyperkähler manifolds, the Hodge-theoretic Torelli theorem is known to be false).
"Mapping class group and a global Torelli theorem for hyperkähler manifolds." Duke Math. J. 162 (15) 2929 - 2986, 1 December 2013. https://doi.org/10.1215/00127094-2382680