Strongly tilting truncated path algebras. (Q617843)

A truncated path algebra \(\Lambda=KQ/I\) of Loewy length \(L+1\) for some positive integer \(L\) is the quotient of the path algebra \(KQ\) of a quiver \(Q\) with coefficients in a field \(K\) by the ideal \(I\subseteq KQ\) generated by all paths of length \(L+1\). It is for instance known that, for \(K\) algebraically closed, every finite-dimensional \(K\)-algebra is Morita equivalent to a factor algebra of a truncated path algebra. In the paper under review, for any truncated path algebra \(\Lambda\), a structural description of the modules in the categories \(\mathcal P^{<\infty}(\Lambda\text{-mod})\) and \(\mathcal P^{<\infty}(\Lambda\text{-Mod})\), consisting of the finitely generated (respectively, arbitary) \(\Lambda\)-modules of finite projective dimension is given. These categories are also shown to be contravariantly finite in \(\Lambda\text{-mod}\) (Theorem 4.1) and \(\Lambda\text{-Mod}\) (Theorem 4.2). Further, the authors determine the corresponding minimal \(\mathcal P^{<\infty}\)-approximation of an arbitrary \(\Lambda\)-module from a projective representation, in particular explicitly constructing -- based on the Gabriel quiver \(Q\) and the Loewy length of \(\Lambda\) -- the basic strong tilting module \(_\Lambda T\) (in the sense of Auslander and Reiten) which is coupled with \(\mathcal P^{<\infty}(\Lambda\text{-mod})\) in the contravariantly finite case. The homological picture of \(\Lambda\), which started emerging in earlier work of the authors [\textit{A. Dugas, B. Huisgen-Zimmermann} and \textit{J. Learned}, in Models, modules and Abelian groups. In memory of A. L. S. Corner. Berlin: Walter de Gruyter. 445-461 (2008; Zbl 1195.16019)], where the homological dimensions of \(\Lambda\) were pinned down in terms of the quiver of the algebra and its Loewy length, is based on a bicoloring of the vertices of the quiver \(Q\), precyclic versus non-precyclic. Thus, the study of the homological properties of the corresponding tilted algebra \(\widetilde\Lambda=\text{End}_\Lambda(T)^{\text{op}}\), such as its finitistic dimensions and the structure of its modules of finite projective dimension, is also a main topic in the present paper. The authors characterize in particular the situation where the tilting module \(T_{\widetilde\Lambda}\) is strong over \(\widetilde\Lambda\) as well in terms of some straightforward condition on \(Q\). In this \(\Lambda\)-\(\widetilde\Lambda\)-symmetric situation, sharp results are obtained on the submodule lattices of the objects in \(\mathcal P^{<\infty}(\text{Mod-}\widetilde\Lambda)\), among them a certain hereditary property, which in turn entails that any module in \(\mathcal P^{<\infty}(\text{Mod-}\widetilde\Lambda)\) is an extension of a projective module by a module all of whose simple composition factors belong to \(\mathcal P^{<\infty}(\text{mod-}\widetilde\Lambda)\). Both section \S2 of prerequisites, and the section \S9 of examples are very helpful to the reader. Concretely, the examples are a nice alternative to giving a cumbersome formal algorithm for some of the constructions. The sharpest structural results can be found in Theorems 8.2 and 8.5. Also, it is worth mentioning that the results of sections \S7 through \S9 do not depend on \S6 (but are linked directly to sections \S3 through \S5 instead).