Cyclic homology

A homology theory imposing cyclic symmetry on Hochschild chains to provide de Rham-like invariants for associative, including noncommutative, algebras.

Version

v1 · 2026-09-28 · History

Domain-specific #

8824

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Homological Algebra, Noncommutative Geometry → Mathematics

Core Idea

Cyclic homology modifies the Hochschild chain complex of an associative algebra by imposing signed cyclic rotation on tensor factors. In Connes' complex, chains are passed to coinvariants under that rotation and the Hochschild differential descends. The equivalent mixed-complex viewpoint uses b and B and makes the periodicity relation with Hochschild homology explicit.

Its conceptual purpose is to carry de Rham-like information into noncommutative algebra. In the smooth commutative characteristic-zero case, differential forms and de Rham cohomology reappear in the calculation. Beyond that case, cyclic cohomology pairs with K-theory and supports index-theoretic invariants. Topological variants are separate constructions designed for settings where ordinary cyclic homology behaves poorly.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree any five-year-old picture (beads on a necklace, holes in a round shape) teaches that 'cyclic' means circular shapes, collapsing an algebraic chain-complex invariant built from signed rotation of tensor factors into a story about circles.

Shape Clues from Rotating Lists

Mathematicians have tools for measuring shapes, like noticing that a donut has a hole and a ball doesn't. Some mathematical systems, called algebras, are just rules for multiplying things and don't look like shapes at all. Cyclic homology is a tool that pulls shape-like information out of them anyway. It works by writing down lists of things being multiplied and treating a list and its rotated versions as the same (sometimes with a minus sign). When the algebra really does come from a nice smooth shape, this tool gives back familiar shape measurements.

Rotation-Invariant Hochschild Homology

Cyclic homology is a way of computing invariants of an associative algebra, a system where you can add and multiply but multiplication need not commute. It starts from Hochschild homology, which builds chains out of tensor products of algebra elements. Cyclic homology adds a rule: rotating the factors of a chain cyclically, with a sign, counts as the same chain. The purpose is to bring ideas from calculus on shapes, like differential forms and de Rham cohomology, into settings where the "space" is described only by a noncommutative algebra. For nice commutative algebras (smooth ones, over a field like the rationals or reals), the answer indeed reproduces differential forms and de Rham cohomology. Beyond that, its dual version pairs with K-theory and supports index-theory invariants.

 

Cyclic homology is a homology theory for associative algebras obtained by modifying the Hochschild chain complex. In Connes' description, the Hochschild chains A^{⊗(n+1)} carry a signed cyclic rotation operator that moves the last tensor factor to the front; one passes to coinvariants under this action, and the Hochschild boundary b descends to the quotient, giving the cyclic complex. An equivalent approach uses a mixed complex with the Hochschild boundary b and Connes' operator B, which makes explicit the long exact periodicity sequence linking cyclic and Hochschild homology. The motivation is to transport de Rham-type information into noncommutative algebra: for smooth commutative algebras in characteristic zero, the computation recovers differential forms and de Rham cohomology. For general algebras, cyclic cohomology pairs with K-theory and yields index-theoretic invariants. Topological versions of cyclic homology are separate constructions built for settings where the ordinary theory behaves poorly.

Scope of Application

• Noncommutative geometry. Algebras receive de Rham-like invariants without point-set manifolds.
• Algebraic K-theory. Trace maps and Chern characters connect K-classes to cyclic groups.
• Index theory. Cyclic cocycles pair with operator and K-theoretic classes.
• Deformation and singular geometry. Variants extend calculations beyond smooth commutative spaces.

Clarity

State the base ring or field, algebra category, homological versus cohomological convention, ordinary versus periodic/negative/topological variant, grading, and chosen complex. Tensor-index conventions vary, so define the cyclic operator rather than relying on notation alone. Inclusion test: A construction is cyclic homology when it derives algebraic invariants from Hochschild-type chains equipped with the defining cyclic symmetry and corresponding differential structure. Exclusion test: Hochschild homology without the cyclic quotient or B-operator relation is not cyclic homology. Nearest boundary: Topological cyclic homology is a distinct homotopy-theoretic refinement, especially important outside rational settings, despite the related name and K-theoretic role. Exit condition: The identity exits when cyclic symmetry is removed or when the invariant is built from a fundamentally different chain or spectrum construction. Common misclassifications: It is not Hochschild homology with a different name. It is not ordinary singular homology of an algebra viewed as a space. It is not topological cyclic homology, despite their historical and computational relationship. It is not automatically well behaved for every topological algebra without choosing a suitable variant. Nearest named distinctions: Hochschild homology: Uses the underlying algebraic chains without the full cyclic structure. Topological cyclic homology: Is a spectrum-level theory with different construction and arithmetic behavior. Periodic cyclic homology: A periodic variant, not always interchangeable with ordinary cyclic homology. de Rham cohomology: Is a classical geometric theory recovered in suitable commutative cases rather than the general definition.

Manages Complexity

Cyclic symmetry packages differential-form-like invariants in algebraic chains and links them through exact sequences. The compression is powerful, but a single phrase can conceal several completions and variants with different convergence and excision properties. Calculations must restore those choices.

Abstract Reasoning

1. Fix the associative algebra and coefficient assumptions.
2. Build its Hochschild chains and boundary b.
3. Define the signed cyclic rotation and pass to cyclic coinvariants or the equivalent cyclic object.
4. Use the cyclic complex or (b,B)-bicomplex to compute homology.
5. Relate the groups across degrees through the periodicity sequence.
6. In commutative smooth cases, compare with forms and de Rham cohomology.
7. Choose a topological or periodic variant only when its additional hypotheses and target justify it.

Knowledge Transfer

The construction transfers among associative algebras when Hochschild chains and cyclic symmetry remain meaningful. Its de Rham interpretation transfers cleanly only under suitable smoothness and characteristic assumptions, and ordinary cyclic homology should not be substituted for topological cyclic homology in integral or spectral settings. The cargo is cyclic chain invariance, not every downstream geometric analogy.

Relationships to Other Abstractions

Current abstraction Cyclic homology Domain-specific

Parents (1) — more general patterns this builds on

• Cyclic homology is a kind of Theory Prime

  Cyclic homology is a strict kind of Theory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy paths (2) — routes to 2 parentless roots

• Cyclic homology → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space

Cyclic homology sits in a moderately populated region (48^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Structures & Homological Invariants (15 abstractions)

Nearest neighbors

• K-Homology — 0.87
• Quasi-Isomorphism — 0.86
• Injective and Projective Model Structure — 0.86
• Malcev-admissible algebra — 0.86
• Paramorphism — 0.86

Computed from structural-signature embeddings · 2026-10-08