Tilting on non-commutative rational projective curves (Q652235): Difference between revisions

The authors introduce a new class of non-commutative projective curves and show that in certain cases the derived category of coherent sheaves on them has a tilting complex. To make the above more precise, let \(X\) be a reduced algebraic curve over an algebraically closed field \(k\) having only nodes or cusps as singularities. The Auslander sheaf of such a curve is the sheaf of \(\mathcal{O}\)-algebras \(\mathcal{A}=\underline{End}_X(\mathcal{I}\oplus\mathcal{O})\), where \(\mathcal{I}\) is the ideal sheaf of the singular locus of \(X\). If \(X\) is in addition a rational curve of arbitrary arithmetic genus, then the main result of the paper under review states that the bounded derived category \({\text D}^{\text b}(\text{Coh}(\mathcal{A}))\) has a tilting complex \(H\), which roughly means that \(H\) generates the category and, furthermore, \({\text{Hom}}(H,H[i])=0\) for \(i\neq 0\). The corresponding tilted algebra \(\Gamma_X=\text{End}_{{\text D}^{\text b}(\mathcal{A})}(H)\) has global dimension equal to two and the derived categories \({\text D}^{\text b}(\text{Coh}(\mathcal{A}))\) and \({\text D}^{\text b}(\text{mod}-\Gamma_X)\) are equivalent. For rational \(X\) the authors also construct two fully faithful functors \(F\) and \(I\) from the category of coherent sheaves \(\text{Coh}(X)\) into \(\text{Coh}(\mathcal{A})\) and \(F\) is right exact while \(I\) is left exact. Using this and the above one can show that the right bounded derived category of coherent sheaves on \(X\) can be fully faithfully embedded into the right bounded derived category of the finite-dimensional representations of the algebra \(\Gamma_X\). Furthermore, \(F\) has a right adjoint functor \(G\) which is exact. The derived functor of \(G\) from \({\text D}^{\text b}(\text{Coh}(\mathcal{A}))\) to \({\text D}^{\text b}(\text{Coh}(X))\) is essentially surjective and hence the authors can prove that the Rouquier dimension of \({\text D}^{\text b}(\text{Coh}(X))\) is at most 2, since the dimension of \({\text D}^{\text b}(\text{Coh}(\mathcal{A}))\) is 2.