Derived category of toric varieties with small Picard number (Q2392880): Difference between revisions

Given a smooth algebraic variety \(Y\) (over a characteristic zero field) it is quite interesting to study the structure of its bounded derived category of coherent sheaves \(\mathsf{D}^{\mathsf{b}}(\mathbf{Coh}(Y))\). One nice situation is the case in which this category possesses a \textit{full strongly exceptional collection}, namely, an ordered collection of coherent sheaves \(\{\mathcal{F}_0, \mathcal{F}_1, \dots, \mathcal{F}_m\}\) such that \(\mathrm{Ext}^{i}_{\mathcal{O}_Y}(\mathcal{F}_k, \mathcal{F}_j) = 0\) for all \(k , j \in \{0, \dots, m\}\) and \(i \neq 0\), and such that \(\mathrm{Hom}_{\mathcal{O}_Y}(\mathcal{F}_k, \mathcal{F}_j) = 0\) for all \(k\neq j\), that generate \(\mathsf{D}^{\mathsf{b}}(\mathbf{Coh}(Y))\) as a triangulated category. The existence of such a collection is rare in the higher genus case. In spite of this, whenever they exist, they provide a very precise description of \(\mathsf{D}^{\mathsf{b}}(\mathbf{Coh}(Y))\). In the present paper, using techniques form toric geometry, the authors construct an exceptional collection for the blow-up of \(\mathbb{P}^{n-r} \times \mathbb{P}^{r}\) at the codimension 2 linear subspace \(\mathbb{P}^{n-r-1} \times \mathbb{P}^{r-1}\). The collection is formed by \(2r(n - r) + n + 1\) line bundles described explicitly in terms of a family of toric divisors that belong to the anti-canonical class.