pith. sign in

arxiv: 2510.26199 · v2 · submitted 2025-10-30 · 🧮 math.AG · math.AC· math.RA· math.RT

Weak del Pezzo surfaces are characterized by the existence of 2-tilting bundles

Ryu Tomonaga This is my paper

Pith reviewed 2026-05-18 03:35 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RAmath.RT
keywords weak del Pezzo surfaces2-tilting bundlesnon-commutative crepant resolutionsweak Fano varietiesDu Val del Pezzo surfacesderived categoriesrepresentation tame algebras
0
0 comments X

The pith

A smooth projective surface admits a 2-tilting bundle if and only if it is a weak del Pezzo surface.

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

The paper proves that on smooth projective surfaces the existence of a 2-tilting bundle is equivalent to the surface being weak del Pezzo. It further shows that any d-dimensional smooth proper variety admitting a d-tilting bundle must be weak Fano. These results answer a conjecture and are applied to construct non-commutative crepant resolutions for cones over Du Val del Pezzo surfaces by taking the 3-Calabi-Yau completion of the endomorphism algebra of the 2-tilting bundle. The endomorphism algebras belong to the class of 2-representation tame algebras. Readers may care because the result ties the geometry of these surfaces directly to their derived categories and higher Auslander-Reiten theory.

Core claim

A smooth projective surface admits a 2-tilting bundle precisely when it is a weak del Pezzo surface. More generally, if a d-dimensional smooth proper variety admits a d-tilting bundle then the variety is weak Fano. The endomorphism algebra of a 2-tilting bundle on a weak del Pezzo surface is 2-representation tame, and its 3-Calabi-Yau completion supplies a non-commutative crepant resolution of the cone over any Du Val del Pezzo surface.

What carries the argument

A 2-tilting bundle, defined as a tilting bundle whose endomorphism algebra has global dimension at most 2, which links the geometry of the surface to its derived category and representation-theoretic properties.

If this is right

  • Weak del Pezzo surfaces correspond to 2-representation tame algebras via the endomorphism algebras of their 2-tilting bundles.
  • Cones over Du Val del Pezzo surfaces admit non-commutative crepant resolutions obtained as 3-Calabi-Yau completions of those algebras.
  • The existence of a d-tilting bundle forces any d-dimensional smooth proper variety to be weak Fano.
  • The result supplies a bridge from the geometry of weak del Pezzo surfaces to the derived McKay correspondence.

Where Pith is reading between the lines

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

  • The characterization may allow weak del Pezzo surfaces to be classified through the representation theory of their associated quivers.
  • Similar tilting constructions could be tested on other mild singularities to produce non-commutative resolutions.
  • The link to higher Auslander-Reiten theory opens a route to study derived equivalences for these surfaces via explicit algebra presentations.

Load-bearing premise

The varieties under consideration are smooth and projective over an algebraically closed field.

What would settle it

Exhibiting either a smooth projective surface that is not weak del Pezzo yet possesses a 2-tilting bundle or a weak del Pezzo surface that lacks one would refute the claimed characterization.

read the original abstract

On $d$-dimensional smooth proper varieties, $d$-tilting bundles are important since they provide a bridge from the geometry of such varieties to the derived McKay correspondence and to higher Auslander-Reiten theory. Here, a $d$-tilting bundle means a tilting bundle whose endomorphism algebra has global dimension at most $d$. The main result of this paper gives an affirmative answer to a conjecture posed by Daniel Chan for variety case: a smooth projective surface admits a $2$-tilting bundle if and only if it is a weak del Pezzo surface. Moreover, we strengthen one direction: if a $d$-dimensional smooth proper variety admits a $d$-tilting bundle, then it is weak Fano. As an application, we show that the cone of any Du Val del Pezzo surface admits a non-commutative crepant resolution (NCCR). We obtain such an NCCR as the $3$-Calabi-Yau completion of the endomorphism algebra of a $2$-tilting bundle on the corresponding weak del Pezzo surface. This endomorphism algebra belongs to the class of $2$-representation tame algebras, which is a $2$-dimensional generalization of the path algebras of the extended Dynkin quivers.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that for a smooth projective surface over an algebraically closed field, the existence of a 2-tilting bundle (a tilting bundle whose endomorphism algebra has global dimension at most 2) is equivalent to the surface being weak del Pezzo. It further shows that if a d-dimensional smooth proper variety admits a d-tilting bundle, then the variety is weak Fano. As an application, the cone over any Du Val del Pezzo surface admits a non-commutative crepant resolution obtained as the 3-Calabi-Yau completion of the endomorphism algebra of a 2-tilting bundle on the corresponding weak del Pezzo surface; this algebra is 2-representation tame.

Significance. If the proofs are correct, the result affirmatively resolves Daniel Chan's conjecture for the surface case and strengthens the higher-dimensional implication, providing a precise geometric characterization that links tilting theory in derived categories to the positivity of the canonical class. The construction of NCCRs via 3-Calabi-Yau completions of endomorphism algebras of 2-tilting bundles offers a concrete bridge to higher Auslander-Reiten theory and non-commutative resolutions, with potential implications for derived McKay correspondences on singular varieties.

minor comments (2)
  1. §1 (Introduction): the statement of the main theorem could explicitly record the base field assumption (algebraically closed) already used in the definitions of tilting bundles and weak del Pezzo surfaces.
  2. §4 (Application to NCCRs): the claim that the endomorphism algebra is 2-representation tame would benefit from a brief reminder of the definition or a reference to the precise criterion used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript, the positive summary and significance assessment, and the recommendation of minor revision. We appreciate the recognition that the work resolves Daniel Chan's conjecture in the surface case and strengthens the higher-dimensional implication.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves an if-and-only-if characterization for smooth projective surfaces (existence of a 2-tilting bundle iff weak del Pezzo) as an affirmative answer to an external conjecture by Daniel Chan, plus a strengthened one-way implication that a d-dimensional smooth proper variety with a d-tilting bundle is weak Fano. Both directions rest on standard definitions of tilting bundles in D^b(X), global dimension bounds, and numerical properties of the canonical class, with no reduction of the central claims to self-citations, fitted inputs renamed as predictions, or ansatzes smuggled via prior work by the same authors. The NCCR application follows directly from the main theorem without internal circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard definitions and background results from algebraic geometry and homological algebra rather than new free parameters or invented entities.

axioms (1)
  • standard math Standard definitions and properties of smooth projective varieties, tilting objects in the derived category, and weak del Pezzo surfaces hold over an algebraically closed field.
    Invoked throughout the statement of the main result and the conjecture context.

pith-pipeline@v0.9.0 · 5760 in / 1210 out tokens · 68682 ms · 2026-05-18T03:35:22.635484+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    3, 633–668

    Takuma Aihara and Osamu Iyama,Silting mutation in triangulated categories, Journal of the London Mathematical Society85(2012), no. 3, 633–668

    work page 2012

  2. [2]

    Matthew Ballard and David Favero,Hochschild dimensions of tilting objects, International Mathematics Research Notices11(2012), 2607–2645

    work page 2012

  3. [3]

    Aleksandr Aleksandrovich Beilinson,Coherent sheaves onP n and problems of linear algebra, Funktsional. Anal. i Prilozhen12(1978), no. 3, 68–69

    work page 1978

  4. [4]

    1, 277–301

    Lev Borisov and Zheng Hua,On the conjecture of King for smooth toric Deligne–Mumford stacks, Advances in Math- ematics221(2009), no. 1, 277–301

    work page 2009

  5. [5]

    Nathan Broomhead,Dimer models and Calabi-Yau algebras, American Mathematical Society215(2012), no. 1011

    work page 2012

  6. [6]

    1, New York: Springer, 2001

    Lucian B˘ adescu,Algebraic surfaces, London Mathematical Society Student Texts 65, vol. 1, New York: Springer, 2001

    work page 2001

  7. [7]

    Ragnar-Olaf Buchweitz and Hille Lutz,Endomorphism rings of geometric tilting objects, in preparation

    work page

  8. [8]

    Ragnar-Olaf Buchweitz, Hille Lutz, and Osamu Iyama,Cluster tilting for projective varieties and Horrocks type theorem, in preparation

    work page

  9. [9]

    Daniel Chan,2-hereditary algebras and almost Fano weighted surfaces, Journal of Algebra478(2017), 92–132

    work page 2017

  10. [10]

    Michel Demazure,Surfaces de del Pezzo, Seminaire sur les surfaces algebriques, 1980

    work page 1980

  11. [11]

    1, 69–115

    Alexey Elagin, Junyan Xu, and Shizhuo Zhang,On cyclic strong exceptional collections of line bundles on surfaces, European Journal of Mathematics7(2021), no. 1, 69–115

    work page 2021

  12. [12]

    Norihiro Hanihara,Non-commutative resolutions for Segre products and Cohen-Macaulay rings of hereditary represen- tation type, arXiv:2303.14625, 2023

    work page arXiv 2023

  13. [13]

    Norihiro Hanihara and Osamu Iyama,Silting correspondences and Calabi–Yau dg algebras, arXiv:2508.12836, 2025

    work page arXiv 2025

  14. [14]

    Wahei Hara,Non-commutative crepant resolution of minimal nilpotent orbit closures of type A and Mukai flops, Advances in mathematics318(2017), 355–410

    work page 2017

  15. [15]

    285, American Mathematical Society, 2023

    Martin Herschend, Osamu Iyama, Hiroyuki Minamoto, and Steffen Oppermann,Representation theory of Geigle- Lenzing complete intersections, vol. 285, American Mathematical Society, 2023

    work page 2023

  16. [16]

    2, 292–342

    Martin Herschend, Osamu Iyama, and Steffen Oppermann,n–Representation infinite algebras, Advances in mathematics 252(2014), no. 2, 292–342

    work page 2014

  17. [17]

    Akihiro Higashitani and Nakajima Yusuke,Conic divisorial ideals of hibi rings and their applications to non- commutative crepant resolutions, Selecta Mathematica25(2019), no. 5, 78

    work page 2019

  18. [18]

    4, 1230–1280

    Lutz Hille and Markus Perling,Exceptional sequences of invertible sheaves on rational surfaces, Compositio Mathe- matica147(2011), no. 4, 1230–1280

    work page 2011

  19. [19]

    ,Tilting bundles on rational surfaces and quasi-hereditary algebras, Annales de l’Institut Fourier64(2014), 625–644

    work page 2014

  20. [20]

    1, 22–50

    Osamu Iyama,Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Advances in math- ematics210(2007), no. 1, 22–50

    work page 2007

  21. [21]

    ,Cluster tilting for higher Auslander algebras, Advances in mathematics226(2011), no. 1, 1–61

    work page 2011

  22. [22]

    Kapranov,On the derived categories of coherent sheaves on some homogeneous spaces, Inventiones mathe- maticae92(1988), no

    Mikhail M. Kapranov,On the derived categories of coherent sheaves on some homogeneous spaces, Inventiones mathe- maticae92(1988), no. 3, 479–508. 10 RYU TOMONAGA

    work page 1988

  23. [23]

    654, 125–180

    Bernhard Keller and Michel Van den Bergh,Deformed Calabi–Yau completions, Journal f¨ ur die reine und angewandte Mathematik (2011), no. 654, 125–180

    work page 2011

  24. [24]

    S. A. Kuleshov,Exceptional and rigid sheaves on surfaces with anticanonical class without base components, Journal of Mathematical Sciences86(1997), no. 5, 2951–3003

    work page 1997

  25. [25]

    S. A. Kuleshov and Dmitri Olegovich Orlov,Exceptional sheaves on del Pezzo surfaces, Izvestiya: Mathematics44 (1995), no. 3, 479–513

    work page 1995

  26. [26]

    Koji Matsushita,Conic divisorial ideals of toric rings and applications to Hibi rings and stable set rings, (2022)

    work page 2022

  27. [27]

    1, 133–141

    Dmitri Olegovich Orlov,Projective bundles, monoidal transformations, and derived categories of coherent sheaves, Izvestiya: Mathematics41(1993), no. 1, 133–141

    work page 1993

  28. [28]

    Ryu Tomonaga,Higher hereditary algebras and toric Fano stacks with Picard number at most two, in preparation

    work page

  29. [29]

    ,Non-commutative crepant resolutions of toric singularities with divisor class group of rank one, in preparation

    work page

  30. [30]

    ,On silting mutations preserving global dimension, in preparation

    work page

  31. [31]

    ,Cohen-Macaulay representations of invariant subrings, arXiv:2403.19282, 2024

    work page arXiv 2024

  32. [32]

    Berlin, Heidelberg: Springer Berlin Heidelberg (2004), 749–770

    Michel Van den Bergh,Non-commutative crepant resolutions, The Legacy of Niels Henrik Abel: The Abel Bicentennial, Oslo, 2002. Berlin, Heidelberg: Springer Berlin Heidelberg (2004), 749–770

    work page 2002

  33. [33]

    J.122(2004), no

    ,Three-dimensional flops and noncommutative rings, Duke Math. J.122(2004), no. 3, 423–455

    work page 2004

  34. [34]

    ˇSpela ˇSpenko and Michel Van den Bergh,Non-commutative resolutions of quotient singularities for reductive groups, Inventiones mathematicae210(2017), 3–67

    work page 2017

  35. [35]

    ,Non-commutative crepant resolutions for some toric singularities i, International Mathematics Research No- tices21(2020), 8120–8138

    work page 2020

  36. [36]

    1, 73–103

    ,Non-commutative crepant resolutions for some toric singularities ii, Journal of Noncommutative Geometry14 (2020), no. 1, 73–103

    work page 2020

  37. [37]

    Keiichi Watanabe,Some remarks concerning Demazure’s construction of normal graded rings, Nagoya Mathematical Journal83(1981), 203–211

    work page 1981

  38. [38]

    3, 1139–1160

    Shizhuo Zhang,Applications of toric systems on surfaces, Journal of Pure and Applied Algebra223(2019), no. 3, 1139–1160. Graduate School of Mathematical Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo, 153-8914, Japan Email address:ryu-tomonaga@g.ecc.u-tokyo.ac.jp

    work page 2019