In noncommutative geometry and related branches of mathematics, cyclic homology and cyclic cohomology are certain (co)homology theories for associative algebras which generalize the de Rham (co)homology of manifolds. These notions were independently introduced by Boris Tsygan (homology)[1] and Alain Connes (cohomology)[2] in the 1980s. These invariants have many interesting relationships with several older branches of mathematics, including de Rham theory, Hochschild (co)homology, group cohomology, and the K-theory. Contributors to the development of the theory include Max Karoubi, Yuri L. Daletskii, Boris Feigin, Jean-Luc Brylinski, Mariusz Wodzicki, Jean-Louis Loday, Victor Nistor, Daniel Quillen, Joachim Cuntz, Ryszard Nest, Ralf Meyer, and Michael Puschnigg.
The first definition of the cyclic homology of a ring A over a field of characteristic zero, denoted
HCn(A) or Hnλ(A),
proceeded by the means of the following explicit chain complex related to the Hochschild homology complex of A, called the Connes complex:
For any natural number n ≥ 0, define the operator
tn
Z/nZ
\begin{align}tn:A ⊗ \toA ⊗ , a1 ⊗ ... ⊗ an\mapsto(-1)n-1an ⊗ a1 ⊗ ... ⊗ an-1. \end{align}
Recall that the Hochschild complex groups of A with coefficients in A itself are given by setting
HCn(A):=A ⊗
λ | |
C | |
n(A) |
:=HCn(A)/\langle1-tn+1\rangle
d:
λ | |
C | |
n(A) |
\to
λ | |
C | |
n-1 |
(A)
Connes later found a more categorical approach to cyclic homology using a notion of cyclic object in an abelian category, which is analogous to the notion of simplicial object. In this way, cyclic homology (and cohomology) may be interpreted as a derived functor, which can be explicitly computed by the means of the (b, B)-bicomplex. If the field k contains the rational numbers, the definition in terms of the Connes complex calculates the same homology.
One of the striking features of cyclic homology is the existence of a long exact sequence connectingHochschild and cyclic homology. This long exact sequence is referred to as the periodicity sequence.
Cyclic cohomology of the commutative algebra A of regular functions on an affine algebraic variety over a field k of characteristic zero can be computed in terms of Grothendieck's algebraic de Rham complex.[4] In particular, if the variety V=Spec A is smooth, cyclic cohomology of A are expressed in terms of the de Rham cohomology of V as follows:
HCn(A)\simeq\OmeganA/d\Omegan-1A ⊕ oplusi\geq
n-2i | |
H | |
dR |
(V).
This formula suggests a way to define de Rham cohomology for a 'noncommutative spectrum' of a noncommutative algebra A, which was extensively developed by Connes.
One motivation of cyclic homology was the need for an approximation of K-theory that is defined, unlike K-theory, as the homology of a chain complex. Cyclic cohomology is in fact endowed with a pairing with K-theory, and one hopes this pairing to be non-degenerate.
There has been defined a number of variants whose purpose is to fit better with algebras with topology, such as Fréchet algebras,
C*
One of the applications of cyclic homology is to find new proofs and generalizations of the Atiyah-Singer index theorem. Among these generalizations are index theorems based on spectral triples[7] and deformation quantization of Poisson structures.[8]
An elliptic operator D on a compact smooth manifold defines a class in K homology. One invariant of this class is the analytic index of the operator. This is seen as the pairing of the class [D], with the element 1 in HC(C(M)). Cyclic cohomology can be seen as a way to get higher invariants of elliptic differential operators not only for smooth manifolds, but also for foliations, orbifolds, and singular spaces that appear in noncommutative geometry.
The cyclotomic trace map is a map from algebraic K-theory (of a ring A, say), to cyclic homology:
tr:Kn(A)\toHCn-1(A).
In some situations, this map can be used to compute K-theory by means of this map. A pioneering result in this direction is a theorem of : it asserts that the map
Kn(A,I) ⊗ Q\toHCn-1(A,I) ⊗ Q
between the relative K-theory of A with respect to a nilpotent two-sided ideal I to the relative cyclic homology (measuring the difference between K-theory or cyclic homology of A and of A/I) is an isomorphism for n≥1.
While Goodwillie's result holds for arbitrary rings, a quick reduction shows that it is in essence only a statement about
A ⊗ ZQ