Cyclic homology and equivariant homology. (English) Zbl 0644.55005

Given an associative algebra \(A\) over a commutative ring, A. Connes introduced its cyclic homology \(HC_*(A)\). Let \(HP_*(A)\) and \(HC^- _*(A)\) be the homologies of the related periodic complex and its negative part. Of particular importance in topology are the cases where \(A\) is the cochain algebra \(S^*X\) of a topological space \(X\) or the chain algebra \(S_*G\) of a topological group \(G\). The author studies the relationship of the homology groups \(HC_*\), \(HC^-_*\) and \(HP_*\) for \(S^*X\) and \(S_*G\) to the \(S^1\)-equivariant Borel homology and cohomology groups of the free loop space \(LX\) on \(X\) respectively of \(LBG\), where \(BG\) is the classifying space of \(G\). In particular, he derives the isomorphism \(HC_*(S_*G)\cong H_*(ES^1\times_{S^1}LBG)\) obtained independently by Burghelea-Fiedorowicz and by Goodwillie. The approach here is quite different: The author obtains his results as a consequence of more general results relating the cyclic homologies of the cyclic chain complexes \(S_*X\) of a cyclic space \(X\) and \(S^*Y\) of a cocyclic space \(Y\) to the Borel homology of the realization \(| X|\) and the Borel cohomology of the realization \(| Y|\), and in making use of both cyclic and cocyclic structures.
The paper is fairly self contained because the author gives a recollection of Connes cyclic category, cyclic and cocyclic objects, and some elementary properties, and of the various cyclic homology groups in the beginning sections, and includes a section with the definitions of \(S^1\)-equivariant homology and cohomology theories. For the latter he uses an explicit model for the chains on \(ES^1\times_{S^1}Z\) for an \(S^1\)-space \(Z\), which is particularly suited for the proofs of his main results.
Editorial remark: For more information concerning this article see [M. Ungheretti, Bull. Lond. Math. Soc. 49, No. 1, 95–101 (2017; Zbl 1378.55007)].
Reviewer: R.Vogt


55N35 Other homology theories in algebraic topology
55P35 Loop spaces
16E40 (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)


Zbl 1378.55007
Full Text: DOI EuDML


[1] Atiyah, M.F., Bott, R.: The moment map and equivariant cohomology. Topology23, 1-28 (1984) · Zbl 0521.58025 · doi:10.1016/0040-9383(84)90021-1
[2] Anderson, D.W.: A generalisation on the Eilenberg-Moore spectral sequence. Bull. Am. Math. Soc., NewSer.78, 784-786 (1972) · Zbl 0255.55012 · doi:10.1090/S0002-9904-1972-13034-9
[3] Anderson, D.W.: Fibrations and geometric realisations, Bull. Am. Math. Soc., NewSer.84, 765-788 (1978) · Zbl 0408.55002 · doi:10.1090/S0002-9904-1978-14512-1
[4] Baum, P., Smith, L.: The real cohomology of differentiable fibre bundles. Comment. Math. Helv.42, 171-179 (1967) · Zbl 0166.19302 · doi:10.1007/BF02564416
[5] Bott, R.: Gel’fand-Fuks cohomology and foliations. Lect. Notes New Mexico State University. 1973
[6] Bott, R., Segal, G.: The cohomology of the vector fields on a manifold. Topology16, 285-298 (1977) · Zbl 0387.57012 · doi:10.1016/0040-9383(77)90036-2
[7] Burghelea, D., Fiedorowicz, Z.: Cyclic homology and the algebraicK-theory of spaces II. Preprint. Topology25, 303-318 (1986) · Zbl 0639.55003 · doi:10.1016/0040-9383(86)90046-7
[8] Cartier, P.: Homologie cyclique. Seminaire Bourbaki, Fevrier 1984 (to appear in Asterique)
[9] Connes, A.: Non commutative differential geometry, Part I; The chern character inK homology. Publ. Math. Inst. Hautes Etud. Sci.62, 41-93 (1985) · Zbl 0592.46056 · doi:10.1007/BF02698807
[10] Connes, A.: Non commutative differential geometry, Part II; DeRham homology and non commutative algebra. Publ. Math. Inst. Hautes Etud. Sci.62, 144 (1985) · Zbl 0592.46056 · doi:10.1007/BF02698807
[11] Connes, A.: Cohomologie cyclique et foncteursExt n. C.R. Acad. Sci. Paris296, 953-958 (1983) · Zbl 0534.18009
[12] Deligne, P., Griffths, P., Sullivan, D.P., Morgan, J.W.: Real homotopy theory of Kahler manifolds. Invent. Math.29, 245-274 (1975) · Zbl 0312.55011 · doi:10.1007/BF01389853
[13] Dwyer, W.G., Hopkins, M.L., Kan, D.M.: The homotopy theory of cyclic sets. Trans. A.M.S.291, 281-289 (1985) · Zbl 0594.55020 · doi:10.1090/S0002-9947-1985-0797060-1
[14] Goodwillie, T.G.: Cyclic homology, derivations and the free loop space. Topology24, 187-215 (1985) · Zbl 0569.16021 · doi:10.1016/0040-9383(85)90055-2
[15] Griffiths, P.A., Morgan, J.W.: Rational homotopy theory and differential forms. Progress in mathematics, vol. 16. Boston: Birkhäuser 1981 · Zbl 0474.55001
[16] Greenberg, M.J.: Lectures in algebraic topology. New York: Benjamin (1967) · Zbl 0169.54403
[17] Hood, C., Jones, J.D.S.: Algebraic properties of cyclic homology groups. (Preprint, University of Warwich, 1986) · Zbl 0636.18005
[18] Karoubi, M.: Homologie cyclique des groupes et des algèbres. C.R. Acad. Sci. Paris297, 381-384 (1983) · Zbl 0528.18008
[19] Karoubi, M.: Homologie cyclique etK-theorie algebrique, I et II. C.R. Acad. Sci. Paris297, 447-450, 513-516 (1983) · Zbl 0528.18009
[20] Loday, J.-L., Quillen, D.G.: Cyclic homology and the Lie algebra homology of matrices. Comment. Math. Helv.59, 565-591 (1984) · Zbl 0565.17006 · doi:10.1007/BF02566367
[21] May, J.P.: Simplicial objects in algebraic topology. Princeton: Van Nostrand 1967 · Zbl 0165.26004
[22] Milnor, J.W., Stasheff, J.: Lectures on characteristic classes. Ann. Math. Stud.76. Princeton University Press 1971
[23] Quillen, D.G.: Rational homotopy theory. Ann. Math.90, 205-295 (1969) · Zbl 0191.53702 · doi:10.2307/1970725
[24] Quillen, D.G.: The spectrum of an equivariant cohomology ring, I and II. Ann. Math.94, 549-602 (1971) · Zbl 0247.57013 · doi:10.2307/1970770
[25] Segal, G.B.: Categories and cohomology theories. Topology13, 293-312 (1974) · Zbl 0284.55016 · doi:10.1016/0040-9383(74)90022-6
[26] Sullivan, D.P.: Infinitesimal calculations in topology. Publ. Math. Inst. Hautes Etud. Sci.47, 269-331 (1978) · Zbl 0374.57002 · doi:10.1007/BF02684341
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.