The Segal conjecture for infinite discrete groups (Q2175885)

Let \(G\) be a finite group. The Segal Conjecture, proved by \textit{G. Carlsson} [Ann. Math. (2) 120, 189--224 (1984; Zbl 0586.55008)], establishes an isomorphism between the completion at the augmentation ideal of the equivariant stable cohomotopy of a \(G\)-space \(X\) and the stable homotopy of \(EG\times_{G}X\), where \(EG\) is the usual universal space for free actions of \(G\). The purpose of this paper is to formulate a suitable version of this conjecture for discrete groups and for general proper equivariant cohomology theories with values in \(R\)-modules and multiplicative structure. The general frame is as follows: let \(G\) be a discrete group, \(R\) be a commutative ring with unit and \(\mathcal{H}_{?}^{*}\) be a proper equivariant cohomology theory with values in \(R\)-modules and multiplicative structure. Let \(X\) be a proper \(G\)-CW complex, the augmentation module \(\mathbb{I}_{G}(X)\) is defined as the kernel of the map \[ \mathcal{H}_{G}^{n}(X) \to \prod_{\overline{x}\in G \backslash \pi_{0}(X)} \mathcal{H}^{n}(*), \] where the map is induced by the composition \(\mathrm{ind}_{\{1\}\to G}\circ \mathcal{H}_{G}^{n}(x)\) and \(\mathrm{ind}_{\{1\} \to G}\) is the induction map. An example of such theories is equivariant stable cohomotopy for proper spaces, \(\pi_{G}^{m}(X)\). The statement of Segal's conjecture for discrete groups and proper spaces is as follows \textbf{Theorem 0.2.} Let \(G\) be a discrete group and \(X\) be a finite proper \(G\)-CW complex. Let \(L\) be a proper finite dimensional \(G\)-CW complex such that there is an upper bound on the order of its isotropy groups. Let \(f: X\to L\) be a \(G\)-map. Then there is an isomorphism of pro-\(\mathbb{Z}\)-modules \[ \lambda_{G}^{m}(X): \{ \pi_{G}^{m}(X)/\mathbb{I}_{G}(L)^{n}\cdot \pi_{G}^{m}(X) \}_{n\geq 1}\to \{ \pi_{G}^{m}((EG\times_{G}X)_{(n-1))} \}_{n\geq 1}. \] Moreover, if there is a finite \(G\)-CW model for \(\underbar{E}G\), the above gives an isomorphism \[ \pi_{G}^{m}(\underbar{E}G)_{\widehat{\mathbb{I}_{G}(\underbar{E}G)}}\cong \pi_{s}^{m}(BG), \] where \(\underbar{E}G\) is a model for the universal space for proper actions of \(G\) and \(\lambda_{G}^{m}(X)\) is a suitable defined map of pro-modules. The proof of this Theorem follows from a general statement for proper equivariant cohomology theories.