A characterization of hereditary categories with tilting object (Q5944894)
From MaRDI portal
scientific article; zbMATH DE number 1655629
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of hereditary categories with tilting object |
scientific article; zbMATH DE number 1655629 |
Statements
A characterization of hereditary categories with tilting object (English)
0 references
15 July 2003
0 references
Let \(k\) be an algebraically closed field. The hereditary categories considered in this article are assumed to be abelian \(k\)-categories with finite-dimensional \(\hom_{\mathcal H}(A,B)\) and \({\text{Ext}}_{\mathcal H}(A,B)\) for all \(A,B\in \text{Ob} \mathcal H\). An object \(T\) of \(\mathcal H\) is said to be a tilting object if it is exceptional (i.e., \({\text{Ext}}_{\mathcal H}(T,T)=0\)) such that the right perpendicular category \(T^\bot=0\). It is known that the existence of a tilting object is invariant under derived equivalence. The author obtains the striking result that up to derived equivalence, a connected hereditary category \(\mathcal H\) with a tilting object is of the form \(H\)-\textit{mod} for a finite-dimensional hereditary \(k\)-algebra \(H\) or \(\text{coh} \mathbb{X}\) (= coherent sheaves) for some weighted projective line \(\mathbb{X}\) in the sense of Geigle and Lenzing. The result has been conjectured by several authors [see \textit{I. Reiten}, Proc. ICM Berlin, Vol. II, 109-120 (1998; Zbl 0906.16002)]. It was known, for example, in case that \(\mathcal H\) has non-zero projectives or simple objects, or if \({\text{End}}_{\mathcal H}(T)\) is tame. If \(\mathcal H\) is Noetherian, then \(\mathcal H\) is of type \(H\)-\textit{mod} if there are non-zero projectives, and of type \(\text{coh} \mathbb{X}\) otherwise [\textit{D. Happel}, ``Quasi-tilted algebras'', ICRA VIII; \textit{H. Lenzing}, Proc. Am. Math. Soc. 125, No. 7, 1893-1901 (1997; Zbl 0869.18006)]. Now the author's result implies that every hereditary category with a tilting object is derived equivalent to a Noetherian category \(\mathcal H\) with this property. As another consequence, it follows that for a connected hereditary category \(\mathcal H\) with a tilting object \(T\), the Hochschild cohomology \(\text{H}^i({\text{End}}_{\mathcal H}(T))\) vanishes either for \(i=1\) or \(i=2\). Moreover, \textit{A. SkowroĊski}'s characterization of tame quasi-tilted algebras [J. Algebra 203, No. 2, 470-490 (1998; Zbl 0908.16013)] follows.
0 references
hereditary categories
0 references
tilting object
0 references
derived equivalence
0 references
Noetherian category
0 references
Hochschild cohomology
0 references