Matthew R. Ballard,Christine Berkesch,Michael K. Brown,Lauren Cranton Heller,Daniel Erman,David Favero,Sheel Ganatra,Andrew Hanlon,Jesse Huang
Abstract:We state and prove a birational realization of King's Conjecture for a category glued from the derived categories of all birational models in the GKZ fan of a toric variety. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties. As a result, we obtain new and birationally-uniform applications to resolutions of the diagonal, categorical and noncommutative resolutions, monads, Frobenius generation, and window categories.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the realization of King's conjecture in birational geometry. Specifically, the authors construct a new category DCox(X) on a semi - projective toric variety by introducing a new method - gluing together the derived categories of all toric varieties coming from a given Cox ring. This method not only provides a birational realization of King's conjecture, but also offers new and unified applications in areas such as diagonal resolution, category and non - commutative resolution, monads, Frobenius - generativity and window categories.
### Main Problem Description
1. **Background of King's Conjecture**
- Beilinson's work laid the foundation for the derived category of Pn and introduced the concepts of exceptional collection, tilting bundle and semi - orthogonal decomposition.
- King's conjecture proposed that every smooth projective toric variety has a full strong exceptional collection consisting of line bundles. However, this conjecture was later proven to be false.
2. **Main Contributions of This Paper**
- The authors provide a birational realization of King's conjecture by introducing the Cox category (DCox).
- The Cox category is constructed by gluing together the derived categories of all toric varieties generated by a given Cox ring.
- For a semi - projective toric variety X, the Bondal - Thomsen set Θ forms a full strong exceptional collection under the natural ordering, and its direct sum is a tilting object.
### Formula Representation
- **Bondal - Thomsen Set**: \[ \Theta = \{ \mathcal{O}_X(-d) \mid d \in \text{certain specific conditions} \} \]
- **Tilting Object**: \[ T = \bigoplus_{d \in \Theta} \mathcal{O}_X(-d) \]
### Key Points of the Solution
1. **Correspondence between Cox Ring and Toric Variety**
- The correspondence between Cox ring S and toric variety is not one - to - one; multiple different toric varieties can correspond to the same Cox ring.
- The authors introduce a method to glue together the derived categories of all toric varieties generated by a given Cox ring to form the Cox category DCox(X).
2. **Properties of Bondal - Thomsen Set**
- The Bondal - Thomsen set Θ generalizes Beilinson's line bundle set and is applicable to a wider range of toric varieties.
- In the Cox category, the Bondal - Thomsen set Θ forms a full strong exceptional collection, and its direct sum is a tilting object.
3. **Application Areas**
- This method provides new and unified applications in areas such as diagonal resolution, category and non - commutative resolution, monads, Frobenius - generativity and window categories.
### Conclusion
By introducing the Cox category, the authors not only realize the birational version of King's conjecture, but also provide a new perspective and tool for the study of the derived category of toric varieties. This method provides a specific example for understanding the connection between the derived category and birational geometry, similar to how projective varieties are formed by gluing affine varieties to obtain a simpler structure.
---
Hope this summary can help you understand the core problem of this paper and its solution. If you have any further questions or need more detailed explanations, please feel free to let me know!