Abstract.We prove converses of the Hochschild-Kostant-Rosenberg Theo-
rem, in particular: If a commutative algebra S is flat and essentially o*
*f finite
type over a noetherian ring _, and the Hochschild homology HH*(S|_) is a
finitely generated S-algebra for shuffle products, then S is smooth over*
* _.