Abstract We give a general formula for generators of the NL cone on an orthogonal modular variety. This is the cone of effective divisors linearly equivalent to an effective linear combination of irreducible components of Noether–Lefschetz divisors. We apply this to describe, in terms of minimal generators, the NL cone of various moduli spaces of geometric origin such as those of polarized K3 surfaces, cubic fourfolds, and hyperkähler manifolds. Additionally, we establish uniruledness for many moduli spaces of primitively polarized hyperkähler manifolds of OG6 OG6 and Kumₙ Kum n -type. Finally, in analogy with the case of K3 surfaces of degree 2, we show that any family of polarized Kum₂ Kum 2 -type hyperkähler manifolds with divisibility 2 and polarization degree 2 over a projective base is isotrivial.
Barros et al. (Sun,) studied this question.