×

Cyclic homology for schemes. (English) Zbl 0855.19002

Let \(k\) be a commutative ring. For a \(k\)-algebra \(A\) one has Hochschild homology \(HH_* (A)\) and cyclic homology \(HC_* (A)\) which are related by Connes’ SBI-sequence. For a scheme \(X\) over \(k\) one may sheafify the Hochschild complex of \(A = {\mathcal O}_X (U)\), \(U \subset X\) open, to obtain a complex of sheaves \({\mathcal C}^h_*\). One defines the Hochschild homology of \(X\), \({\mathcal H} H_n (X) : = {\mathcal H}^{-n} (X, {\mathcal C}^h_*)\). S. C. Geller and the author [cf. “Étale descent for Hochschild and cyclic homology”, Comment. Math. Helv. 66, No. 3, 368-388 (1991; Zbl 0741.19007)] showed that \({\mathcal H} H_* (X)\) has the properties of a cyclic homology theory, i.e. (i) functoriality, (ii) Mayer-Vietoris, and (iii) the property that for an affine scheme \(X = \text{Spec} (A)\), one has \({\mathcal H} H_n (X) \cong {\mathcal H} H_n (A)\). In the underlying paper, the same result is established for cyclic homology of schemes. One sheafifies Connes’ double complex \((B_{**}, b, B)\) to obtain a double complex of sheaves \({\mathcal B}_{**}\). The cyclic homology of \(X\) is defined by \({\mathcal H} C_n (X) : = {\mathcal H}^{-n} (X, \text{Tot} {\mathcal B}_{**})\). The definition goes back to J. Loday, but the key property (iii) was still lacking. Here it is proved by a truncation procedure on the columns of the double complex \({\mathcal B}_{**}\). The hypercohomology \({\mathcal H}C_*\) becomes the limit of the hypercohomology of the truncated double complexes \(\tau_{q < r} {\mathcal B}_{**}\). The subtleties of hypercohomology (of not necessarily bounded below complexes) is explained in an appendix.

MSC:

19D55 \(K\)-theory and homology; cyclic homology and cohomology
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
18G60 Other (co)homology theories (MSC2010)

Citations:

Zbl 0741.19007
Full Text: DOI

References:

[1] C. Beckmann, Relative algebraic \(K\)-theory and cyclic homology of schemes, preprint 1992. · Zbl 0778.14003
[2] Marcel Bökstedt and Amnon Neeman, Homotopy limits in triangulated categories, Compositio Math. 86 (1993), no. 2, 209 – 234. · Zbl 0802.18008
[3] Alain Connes, Noncommutative differential geometry, Inst. Hautes Études Sci. Publ. Math. 62 (1985), 257 – 360. · Zbl 0592.46056
[4] H. Cartan and S. Eilenberg, Homological Algebra, Princeton Univ. Press, 1956. · Zbl 0075.24305
[5] A. Grothendieck, Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I, Inst. Hautes Études Sci. Publ. Math. 11 (1961), 167 (French). · Zbl 0122.16102
[6] A. Grothendieck, On the de Rham cohomology of algebraic varieties, Inst. Hautes Études Sci. Publ. Math. 29 (1966), 95 – 103. · Zbl 0145.17602
[7] A. Joyal, Letter to A. Grothendieck, 1984.
[8] A. Joyal, personal communication.
[9] J. F. Jardine, Simplicial presheaves, J. Pure Appl. Algebra 47 (1987), no. 1, 35 – 87. · Zbl 0624.18007 · doi:10.1016/0022-4049(87)90100-9
[10] Jean-Louis Loday, Cyclic homology, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 301, Springer-Verlag, Berlin, 1992. Appendix E by María O. Ronco. · Zbl 0780.18009
[11] Jean-Louis Loday, Cyclic homology, a survey, Geometric and algebraic topology, Banach Center Publ., vol. 18, PWN, Warsaw, 1986, pp. 281 – 303. · Zbl 0637.16013
[12] N. Spaltenstein, Resolutions of unbounded complexes, Compositio Math. 65 (1988), no. 2, 121 – 154. · Zbl 0636.18006
[13] R. W. Thomason, Algebraic \?-theory and étale cohomology, Ann. Sci. École Norm. Sup. (4) 18 (1985), no. 3, 437 – 552. · Zbl 0596.14012
[14] Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. · Zbl 0797.18001
[15] C.A. Weibel, The Hodge filtration and cyclic homology, preprint, 1994.
[16] Charles A. Weibel and Susan C. Geller, Étale descent for Hochschild and cyclic homology, Comment. Math. Helv. 66 (1991), no. 3, 368 – 388. · Zbl 0741.19007 · doi:10.1007/BF02566656
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.