MacLane homology and topological Hochschild homology (Q5905655)

The authors prove that the topological Hochschild homology \(THH_ *(R)\) of a discrete ring \(R\) as defined by Bökstedt in 1985 is isomorphic to the MacLane homology \(H^{ML}_ *(R)\) of \(R\) as defined by MacLane in 1957. Moreover they construct an Atiyah-Hirzebruch type of spectral sequence whose \(E^ 2\)-term is Hochschild homology of \(R\) with coefficients in MacLane homology of \(\mathbb{Z}\) converging to MacLane homology of \(R\). In fact, they prove a stronger version of both results by allowing coefficients in functors from the category \({\mathcal P}({\mathcal R})\) of finitely generated projective \(R\)-modules to the category of all \(R\)-modules. The main result is proved by showing that \(THH_ *(R)\) satisfies a set of axioms characterizing the homology of \({\mathcal P}({\mathcal R})\) with coefficients in the Hom-functor. Previously, \textit{M. Dzhibladze} and \textit{T. Pirashvili} [J. Algebra 137, 253-296 (1991; Zbl 0724.18005)] proved the same for \(H^{ML}_ *(R)\).