Generalized Koszul complexes and Hochschild (co-)homology of complete intersections (Q1187493): Difference between revisions

Let \(A\) be an algebra of finite type over a field \(K\) of characteristic zero. The purpose of the note is to give conditions for the smoothness of \(A\) as a \(K\)-algebra in terms of the vanishing of the Hochschild homology \(H_ *(A,A)=\text{Tor}_ *^{A\otimes_ KA}(A,A)\). The results are established for \(A\) a locally complete intersection and improve the result of \textit{J. Majadas} and \textit{A. G. Rodicio} [Math. Ann. 289, No. 1, 85-87 (1991; Zbl 0697.14035)]. The module \(\Omega^ 1_{A| K}\) of Kähler differentials is isomorphic to \(H_ 1(A,A)\), so there is an \(A\)-algebra map \(\gamma_ *:\Omega^*_{A| K}\to H_ *(A,A)\), where \(\Omega^*_{A| K}\) is the exterior algebra of \(\Omega^ 1_{A| K}\). Dually the Hochschild cohomology provides a map \[ \omega^*:H^*(A,A)=\text{Ext}^*_{A\otimes_ KA}(A,A)\to\text{Hom}_ A(\Omega^*_{A | K},A). \] The three main results are: (1) if \(H_ \alpha(A,A)=0\) both for an odd and for an even suffix, then \(A\) is a smooth \(K\)-algebra; (2) \(\gamma_ \alpha\) is an isomorphism for all \(\alpha\leq r\) if, and only if, \(A_ p\) is a smooth \(K\)-algebra for all prime ideals \(p\) of \(A\) with height \(\leq r-2\); (3) if \(\omega^ \alpha\) is injective for some even \(\alpha\) (in particular if \(H^ \alpha(A,A)=0)\), then \(A\) is a smooth \(K\)- algebra. When \(A\) is the coordinate ring of a hypersurface the conditions in (1) and (3) can be weakened to \(H_ \alpha(A,A)=0\) and to \(\omega^ \alpha\) is injective for some \(\alpha\), respectively. --- For the proofs the Hochschild (co-)homology is expressed in terms of the Hodge filtration of the De Rham complex generalizing a result of \textit{K. Wolffhardt} [Trans. Am. Math. Soc. 171, 51-66 (1972; Zbl 0269.14018)]. Then it is identified with the homology of the generalized Koszul complex associated with a matrix over \(A\) derived from \(\Omega_{A| K}^ 1\); this facilitates a nice use of results by the reviewer [J. Lond. Math. Soc., II. Ser. 7, 523-530 (1974; Zbl 0274.18018)] on the vanishing of the Koszul homology.