Assembly maps for topological cyclic homology of group algebras (Q2331064): Difference between revisions

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.