Coassembly is a homotopy limit map (Q2193652)

Let \(G\) be a group that is the realization of a simplicial group and \(X\) a \(G\)-spectrum. The homotopy limit map is defined as the map \(X^{G}\to X^{hG}\) from fixed points to homotopy fixed points. There are several instances where this appears and it is a basic question when this is an equivalence. On the other hand, given a reduced contravariant homotopy functor \(F\) on the comma category over \(BG\) to spectra, the coassembly map is a natural transformation \(F\to F_{\%}\) where \(F_{\%}\) is a suitable final object and has the universal property of approximating \(F\) by a functor that sends homotopy pushouts to homotopy pullbacks. The main theorem of this work is the following: Theorem A. Let \(G\) be a group as before. Then the coassembly map on the terminal object \(F(BG)\to F_{\%}(BG)\) is equivalent to the homotopy limit map of the \(G\) spectrum \(F(BG)\to F(BG)^{hG}\). As an application, the authors prove that the homotopy limit map for \(A_{G}^{coarse}(X)\) is isomorphic to the coassembly map for bivariant \(A\)-theory.