Assembly maps for topological cyclic homology of group algebras

From MaRDI portal
Publication:2331064



Abstract: We use assembly maps to study mathbfTC(mathbbA[G];p), the topological cyclic homology at a prime p of the group algebra of a discrete group G with coefficients in a connective ring spectrum mathbbA. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we show that the assembly map for the family of virtually cyclic subgroups is injective but in general not surjective.


Let \(\mathbb{A}\) be a connective ring spectrum and \(G\) a discrete group. The authors study topological cyclic homology of the group algebra \(\mathbb{A}[G]\) at a prime \(p\): \(\mathbf{TC}(\mathbb{A}[G];p)\). The main tool is the analysis of assembly maps \[\mathbf{A}_{\mathcal{F}}: EG(\mathcal{F})_{+}\wedge _{OrG}\mathbf{TC}(\mathbb{A}[G\smallint{-}];p)\to \mathbf{TC}(\mathbb{A}[G];p),\] where \(\mathcal{F}\) denotes a family of subgroups of \(G\), \(EG(\mathcal{F})_{+}\) is a model for the universal space for \(G\)-actions with isotropy in \(\mathcal{F}\) and the left hand side may be interpreted as the homotopy colimit of \(\mathbf{TC}(\mathbb{A}[H];p)\) with \(H\in\mathcal{F}\). The main results are as follows: the assembly map \(\mathbf{A}_{\mathcal{F}}\) induces an isomorphism in homotopy groups if \(G\) is a finite group and \(\mathcal{F}\) is the family of cyclic subgroups, it also induces an isomorphism of homotopy groups of pro-spectra for general \(G\) and the family of cyclic subgroups. They also prove that the assembly map is injective in the following cases: for the family of finite groups and the existence of a universal space \(EG(Fin)\) of finite type or the family of virtually cyclic subgroups and \(G\) hyperbolic or virtually finitely generated abelian. They also prove that \(\mathbf{A}_{\mathcal{F}}\) fails to induce surjectivity on homotopy groups for the family of virtually cyclic subgroups for some groups.



Cites work









This page was built for publication: Assembly maps for topological cyclic homology of group algebras

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