Covering homology

DOI10.1016/J.AIM.2010.05.018MaRDI QIDQ607343zbMATH OpenOpenAlexFDO

Authors Morten Brun, Gunnar Carlsson, Bjørn Ian Dundas

Publication date 22 November 2010

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0706.0626

equivariant spectra smash powers topological cyclic homology

Algebraic (K)-theory of spaces (19D10) (K)-theory and homology; cyclic homology and cohomology (19D55) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology. Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bokstedt, Hsiang and Madsen's construction of topological cyclic homology. Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and the hope is that the rich structure, and the calculability of covering homology will make covering homology useful in the exploration of J. Rognes' ``red shift conjecture.

Review text

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.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Covering homology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607343)