Tilting on non-commutative rational projective curves

DOI10.1007/S00208-010-0585-4MaRDI QIDQ652235zbMATH OpenOpenAlexFDO

Authors Igor Burban, Yu. Drozd

Publication date 14 December 2011

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0905.1231

zbMATH Keywords

derived categories path algebras singular curves tilting objects

Mathematics Subject Classification ID

Vector bundles on curves and their moduli (14H60) Representation theory of associative rings and algebras (16G99)

Abstract: In this article we 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. In particular, we prove that the right bounded derived category of coherent sheaves on a reduced rational projective curve with only nodes and cusps as singularities, can be fully faithfully embedded into the right bounded derived category of the finite dimensional representations of a certain finite dimensional algebra of global dimension two. As an application of our approach we show the dimension of the bounded derived category of coherent sheaves on a rational projective curve with only nodal or cuspidal singularities is at most two. In the case of the Kodaira cycles of projective lines, the corresponding tilted algebras belong to a well-known class of gentle algebras. We work out in details the tilting equivalence in the case of the plane nodal cubic.

Review text

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.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: Tilting on non-commutative rational projective curves

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