nLab
cyclic cohomology

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The graded subspace of Hochschild complex of an qassociative algebra consisting of invariant chains under certain actions of symmetric groups, is in fact a subcomplex, the cyclic subcomplex. Cyclic homology is Hochschild homology on cyclically invariant chains.

There are many versions (e.g. periodic cyclic homology) and generalities of the notion (e.g. for schemes, for algebras over cyclic operads). Topological cyclic homology? is an adaptation to ring spectra.

We may understand Hochschild homology as the cohomology of free loop space objects (as described there). These free loop space objects are canonically equipped with a circle group-action that rotates the loops. Cyclic homology is the corresponding S 1S^1-equivariant cohomology of free loop space objects.

Definition

The chain complex for cyclic homology

Let AA be an associative algebra over a ring kk. Write C (A,A)C_\bullet(A,A) for the Hochschild homology chain complex of AA with coefficients in AA.

For each nn \in \mathbb{N} let λ:C n(A,A)C n(A,A)\lambda : C_n(A,A) \to C_n(A,A) be the kk-linear map that cyclically permutes the elements and introduces a sign:

λ:(a 0,a 1,,a n1,a n)(1) n(a n,a 0,,a n1). \lambda : (a_0, a_1, \cdots, a_{n-1}, a_n) \mapsto (-1)^n (a_n, a_0 , \cdots, a_{n-1}) \,.
Definition

The cyclic homology complex C λ(A)C^\lambda_\bullet(A) of AA is the quotient of the Hochschild homology complex of AA by cyclic permutations:

C λ(A):=C (A,A)/im(Idλ). C_\bullet^\lambda(A) := C_\bullet(A,A)/im(Id-\lambda) \,.

The homology of the cyclic complex, denoted

HC n(A):=H n(C λ(A)) HC_n(A) := H_n( C_\bullet^\lambda(A) )

is called the cyclic homology of AA.

If IAI\subset A is an ideal, then the relative cyclic homology groups HC n(A,I)HC_n(A,I) are the homology groups of the complex C (A,I)=ker(C (A)C (A/I))C_\bullet(A,I) = ker(C_\bullet(A)\to C_\bullet(A/I)).

The complex for cyclic homology was considered by Alain Connes and Boris Tsygan around 1981, 1982.

Monographs:

  • J-L. Loday, Cyclic homology, Grundleheren Math.Wiss. 301, Springer, 2nd ed.
  • Alain Connes, Noncommutative geometry, Acad. Press 1994, 661 p. PDF
  • Max Karoubi, Homologie cyclique et K-théorie, Astérique 149, Société Mathématique de France (1987).

Quick lecture notes:

Some influential original references from 1980s:

  • A. Connes, Noncommutative differential geometry, Part I, the Chern character in KK-homology, Preprint, Inst. Hautes Études Sci., Bures-sur-Yvette, 1982; Part II, de Rham homology and noncommutative algebra, Preprint, IHÉS 1983; Cohomologie cyclique et foncteurs Ext nExt^n, C. R. Acad. Sci. Paris 296, (1983), pp. 953–958, MR86d:18007
  • Boris Tsygan, Boris Feigin, Additive K-theory, in LNM 1289 (1987), edited by Yu. I. Manin, pp. 67–209, seminar 1984-1986 in Moscow), MR89a:18017; Аддитивная K-теория и кристальные когомологии, Функц. анализ и его прил., 19:2 (1985), 52–-62, pdf, MR88e:18008; Engl. transl. in B. L. Feĭgin, B. L. Tsygan, Additive KK-theory and crystalline cohomology, Functional Analysis and Its Applications, 1985, 19:2, 124–132.
  • T. Goodwillie, Cyclic homology, derivations, and the free loopspace, Topology 24 (1985), no. 2, 187–215, MR87c:18009, doi
  • John D.S. Jones, Cyclic homology and equivariant homology, Invent. Math. 87, 403-423 (1987) pdf

Some modern illuminating references:

  • D. Kaledin, Cyclic homology with coefficients, math.KT/0702068, to appear in Yu. Manin’s 70th anniversary volume.
  • E. Getzler, M. Kapranov, Cyclic operads and cyclic homology, in: “Geometry, Topology and Physics for R. Bott”, ed. S.-T. Yau, p. 167-201, International Press, Cambridge MA, 1995, pdf
  • Teimuraz Pirashvili, Birgit Richter, Hochschild and cyclic homology via functor homology, K-Theory 25 (2002), no. 1, 39–49, MR2003c:16011, doi
  • Jolanta Słomińska, Decompositions of the category of noncommutative sets and Hochschild and cyclic homology, Cent. Eur. J. Math. 1 (2003), no. 3, 327–331, MR2004f:16011, doi
Revised on August 17, 2011 20:43:01 by Zoran Škoda (161.53.130.104)