Hochschild (co)homology dimension. (English) Zbl 1139.16010

Summary: In 1989 Happel asked the question whether, for a finite-dimensional algebra \(A\) over an algebraically closed field \(k\), \(\text{gl.dim\,}A<\infty\) if and only if \(\text{hch.dim\,}A<\infty\). Here, the Hochschild cohomology dimension of \(A\) is given by \(\text{hch.dim\,}A:=\inf\{n\in\mathbb{N}_0\mid\dim HH^i(A)=0\) for \(i>n\}\). Recently Buchweitz, Green, Madsen and Solberg gave a negative answer to Happel’s question. They found a family of pathological algebras \(A_q\) for which \(\text{gl.dim\,}A_q=\infty\) but \(\text{hch.dim\,}A_q=2\). These algebras are pathological in many aspects. However, their Hochschild homology behaviors are not pathological any more; indeed one has \(\text{hh.dim\,}A_q=\infty=\text{gl.dim\,}A_q\). Here, the Hochschild homology dimension of \(A\) is given by \(\text{hh.dim\,}A:=\inf\{n\in\mathbb{N}_0\mid\dim HH^i(A)=0\) for \(i>n\}\). This suggests posing a seemingly more reasonable conjecture by replacing the Hochschild cohomology dimension in Happel’s question with the Hochschild homology dimension: \(\text{gl.dim\,}A<\infty\) if and only if \(\text{hh.dim\,}A<\infty\) if and only if \(\text{hh.dim\,}A=0\). The conjecture holds for commutative algebras and monomial algebras. In the case where \(A\) is a truncated quiver algebra, these conditions are equivalent to the condition that the quiver of \(A\) has no oriented cycles. Moreover, an algorithm for computing the Hochschild homology of any monomial algebra is provided. Thus the cyclic homology of any monomial algebra can be read off when the underlying field is characteristic 0.


16E40 (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)
16E10 Homological dimension in associative algebras
16G20 Representations of quivers and partially ordered sets
Full Text: DOI arXiv