Bounds on the global dimension of certain piecewise hereditary categories (Q931663)

An abelian category \(\mathcal A\) is called piecewise hereditary, if there is an abelian hereditary category \(\mathcal H\) with a triangulated equivalence of their bounded derived categories: \(\mathcal D^b(\mathcal A)\cong\mathcal D^b(\mathcal H)\). Given \(\mathcal A\), a directed graph of indecomposables \(G(\mathcal A)\) has as vertices the isomorphism classes of \(\mathcal A\), and vertices \(Q, Q^\prime\) are joined by an edge \(Q\longrightarrow Q'\) if \(\Hom_\mathcal A(Q,Q')\neq 0\). Given \(Q, Q^\prime\), if there exists a sequence of non-isolated vertices \(Q_0=Q, Q_1,\dots, Q_r=Q^\prime\), then \(\varepsilon=(\varepsilon_0,\dots,\varepsilon_{r-1})\) is called an \(\varepsilon\)-path (of length \(r\)) from \(Q\) to \(Q^\prime\), if \(\varepsilon_i=+1\) whenever \(Q_i\longrightarrow Q_{i+1}\) is an edge in \(G(\mathcal A)\) and \(\varepsilon_i=-1\), when \(Q_{i+1}\longrightarrow Q_i\) is an edge. \textit{D. Happel, I. Reiten} and \textit{S. Smalø} [Arch. Math. 66, No. 3, 182--186 (1996; Zbl 0865.16009)] have shown that if \(\mathcal A\) is a finite length, piecewise hereditary category, with \(n\) non-isomorphic simple objects then gldim\(\mathcal A\leq n\). This paper concerns estimation of the global dimension of a finite length, piecewise hereditary category in terms of properties of \(G(\mathcal A)\) as follows: Given a finite length, piecewise hereditary category \(\mathcal A\), assume that there is an indecomposable \(Q_0\) and an \(r\geq 1\) such that for every indecomposable \(Q\), there exists an \(\varepsilon\)-path of length \(r\) from \(Q_0\) to \(Q\); then gldim\(\mathcal A\leq r+1\) and pd\(_\mathcal AQ+\)id\(_\mathcal AQ\leq r+2\) for any indecomposable \(Q\) (Theorem 1.1). Let \(A\) be a finite-dimensional, piecewise hereditary, sincere algebra. Then gldim\(A\leq 3\) and pd\(Q\)+id\(Q\leq 4\) for every finite-dimensional indecomposable \(A\)-module \(Q\) (Corollary 1.2.). Let \(X\) be a finite poset and \(k\) a field. If the incidence algebra \(kX\) is piecewise hereditary, then gldim\,\(kX\leq 3\) and pd\(Q\)+id\(Q\leq 4\) for every indecomposable \(kX\)-module \(Q\) (Corollary 1.3). Examples are given to show that the bound in Corollaries 1.2, 1.3 are sharp and that the converse of Corollary 1.3 does not necessarily hold.