Covering homology (Q607343)

In this paper the authors extend the definition of \textit{M. Bökstedt, W. C. Hsiang} and \textit{I. Madsen}'s topological cyclic homology [Invent. Math. 111, No.~3, 465--539 (1993; Zbl 0804.55004)] by introducing the notion of covering homology of a commutative \textbf{S}-algebra \(A\) with respect to certain families of covering of topological spaces. If \(X\) is a simplicial set, the authors start by constructing the Loday functor \(X\mapsto \Lambda_XA\). Then they investigate fixed points of this functor with respect to group actions on \(X\) and this leads them to present the fundamental cofibration sequence which generalizes the one for Bökstedt's topological Hochschild homology. The cofibration sequence is used then to describe the zeroth homotopy group of fixed points of \(\Lambda_XA\) in terms of the Burnside-Witt construction. The homotopy limit defining covering homology is indexed in a category \(\mathcal{E}\) whose objects are triples \((G,H,X)\) where \(G\) is a simplicial group, \(H\) is a discrete subgroup of \(G\) and \(X\) is a non-empty \(G\)-simplicial set with the property that the image of \(H\) in Aut\((X)\) is finite. Covering homology is built from functors into \(\mathcal{E}\). Thus, if \(A\) is a commutative \textbf{S}-algebra and \(S:\mathcal{A}\rightarrow \mathcal{E}\) is a functor from an arbitrary category \(\mathcal{A}\), the covering homology of \(A\) with respect to the functor \(S\) is holim\(_{\mathcal A}\Lambda A\cdot S\) where \(\Lambda A\) is an, associated to \(A\), functor from the category \(\mathcal{E}\) to the category of spectra. Finally, several examples are provided.