Teichmuller spaces, ergodic theory and global Torelli theorem
Let S be an infinite-dimensional manifold of all symplectic, or hyperkähler, structures on a compact manifold M, and Diff0 the connected component of its diffeomorphism group. The quotient S/Diff0 is called the Teichmüller space of symplectic (or hyperkähler) structures on M. MBM classes on a hyperkähler manifold M are cohomology classes which can be represented by a minimal rational curve on a deformation of M. We determine the Teichmüller space of hyperkähler structures on a hyperkähler manifold, identifying any of its connected components with an open subset of the Grassmannian variety SO(b2-3, 3)/SO(3)×SO(b2-3) consisting of all Beauville-Bogomolov positive 3-planes in H2(M,R) which are not orthogonal to any of the MBM classes. This is used to determine the Teichmüller space of symplectic structures of Kähler type on a hyperkähler manifold of maximal holonomy. We show that any connected component of this space is naturally identified with the space of cohomology classes v∈H2(M,R) with q(v,v)>0, where q is the Bogomolov-Beauville-Fujiki form on H2(M,R). © 2015 Elsevier B.V.