Resolutions of toric subvarieties by line bundles and applications
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929612063244288 |
|---|---|
| author | Hanlon, Andrew Hicks, Jeff Lazarev, Oleg |
| author_facet | Hanlon, Andrew Hicks, Jeff Lazarev, Oleg |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2303_03763 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Resolutions of toric subvarieties by line bundles and applications Hanlon, Andrew Hicks, Jeff Lazarev, Oleg Algebraic Geometry 14M25, 18G10, 14F08 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. |
| title | Resolutions of toric subvarieties by line bundles and applications |
| topic | Algebraic Geometry 14M25, 18G10, 14F08 |
| url | https://arxiv.org/abs/2303.03763 |