Finiteness results for compact hyperkähler manifolds (Q4415684)

Compact 4-dimensional Riemannian manifolds with holonomy \(Sp(n)\) are called compact hyper-Kähler manifolds. In 1977 Dennis Sullivan showed that the diffeomorphism type of such manifolds was determined up to finite ambiguity by its integral cohomology ring and its Pontrjagin classes [\textit{D. Sullivan}, Infinitesimal computations in topology. Publ. Math., Inst. Hautes Étud. Sci. 47, 269--331 (1977; Zbl 0374.57002)]. The main purpose of this paper is to show that ``... much less of the topology needs to be fixed in order to determine the diffeomorphism type of a compact hyper-Kähler manifolds''. The main results are: Theorem: If the second integral cohomology \(H^ 2\) and the homogeneous polynomial of degree \(2n -2\) defined by the first Pontrjagin class are given, then there exist at most finitely many diffeomorphism types of compact hyper-Kähler manifolds of dimensions \(4n\) realizing this structure. Theorem: Let \(M\) be a fixed compact manifold. Then there exist at most finitely many different deformation types of irreducible holomorphic symplectic complex structures on \(M\). The author has also written a very good introduction to the subject: [Compact hyper-Kähler manifolds. Gross, Mark (ed.) et al., Calabi-Yau manifolds and related geometries. Lectures at a summer school in Nordfjordeid, Norway, June 2001. Berlin: Springer. Universitext. 161--236 (2003; Zbl 1016.53038)]. For special hyper-Kähler manifolds, see: \textit{F. Campana}, \textit{T. Peternell} and \textit{Qi Zhang}, Proc. Am. Math. Soc. 131, No. 2, 549--553 (2003; Zbl 1017.32018); \textit{S. Kolodziej}, Indiana Univ. Math. J. 52, No. 3, 667--686 (2003; Zbl 1039.32050); \textit{Z. Blocki}, Regularity of the degenerate Monge-Ampère equation on compact Kähler manifolds, Math. Z. 244, No. 1, 153--161 (2003; Zbl 1076.32036).