No Arabic abstract
This paper is a survey of finiteness results in hyperkahler geometry. We review some classical theorems by Sullivan, Kollar-Matsusaka, Huybrechts, as well as theorems in the recent literature by Charles, Sawon, and joint results of the author with Verbitsky. We also strengthen a finiteness theorem of the author. These are extended notes of the authors talk during the closing conference of the Simons Semester in the Banach Center in Bc{e}dlewo, Poland.
The aim of these notes is to acquaint the reader with important objects in complex algebraic geometry: K3 surfaces and their higher-dimensional analogs, hyperkahler manifolds. These manifolds are interesting from several points of view: dynamical (some have interesting automorphism groups), arithmetical (although we will not say anything on this aspect of the theory), and geometric. It is also one of those rare cases where the Torelli theorem allows for a powerful link between the geometry of these manifolds and lattice theory. We do not prove all the results that we state. Our aim is more to provide, for specific families of hyperkahler manifolds (which are projective deformations of punctual Hilbert schemes of K3 surfaces), a panorama of results about projective embeddings, automorphisms, moduli spaces, period maps and domains, rather than a complete reference guide. These results are mostly not new, except perhaps those of Appendix B (written with E. Macr`i), where we give an explicit description of the image of the period map for these polarized manifolds.
In this paper, we discuss the cycle theory on moduli spaces $cF_h$ of $h$-polarized hyperkahler manifolds. Firstly, we construct the tautological ring on $cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological conjecture on moduli spaces of K3 surfaces. We study the tautological classes in cohomology groups and prove that most of them are linear combinations of Noether-Lefschetz cycle classes. In particular, we prove the cohomological version of the tautological conjecture on moduli space of K3$^{[n]}$-type hyperkahler manifolds with $nleq 2$. Secondly, we prove the cohomological generalized Franchetta conjecture on universal family of these hyperkahler manifolds.
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of Mapping class group and a global Torelli theorem for hyperkahler manifolds I made an error based on a wrong quotation of Dennis Sullivans famous paper Infinitesimal computations in topology. I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this statement. Here I correct this error and other related errors, observing that the results of Mapping class group and a global Torelli theorem remain true after an appropriate change of terminology.
On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends our previous results in which the symplectic manifold was compact. The main tool is a finiteness theorem for R-constructible sheaves on a real analytic manifold in a non proper situation.
An MBM class on a hyperkahler manifold M is a second cohomology class such that its orthogonal complement in H^2(M) contains a maximal dimensional face of the boundary of the Kahler cone for some hyperkahler deformation of M. An MBM curve is a rational curve in an MBM class and such that its local deformation space has minimal possible dimension 2n-2, where 2n is the complex dimension of M. We study the MBM loci, defined as the subvarieties covered by deformations of an MBM curve within M. When M is projective, MBM loci are centers of birational contractions. For each MBM class z, we consider the Teichmuller space $Teich^{min}_z$ of all deformations of M such that $z^{bot}$ contains a face of the Kahler cone. We prove that for all $I,Jin Teich^{min}_z$, the MBM loci of (M, I) and (M,J) are homeomorphic under a homeomorphism preserving the MBM curves, unless possibly the Picard number of I or J is maximal.