Recognition: 2 theorem links
· Lean TheoremGeometric helices on del Pezzo surfaces from tilting
Pith reviewed 2026-05-15 00:37 UTC · model grok-4.3
The pith
All geometric helices on del Pezzo surfaces connect through rotations, shifts, reorderings, tensorings by line bundles, and tilts.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that all geometric helices in the derived category of coherent sheaves on a del Pezzo surface are related by a sequence of elementary operations: rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting. As a consequence, any two non-commutative crepant resolutions of the affine cone over a del Pezzo surface are related by mutations. The proof relies on a geometric interpretation of tilting operations as cluster transformations acting on toric models of a log Calabi-Yau surface mirror to the del Pezzo surface.
What carries the argument
Tilting operations interpreted as cluster transformations on toric models of the mirror log Calabi-Yau surface, which generates the elementary moves connecting the helices.
If this is right
- The collection of all geometric helices on a given del Pezzo surface forms a single connected component under the listed operations.
- Any two non-commutative crepant resolutions of the affine cone are related by a sequence of mutations.
- The structure of the derived category of coherent sheaves is organized by these elementary moves applied to helices.
Where Pith is reading between the lines
- The result supplies an explicit way to move between different resolutions by tracking the corresponding toric models.
- It raises the question whether similar connectedness holds for helices on other classes of surfaces that admit mirrors with toric models.
- The cluster-algebra side may yield computable invariants that label distinct helices up to the elementary operations.
Load-bearing premise
That tilting operations on the helices correspond exactly to cluster transformations in the toric models of the mirror surface.
What would settle it
Discovery of two geometric helices on some del Pezzo surface that cannot be transformed into each other by any combination of rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting.
Figures
read the original abstract
We prove that all geometric helices in the derived category of coherent sheaves on a del Pezzo surface are related by a sequence of elementary operations: rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting. As a consequence, any two non-commutative crepant resolutions of the affine cone over a del Pezzo surface are related by mutations. The proof relies on a geometric interpretation of tilting operations as cluster transformations acting on toric models of a log Calabi--Yau surface mirror to the del Pezzo surface.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that all geometric helices in the derived category of coherent sheaves on a del Pezzo surface are related by a sequence of elementary operations: rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting. The argument proceeds via a geometric interpretation of tilting as cluster transformations on toric models of the mirror log Calabi-Yau surface, and deduces that any two non-commutative crepant resolutions of the affine cone over the del Pezzo surface are related by mutations.
Significance. If the central correspondence holds, the result supplies a connectivity statement for geometric helices that unifies several operations in derived categories of del Pezzo surfaces and links them to cluster-algebraic mutations via mirror symmetry. The explicit reduction of tilting to toric cluster transformations is a concrete strength, as is the direct consequence for NCCRs; both are falsifiable once the mirror models are fixed.
major comments (2)
- §4.2, paragraph following Definition 4.3: the claim that every tilting operation corresponds to a cluster transformation on the toric model is asserted after invoking the mirror equivalence, but the explicit bijection between exceptional objects and rays (or clusters) is not verified for the degree-5 and degree-6 del Pezzo cases; a short table or diagram showing the correspondence for these surfaces would make the reduction load-bearing rather than schematic.
- Theorem 5.1: the induction on the number of mutations assumes that orthogonal reordering and tensoring by line bundles preserve the geometric-helix property without introducing new exceptional objects outside the helix; this step is used to close the generation argument, yet the proof sketch does not cite a prior result guaranteeing that these operations stay inside the set of geometric helices.
minor comments (3)
- Notation: the symbol E_p for the exceptional collection is introduced in §2 but reused for the helix in §3 without a clarifying sentence; a single sentence distinguishing the two uses would remove ambiguity.
- Figure 2: the toric fan diagram is too small to read the labels on the rays corresponding to the tilting steps; enlarging the figure or adding an inset would improve readability.
- References: the citation to the mirror-symmetry construction (currently [12]) should be supplemented by the precise statement of the equivalence used, rather than a general reference to the log Calabi-Yau mirror.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment, and constructive suggestions. We address the two major comments below and will incorporate the requested clarifications in the revised manuscript.
read point-by-point responses
-
Referee: §4.2, paragraph following Definition 4.3: the claim that every tilting operation corresponds to a cluster transformation on the toric model is asserted after invoking the mirror equivalence, but the explicit bijection between exceptional objects and rays (or clusters) is not verified for the degree-5 and degree-6 del Pezzo cases; a short table or diagram showing the correspondence for these surfaces would make the reduction load-bearing rather than schematic.
Authors: We agree that an explicit verification strengthens the argument. In the revised version we will add a short table (and accompanying diagram) that lists the exceptional objects for the degree-5 and degree-6 del Pezzo surfaces together with their corresponding rays in the toric models of the mirror log Calabi-Yau surface. The bijection is obtained directly from the mirror equivalence stated in §3 and the toric fan description in §4.1; the table will make this correspondence concrete rather than schematic. revision: yes
-
Referee: Theorem 5.1: the induction on the number of mutations assumes that orthogonal reordering and tensoring by line bundles preserve the geometric-helix property without introducing new exceptional objects outside the helix; this step is used to close the generation argument, yet the proof sketch does not cite a prior result guaranteeing that these operations stay inside the set of geometric helices.
Authors: The preservation under orthogonal reordering follows from the definition of a geometric helix (any reordering that respects the exceptional collection property remains geometric) and is standard in the literature on exceptional collections on del Pezzo surfaces. Tensoring by a line bundle likewise preserves the helix property by the very definition given in §2. To make the induction step fully explicit we will add a short paragraph citing the relevant lemma from [Bondal-Orlov, 2002] (or the equivalent statement in [Kuznetsov, 2008]) together with a one-sentence verification that no new objects are introduced outside the helix. This closes the generation argument without altering the logic. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper establishes its central claim—that all geometric helices are related by the listed elementary operations—via an external geometric interpretation of tilting as cluster transformations on toric models of a mirror log Calabi-Yau surface. This relies on mirror symmetry results outside the paper rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equation or step reduces the target statement to the paper's own inputs by construction; the derivation remains dependent on independent external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of derived categories of coherent sheaves and tilting functors on del Pezzo surfaces
- domain assumption Existence and properties of toric models for log Calabi-Yau surfaces mirror to del Pezzo surfaces
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove that all geometric helices ... are related by ... rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting. ... seeds of q-Painlevé type ... T-polygon ... Weyl group ... affine Weyl group
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
intersection form (-,−)S ... negative semi-definite ... δS ... T-polygon ... mutation equivalence class of q-Painlevé type
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Mirror symmetry and the classification of orbifold del Pezzo surfaces.Proc
Mohammad Akhtar, Tom Coates, Alessio Corti, Liana Heuberger, Alexander Kasprzyk, Alessandro Oneto, Andrea Petracci, Thomas Prince, and Ketil Tveiten. Mirror symmetry and the classification of orbifold del Pezzo surfaces.Proc. Amer. Math. Soc., 144(2):513–527, 2016
work page 2016
- [2]
-
[3]
H¨ ulya Arg¨ uz. Mock modularity of log Gromov–Witten invariants: the mirror toP 2.arXiv preprint arXiv:2602.08153, 2026
-
[4]
Quivers and curves in higher dimension.Trans
H¨ ulya Arg¨ uz and Pierrick Bousseau. Quivers and curves in higher dimension.Trans. Amer. Math. Soc., 378(1):389–420, 2025
work page 2025
-
[5]
Paul S. Aspinwall and Lukasz M. Fidkowski. Superpotentials for quiver gauge theories.J. High Energy Phys., (10):047, 25, 2006
work page 2006
-
[6]
Paul S. Aspinwall and Ilarion V. Melnikov. D-branes on vanishing del Pezzo surfaces.J. High Energy Phys., (12):042, 30, 2004
work page 2004
-
[7]
Michael F. Atiyah. Vector bundles over an elliptic curve.Proc. London Math. Soc. (3), 7:414–452, 1957
work page 1957
-
[8]
Mirror symmetry for del Pezzo surfaces: vanishing cycles and coherent sheaves.Invent
Denis Auroux, Ludmil Katzarkov, and Dmitri Orlov. Mirror symmetry for del Pezzo surfaces: vanishing cycles and coherent sheaves.Invent. Math., 166(3):537–582, 2006
work page 2006
-
[9]
Vafa-Witten invariants from exceptional collections
Guillaume Beaujard, Jan Manschot, and Boris Pioline. Vafa-Witten invariants from exceptional collections. Comm. Math. Phys., 385(1):101–226, 2021
work page 2021
-
[10]
Cluster integrable systems,q-Painlev´ e equations and their quantization.J
Mikhail Bershtein, Pavlo Gavrylenko, and Andrei Marshakov. Cluster integrable systems,q-Painlev´ e equations and their quantization.J. High Energy Phys., (2):077, front matter+33, 2018
work page 2018
-
[11]
Symplectic birational transformations of the plane.Osaka J
J´ er´ emy Blanc. Symplectic birational transformations of the plane.Osaka J. Math., 50(2):573–590, 2013
work page 2013
-
[12]
Alexei Bondal and Dmitri Orlov. Reconstruction of a variety from the derived category and groups of autoe- quivalences.Compositio Math., 125(3):327–344, 2001
work page 2001
-
[13]
t-structures on some local Calabi-Yau varieties.J
Tom Bridgeland. t-structures on some local Calabi-Yau varieties.J. Algebra, 289(2):453–483, 2005
work page 2005
-
[14]
Tom Bridgeland, Fabrizio Del Monte, and Luca Giovenzana. Invariant stability conditions on certain Calabi- Yau threefolds.arXiv preprint arXiv:2412.08531, 2024
-
[15]
Helices on del Pezzo surfaces and tilting Calabi-Yau algebras.Adv
Tom Bridgeland and David Stern. Helices on del Pezzo surfaces and tilting Calabi-Yau algebras.Adv. Math., 224(4):1672–1716, 2010
work page 2010
-
[16]
On 5d SCFTs and their BPS quivers part I: B-branes and brane tilings
Cyril Closset and Michele Del Zotto. On 5d SCFTs and their BPS quivers part I: B-branes and brane tilings. Adv. Theor. Math. Phys., 26(1):37–142, 2022. GEOMETRIC HELICES ON DEL PEZZO SURF ACES FROM TILTING 37
work page 2022
-
[17]
TheU-plane of rank-one 4dN= 2 KK theories.SciPost Phys., 12(2):Paper No
Cyril Closset and Horia Magureanu. TheU-plane of rank-one 4dN= 2 KK theories.SciPost Phys., 12(2):Paper No. 065, 139, 2022
work page 2022
-
[18]
Cluster varieties and toric specializations of Fano varieties.arXiv preprint arXiv:2304.04141, 2023
Alessio Corti. Cluster varieties and toric specializations of Fano varieties.arXiv preprint arXiv:2304.04141, 2023
-
[19]
Some new examples of nondegenerate quiver potentials.Int
Louis de Thanhoffer de V¨ olcsey and Michel Van den Bergh. Some new examples of nondegenerate quiver potentials.Int. Math. Res. Not. IMRN, (20):4672–4686, 2013
work page 2013
-
[20]
Quivers with potentials and their representations
Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky. Quivers with potentials and their representations. I. Mutations.Selecta Math. (N.S.), 14(1):59–119, 2008
work page 2008
-
[21]
Dolgachev.Classical algebraic geometry
Igor V. Dolgachev.Classical algebraic geometry. Cambridge University Press, Cambridge, 2012. A modern view
work page 2012
-
[22]
Markov numbers and Lagrangian cell complexes in the complex pro- jective plane.Geom
Jonathan David Evans and Ivan Smith. Markov numbers and Lagrangian cell complexes in the complex pro- jective plane.Geom. Topol., 22(2):1143–1180, 2018
work page 2018
-
[23]
Cyclically ordered quivers.arXiv preprint arXiv:2406.03604, 2024
Sergey Fomin and Scott Neville. Cyclically ordered quivers.arXiv preprint arXiv:2406.03604, 2024
-
[24]
On the geometry of anticanonical pairs
Robert Friedman. On the geometry of anticanonical pairs.arXiv preprint arXiv:1502.02560, 2015
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[25]
Princeton Uni- versity Press, Princeton, NJ, 1993
William Fulton.Introduction to toric varieties, volume 131 ofAnnals of Mathematics Studies. Princeton Uni- versity Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry
work page 1993
-
[26]
Alexey L. Gorodentsev. Exceptional bundles on surfaces with a moving anticanonical class.Izv. Akad. Nauk SSSR Ser. Mat., 52(4):740–757, 895, 1988
work page 1988
-
[27]
Alexey L. Gorodentsev and Sergey A. Kuleshov. Helix theory.Mosc. Math. J., 4(2):377–440, 535, 2004
work page 2004
-
[28]
Reflexive polygons and rational elliptic surfaces.Rend
Antonella Grassi, Giulia Gugiatti, Wendelin Lutz, and Andrea Petracci. Reflexive polygons and rational elliptic surfaces.Rend. Circ. Mat. Palermo (2), 72(6):3185–3221, 2023
work page 2023
-
[29]
Birational geometry of cluster algebras.Algebr
Mark Gross, Paul Hacking, and Sean Keel. Birational geometry of cluster algebras.Algebr. Geom., 2(2):137– 175, 2015
work page 2015
-
[30]
Moduli of surfaces with an anti-canonical cycle.Compos
Mark Gross, Paul Hacking, and Sean Keel. Moduli of surfaces with an anti-canonical cycle.Compos. Math., 151(2):265–291, 2015
work page 2015
-
[31]
On the mirrors of low-degree del Pezzo surfaces.arXiv preprint arXiv:2506.21758, 2025
Giulia Gugiatti and Franco Rota. On the mirrors of low-degree del Pezzo surfaces.arXiv preprint arXiv:2506.21758, 2025
-
[32]
Exceptional bundles associated to degenerations of surfaces.Duke Math
Paul Hacking. Exceptional bundles associated to degenerations of surfaces.Duke Math. J., 162(6):1171–1202, 2013
work page 2013
-
[33]
Compact moduli spaces of surfaces and exceptional vector bundles
Paul Hacking. Compact moduli spaces of surfaces and exceptional vector bundles. InCompactifying moduli spaces, Adv. Courses Math. CRM Barcelona, pages 41–67. Birkh¨ auser/Springer, Basel, 2016
work page 2016
-
[34]
Homological mirror symmetry for log Calabi-Yau surfaces.Geom
Paul Hacking and Ailsa Keating. Homological mirror symmetry for log Calabi-Yau surfaces.Geom. Topol., 26(8):3747–3833, 2022. With an appendix by Wendelin Lutz
work page 2022
-
[35]
Symplectomorphisms of some Weinstein 4-manifolds.Geom
Paul Hacking and Ailsa Keating. Symplectomorphisms of some Weinstein 4-manifolds.Geom. Topol., 30(2):645– 699, 2026
work page 2026
-
[36]
Wahei Hara and Yuki Hirano. Stability conditions on noncommutative crepant resolutions of 3-dimensional isolated singularities.arXiv preprint arXiv:2603.04858, 2026
-
[37]
Christopher P. Herzog. Seiberg duality is an exceptional mutation.J. High Energy Phys., (8):064, 31, 2004
work page 2004
-
[38]
Christopher P. Herzog and Robert L. Karp. On the geometry of quiver gauge theories (stacking exceptional collections).Adv. Theor. Math. Phys., 13(3):599–636, 2009
work page 2009
-
[39]
Exceptional sequences of invertible sheaves on rational surfaces.Compos
Lutz Hille and Markus Perling. Exceptional sequences of invertible sheaves on rational surfaces.Compos. Math., 147(4):1230–1280, 2011
work page 2011
-
[40]
Oxford Mathematical Monographs
Daniel Huybrechts.Fourier-Mukai transforms in algebraic geometry. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006
work page 2006
-
[41]
Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras
Osamu Iyama and Idun Reiten. Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras. Amer. J. Math., 130(4):1087–1149, 2008
work page 2008
-
[42]
Maximal modifications and Auslander-Reiten duality for non-isolated singularities.Invent
Osamu Iyama and Michael Wemyss. Maximal modifications and Auslander-Reiten duality for non-isolated singularities.Invent. Math., 197(3):521–586, 2014
work page 2014
-
[43]
Tits cone intersections and applications.preprint, available athttps: // www
Osamu Iyama and Michael Wemyss. Tits cone intersections and applications.preprint, available athttps: // www. maths. gla. ac. uk/~ mwemyss/ MainFile_ for_ web. pdf, 2023
work page 2023
-
[44]
Kac.Infinite-dimensional Lie algebras
Victor G. Kac.Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition, 1990. 38 PIERRICK BOUSSEAU
work page 1990
-
[45]
Boris V. Karpov and Dmitri Yu. Nogin. Three-block exceptional sets on del Pezzo surfaces.Izv. Ross. Akad. Nauk Ser. Mat., 62(3):3–38, 1998
work page 1998
-
[46]
Minimality and mutation-equivalence of polygons
Alexander Kasprzyk, Benjamin Nill, and Thomas Prince. Minimality and mutation-equivalence of polygons. Forum Math. Sigma, 5:Paper No. e18, 48, 2017
work page 2017
-
[47]
Sergey A. Kuleshov and Dmitri O. Orlov. Exceptional sheaves on Del Pezzo surfaces.Izv. Ross. Akad. Nauk Ser. Mat., 58(3):53–87, 1994
work page 1994
-
[48]
Wendelin Lutz. Mirrors to del Pezzo surfaces and the classification ofT-polygons.SIGMA Symmetry Integra- bility Geom. Methods Appl., 20:Paper No. 095, 20, 2024
work page 2024
-
[49]
Classification of rank 2 cluster varieties.SIGMA Symmetry Integrability Geom
Travis Mandel. Classification of rank 2 cluster varieties.SIGMA Symmetry Integrability Geom. Methods Appl., 15:Paper 042, 32, 2019
work page 2019
-
[50]
Manin.Cubic forms, volume 4 ofNorth-Holland Mathematical Library
Yuri I. Manin.Cubic forms, volume 4 ofNorth-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam, second edition, 1986. Algebra, geometry, arithmetic, Translated from the Russian by M. Hazewinkel
work page 1986
-
[51]
Shun’ya Mizoguchi and Yasuhiko Yamada.W(E 10) symmetry, M-theory and Painlev´ e equations.Phys. Lett. B, 537(1-2):130–140, 2002
work page 2002
-
[52]
Yuma Mizuno.q-Painlev´ e equations on cluster Poisson varieties via toric geometry.Selecta Math. (N.S.), 30(2):Paper No. 19, 37, 2024
work page 2024
-
[53]
Anya Nordskova. Full exceptional collections on Fano varieties and mutations.Doctoral dissertation, Hasselt University, 2025
work page 2025
-
[54]
NCCRs of cones over del Pezzo surfaces
Anya Nordskova and Michel Van den Bergh. NCCRs of cones over del Pezzo surfaces.arXiv preprint arXiv:2604.11319, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[55]
Combinatorial aspects of exceptional sequences on (rational) surfaces.Math
Markus Perling. Combinatorial aspects of exceptional sequences on (rational) surfaces.Math. Z., 288(1-2):243– 286, 2018
work page 2018
-
[56]
Rational surfaces associated with affine root systems and geometry of the Painlev´ e equations
Hidetaka Sakai. Rational surfaces associated with affine root systems and geometry of the Painlev´ e equations. Comm. Math. Phys., 220(1):165–229, 2001
work page 2001
-
[57]
TheA ∞ deformation theory of a point and the derived categories of local Calabi-Yaus.J
Ed Segal. TheA ∞ deformation theory of a point and the derived categories of local Calabi-Yaus.J. Algebra, 320(8):3232–3268, 2008
work page 2008
-
[58]
Jenia Tevelev and Giancarlo Urz´ ua. Categorical aspects of the Koll´ ar–Shepherd-Barron correspondence.arXiv preprint arXiv:2204.13225, 2022
-
[59]
Wahl singularities in degenerations of del Pezzo surfaces.arXiv preprint arXiv:2504.19929, 2025
Giancarlo Urz´ ua and Juan Pablo Z´ uniga. Wahl singularities in degenerations of del Pezzo surfaces.arXiv preprint arXiv:2504.19929, 2025
-
[60]
Non-commutative crepant resolutions
Michel Van den Bergh. Non-commutative crepant resolutions.arXiv preprint math/0211064, 2002
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[61]
Noncommutative crepant resolutions, an overview
Michel Van den Bergh. Noncommutative crepant resolutions, an overview. InICM—International Congress of Mathematicians. Vol. 2. Plenary lectures, pages 1354–1391. EMS Press, Berlin, 2023
work page 2023
-
[62]
Infinitely many exotic monotone Lagrangian tori inP 2.J
Renato Vianna. Infinitely many exotic monotone Lagrangian tori inP 2.J. Topol., 9(2):535–551, 2016
work page 2016
-
[63]
Infinitely many monotone Lagrangian tori in del Pezzo surfaces.Selecta Math
Renato Vianna. Infinitely many monotone Lagrangian tori in del Pezzo surfaces.Selecta Math. (N.S.), 23(3):1955–1996, 2017. The Mathematical Institute, University of Oxford, Oxford, OX2 6GG, UK Email address:pierrick.bousseau@maths.ox.ac.uk
work page 1955
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.