Table of Contents
Fetching ...

Maximal lengths of exceptional collections of line bundles

Alexander I. Efimov

TL;DR

The paper tackles King's conjecture by constructing infinite families of toric Fano varieties with Picard number three that lack full strong exceptional collections of line bundles, establishing that the maximal length of such collections can be strictly smaller than a $\frac{3}{4}$-multiple of the Grothendieck group rank $\rk K_0(Y)$ for these examples. It develops a framework based on Gale duality, stacky fans, and polytope-volume arguments to both produce counterexamples and prove limits on possible collection lengths. Conversely, it proves a positive result: every toric nef-Fano DM stack with Picard number three admits a strong exceptional collection of length at least $\frac{3}{4}\rk K_0(Y)$, highlighting a sharp threshold in this setting. The work combines explicit constructions (the $Y_{n,k,a}$ family) with combinatorial and geometric methods to separate the existence of long exceptional collections from the Picard-number constraints, providing both infinite counterexamples and a universal lower bound.

Abstract

In this paper we construct infinitely many examples of toric Fano varieties with Picard number three, which do not admit full exceptional collections of line bundles. In particular, this disproves King's conjecture for toric Fano varieties. More generally, we prove that for any constant $c>\frac34$ there exist infinitely many toric Fano varieties $Y$ with Picard number three, such that the maximal length of exceptional collection of line bundles on $Y$ is strictly less than $c\rk K_0(Y).$ To obtain varieties without exceptional collections of line bundles, it suffices to put $c=1.$ On the other hand, we prove that for any toric nef-Fano DM stack $Y$ with Picard number three, there exists a strong exceptional collection of line bundles on $Y$ of length at least $\frac34 \rk K_0(Y).$ The constant $\frac34$ is thus maximal with this property.

Maximal lengths of exceptional collections of line bundles

TL;DR

The paper tackles King's conjecture by constructing infinite families of toric Fano varieties with Picard number three that lack full strong exceptional collections of line bundles, establishing that the maximal length of such collections can be strictly smaller than a -multiple of the Grothendieck group rank for these examples. It develops a framework based on Gale duality, stacky fans, and polytope-volume arguments to both produce counterexamples and prove limits on possible collection lengths. Conversely, it proves a positive result: every toric nef-Fano DM stack with Picard number three admits a strong exceptional collection of length at least , highlighting a sharp threshold in this setting. The work combines explicit constructions (the family) with combinatorial and geometric methods to separate the existence of long exceptional collections from the Picard-number constraints, providing both infinite counterexamples and a universal lower bound.

Abstract

In this paper we construct infinitely many examples of toric Fano varieties with Picard number three, which do not admit full exceptional collections of line bundles. In particular, this disproves King's conjecture for toric Fano varieties. More generally, we prove that for any constant there exist infinitely many toric Fano varieties with Picard number three, such that the maximal length of exceptional collection of line bundles on is strictly less than To obtain varieties without exceptional collections of line bundles, it suffices to put On the other hand, we prove that for any toric nef-Fano DM stack with Picard number three, there exists a strong exceptional collection of line bundles on of length at least The constant is thus maximal with this property.

Paper Structure

This paper contains 8 sections, 23 theorems, 158 equations.

Key Result

Theorem 1.3

For any constant $c>\frac{3}{4}$ there exist infinitely many toric Fano varieties $Y$ with Picard number three, such that the maximal length of exceptional collection of line bundles on $Y$ is strictly less than $c\operatorname{rk} K_0(Y).$ In particular (for $c=1$), there are infinitely many toric

Theorems & Definitions (46)

  • Conjecture 1.1
  • Conjecture 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Conjecture 1.6
  • Definition 2.1
  • Proposition 2.2
  • proof
  • Proposition 2.3
  • ...and 36 more