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

DOI10.1007/S00209-021-02774-YMaRDI QIDQ2664685zbMATH OpenOpenAlexFDO

Authors Naoki Koseki

Publication date 17 November 2021

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1907.08885

zbMATH Keywords

minimal model programmoduli space of sheavesperverse coherent sheaves

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Minimal model program (Mori theory, extremal rays) (14E30) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

Abstract: In order to study wall crossing formula of Donaldson type invariants on the blown-up plane, Nakajima-Yoshioka constructed a sequence of blow-up/blow-down diagrams connecting the moduli space of torsion free framed sheaves on projective plane, and that on its blow-up. In this paper, we prove that Nakajima-Yoshioka's diagram realizes the minimal model program. Furthermore, we obtain a fully-faithful embedding between the derived categories of these moduli spaces.

Review text

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.

Recommendations

• Perverse Coherent Sheaves on Blow-ups at Codimension 2 Loci
• Perverse coherent sheaves on blow-up. I. A quiver description
• Perverse coherent sheaves on blow-up. II. Wall-crossing and Betti numbers formula
• Flops and derived categories.
• Perverse coherent sheaves on blowup. III: Blow-up formula from wall-crossing

Cites work

• \(D\)-equivalence and \(K\)-equivalence
• A view on contractions of higher dimensional varieties
• Derived categories of Thaddeus pair moduli spaces via \(\mathrm{d}\)-critical flips
• Flips of moduli spaces and transition formulas for Donaldson polynomial invariants of rational surfaces
• Flops and derived categories.
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 1375597 (Why is no real title available?)
• scientific article; zbMATH DE number 1206984 (Why is no real title available?)
• scientific article; zbMATH DE number 1983902 (Why is no real title available?)
• scientific article; zbMATH DE number 5028970 (Why is no real title available?)
• Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras
• Lectures on Nakajima's quiver varieties.
• Moduli of framed sheaves on projective surfaces
• Non-commutative desingularization of determinantal varieties. II: Arbitrary minors
• On adjunctions for Fourier-Mukai transforms
• Perverse coherent sheaves on blow-up. I. A quiver description
• Perverse coherent sheaves on blow-up. II. Wall-crossing and Betti numbers formula
• Perverse Coherent Sheaves on Blow-ups at Codimension 2 Loci
• Perverse coherent sheaves on blowup. III: Blow-up formula from wall-crossing
• Semiorthogonal decompositions of stable pair moduli spaces via d-critical flips
• Variation of moduli spaces and Donaldson invariants under change of polarization
• Wall crossing for derived categories of moduli spaces of sheaves on rational surfaces
• Window shifts, flop equivalences and Grassmannian twists

Cited in

(8)

• Permutohedral spaces and the Cox ring of the moduli space of stable pointed rational curves
• Perverse schobers and birational geometry
• Perverse coherent sheaves on blow-up. II. Wall-crossing and Betti numbers formula
• Perverse coherent sheaves on blow-up. I. A quiver description
• The birational geometry of moduli spaces of sheaves on the projective plane
• Perverse Coherent Sheaves on Blow-ups at Codimension 2 Loci
• Wall crossing for derived categories of moduli spaces of sheaves on rational surfaces
• Perverse coherent sheaves on blowup. III: Blow-up formula from wall-crossing

This page was built for publication: Birational geometry of moduli spaces of perverse coherent sheaves on blow-ups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664685)