Hochschild Cohomology and Representation-finite Algebras (Q4465100)

Hochschild cohomology groups of bound quiver algebras \(RQ/I\) (in particular mesh algebras \(R(\Gamma)\) of translation quivers) over a commutative ring \(R\) are the main subject of study. Several vanishing results are proved, among them the equivalence of the following conditions: (1) a finite translation quiver \(\Gamma\) is simply connected (in the sense that the orbit quiver of \(\Gamma\) is a tree), (2) the first Hochschild cohomology group \(HH^1(R(\Gamma))\) vanishes, and (3) \(HH^1(R(\Delta))=0\) for every convex translation subquiver \(\Delta\) of \(\Gamma\). Here \(R\) is a domain. Another result is the following theorem. Assume that \(A\) is a connected finite dimensional representation-finite algebra over an algebraically closed field and \(\Lambda\) is its Auslander algebra. Then the following conditions are equivalent: (1) \(HH^1(A)=0\), (2) \(HH^1(\Lambda)=0\), (3) \(A\) is simply connected, (4) \(\Lambda\) is strongly simply connected in the sense of \textit{A. Skowroński} [in ``Representations of Algebras'', CMS Conf. Proc. 14, 431-447 (1993; Zbl 0806.16012)]. Some parts of the results were known before, sometimes under additional hypotheses, see in particular \textit{D. Happel} [Lect. Notes Math. 1404, 108-126 (1989; Zbl 0688.16033) and Banach Center Publ. 26, Part 1, 303-310 (1990; Zbl 0737.16004)], \textit{I. Assem} and \textit{P. Brown} [Glasg. Math. J. 39, No. 1, 21-27 (1997; Zbl 0909.16007)]. To prove the theorems the authors develop in particular some theory of relationships between \(HH^i(A)\) and \(HH^i(B)\), where \(B\) is the endomorphism algebra of a module \(T\) over an \(R\)-algebra \(A\). A generalization of Happel's well-known result relating \(HH^i(A)\) and \(HH^i(\text{End}_A(T))\) for a finite dimensional algebra \(A\) over a field and a tilting \(A\)-module \(T\) is obtained. Also some semicontinuity results for Hochschild cohomology groups of \(R\)-algebras are proved and applied in the paper.