Hochschild (Co)Homology Dimension

In 1989 Happel asked the question whether, for a finite-dimensionalalgebra A over an algebraically closed field k, gl.dim A < if and only if hch.dim A < . Here, the Hochschild cohomologydimension of A is given by hch.dim A := inf{n N₀ | dim HHⁱ(A) = 0 for i > n}. Recently Buchweitz, Green, Madsen andSolberg gave a negative answer to Happel's question. They founda family of pathological algebras A_q for which gl.dim A_q = but hch.dim A_q = 2. These algebras are pathological in manyaspects. However, their Hochschild homology behaviors are notpathological any more; indeed one has hh.dim A_q = = gl.dimA_q. Here, the Hochschild homology dimension of A is given byhh.dim A := inf{n N₀ | dim HH_i(A) = 0 for i > n}. This suggestsposing a seemingly more reasonable conjecture by replacing theHochschild cohomology dimension in Happel's question with theHochschild homology dimension: gl.dim A < if and only ifhh.dim A < if and only if hh.dim A = 0. The conjecture holdsfor commutative algebras and monomial algebras. In the casewhere A is a truncated quiver algebra, these conditions areequivalent to the condition that the quiver of A has no orientedcycles. Moreover, an algorithm for computing the Hochschildhomology of any monomial algebra is provided. Thus the cyclichomology of any monomial algebra can be read off when the underlyingfield is characteristic 0.