pith. sign in

arxiv: 1907.01135 · v2 · pith:SAKKKVK3new · submitted 2019-07-02 · 🧮 math.AG

On strong exceptional collections of line bundles of maximal length on Fano toric Deligne-Mumford stacks

Lev Borisov , Chengxi Wang This is my paper

Pith reviewed 2026-05-25 11:16 UTC · model grok-4.3

classification 🧮 math.AG
keywords strong exceptional collectionsline bundlesFano toric Deligne-Mumford stacksderived categoryK-theoryPicard rankgenerationGrothendieck group
0
0 comments X

The pith

Any strong exceptional collection of line bundles on these Fano toric DM stacks generates the derived category when its length equals the K-theory rank.

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

The paper proves that for Fano toric Deligne-Mumford stacks with Picard rank at most two, every strong exceptional collection of line bundles whose length matches the rank of the Grothendieck K-theory group generates the full derived category. This holds without further restrictions on the collection beyond being strong and exceptional and of that exact length. A reader would care because the result supplies a simple numerical test for when such a collection is complete and therefore spans the entire derived category. The argument applies specifically to the case of Picard rank at most two.

Core claim

We prove that any strong exceptional collection of line bundles generates the derived category of P_Σ, as long as the number of elements in the collection equals the rank of the K-theory group of P_Σ.

What carries the argument

A strong exceptional collection of line bundles whose length equals the rank of the K-theory group, shown to generate the bounded derived category of coherent sheaves.

If this is right

  • Every strong exceptional collection of line bundles of maximal length is a generator of the derived category.
  • The derived category admits a full strong exceptional collection consisting entirely of line bundles.
  • Any such maximal collection can be used to present the derived category via its endomorphism algebra.

Where Pith is reading between the lines

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

  • The same numerical criterion for generation might hold for Fano toric DM stacks of higher Picard rank.
  • One could check the result on concrete low-dimensional examples such as weighted projective lines or surfaces to see the collections explicitly.
  • If the generation property extends, it would give a uniform way to produce full exceptional collections on all Fano toric DM stacks.

Load-bearing premise

The stacks are Fano toric Deligne-Mumford stacks whose Picard group has rank at most two.

What would settle it

An explicit Fano toric Deligne-Mumford stack with Picard rank at most two together with a strong exceptional collection of line bundles of length equal to the K-theory rank that fails to generate the derived category.

Figures

Figures reproduced from arXiv: 1907.01135 by Chengxi Wang, Lev Borisov.

Figure 1
Figure 1. Figure 1: Specifically: If line bundles O(s1), . . . , O(sn), where s1 < s2 < · · · < sn, form a strong exceptional collection T of maximal length, then (1) O(s1+ Pm i=1 wi) is not in the strong exceptional collection T (Lemma 3.4); (2) By replacing O(s1) with O(s1 + Pm i=1 wi) and reordering, we get another strong exceptional collection (Lemma 3.5); (3) O(s1 + Pm i=1 wi) ∈ D(T ), so the new collection generates a s… view at source ↗
Figure 2
Figure 2. Figure 2: Specifically: let T = (O(D1), . . . , O(Dn)) be a strong exceptional collec￾tion of line bundles of maximal length. We pick i0 ∈ {1, . . . , n} such that α(Di0 ) = max(α(T )). Then (1) Both O(Di0 −E+) and O(Di0 +E−) are not in the strong exceptional collection T (Lemma 4.3); [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 2
Figure 2. Figure 2: We have max(α(T 0 )) ≤ max(α(T )) since α(Di0 − E+) = α(Di0 + E−) < α(Di0 ) = max(α(T )). After a finite number of steps, we replace successively all O(Di) such that α(Di) = max(α(T )) by O(Di − E+) or O(Di + E−) to get a new strong exceptional collection T 1 in D(T ) such that max(α(T 1 )) < max(α(T )). If min(α(T 1 )) < min(α(T )), there exists some D such that α(Di) = max(α(T )) and α(Di ∓ E±) = min(α(T… view at source ↗
Figure 3
Figure 3. Figure 3: Then by Lemma 4.9, we get a strong exceptional collection T 0 in D(T ) by replacing Di0 with O(Di0+E−) which satisfies (2), (3) and (4) of this Propo￾sition. Since f(Di0 + E−) ≤ max(f(T )), then max(f(T 0 )) ≤ max(f(T )). Case f(Di0 + E−) > max(f(T )). We have f(Di0 − E+) > min(f(T )). By the same arguments, we can get a strong exceptional collection T 0 in D(T ) by replacing Di0 with O(Di0 − E+) which sat… view at source ↗
Figure 4
Figure 4. Figure 4: After replacing all elements in Tmin(f) , we get min(f(T )) increase. Then we continue to apply Proposition 4.12. During the process, we assure that max(f(T )) does not increase and min(f(T )) increases. Thus max(f(T )) − min(f(T )) decreases. Therefore, we will eventually be in the situation max(f(T )) − min(f(T )) < 1. Also, by Remark 4.13, we get a new strong exceptional collection S of line bundles in … view at source ↗
read the original abstract

We study strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks $\mathbb{P}_{\mathbf{\Sigma}}$ with rank of Picard group at most two. We prove that any strong exceptional collection of line bundles generates the derived category of $\mathbb{P}_{\mathbf{\Sigma}}$, as long as the number of elements in the collection equals the rank of the (Grothendieck) $K$-theory group of $\mathbb{P}_{\mathbf{\Sigma}}$.

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 studies strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks P_Σ with Picard rank at most two. It proves that any such collection whose length equals the rank of the Grothendieck group K_0(P_Σ) generates the bounded derived category D^b(P_Σ).

Significance. If the proof holds, the result gives an explicit generation criterion for derived categories of these low-rank toric DM stacks by maximal-length strong exceptional collections of line bundles. This is a modest but concrete advance in the study of exceptional collections on toric stacks, where explicit K-theory computations are feasible precisely because of the Picard-rank restriction.

minor comments (2)
  1. The abstract states the result for stacks with 'rank of Picard group at most two' but the title refers to 'maximal length'; a brief sentence clarifying that maximal length is defined as rk K_0 would improve readability.
  2. Notation for the stack P_Σ and the collection Σ is introduced without an explicit reference to the standard toric DM stack construction; adding a short reminder in §1 would help readers unfamiliar with the notation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the paper and the recommendation of minor revision. The report does not raise any specific major comments.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a direct theorem: any strong exceptional collection of line bundles on the specified Fano toric DM stacks with Picard rank ≤2 generates the derived category precisely when its length equals rk K_0. This is a standard generation statement once the Euler pairing has no radical (plausible in low rank), with the proof scoped explicitly to this class and no equations, parameters, or self-citations presented as load-bearing reductions to the input data itself. The derivation is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper is a proof in algebraic geometry and therefore rests on standard background facts about derived categories, K-theory, and toric stacks rather than new fitted constants or invented entities.

axioms (2)
  • standard math Standard properties of the derived category of coherent sheaves and of Grothendieck K-theory for smooth DM stacks
    Invoked implicitly when the authors equate generation with equality of K-theory ranks.
  • domain assumption Fano toric DM stacks with Picard rank ≤2 admit well-behaved exceptional collections of line bundles
    The statement is restricted to this class; the abstract does not claim generality beyond it.

pith-pipeline@v0.9.0 · 5602 in / 1266 out tokens · 23244 ms · 2026-05-25T11:16:33.130682+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

21 extracted references · 21 canonical work pages · 3 internal anchors

  1. [1]

    Alexeev, D

    V. Alexeev, D. Orlov, Derived categories of Burniat surfaces and exceptional collections. Math. Ann. 357 (2013), no. 2, 743-759

    work page 2013

  2. [2]

    Borisov, L

    L. Borisov, L. Chen, G. G. Smith, The orbifold Chow ring of toric Deligne- Mumforrd stacks. J. Amer. Math. Soc. 18(2005), no. 1, 193-215

    work page 2005

  3. [3]

    Borisov, R

    L. Borisov, R. Horja, On the K-theory of smooth toric DM stacks . Snowbird lectures on string geometry, 21-42, Contemp. Math., 401, Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  4. [4]

    Borisov, Z

    L. Borisov, Z. Hua, On the conjecture of King for smooth toric Deligne- Mumford stacks. Adv. Math. 221(2009), 277-301

    work page 2009

  5. [5]

    B¨ ohning, H-Ch

    Ch. B¨ ohning, H-Ch. Graf von Bothmer, P. Sosna,On the derived category of the classical Godeaux surface. Adv. Math. 243(2013), 203-231

    work page 2013

  6. [6]

    B¨ ohning, H-Ch

    Ch. B¨ ohning, H-Ch. Graf von Bothmer, L. Katzarkov, P. Sosna, Determi- nantal Barlow surfaces and phantom categories . J. Eur. Math. Soc. (JEMS) 17(2015), no. 7, 1569-1592

    work page 2015

  7. [7]

    Cox, The homogeneous coordinate ring of a toric variety

    D. Cox, The homogeneous coordinate ring of a toric variety . J. Algebraic Geom. 4(1995), no. 1, 17-50

    work page 1995

  8. [8]

    V. I. Danilov, The geometry of toric varieties . Russian Math. Surveys 33 (1978), no. 2, 97-154

    work page 1978

  9. [9]

    A. I. Efimov, Maximal lengths of exceptional collections of line bundles . J. London Math. Soc. (2)90(2014), 350-372

    work page 2014

  10. [10]

    Fulton, Introduction to toric varieties

    W. Fulton, Introduction to toric varieties . Annals of Mathematics Studies 131, Princeton University Press, Princeton, NJ, 1993

    work page 1993

  11. [11]

    Gorchinskiy, D

    S. Gorchinskiy, D. Orlov, Geometric phantom categories . Publ. Math. Inst. Hautes tudes Sci. 117(2013), 329-349

    work page 2013

  12. [12]

    Galkin, E

    S. Galkin, E. Shinder, Exceptional collections of line bundles on the Beauville surface. Adv. Math. 244(2013), 1033-1050

    work page 2013

  13. [13]

    Hille, M

    L. Hille, M. Perling, A counterexample to King’s conjecture . Compos. Math 142(2006), 1507-1521

    work page 2006

  14. [14]

    Hille, M

    L. Hille, M. Perling, Exceptional sequences of invertible sheaves on rational surfaces. Compos. Math 147(2011), 1230-1280

    work page 2011

  15. [15]

    Dimer models and exceptional collections

    A. Ishii, K. Ueda, Dimer models and exceptional collections . preprint, 2009, arXiv:0911.4529

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  16. [16]

    Kawamata, Derived categories of toric varieties

    Y. Kawamata, Derived categories of toric varieties . Michigan Math. J. 54(2006), 517-535

    work page 2006

  17. [17]

    A. D. King, Tilting bundles on some rational surfaces . preprint, 1997

    work page 1997

  18. [18]

    No phantoms in the derived category of curves over arbitrary fields, and derived characterizations of Brauer-Severi varieties

    S. Novakovi´ c, No phantoms in the derived category of curves over arbi- trary fields, and derived characterizations of Brauer-Severi varieties. preprint, arXiv:1701.03020

    work page internal anchor Pith review Pith/arXiv arXiv

  19. [19]

    Michalek, Family of counterexamples to King’s conjecture

    M. Michalek, Family of counterexamples to King’s conjecture . C. R. Math. Acad. Sci. Pairs 349(2011), 67-69

    work page 2011

  20. [20]

    Prabhu-Naik, Tilting bundles on toric Fano fourfolds

    N. Prabhu-Naik, Tilting bundles on toric Fano fourfolds . J. Algebra 471(2017), 348-398

    work page 2017

  21. [21]

    Some remarks on phantom categories and motives

    P. Sosna, Some remarks on phantom categories and motives . preprint, arXiv:1511.07711. 18 LEV BORISOV AND CHENGXI W ANG Department of Mathematics, Rutgers University, Piscataway, NJ 08854 E-mail address: borisov@math.rutgers.edu Department of Mathematics, Rutgers University, Piscataway, NJ 08854 E-mail address: cw674@math.rutgers.edu

    work page internal anchor Pith review Pith/arXiv arXiv