Resolutions of toric subvarieties by line bundles and applications

arXiv2303.03763MaRDI QIDQ6428646FDOQ6428646

Authors: Andrew Hanlon, Jeff Hicks, Oleg Lazarev 

Publication date: 7 March 2023

Abstract: Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $mathcal{O}_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of $mathcal{O}_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry. As a corollary, we obtain a virtual analogue of Hilbert's syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman, and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal's claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara's conjecture that this remains true for arbitrary line bundles.

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Resolutions; derived functors (category-theoretic aspects) (18G10) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

This page was built for publication: Resolutions of toric subvarieties by line bundles and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428646)