nLab topological cyclic homology



Higher algebra



Special and general types

Special notions


Extra structure





Topological Hochschild homology (resp. topological cyclic homology) (see the survey in (May)) is a refinement of Hochschild homology/cyclic homology from commutative rings/algebras to the higher algebra of ring spectra/E-∞ rings/E-∞ algebras.

One motivation for their study are computational considerations, as well in certain cases, these invariants are easier to compute than algebraic K-theory, while there is a natural morphism of spectra

TC(R) cyclotomictrace K(R) THH(R) \array{ && \mathbf{TC}(R) \\ & {}^{\mathllap{cyclotomic \atop trace}}\nearrow & \downarrow \\ \mathbf{K}(R) &\underset{}{\longrightarrow}& \mathbf{THH}(R) }

from the algebraic K-theory spectrum to the topological Hochschild homology spectrum, called the Dennis trace map, whose fiber is relatively well-understood. Since Hochschild homology spectra are naturally cyclotomic spectra, this map factors through the topological cyclic homology spectrum via a map called the cyclotomic trace, which acts much like a Chern character map for algebraic K-theory.

The spectra THH(R)THH(R) and TC(R)TC(R) are typically easier to analyze than K(R)K(R). Moreover, the difference between them and K(R)K(R) is “locally constant” (Dundas-Goodwillie-McCarthy13) and often otherwise bounded in complexity. Accordingly, THHTHH and TCTC are in practice computationally useful approximations to KK.

There are various generalizations:

  1. Just as for basic Hochschild homology, there is higher topological Hochschild homology (Carlsson-Douglas-Dundas 08) given not just by derived loop spaces but by derived mapping spaces out of higher dimensional tori.

  2. Just as algebraic K-theory generalizes from E-∞ rings to stable ∞-categories, so do TCTC and the cyclotomic trace map (Blumberg-Gepner-Tabuada 11)



The original references are

and a further generalization is defined in

  • Bjørn Ian Dundas, Randy McCarthy, Topological Hochschild homology of ring functors and exact categories, J. Pure Appl. Algebra 109 (1996), no. 3, 231–294, MR97i:19001, doi

Higher topological Hochschild Homology is discussed in

A ( , 1 ) (\infty,1) -category theoretic construction:

A relation to integral p-adic Hodge theory is discussed in

Review and exposition includes

Abstract characterization of the Dennis trace and cyclotomic trace is discussed in

See also

  • T. Pirashvili, F. Waldhausen, Mac Lane homology and topological Hochschild homology, J. Pure Appl. Algebra 82 (1992), 81-98, MR96d:19005, doi

  • T. Pirashvili, On the topological Hochschild homology of Z/p kZ\mathbf{Z}/p^k\mathbf{Z}, Comm. Algebra 23 (1995), no. 4, 1545–1549, MR97h:19007, doi

  • Z. Fiedorowicz, T. Pirashvili, R. Schwänzl, R. Vogt, F. Waldhausen, Mac Lane homology and topological Hochschild homology, Math. Ann. 303 (1995), no. 1, 149–164, MR97h:19007, doi

  • Bjørn Ian Dundas, Relative K-theory and topological cyclic homology, Acta Math. 179 (1997), 223-242, (publisher)

  • Thomas Geisser, Lars Hesselhoft, Topological cyclic homology of schemes, in: Algebraic KK-theory (Seattle, WA, 1997), 41–87, Proc. Sympos. Pure Math. 67, Amer. Math. Soc. 1999, MR2001g:19003; K-theory archive

  • R. McCarthy, Relative algebraic K-theory and topological cyclic homology, Acta Math. 179 (1997), 197-222.

  • J. McClure, R. Staffeldt, On the topological Hochschild homology of bub u, I, pdf

  • Daniel Joseph Vera, Topological Hochschild homology of twisted group algebra, MIT Ph. D. thesis 2006, pdf

  • V. Angeltveit, A. Blumberg, T. Gerhardt, M. Hill, T. Lawson, M. Mandell, Topological cyclic homology via the norm (arXiv:1401.5001)


THH and TC specifically of ku and ko is discussed in

and of tmf in

  • Robert Bruner, John Rognes, Topological Hochschild homology of topological modular forms, talk at Nordic Topology Meeting NTNU (2008) [pdf]

On the topological Hochschild homology of the Lubin-Tate ring spectrum via factorization homology:

Last revised on February 24, 2024 at 04:26:07. See the history of this page for a list of all contributions to it.