Birational geometry of moduli spaces of perverse coherent sheaves on blow-ups (Q2664685)

The concept of perverse coherent sheaves was first proposed by \textit{T. Bridgeland} [Invent. Math. 147, No. 3, 613--632 (2002; Zbl 1085.14017)] to study the derived equivalence of flops in threefolds. Since then, people used the perverse sheaf technique to prove many results in birational geometry. In this paper, Koseki considered the projective plane \(\mathbb{P}^2\) and its blowup at one point \(\hat{\mathbb{P}}^2\). In [Adv. Stud. Pure Math. 61, 349--386 (2011; Zbl 1247.14009); J. Algebr. Geom. 20, No. 1, 47--100 (2011; Zbl 1208.32013); Kyoto J. Math. 51, No. 2, 263--335 (2011; Zbl 1220.14012)], \textit{H. Nakajima} and \textit{K. Yoshioka} constructed a sequences of morphisms connecting the moduli space on \(\mathbb{P}^2\) and the moduli space on \(\hat{\mathbb{P}}^2\). The varieties linking them also have modular interpretations: they are moduli spaces of \(m\)-stable sheaves of some Chern characters. By using Grassmannian flip and Bott vanishing theorem, Koseki showed that this sequence realized the minimal model program of moduli space of framed torsion free sheaves \(\hat{\mathbb{P}}^2\). This sequence ends with the minimal model which is the moduli space of framed torion free sheaves on \(\mathbb{P}^2\). Moreover, this is a hyperKähler manifold. Koseki also checked that the D-equivalence and K-equivalence conjecture proposed in [\textit{A. Bondal} and \textit{D. Orlov}, ``Semiorthogonal decomposition for algebraic varieties'', Preprint, \url{arXiv:alg-geom/9506012}] and [\textit{Y. Kawamata}, J. Differ. Geom. 61, No. 1, 147--171 (2002; Zbl 1056.14021)] holds in this case. Similar result on a smooth projective surface and its blowup was also mentioned in this paper. Some explicit examples were also given at the end of the paper.