Bayer-Macrì decomposition on Bridgeland moduli spaces over surfaces (Q1797229)

Let $S$ be a smooth projective surface over $\mathbb{C}$, and consider a chamber $C$ of the space of Bridgeland stability conditions of $D^b(S)$ with respect to a given Chern character $\mathrm{ch}$. For each $\sigma \in C$ we have the moduli space $M_{\sigma}(\mathrm{ch})$ of Bridgeland stable objects. It is constant on $C$ and so written as $M_C(\mathrm{ch})$ [\textit{T. Bridgeland}, Duke Math. J. 141, No. 2, 241--291 (2008; Zbl 1138.14022)]. \par Assuming the existence of a universal family $\mathcal{E}$ on $M_{\sigma}(\mathrm{ch})$, we have the Bayer-Macrì nef line bundle $\ell_{\sigma, \mathcal{E}}$ on the moduli space [\textit{A. Bayer} and \textit{E. Macrì}, J. Am. Math. Soc. 27, No. 3, 707--752 (2014; Zbl 1314.14020)]. The corresponding map $\ell:\overline{C} \to N^1(M_C(\mathrm{ch}))$ is called the local Bayer-Macrì map. In the case $S$ is a $K3$ surface and $\mathrm{ch}$ is primitive, these local maps glue to a global Bayer-Macrì map $\ell: \mathrm{Stab}^{\dagger}(S) \to N^1(M_C(\mathrm{ch}))$ [\textit{A. Bayer} and \textit{E. Macrì}, Invent. Math. 198, No. 3, 505--590 (2014; Zbl 1308.14011)]. \par This paper introduces a decomposition of $\ell_{\sigma,\mathcal{E}} \in N^1(M_C(\mathrm{ch}))$. In the case the object of given $\mathrm{ch}$ is supported in dimension 2, this decomposition agrees with the one in [\textit{B. Bolognese} et al., Algebra Number Theory 10, No. 4, 907--930 (2016; Zbl 1346.14011)]. The main theorem is that if a global Bayer-Macrì map exists then one has a correspondence between Bridgeland walls and Mori walls, the latter of which means the ones appearing in the stable base locus decomposition of the pseudo-effective cone.