Birational geometry of singular moduli spaces of O'Grady type (Q277993)

This paper studies the birational geometry of singular moduli spaces of O'Grady type on \(K3\) surfaces using and refining the Bayer-Macri map from the space of Bridgeland stability conditions to the Neron-Severi group of a generic moduli space. The moduli space of O'Grady space means the moduli space of semistable coherent sheaves with Mukai vector \(v=2 v_p\) whose the primitive part \(v_p\) has the length square root of two. Thus it is 10 dimensional, and moreover it has symplectic singularities and admits a symplectic resolution. The main result of this paper is the construction of globally defined Bayer-Macri map \(\mathrm{Stab}^{\dagger}(X) \to \mathop{\mathrm{NS}}(M_{\sigma}(v))\) where \(\sigma\) is any generic Bridgeland stability condition, Since the moduli space \(M_{\sigma}(v)\) is a \(K\)-trivial \(\mathbb{Q}\)-factorial variety with canonical singularities and the log minimal model program can be applied, one sees that every \(K\)-trivial birational model of \(M_{\sigma}(v)\) is realized as a Bridgeland moduli space \(M_{\tau}(v)\) for some generic stability condition \(\tau\). A key ingredient in the construction is the description of the Mukai morphism \(v^{\perp} \to\mathrm{NS}(M_{\sigma(v)})\), which is a cohomological version of the Bayer-Macri map, in the singular setting. \S3 is devoted to the achievement of this description. The main result is proved in \S7 after the review of Bayer-Macri map in \S4 and the classification of potential walls in the space of Bridgeland stability conditions in \S5 and \S6. \S8 gives explicit examples of cones of divisors of the moduli spaces considered. This paper is very well organized and has good presentation. The reviewer recommends it basically for everyone interested in the birational geometry of moduli spaces of sheaves, but it is preferable to have basic knowledge (given in \S1.1) and some experience of handling moduli spaces of sheaves on \(K3\) surfaces.