Skip to content

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.

Structural Signature

Sig role-phrases:

  • associative algebra — supplies the multiplication encoded by Hochschild chains It is essential. Counterfactual: Without an algebra there is no relevant chain complex.
  • Hochschild chain complex — provides tensor chains and the base differential It is essential. Counterfactual: Removing the Hochschild structure loses the algebraic boundary operation.
  • cyclic operator — identifies chains under signed cyclic rotation It is essential. Counterfactual: Without cyclic symmetry the construction remains Hochschild rather than cyclic homology.
  • mixed differential structure — organizes the b and B operations and exposes periodicity It is essential. Counterfactual: The relation between degrees and periodic variants is no longer represented.
  • homology classes — retain cycles modulo boundaries as invariants of the algebra It is essential. Counterfactual: Raw chains depend on presentation and do not provide the invariant.
  • commutative de Rham comparison — anchors the theory to classical differential forms in the smooth case It is diagnostic. Counterfactual: Without this comparison, the intended noncommutative generalization is harder to identify.

What It Is Not

  • 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.
  • Closest near-miss. Topological cyclic homology is a distinct homotopy-theoretic refinement, especially important outside rational settings, despite the related name and K-theoretic role.

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.

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.

Examples

Applied / In Practice

For regular functions on a smooth affine variety in characteristic zero, cyclic groups decompose through differential forms modulo exact forms and de Rham cohomology.

Mapped back: comparison → The algebraic construction recovers classical geometric information..

Applied / In Practice

A cyclic cocycle pairs with a K-theory class to produce a numerical invariant relevant to an index formula.

Mapped back: pairing → Cyclic cohomology supplies the recipient of the noncommutative Chern character..

Applied / In Practice

Computing only Hochschild homology of the algebra leaves tensor order unquotiented by cyclic rotation.

Mapped back: boundary → The cyclic identification is constitutive..

Structural Tensions

T1 — Computability versus Topological Robustness. The elementary cyclic complex is algebraically accessible but can degenerate for topological algebras, motivating entire, analytic, or local variants.

Diagnostic: Choose the theory according to algebra topology and the comparison or pairing required.

T2 — Commutative Recovery versus Noncommutative Extension. Agreement with de Rham theory guides interpretation, yet noncommutative algebras lack an underlying manifold of points.

Diagnostic: Use the comparison as an anchor without assuming every geometric object survives literally.

Structural–Framed Character

The chain and operator relations are formal; geometric meaning is framed by comparison theorems and the chosen algebra category. In a commutative smooth case the interpretation is classical, while in noncommutative settings it is an invariant analogy rather than a hidden manifold claim.

Structural Core vs. Domain Accent

The skeleton is a chain complex quotiented and augmented by a cyclic action. Homological algebra supplies cycles and boundaries; associative multiplication supplies Hochschild structure; noncommutative geometry supplies the de Rham and index-theoretic interpretation.

This entry is a kind of Theory.

  • Approved root. The frozen DAG keeps cyclic homology unparented because no reviewed prime captures its algebraic cyclic-complex identity.

  • Related — Hochschild homology, de Rham cohomology, and K-theory. These respectively supply the base complex, classical comparison, and major pairing target.

Relationships to Other Abstractions

Local relationship map for Cyclic homologyParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Cyclic homologyDOMAINPrime abstraction: Theory — is a kind ofTheoryPRIME

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

Neighborhood in Abstraction Space

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

Family — Algebraic Structures & Homological Invariants (15 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Hochschild homology. Tell: Uses the underlying algebraic chains without the full cyclic structure.
  • Topological cyclic homology. Tell: Is a spectrum-level theory with different construction and arithmetic behavior.
  • Periodic cyclic homology. Tell: A periodic variant, not always interchangeable with ordinary cyclic homology.
  • de Rham cohomology. Tell: Is a classical geometric theory recovered in suitable commutative cases rather than the general definition.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Cyclic_homology (revision 1342267018).
  • Preserved source candidate: http://citeseer.ist.psu.edu/old/404503.html
  • Preserved source candidate: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3618
  • Preserved source candidate: https://books.google.com/books?id=TtMkTEZbYoYC
  • Preserved source candidate: http://www-users.math.umd.edu/~jmr/KThy_errata2.pdf
  • Preserved source candidate: https://web.archive.org/web/20110722132557/http://mathsci.kaist.ac.kr/~jinhyun/note/cyclic/cyclic.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.