Topological cyclic homology of the integers. (English) Zbl 0816.19001

Kassel, Christian (ed.) et al., \(K\)-theory. Contributions of the international colloquium, Strasbourg, France, June 29-July 3, 1992. Paris: Société Mathématique de France, Astérisque. 226, 57-143 (1994).
Authors’ abstract: “The paper studies the topological cyclic homology functor of rings. This associates to a ring \(R\) a spectrum \(TC(R)\) which turns out to be closely related to Quillen’s \(K(R)\), but which is better suited for algebraic topological analysis. The homotopy groups of \(TC(R)\) may be viewed as a topological refinement of Connes’ cyclic homology groups.
For rings of integers in local number fields with residue characteristic \(p > 0\), a recent result of R. McCarthy implies that the cyclotomic trace from \(K(R)\) to \(TC(R)\) becomes a homotopy equivalence after completion at \(p\). In particular this is so when \(R\) is the ring of \(p\)- adic integers.
Our principal result evaluates the \(p\)-adic homotopy type of \(TC (\mathbb{Z}_ p)\) when \(p\) is odd, modulo a certain conjecture, and we give evidence to support the conjecture. It appears that S. Tsalidis has now settled the conjecture, his arguments in part being based upon the analysis presented in this paper.
The \(p\)-completion of \(TC (\mathbb{Z}_ p)\) turns out to be the product of three spectra, namely the \(p\)-completion of the special unitary group \(SU\), the \(p\)-completion of Quillen’s \(F \psi^ k\), also called the image of \(J\)-space, and the \(p\)-completion of its classifying space. Here \(k\) is a generator of the \(p\)-adic units. This then determines the homotopy groups with \(p\)-adic coefficients of \(K (\mathbb{Z}_ p)\).
The methods of the paper are homotopy theoretical, and even involve equivariant homotopy theory with respect to certain natural circle actions which go back to Connes’ theory of cyclic sets. The main tools are spectral sequences and other methods from algebraic topology”.
For the entire collection see [Zbl 0809.00016].


19D55 \(K\)-theory and homology; cyclic homology and cohomology
18G40 Spectral sequences, hypercohomology
18G60 Other (co)homology theories (MSC2010)
55N91 Equivariant homology and cohomology in algebraic topology
16E40 (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)
19L47 Equivariant \(K\)-theory