King's Conjecture and Birational Geometry

Basic Information

• Paper ID: 2501.00130
• Title: King's Conjecture and Birational Geometry
• Authors: Matthew R. Ballard, Christine Berkesch, Michael K. Brown, Lauren Cranton Heller, Daniel Erman, David Favero, Sheel Ganatra, Andrew Hanlon, Jesse Huang
• Classification: math.AG (Algebraic Geometry), math.AC (Commutative Algebra)
• Publication Date: December 30, 2024
• Paper Link: https://arxiv.org/abs/2501.00130

Abstract

This paper states and proves a birational realization of King's Conjecture, constructed from a category formed by gluing derived categories of all birational models in the GKZ fan of a toric variety. The authors' perspective generalizes ideas of Beilinson and Bondal to all semi-projective toric varieties. As a result, new unified birational applications are obtained for diagonal resolutions, categorical and noncommutative resolutions, monads, Frobenius generation, and window categories.

Research Background and Motivation

Problem Background

1. History of King's Conjecture: King proposed in 1997 that every smooth projective toric variety possesses a complete strong exceptional collection of line bundles, analogous to the Beilinson collection on projective space $\mathbb{P}^n$.
2. Failure of the Conjecture: The conjecture was later proven false, yet it still inspired extensive research on exceptional collections for toric varieties.
3. Bondal's Contribution: In 2006, Bondal used the Bondal-Thomsen collection $\Theta$ to provide new perspectives on derived categories of toric varieties, particularly in homological mirror symmetry.

Research Motivation

1. Integration of Birational Geometry: The authors seek to realize King's Conjecture through integrating birational geometry, rather than seeking exceptional collections on individual varieties.
2. Uniformity: Seeking a method to uniformly handle derived categories of all toric varieties corresponding to the same Cox ring.
3. Inspiration from Symplectic Geometry: Drawing inspiration from partially wrapped Fukaya categories in symplectic geometry, seeking algebraic geometric counterparts.

Core Contributions

1. Construction of the Cox Category: Definition of the Cox category $D_{Cox}(X)$, formed by gluing derived categories of all birational models from the GKZ fan of a toric variety $X$.
2. Birational Realization of King's Conjecture: Proof of the main Theorem A: For a semi-projective toric variety $X$, the direct sum of line bundles in the Bondal-Thomsen collection $\Theta$ is a tilting object in $D_{Cox}(X)$; when $X$ is projective, $\Theta$ forms a complete strong exceptional collection in $D_{Cox}(X)$.
3. $\Theta$-Transform Lemma: Proof of the key technical result describing the behavior of Bondal-Thomsen elements under birational Fourier-Mukai transforms.
4. Unified Applications: Obtaining unified treatment of Hanlon-Hicks-Lazarev diagonal resolutions, noncommutative resolutions, window categories, and others.

Methodology Details

Task Definition

Construct a category $D_{Cox}(X)$ such that:

• It contains derived category information of all birational models in the GKZ fan of toric variety $X$
• The Bondal-Thomsen collection $\Theta$ forms an exceptional collection within it
• Provides unified description of various geometric objects

Construction of the Cox Category

Preliminary Work: GKZ Fan and Toric Stacks

1. GKZ Fan: For a semi-projective toric variety $X$, each cone $\Gamma$ in the secondary fan $\Sigma_{GKZ}(X)$ corresponds to a toric variety $X_\Gamma$.
2. Toric Stacks: For each maximal chamber $\Gamma_i$, construct the corresponding smooth toric Deligne-Mumford stack $\mathcal{X}_i$.
3. Common Refinement: Construct a smooth toric stack $\tilde{X}$ with appropriate birational morphisms $\pi_i: \tilde{X} \to \mathcal{X}_i$ to all $\mathcal{X}_i$.

Definition of the Cox Category

Definition 1.1: Let $\mathcal{X}_1, \ldots, \mathcal{X}_r$ be toric stacks corresponding to maximal chambers of $\Sigma_{GKZ}(X)$, and $\tilde{X}$ be a smooth toric stack with appropriate birational morphisms $\pi_i: \tilde{X} \to \mathcal{X}_i$. The Cox category $D_{Cox}(X)$ is the full subcategory of $D(\tilde{X})$ generated by $\pi_i^*D(\mathcal{X}_i)$.

Technical Innovations

$\Theta$-Transform Lemma (Lemma 1.6)

This is the core technical result of the paper: Lemma: Let $-d \in \Theta_X$ be an element whose image in $\Sigma_{GKZ}$ lies in the chamber corresponding to $\mathcal{X}_i$. For any $j$, we have $\Phi_{ij}(\mathcal{O}_{\mathcal{X}_i}(-d)) = \mathcal{O}_{\mathcal{X}_j}(-d)$.

The proof of this lemma is technical, involving:

1. Using twists by nef line bundles to test objects
2. Applying the stack version of Demazure vanishing theorem
3. Using star-shaped properties from convex geometry

Definition of the Bondal-Thomsen Collection

Definition 2.12: For a toric stack $\mathcal{X} = X_{\Sigma,\beta}$, the Bondal-Thomsen collection $\Theta_{\mathcal{X}}$ is the set of degrees $-d$ in $Cl(\mathcal{X})$ equivalent to some $\theta \in M_\mathbb{R}$: $\sum_{\rho \in \Sigma(1)} \lfloor \langle -\theta, \beta(e_\rho) \rangle \rfloor D_\rho$

Experimental Setup

Main Examples

The paper verifies the theory through multiple concrete examples:

1. Hirzebruch Surface $H_3$: The GKZ fan has two maximal chambers, corresponding to $H_3$ and the weighted projective stack $\mathbb{P}(1,1,3)$.
2. Atiyah Flop: Cox ring $S = k[x_0,x_1,y_0,y_1]$, with two chambers corresponding to $Y_+$ and $Y_-$.
3. Blowup of $\mathbb{P}^3$ at Two Points: Demonstrates more complex GKZ fan structure with five maximal chambers.

Computational Verification

Concrete calculations verify:

1. Validity of the $\Theta$-transform lemma in specific examples
2. Computation formulas for morphism spaces
3. Verification of exceptional collection properties

Experimental Results

Main Results

Proof of Theorem A

Through two main steps:

1. $\Theta$-Transform Lemma: Establishes the behavior of Bondal-Thomsen elements under Fourier-Mukai transforms
2. Generation: Proves that $\Theta$ generates $D_{Cox}$

Specific Computational Results

For the Hirzebruch surface example, verification of:

• Concrete computation of morphism spaces $\text{Hom}(\mathcal{O}_{Cox}(-d), \mathcal{O}_{Cox}(-d'))$
• Validity of strong exceptional properties
• Verification of tilting properties

Application Results

Uniformity of Diagonal Resolutions

Theorem 1.4: The Hanlon-Hicks-Lazarev diagonal resolution lifts to a complex $H$ in the Cox category such that:

1. $H$ is a diagonal resolution of $D_{Cox}$
2. The derived pushforward $(π_i × π_i)_*H$ is homotopic to the Hanlon-Hicks-Lazarev resolution of $\mathcal{X}_i$

Noncommutative Resolutions

Theorem 1.5: The algebra $A_\Theta = \text{Hom}^0_X(T,T)$ (where $T = \bigoplus_{-d \in \Theta} \mathcal{O}_X(-d)$) is a noncommutative resolution of $X$ with:

1. Global dimension equal to $\dim X$
2. The functor $\text{Perf}(X) \to D(A_\Theta)$ is fully faithful
3. Uniformity across all $X$ with the same Cox ring

Related Work

Historical Development

1. Beilinson's Work: Established exceptional collection theory for derived categories of $\mathbb{P}^n$
2. King's Conjecture: Attempted to generalize Beilinson's results to toric varieties
3. Discovery of Counterexamples: Hille-Perling, Michałek and others proved the failure of King's conjecture
4. Partial Results: Positive results in various special cases

Related Constructions

1. Špenko-Van den Bergh's Work: On noncommutative resolutions for reductive group actions
2. Window Categories: Halpern-Leistner et al.'s embeddings of derived categories of GIT quotients
3. Homological Mirror Symmetry: Coherent-constructible correspondences by Fang-Liu-Treumann-Zaslow and others

Conclusions and Discussion

Main Conclusions

1. Birational Realization of King's Conjecture: Although the original conjecture fails, it can be realized in the appropriate birational setting
2. Uniformity: The Cox category provides a unified framework for handling all birational models
3. Broad Applications: The method has applications across multiple related fields

Limitations

1. Technical Complexity: Constructions and proofs involve intricate technical details
2. Scope Restrictions: Primarily applicable to toric varieties; generalization to broader classes requires further work
3. Computational Challenges: Concrete computations may be difficult in complex examples

Future Directions

1. Generalization: Extension to more general classes of varieties
2. Applications: Further applications in homological mirror symmetry and noncommutative geometry
3. Computational Methods: Development of more efficient computational tools

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves a long-standing important problem
2. Technical Innovation: The $\Theta$-transform lemma is a key technical breakthrough
3. Uniformity: Provides a unified perspective on multiple related theories
4. Broad Applications: Has important applications across multiple mathematical branches

Weaknesses

1. High Technical Threshold: Requires deep background in algebraic geometry and homological algebra
2. Relatively Simple Examples: Main verification examples have lower dimensions
3. Computational Complexity: Practical applications may involve complex computations

Impact

1. Theoretical Contribution: Provides important new tools for derived category theory of toric varieties
2. Methodological Value: The birational perspective may inspire research on other problems
3. Cross-disciplinary Impact: Connects algebraic geometry, commutative algebra, and symplectic geometry

Applicable Scenarios

1. Toric Variety Research: Directly applicable to research on various toric varieties
2. Noncommutative Geometry: Provides new construction methods for noncommutative resolutions
3. Homological Mirror Symmetry: Provides algebraic tools for related research

References

The paper cites extensive relevant literature, including classical works by Beilinson, Bondal, King, and others, as well as recent advances in derived categories of toric varieties, noncommutative resolutions, and homological mirror symmetry. Particularly noteworthy are connections to recent work by Hanlon-Hicks-Lazarev, Faber-Muller-Smith, and Špenko-Van den Bergh.