A Hochschild homology criterium for the smoothness of an algebra (Q1343869): Difference between revisions

The subject of this paper originates in a conjecture of \textit{A. G. Rodicio} [Comment. Math. Helv. 65, No. 3, 474-477 (1990; Zbl 0726.13008)]: ``Let \(k\) be a field of characteristic zero. If \(A\) is a finitely generated \(k\)-algebra, and \(HH_ n (A)=0\) for \(n>n_ 0\), then \(A\) is a geometrical regular \(k\)-algebra.'' The authors present here a positive answer to the conjecture as corollary of a more general result. A \(k\)-algebra \(A\) is called essentially of finite type if there exist \(x_ 1, \ldots x_ n\in A\) and a multiplicative system \(S\subset k[x_ 1, \ldots, x_ n]\) such that \(A= S^{-1} (k[ x_ 1, \ldots,x_ n])\). The authors prove that if \(A\) is essentially of finite type and \(HH_ i (A)= HH_ j (A)=0\) for some \(i\) old and \(j\) even, then \(A\) is geometrically regular.