Hyperbolic geometry of the ample cone of a hyperkähler manifold (Q530407)

Let \(M\) be a hyper-Kähler manifold with Picard rank \(\rho \geq 5\). The authors prove that \(M\) has a birational model admitting an integral nef \((1,1)\)-class \(\eta\) with Beauville-Bogomolov-Fujiki form \(q(\eta)=0\). This was already done by \textit{D. Matsushita} and \textit{D.-Q. Zhang} [Math. Res. Lett. 20, No. 5, 951--959 (2013; Zbl 1304.14021)] using the minimal model program. The advantage of the author's techniques is the geometric interpretation in terms of hyperbolic geometry. The authors also prove that each birational model of \(M\) contains at most finitely many nef isotropic classes up to automorphisms. The proof of the main theorem relies on a geometric interpretation of the Morrison-Kawamata cone conjecture. As an application they obtain that a hyper-Kähler manifold has only finitely many birational models up to an isomorphism, which was also established by \textit{E. Markman} and \textit{K. Yoshioka} [Int. Math. Res. Not. 2015, No. 24, 13563--13574 (2015; Zbl 1353.14049)].