Rational curves on primitive symplectic varieties of \(\mathrm{OG}_6^s\)-type (Q6156085)

The varieties, called ``of \(\operatorname{OG}_6^s\) type'' studied here are singular moduli spaces of sheaves on an abelian surface with Mukai vector \(v=(2r,2l,2s)\) satisfying \(l^2-2rs=2\), and their deformations. These behave, despite the singularities, very like irreducible holomorphic symplectic (ihs) manifolds, and may be seen as generalisations of the ihs manifolds of type OG6. \par Many ihs manifolds, but so far not for OG6, are known to possess uniruled ample divisors, and thus in particular to contain many rational curves. The main result here is that this also holds for the singular varieties described above: more precisely, if \(h\) is any ample class on such a variety then \(mh\) is the first Chern class of a uniruled divisor, for some positive integer \(m\). \par The proof consists of a careful analysis of the ample classes, leading to a reduction to the main result of [\textit{C. Lehn} et al., Algebr. Geom. 10, No. 2, 199--227 (2023; Zbl 1517.14026)]: along the way, several useful facts are collected, such as the observation that a connected component of the moduli space of polarised varieties of \(\operatorname{OG}_6^s\) type is determined by the degree and divisibility of the polarisation. At the end of the paper the authors add some remarks about the smooth case, explaining in particular why their method does not work for OG6 ihs manifolds: essentially, in that case they cannot guarantee that the divisor that is constructed is irreducible.