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
    0 references
    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
    0 references
    0 references
    hereditary categories
    0 references
    tilting object
    0 references
    derived equivalence
    0 references
    Noetherian category
    0 references
    Hochschild cohomology
    0 references
    0 references
    0 references