The Segal conjecture for infinite discrete groups
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.
- A characterisation of solvable groups
- Chern characters for proper equivariant homology theories and applications to K- and L-theory
- Equivariant K-theory and completion
- EQUIVARIANT COHOMOLOGICAL CHERN CHARACTERS
- Equivariant stable homotopy and Segal's Burnside ring conjecture
- Etale homotopy
- Rational computations of the topological K-theory of classifying spaces of discrete groups
- The Burnside ring and equivariant stable cohomotopy for infinite groups
- The completion theorem in K-theory for proper actions of a discrete group
- Transformation groups
- The Segal conjecture for elementary abelian p-groups
- Stable finiteness properties of infinite discrete groups
- scientific article; zbMATH DE number 3964973 (Why is no real title available?)
- Cofreeness in real bordism theory and the segal conjecture
- Proper actions, nonlinearity and homotopy theory
- Equivariant stable homotopy theory for proper actions of discrete groups
- Proper Equivariant Stable Homotopy Theory
This page was built for publication: The Segal conjecture for infinite discrete groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2175885)
