Hochschild cohomology of truncated quiver algebras^* (Q4237110)

A truncated quiver algebra is an algebra \(\Lambda\) of the form \(\Lambda=kQ/J^n\), where \(Q\) is a finite quiver and \(J\) is the two sided ideal generated by the arrows. The paper gives an algorithmic way of finding the Hochschild cohomology groups of this kind of ring, primarily over a field of characteristic zero. In order to do this it is necessary to have a ``good'' minimal resolution of \(\Lambda\) as bimodule. The author uses the resolution whose terms were given by Happel and the description of the maps for any monomial algebra given by Bardzell. In order to give these formulas the author has to give a new description of the maps given by Bardzell. Surprisingly enough the case where the quiver is just an oriented cycle has to be considered separately. There are various hints in the paper of how to describe in these rings the multiplicative structure for the Hochschild cohomology. The author will do this in future work. As an application of the formulas it is proved that the Hochschild cohomology ring is finite dimensional, for these algebras, if and only if they have finite global dimension. This result is still unknown in the general setting. Another application is to show that the formula for the dimension of \(H^1\) is the same as the one for the hereditary case. The paper is self-contained if the reader is willing to accept the previous results which are stated.