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

Ryu Tomonaga

arxiv: 2510.26199 · v3 · pith:BS5RURPLnew · 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 comments

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

Tilting bundles provide a fundamental bridge between algebraic geometry and representation theory. For a tilting bundle on a smooth proper $d$-dimensional variety, the global dimension of its endomorphism algebra is at least $d$, and the most meaningful case is when this lower bound is attained. Such a tilting bundle, called a $d$-tilting bundle, fits into the framework of the derived McKay correspondence and higher Auslander--Reiten theory. The first main result of this paper shows that the existence of such a bundle forces the variety to be weak Fano: more precisely, if a smooth proper $d$-dimensional variety admits a $d$-tilting bundle, then its anti-canonical bundle is semiample and big. As a consequence, the endomorphism algebra of a $d$-tilting bundle is $d$-representation tame, so the geometry naturally produces higher-dimensional analogues of extended Dynkin quivers. Second, we prove a converse in dimension two: every weak del Pezzo surface over an algebraically closed field admits a $2$-tilting bundle. Together, these results give an affirmative answer to a conjecture posed by Daniel Chan for the variety case: a smooth projective surface admits a $2$-tilting bundle if and only if it is a weak del Pezzo surface. As an application, we construct non-commutative crepant resolutions (NCCRs) of anti-canonical cones over Du Val del Pezzo surfaces. Such an NCCR is obtained as the $3$-Calabi--Yau completion of the endomorphism algebra of a $2$-tilting bundle on the corresponding weak del Pezzo surface. This extends the known construction for smooth del Pezzo surfaces to the Du Val case and places Du Val del Pezzo cones within the framework of the derived McKay correspondence via higher Auslander--Reiten theory.

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

The paper answers Chan's conjecture with an if-and-only-if for surfaces and a one-way implication higher up, plus a concrete NCCR construction.

read the letter

This paper settles Daniel Chan's conjecture for surfaces. A smooth projective surface admits a 2-tilting bundle if and only if it is weak del Pezzo. It also shows that any d-dimensional smooth proper variety with a d-tilting bundle must be weak Fano. The if-and-only-if direction for surfaces is the main new piece, and the higher-dimensional statement is a useful strengthening even though it runs only one way. The application constructs an NCCR for the cone over a Du Val del Pezzo surface by taking the 3-Calabi-Yau completion of the endomorphism algebra of the 2-tilting bundle, and that algebra sits in the 2-representation tame class, generalizing extended Dynkin quivers. The work ties tilting objects in the derived category to the numerical condition that the anticanonical class is nef and big. The arguments use standard facts about Ext-vanishing and global dimension of endomorphism algebras, so the logic tracks without obvious circularity. The citation pattern hits the expected references on tilting bundles and del Pezzo surfaces. A minor soft spot is that the higher-dimensional result stops short of a full characterization, leaving the converse open. The proofs for the surface case will need checking on the precise control of global dimension at most 2, but nothing in the statement suggests a load-bearing gap. The setting is restricted to smooth proper varieties over an algebraically closed field, which matches the definitions and is stated clearly. This paper is for people working on derived categories of surfaces, tilting bundles, or non-commutative resolutions of singularities. A reader following Chan's conjecture or looking for new NCCR examples would get direct value. It deserves a serious referee because it resolves a stated conjecture and supplies an application that can be verified independently. I would send it out for peer review.

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 (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.
§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)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Higher representation infinite algebras and toric Fano stacks of Picard number one or two
math.AG 2025-11 unverdicted novelty 7.0

Classifies d-tilting line bundles on toric Fano stacks of Picard number 1 or 2 via upper sets in posets and establishes correspondences to d-representation infinite algebras of types Ã and ÃÃ with closure under d-APR tilts.