Derived equivalence for the simple flop of type $G_2^{\dagger}$ via tilting bundles

Wahei Hara

arxiv: 2412.14314 · v3 · submitted 2024-12-18 · 🧮 math.AG · math.RA

Derived equivalence for the simple flop of type G₂^(dagger) via tilting bundles

Wahei Hara This is my paper

Pith reviewed 2026-05-23 07:09 UTC · model grok-4.3

classification 🧮 math.AG math.RA

keywords derived equivalencetilting bundlessimple flopG2 flopnoncommutative crepant resolutionbirational geometryalgebraic geometry

0 comments

The pith

Tilting bundles establish derived equivalence for the simple flop of type G₂† and produce a noncommutative crepant resolution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the two sides of a local model for the simple flop of type G₂† have equivalent derived categories of coherent sheaves. The proof constructs a tilting bundle on the resolved space whose endomorphism algebra is a noncommutative crepant resolution derived equivalent to both sides and to the singular space. A sympathetic reader would care because the result handles a flop arising from a non-homogeneous roof, extending the reach of tilting methods beyond homogeneous cases in three-dimensional birational geometry.

Core claim

The derived equivalence for the local model of the simple flop of type G₂† is proved by using tilting bundles, and this also produces a noncommutative crepant resolution of the singularity that is derived equivalent to both sides of the flop.

What carries the argument

Tilting bundles on the local model whose endomorphism algebra yields a noncommutative crepant resolution derived equivalent to the coherent sheaves on both sides of the flop.

If this is right

The derived categories of coherent sheaves on the two sides of the flop are equivalent.
A noncommutative crepant resolution of the singularity exists and is derived equivalent to both geometric sides.
The equivalence holds for this flop arising from a non-homogeneous roof.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The tilting-bundle method could be applied to other simple flops to test whether similar noncommutative crepant resolutions exist more generally.
Equal derived categories would force matching numerical invariants such as Grothendieck groups between the two sides.
The construction might suggest a way to produce noncommutative resolutions for other threefold singularities with similar roof structures.

Load-bearing premise

A tilting bundle exists on the local model of the flop whose endomorphism algebra produces both the noncommutative crepant resolution and the derived equivalence between the sides.

What would settle it

An explicit computation showing that the endomorphism algebra of the candidate tilting bundle has a derived category inequivalent to one of the geometric sides, or that the two sides differ in an invariant preserved by derived equivalence such as Hochschild homology, would disprove the claim.

read the original abstract

The aim of this article is to prove the derived equivalence for a local model of the simple flop of type $G_2^{\dagger}$, which was found by Kanemitsu. This flop is the only known simple flop that comes from a non-homogeneous roof. The proof of the derived equivalence is done by using tilting bundles, and also produces a noncommutative crepant resolution of the singularity that is derived equivalent to both sides of the flop.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives an explicit tilting bundle for the G2† flop local model that yields both the derived equivalence and an NCCR, following standard methods with no apparent gaps.

read the letter

This paper constructs a tilting bundle on the local model of Kanemitsu's G2† simple flop. It proves the derived equivalence between the two sides of the flop and produces a noncommutative crepant resolution of the singularity at the same time. The result is new in that this is the only known simple flop coming from a non-homogeneous roof, and the tilting approach had not been carried out for its local model before. The argument proceeds by defining the bundle explicitly, checking the tilting conditions through vanishing of higher Ext groups and generation of the derived category, and then computing the endomorphism algebra to establish both the equivalence and the NCCR property. This follows the pattern used in prior work on other flops without introducing fitted parameters or circular steps. The construction is direct and the steps are verifiable in principle, with appropriate citations to the relevant tilting theory and the original description of the flop. No load-bearing inconsistencies show up in the logic. A minor limitation is that the verification is case-specific and computational, so a reader will want to inspect the bundle ranks and relations in detail, but this is typical for such papers rather than a flaw. The paper stays focused and does not overclaim generality. This work is for specialists in birational geometry and noncommutative resolutions who track derived equivalences for threefolds. A reader already following simple flops and NCCRs will find the new concrete case useful. It deserves peer review because the claim is concrete, the method is reproducible, and the result adds a missing case in the literature.

Referee Report

0 major / 3 minor

Summary. The paper proves a derived equivalence for a local model of the simple flop of type G₂† (found by Kanemitsu) by explicit construction of a tilting bundle on one side. The same bundle yields an endomorphism algebra that is a noncommutative crepant resolution (NCCR) of the singularity, derived equivalent to both sides of the flop via standard tilting theory.

Significance. The result supplies the first derived equivalence for a simple flop arising from a non-homogeneous roof. The explicit tilting bundle and NCCR construction follow established methods in the literature on flops and NCCRs, providing a concrete example that may serve as a template for similar non-homogeneous cases.

minor comments (3)

The introduction should include a brief comparison table or diagram contrasting the G₂† flop with previously treated homogeneous-roof cases (e.g., those of type A or D) to clarify the novelty of the non-homogeneous setting.
Notation for the local model (e.g., the ambient space X and the exceptional locus) is introduced in §2 but used without redefinition in later sections; a short notation table would improve readability.
The verification that the constructed bundle generates the derived category (one of the two tilting conditions) is stated in Theorem 4.3; the argument relies on a spectral-sequence argument whose convergence is asserted but not spelled out in detail.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes the derived equivalence for the G₂† flop local model through explicit construction of a tilting bundle on the resolution side, verification of the tilting property via vanishing of higher Ext groups and generation of the derived category, and direct computation of the endomorphism algebra to obtain the NCCR. These steps rely on standard tilting theory and explicit algebraic geometry computations rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The central claim is a direct proof by construction and does not reduce to its own inputs by the paper's equations or citations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the existence and properties of tilting bundles for this geometric model together with standard facts about derived categories of coherent sheaves and crepant resolutions; no free parameters or invented entities are mentioned.

axioms (2)

standard math Tilting bundles generate the derived category and induce equivalences when their endomorphism algebras satisfy appropriate conditions.
Invoked implicitly as the method to prove the equivalence (abstract).
domain assumption Noncommutative crepant resolutions are derived equivalent to the geometric resolutions they resolve.
Used to conclude the NCCR is equivalent to both sides.

pith-pipeline@v0.9.0 · 5592 in / 1436 out tokens · 52291 ms · 2026-05-23T07:09:31.597524+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Alexey Bondal and Dmitri Orlov, Semiorthogonal decomposition for algebraic varieties, arXiv preprint arXiv:9506012v1 (1995)

work page 1995
[2]

II (Beijing, 2002), Higher Ed

, Derived categories of coherent sheaves , Proceedings of the International Congress of Mathe- maticians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 2002, pp. 47–56

work page 2002
[3]

Chidambaram and David Favero, Windows for cdgas , Adv

Nitin K. Chidambaram and David Favero, Windows for cdgas , Adv. Math. 379 (2021), Paper No. 107553, 43

work page 2021
[4]

129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

work page 1991
[5]

Sam, Combinatorial constructions of derived equivalences , J

Daniel Halpern-Leistner and Steven V. Sam, Combinatorial constructions of derived equivalences , J. Amer. Math. Soc. 33 (2020), no. 3, 735–773

work page 2020
[6]

Wahei Hara, Non-commutative crepant resolution of minimal nilpotent orbit closures of type A and Mukai flops, Adv. Math. 318 (2017), 355–410

work page 2017
[7]

Methods Appl

, On the Abuaf-Ueda flop via non-commutative crepant resolutions , SIGMA Symmetry Integra- bility Geom. Methods Appl. 17 (2021), Paper No. 044, 22

work page 2021
[8]

2, 329–371

, On derived equivalence for Abuaf flop: mutation of non-commutative crepant resolutions and spherical twists, Matematiche (Catania) 77 (2022), no. 2, 329–371

work page 2022
[9]

Akihiro Kanemitsu, Mukai pairs and simple K-equivalence, Math. Z. 302 (2022), no. 4, 2037–2057

work page 2022
[10]

M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces , Invent. Math. 92 (1988), no. 3, 479–508

work page 1988
[11]

Micha l Kapustka and Marco Rampazzo,Mukai duality via roofs of projective bundles, Bull. Lond. Math. Soc. 54 (2022), no. 2, 694–717

work page 2022
[12]

Differential Geom

Yujiro Kawamata, D-equivalence and K-equivalence, J. Differential Geom. 61 (2002), no. 1, 147–171

work page 2002
[13]

Represent

Hayato Morimura, Derived equivalences for the flops of type C2 and AG 4 via mutation of semiorthogonal decomposition, Algebr. Represent. Theory 25 (2022), no. 3, 581–594

work page 2022
[14]

Reine Angew

Yoshinori Namikawa, Mukai flops and derived categories , J. Reine Angew. Math. 560 (2003), 65–76. D-EQUIVALENCE FOR THE SIMPLE FLOP OF TYPE G† 2 11

work page 2003
[15]

Giorgio Ottaviani, Spinor bundles on quadrics , Trans. Amer. Math. Soc. 307 (1988), no. 1, 301–316

work page 1988
[16]

, On Cayley bundles on the five-dimensional quadric , Boll. Un. Mat. Ital. A (7) 4 (1990), no. 1, 87–100

work page 1990
[17]

Marco Rampazzo and Ying Xie, Derived equivalence for the simple flop of type D5, arXiv preprint arXiv:2410.20446 (2024)

work page arXiv 2024
[18]

Ed Segal, A new 5-fold flop and derived equivalence , Bull. Lond. Math. Soc. 48 (2016), no. 3, 533–538

work page 2016
[19]

Yukinobu Toda and Hokuto Uehara, Tilting generators via ample line bundles , Adv. Math. 223 (2010), no. 1, 1–29

work page 2010
[20]

159 (2019), no

Kazushi Ueda, G2-Grassmannians and derived equivalences , Manuscripta Math. 159 (2019), no. 3-4, 549–559

work page 2019
[21]

Michel Van den Bergh, Non-commutative crepant resolutions, The legacy of Niels Henrik Abel, Springer, Berlin, 2004, pp. 749–770

work page 2004
[22]

, Noncommutative crepant resolutions, an overview , ICM—International Congress of Mathe- maticians. Vol. 2. Plenary lectures, EMS Press, Berlin, [2023] ©2023, pp. 1354–1391

work page 2023
[23]

Michael Wemyss, Flops and clusters in the homological minimal model programme , Invent. Math. 211 (2018), no. 2, 435–521

work page 2018
[24]

149, Cambridge University Press, Cambridge, 2003

Jerzy Weyman, Cohomology of vector bundles and syzygies , Cambridge Tracts in Mathematics, vol. 149, Cambridge University Press, Cambridge, 2003

work page 2003
[25]

(W.Hara) Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, 277-8583, Japan

Ying Xie, Derived equivalence of generalized grassmannian flops: D4 and G† 2 cases, arXiv preprint arXiv:2412.17130 (2024). (W.Hara) Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, 277-8583, Japan. Email address: wahei.hara@ipmu.jp

work page arXiv 2024

[1] [1]

Alexey Bondal and Dmitri Orlov, Semiorthogonal decomposition for algebraic varieties, arXiv preprint arXiv:9506012v1 (1995)

work page 1995

[2] [2]

II (Beijing, 2002), Higher Ed

, Derived categories of coherent sheaves , Proceedings of the International Congress of Mathe- maticians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 2002, pp. 47–56

work page 2002

[3] [3]

Chidambaram and David Favero, Windows for cdgas , Adv

Nitin K. Chidambaram and David Favero, Windows for cdgas , Adv. Math. 379 (2021), Paper No. 107553, 43

work page 2021

[4] [4]

129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

work page 1991

[5] [5]

Sam, Combinatorial constructions of derived equivalences , J

Daniel Halpern-Leistner and Steven V. Sam, Combinatorial constructions of derived equivalences , J. Amer. Math. Soc. 33 (2020), no. 3, 735–773

work page 2020

[6] [6]

Wahei Hara, Non-commutative crepant resolution of minimal nilpotent orbit closures of type A and Mukai flops, Adv. Math. 318 (2017), 355–410

work page 2017

[7] [7]

Methods Appl

, On the Abuaf-Ueda flop via non-commutative crepant resolutions , SIGMA Symmetry Integra- bility Geom. Methods Appl. 17 (2021), Paper No. 044, 22

work page 2021

[8] [8]

2, 329–371

, On derived equivalence for Abuaf flop: mutation of non-commutative crepant resolutions and spherical twists, Matematiche (Catania) 77 (2022), no. 2, 329–371

work page 2022

[9] [9]

Akihiro Kanemitsu, Mukai pairs and simple K-equivalence, Math. Z. 302 (2022), no. 4, 2037–2057

work page 2022

[10] [10]

M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces , Invent. Math. 92 (1988), no. 3, 479–508

work page 1988

[11] [11]

Micha l Kapustka and Marco Rampazzo,Mukai duality via roofs of projective bundles, Bull. Lond. Math. Soc. 54 (2022), no. 2, 694–717

work page 2022

[12] [12]

Differential Geom

Yujiro Kawamata, D-equivalence and K-equivalence, J. Differential Geom. 61 (2002), no. 1, 147–171

work page 2002

[13] [13]

Represent

Hayato Morimura, Derived equivalences for the flops of type C2 and AG 4 via mutation of semiorthogonal decomposition, Algebr. Represent. Theory 25 (2022), no. 3, 581–594

work page 2022

[14] [14]

Reine Angew

Yoshinori Namikawa, Mukai flops and derived categories , J. Reine Angew. Math. 560 (2003), 65–76. D-EQUIVALENCE FOR THE SIMPLE FLOP OF TYPE G† 2 11

work page 2003

[15] [15]

Giorgio Ottaviani, Spinor bundles on quadrics , Trans. Amer. Math. Soc. 307 (1988), no. 1, 301–316

work page 1988

[16] [16]

, On Cayley bundles on the five-dimensional quadric , Boll. Un. Mat. Ital. A (7) 4 (1990), no. 1, 87–100

work page 1990

[17] [17]

Marco Rampazzo and Ying Xie, Derived equivalence for the simple flop of type D5, arXiv preprint arXiv:2410.20446 (2024)

work page arXiv 2024

[18] [18]

Ed Segal, A new 5-fold flop and derived equivalence , Bull. Lond. Math. Soc. 48 (2016), no. 3, 533–538

work page 2016

[19] [19]

Yukinobu Toda and Hokuto Uehara, Tilting generators via ample line bundles , Adv. Math. 223 (2010), no. 1, 1–29

work page 2010

[20] [20]

159 (2019), no

Kazushi Ueda, G2-Grassmannians and derived equivalences , Manuscripta Math. 159 (2019), no. 3-4, 549–559

work page 2019

[21] [21]

Michel Van den Bergh, Non-commutative crepant resolutions, The legacy of Niels Henrik Abel, Springer, Berlin, 2004, pp. 749–770

work page 2004

[22] [22]

, Noncommutative crepant resolutions, an overview , ICM—International Congress of Mathe- maticians. Vol. 2. Plenary lectures, EMS Press, Berlin, [2023] ©2023, pp. 1354–1391

work page 2023

[23] [23]

Michael Wemyss, Flops and clusters in the homological minimal model programme , Invent. Math. 211 (2018), no. 2, 435–521

work page 2018

[24] [24]

149, Cambridge University Press, Cambridge, 2003

Jerzy Weyman, Cohomology of vector bundles and syzygies , Cambridge Tracts in Mathematics, vol. 149, Cambridge University Press, Cambridge, 2003

work page 2003

[25] [25]

(W.Hara) Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, 277-8583, Japan

Ying Xie, Derived equivalence of generalized grassmannian flops: D4 and G† 2 cases, arXiv preprint arXiv:2412.17130 (2024). (W.Hara) Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, 277-8583, Japan. Email address: wahei.hara@ipmu.jp

work page arXiv 2024