Hochschild Cohomology for Complex Spaces and Noetherian Schemes

Abstract

The classical HKR-theorem gives an isomorphism of the n-th Hochschild cohomology of a smooth algebra and the n-th exterior power of its module of Kähler differentials. Here we generalize it for simplicial, graded and anticommutative objects in ``good pairs of categories''. We apply this generalization to complex spaces and noetherian schemes and deduce two decomposition theorems for their (relative) Hochschild cohomology (special cases of those were recently shown by Buchweitz-Flenner and Yekutieli). The first one shows that Hochschild cohomology contains tangent cohomology: $\HH^n(X/Y,\sM)=\coprod_{i-j=n}\Ext^i(\dach^j\LL(X/Y),\sM)$. The left side is the n-th Hochschild cohomology of $X$ over $Y$ with values in $\sM$. The right hand-side contains the $n$-th relative tangent cohomology $\Ext^n(\LL(X/Y),\sM)$ as direct factor. The second consequence is a decomposition theorem for Hochschild cohomology of complex analytic manifolds and smooth schemes in characteristic zero: $\HH^n(X)=\coprod_{i-j=n}H^i(X,\dach^j\sT_X).$ On the right hand-side we have the sheaf cohomology of the exterior powers of the tangent complex.