Cyclic homology

Last updated May 30, 2024

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.

Hints about definition

The first definition of the cyclic homology of a ring A over a field of characteristic zero, denoted

HC_n(A) or H_n^λ(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 $t_{n}$ which generates the natural cyclic action of $\mathbb {Z} /n\mathbb {Z}$ on the n-th tensor product of A:

{\begin{aligned}t_{n}:A^{\otimes n}\to A^{\otimes n},\quad a_{1}\otimes \dots \otimes a_{n}\mapsto (-1)^{n-1}a_{n}\otimes a_{1}\otimes \dots \otimes a_{n-1}.\end{aligned}}

Recall that the Hochschild complex groups of A with coefficients in A itself are given by setting $HC_{n}(A):=A^{\otimes n+1}$ for all n ≥ 0. Then the components of the Connes complex are defined as $C_{n}^{\lambda }(A):=HC_{n}(A)/\langle 1-t_{n+1}\rangle$ , and the differential $d:C_{n}^{\lambda }(A)\to C_{n-1}^{\lambda }(A)$ is the restriction of the Hochschild differential to this quotient. One can check that the Hochschild differential does indeed factor through to this space of coinvariants. ^[3]

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 connecting Hochschild and cyclic homology. This long exact sequence is referred to as the periodicity sequence.

Case of commutative rings

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:

HC_{n}(A)\simeq \Omega ^{n}\!A/d\Omega ^{n-1}\!A\oplus \bigoplus _{i\geq 1}H_{\text{dR}}^{n-2i}(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.

Variants of cyclic homology

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^{*}$ -algebras, etc. The reason is that K-theory behaves much better on topological algebras such as Banach algebras or C*-algebras than on algebras without additional structure. Since, on the other hand, cyclic homology degenerates on C*-algebras, there came up the need to define modified theories. Among them are entire cyclic homology due to Alain Connes, analytic cyclic homology due to Ralf Meyer^[5] or asymptotic and local cyclic homology due to Michael Puschnigg.^[6] The last one is very close to K-theory as it is endowed with a bivariant Chern character from KK-theory.

Applications

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.

Computations of algebraic K-theory

The cyclotomic trace map is a map from algebraic K-theory (of a ring A, say), to cyclic homology:

tr:K_{n}(A)\to HC_{n-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 Goodwillie (1986): it asserts that the map

K_{n}(A,I)\otimes \mathbf {Q} \to HC_{n-1}(A,I)\otimes \mathbf {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\otimes _{\mathbf {Z} }\mathbf {Q}$ . For rings not containing Q, cyclic homology must be replaced by topological cyclic homology in order to keep a close connection to K-theory. (If Q is contained in A, then cyclic homology and topological cyclic homology of A agree.) This is in line with the fact that (classical) Hochschild homology is less well-behaved than topological Hochschild homology for rings not containing Q. Clausen, Mathew & Morrow (2018) proved a far-reaching generalization of Goodwillie's result, stating that for a commutative ring A so that the Henselian lemma holds with respect to the ideal I, the relative K-theory is isomorphic to relative topological cyclic homology (without tensoring both with Q). Their result also encompasses a theorem of Gabber (1992), asserting that in this situation the relative K-theory spectrum modulo an integer n which is invertible in A vanishes. Jardine (1993) used Gabber's result and Suslin rigidity to reprove Quillen's computation of the K-theory of finite fields.

Notes

↑ Boris L. Tsygan. Homology of matrix Lie algebras over rings and the Hochschild homology. Uspekhi Mat. Nauk, 38(2(230)):217–218, 1983. Translation in Russ. Math. Survey 38(2) (1983), 198–199.
↑ Alain Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., 62:257–360, 1985.
↑ Jean-Louis Loday. Cyclic Homology. Vol. 301. Springer Science & Business Media, 1997.
↑ Boris L. Fegin and Boris L. Tsygan. Additive K-theory and crystalline cohomology. Funktsional. Anal. i Prilozhen., 19(2):52–62, 96, 1985.
↑ Ralf Meyer. Analytic cyclic cohomology. PhD thesis, Universität Münster, 1999
↑ Michael Puschnigg. Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. Math., 8:143–245 (electronic), 2003.
↑ Alain Connes and Henri Moscovici. The local index formula in noncommutative geometry. Geom. Funct. Anal., 5(2):174–243, 1995.
↑ Ryszard Nest and Boris Tsygan. Algebraic index theorem. Comm. Math. Phys., 172(2):223–262, 1995.

Related Research Articles

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions, possibly in some generalized sense. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which $does not always equal; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.$

In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index is equal to the topological index. It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.

In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n-dimensional oriented closed manifold (compact and without boundary), then the kth cohomology group of M is isomorphic to the (n − k)th homology group of M, for all integers k

Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the K-groups of the integers.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces X and Y and their product space $. In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer.$

In mathematics, a (right) Leibniz algebra, named after Gottfried Wilhelm Leibniz, sometimes called a Loday algebra, after Jean-Louis Loday, is a module L over a commutative ring R with a bilinear product [ _, _ ] satisfying the Leibniz identity

In mathematics, Hochschild homology (and cohomology) is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Henri Cartan and Samuel Eilenberg (1956).

In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F₁, or, in a French–English pun, F_un. The name "field with one element" and the notation F₁ are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F₁ refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F₁ have been proposed, but it is not clear which, if any, of them give F₁ all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.

In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan and Daniel Quillen. This simplification of homotopy theory makes certain calculations much easier.

In noncommutative geometry and related branches of mathematics and mathematical physics, a spectral triple is a set of data which encodes a geometric phenomenon in an analytic way. The definition typically involves a Hilbert space, an algebra of operators on it and an unbounded self-adjoint operator, endowed with supplemental structures. It was conceived by Alain Connes who was motivated by the Atiyah-Singer index theorem and sought its extension to 'noncommutative' spaces. Some authors refer to this notion as unbounded K-cycles or as unbounded Fredholm modules.

In quantum geometry or noncommutative geometry a quantum differential calculus or noncommutative differential structure on an algebra $over a field means the specification of a space of differential forms over the algebra. The algebra here is regarded as a coordinate ring but it is important that it may be noncommutative and hence not an actual algebra of coordinate functions on any actual space, so this represents a point of view replacing the specification of a differentiable structure for an actual space. In ordinary differential geometry one can multiply differential 1-forms by functions from the left and from the right, and there exists an exterior derivative. Correspondingly, a first order quantum differential calculus means at least the following:$

An $- -bimodule over, i.e. one can multiply elements of by elements of in an associative way:$
A linear map $obeying the Leibniz rule$
(optional connectedness condition)

In mathematics, a Malcev Lie algebra, or Mal'tsev Lie algebra, is a generalization of a rational nilpotent Lie algebra, and Malcev groups are similar. Both were introduced by Quillen, based on the work of.

In mathematics, p-adic Hodge theory is a theory that provides a way to classify and study p-adic Galois representations of characteristic 0 local fields with residual characteristic p. The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of p-adic cohomology theories analogous to the Hodge decomposition, hence the name p-adic Hodge theory. Further developments were inspired by properties of p-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field.

Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras, simplicial commutative rings or $-ring spectra$ from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.

In mathematics, the Hodge–de Rham spectral sequence is an alternative term sometimes used to describe the Frölicher spectral sequence. This spectral sequence describes the precise relationship between the Dolbeault cohomology and the de Rham cohomology of a general complex manifold. On a compact Kähler manifold, the sequence degenerates, thereby leading to the Hodge decomposition of the de Rham cohomology.

This is a glossary of properties and concepts in algebraic topology in mathematics.

Ralph Martin Kaufmann is a German mathematician working in the United States.

References

Jardine, J. F. (1993), "The K-theory of finite fields, revisited", K-Theory, 7 (6): 579–595, doi:10.1007/BF00961219, MR 1268594
Loday, Jean-Louis (1998), Cyclic Homology, Grundlehren der mathematischen Wissenschaften, vol. 301, Springer, ISBN 978-3-540-63074-6
Gabber, Ofer (1992), "K-theory of Henselian local rings and Henselian pairs", Algebraic K-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989), Contemp. Math., vol. 126, AMS, pp. 59–70
Clausen, Dustin; Mathew, Akhil; Morrow, Matthew (2018), "K-theory and topological cyclic homology of henselian pairs", arXiv: 1803.10897 [math.KT]
Goodwillie, Thomas G. (1986), "Relative algebraic K-theory and cyclic homology", Annals of Mathematics, Second Series, 124 (2): 347–402, doi:10.2307/1971283, JSTOR 1971283, MR 0855300
Rosenberg, Jonathan (1994), Algebraic K-theory and its applications, Graduate Texts in Mathematics, vol. 147, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94248-3, MR 1282290, Zbl 0801.19001 . Errata

External links

"Cyclic cohomology", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
A personal note on Hochschild and Cyclic homology

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Boris L. Tsygan. Homology of matrix Lie algebras over rings and the Hochschild homology. Uspekhi Mat. Nauk, 38(2(230)):217–218, 1983. Translation in Russ. Math. Survey 38(2) (1983), 198–199.

[2] Alain Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., 62:257–360, 1985.

[3] Jean-Louis Loday. Cyclic Homology. Vol. 301. Springer Science & Business Media, 1997.

[4] Boris L. Fegin and Boris L. Tsygan. Additive K-theory and crystalline cohomology. Funktsional. Anal. i Prilozhen., 19(2):52–62, 96, 1985.

[5] Ralf Meyer. Analytic cyclic cohomology. PhD thesis, Universität Münster, 1999

[6] Michael Puschnigg. Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. Math., 8:143–245 (electronic), 2003.

[7] Alain Connes and Henri Moscovici. The local index formula in noncommutative geometry. Geom. Funct. Anal., 5(2):174–243, 1995.

[8] Ryszard Nest and Boris Tsygan. Algebraic index theorem. Comm. Math. Phys., 172(2):223–262, 1995.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]