Hochschild cohomology of quasiprojective schemes
type: Item
instance of: scholarly article
title: Hochschild cohomology of quasiprojective schemes
zbMATH Open document ID: 0865.18010
DOI: 10.1016/0022-4049(95)00091-7
author: Richard G. Swan
published in: Journal of Pure and Applied Algebra
publication date: 1997-07-07T00:00:00Z
review text: This paper studies a new definition (studied independently by \textit{M. Kontsevich}) of Hochschild cohomology for schemes. Namely, let \(X\) be a separated scheme of finite type over a field \(k\), and let \({\mathcal F}\) be a sheaf of \({\mathcal O}_X\)-modules. Let \(\delta: X\to X\times X\) be the diagonal morphism, and identify \({\mathcal O}_X\) with \(\delta_*({\mathcal O}_X)\), \({\mathcal F}\) with \(\delta_*({\mathcal F})\). Define the Hochschild cohomology of \(X\) with coefficients in \({\mathcal F}\) to be \(H^n({\mathcal O}_X, {\mathcal F}): =\text{Ext}^n_{{\mathcal O}_{X\times X}} ({ \mathcal O}_X, {\mathcal F})\). This definition is motivated by the definition \(H^n(A,M) =\text{Ext}^n_{A^e} (A,M)\) of Hochschild cohomology for an \(A\)-module \(M\) \((A\) a commutative \(k\)-algebra, \(A^e=A \otimes_kA)\). Two other definitions of the Hochschild cohomology of \(X\) with coefficients in \({\mathcal F}\) are also discussed, namely \(HH^n(X,{\mathcal F}): =\mathbb{E}\text{xt}^n_{{\mathcal O}_X} ({\mathcal C}., {\mathcal F})\), where \({\mathcal C}.\) is the sheafification of the cyclic bar complex and \(\mathbb{E}\)xt denotes hyperext (an approach suggested by Loday for Hochschild homology), and a definition given by Gerstenhaber and Schack [cf. \textit{M. Gerstenhaber} and \textit{S. D. Schack}, ``Algebraic cohomology and deformation theory'', in: Deformation theory of algebras and structures and applications, Nato ASI Ser., Ser. C, 11-264 (1988; Zbl 0676.16022)]. Cyclic cohomology \(HC^n(X, {\mathcal F})\) is defined in a manner similar to \(HH^n(X, {\mathcal F})\). The main result of this paper is that \(H^n({\mathcal O}_X, {\mathcal F})\) is isomorphic to both of the other two definitions of Hochschild cohomology. Each of the three definitions has an associated Hodge spectral sequence. It is shown that if \(X\) is smooth than these spectral sequences are isomorphic. Furthermore it is immediate from the \(H^n({\mathcal O}_X, {\mathcal F})\) definiti…
Mathematics Subject Classification ID: 18G60
Mathematics Subject Classification ID: 14F05
Mathematics Subject Classification ID: 18G40
zbMATH DE Number: 896564
zbMATH Keywords: quasiprojective scheme
zbMATH Keywords: Hochschild cohomology for schemes
zbMATH Keywords: sheafification
zbMATH Keywords: hyperext
zbMATH Keywords: deformation theory
zbMATH Keywords: Hodge spectral sequence
zbMATH Keywords: cyclic cohomology
reviewed by: Leslie G. Roberts
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00091-7
OpenAlex ID: W2097117134
cites work: Q2546548
cites work: Central localization in Hochschild homology
cites work: Q3240881
cites work: Q5731806
cites work: Q3794302
cites work: Étale descent for Hochschild and cyclic homology
cites work: A Hodge-type decomposition for commutative algebra cohomology
cites work: On the Deformation of Algebra Morphisms and Diagrams
cites work: Sur quelques points d'algèbre homologique
cites work: On the De Rham cohomology of algebraic varieties
cites work: Q4143433
cites work: Differential Forms On Regular Affine Algebras
cites work: Q3778132
cites work: Q5751054
cites work: Cyclic homology and the Lie algebra homology of matrices
cites work: Homology
cites work: Q5508993
cites work: Q4296949
cites work: Cyclic homology for schemes
cites work: The Hodge filtration and cyclic homology
description: scientific article; zbMATH DE number 896564