This note is an erratum to the paper Tautological classes on moduli spaces of hyper-Kahler manifolds. Thorsten Beckman and Mirko Mauri have pointed to us a gap in the proof of cite[Theorem 8.2.1]{Duke}. We do not know how to correct the proof. We can only recover a partial statement. This gap affects the proof of one of the two main results of cite{Duke}, we explain how to correct it.
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 method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological cohomology of the moduli spaces of curves. A study of minimal classes in low genus is presented in the Appendix by D. Petersen.
Building on an idea of Borcherds, Katzarkov, Pantev, and Shepherd-Barron (who treated the case $e=14$), we prove that the moduli space of polarized K3 surfaces of degree $2e$ contains complete curves for all $egeq 62$ and for some sporadic lower values of $e$ (starting at $14$). We also construct complete curves in the moduli spaces of polarized hyper-Kahler manifolds of $mathrm{K3}^{[n]}$-type or $mathrm{Kum}_n$-type for all $nge 1$ and polarizations of various degrees and divisibilities.
We investigate how the motive of hyper-Kahler varieties is controlled by weight-2 (or surface-like) motives via tensor operations. In the first part, we study the Voevodsky motive of singular moduli spaces of semistable sheaves on K3 and abelian surfaces as well as the Chow motive of their crepant resolutions, when they exist. We show that these motives are in the tensor subcategory generated by the motive of the surface, provided that a crepant resolution exists. This extends a recent result of Bulles to the OGrady-10 situation. In the non-commutative setting, similar results are proved for the Chow motive of moduli spaces of stable objects of the K3 category of a cubic fourfold. As a consequence, we provide abundant examples of hyper-Kahler varieties of OGrady-10 deformation type satisfying the standard conjectures. In the second part, we study the Andr{e} motive of projective hyper-Kahler varieties. We attach to any such variety its defect group, an algebraic group which acts on the cohomology and measures the difference between the full motive and its weight-2 part. When the second Betti number is not 3, we show that the defect group is a natural complement of the Mumford--Tate group inside the motivic Galois group, and that it is deformation invariant. We prove the triviality of this group for all known examples of projective hyper-Kahler varieties, so that in each case the full motive is controlled by its weight-2 part. As applications, we show that for any variety motivated by a product of known hyper-Kahler varieties, all Hodge and Tate classes are motivated, the motivated Mumford--Tate conjecture holds, and the Andre motive is abelian. This last point completes a recent work of Soldatenkov and provides a different proof for some of his results.
We characterise the actions, by holomorphic isometries on a Kahler manifold with zero first Betti number, of an abelian Lie group of dimgeq 2, for which the moment map is horizontally weakly conformal (with respect to some Euclidean structure on the Lie algebra of the group). Furthermore, we study the hyper-Kahler moment map $phi$ induced by an abelian Lie group T acting by triholomorphic isometries on a hyper-Kahler manifold M, with zero first Betti number, thus obtaining the following: If dim T=1 then $phi$ is a harmonic morphism. Moreover, we illustrate this on the tangent bundle of the complex projective space equipped with the Calabi hyper-Kahler structure, and we obtain an explicit global formula for the map. If dim Tgeq 2 and either $phi$ has critical points, or M is nonflat and dim M=4 dim T then $phi$ cannot be horizontally weakly conformal.