The Morrison-Kawamata cone conjecture for singular symplectic varieties (Q6610074)

In this interesting paper, the authors study the Morrison-Kawamata Cone Conjecture for singular symplectic varieties. Let us briefly recall this conjecture in the setting that suits to the scope of the paper. We recall that a \(K\)-trivial fiber space is a proper surjective morphism \(f: X \rightarrow S\) with connected fibers between normal varieties such that \(X\) has \(\mathbb{Q}\)-factorial and terminal singularities and \(K_{X}\) is zero in \(N^{1}(X/S)\).\N\NConjecture (Morrison-Kawamata). Let \(X \rightarrow S\) be a \(K\)-trivial fiber space.\N\N1) There exists a rational polyhedral cone \(\Pi\) which is a fundamental domain for the action of \(\mathrm{Aut}(X /S)\) on \(\mathrm{Nef}^{e}(X/S) :=\mathrm{Nef}(X /S) \cap \mathrm{Eff}(X /S)\) in the sens that\N\Na) \(\mathrm{Nef}^{e}(X /S) = \bigcup_{g \in\mathrm{Aut}(X/S)}g^{*}\Pi\),\N\Nb) \(\mathrm{int}(\Pi) \cap\mathrm{int}(g^{*}\Pi) = \emptyset\), unless \(g^{*} = \mathrm{id}\) in \(\mathrm{GL}(N^{1}(X / S))\).\N\N2) There exists a rational polyhedral cone \(\Pi'\) which is a fundamental domain in the sense above for the action of \(\mathrm{Bir}(X / S)\) on \(\overline{\mathrm{Mov}}^{e}(X / S) := \overline{\mathrm{Mov}}(X/S) \cap\mathrm{Eff}(X/S)\).\N\NNotice that the second item above is known as the Birational Cone Conjecture.\N\NThe main result of the paper under review verifies the conjecture for projective primitive symplectic varieties. Recall that a normal compact Kähler variety \(X\) is called primitive symplectic if it satisfies \(H^{1}(X, \mathcal{O}_{X})=0\) and \((H^{0}(X, (\Omega_{X}^{2})^{\vee \vee}) =)\) \(H^{0}(X^{reg}, \Omega_{X}^{2}) = \mathbb{C} \cdot \sigma\), where \((X, \sigma)\) is a symplectic variety.\N\NMain Result. Let \(X\) be a projective primitive symplectic variety with \(\mathbb{Q}\)-factorial terminal singularities and assume that \(b_{2}(X) \geq 5\).\N\N1) The Cone Conjecture (the first item in the Morrison-Kawamata conjecture), for the \(\mathrm{Aut}(X)\)-action on \(\mathrm{Nef}^{+}(X)\), holds for \(X\).\N\N2) The Birational Cone Conjecture, for the \(\mathrm{Bir}(X)\)-action on \(\overline{\mathrm{Mov}}^{+}(X)\), holds for \(X\).\N\NOne of the keys to prove the above theorem is the study of monodromy groups. One of the most important results established in the paper is the fact that the reflections in prime exceptional divisors are integral monodromy operators preserving the Hodge structure (see Theorem 1.6. therein for a concise summary of the obtained results devoted to the monodromies).