The Morrison–Kawamata cone conjecture for singular symplectic varieties

We prove the Morrison-Kawamata cone conjecture for projective primitive symplectic varieties with Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb Q}$$\end{document}-factorial and terminal singularities with b2 >= 5\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$b_2\ge 5$$\end{document}, from which we derive for instance the finiteness of minimal models of such varieties, up to isomorphisms. To prove the conjecture we establish along the way some results on the monodromy group which may be interesting in their own right, such as the fact that reflections in prime exceptional divisors are integral Hodge monodromy operators which, together with monodromy operators provided by birational transformations, yield a semidirect product decomposition of the monodromy group of Hodge isometries.