Isomorphism conjectures with proper coefficients (Q2436713): Difference between revisions

For a group \(G\), let \({\mathcal{F}}\) be a family of subgroups of \(G\) closed under conjugation and under formation of subgroups. In this situation a \(G\)-simplicial set \(X\) is called a \((G, {\mathcal{F}})\)-complex if the stabilizer of every simplex of \(X\) is in \({\mathcal{F}}\). The category of \(G\)-simplicial sets has a closed model structure. Now, by \textit{J. F. Davis} and \textit{W. Lück} [\(K\)-Theory 15, No. 3, 201--252 (1998; Zbl 0921.19003)] an equivariant homology theory for a \(G\)-space \(X\) can be constructed for any functor \(E\) from the category \(Z\) of small \({\mathbb{Z}}\)-linear categories to the category of spectra, provided that \(E\) sends category equivalences to equivalent spectra. We have \(X \mapsto H^G(X, \, E(R))\), where \(R\) is a unital ring with \(G\)-action. If \(H\) is a subgroup of \(G\), then \[ H^G_* (G/H, \, E(H)) = E_*(R \rtimes H). \] The strong isomorphism conjecture for \((G, \, {\mathcal{F}}, \, E, \, R)\) states that \(H^G(\_\!\_ , \, E(R))\) sends \((G, {\mathcal{F}})\)-equivalences to weak equivalences of spectra. This conjecture is equivalent to the claim that for every \(G\)-simplicial set \(X\), the map \[ H^G(cX, \, E(R)) \to H^G(X, \, E(R)) \] is a weak equivalence, where \(cX \to X\) is the \((G, \, {\mathcal{F}})\)-cofibrant replacement. The weak isomorphism conjecture applies to the case when \(X\) is a point, yielding the assembly map \[ H^G ({\mathcal{E}}(G, \, {\mathcal{F}}), \, E(R)) \to H^G({\mathrm{pt}}, \, E(R)), \] where \({\mathcal{E}}(G, \, {\mathcal{F}}) \to {\mathrm{pt}}\) is the cofibrant replacement. The paper under review offers a proof of the strong isomorphism conjecture under certain conditions. Let \(E\) be a functor from rings to spectra. A ring \(A\) (not necessarily unital) is \(E\)-excisive if whenever \(A \to R\) is an embedding of \(A\) as a two-sided ideal into a unital ring \(R\), then \[ E(A) \to E(R) \to E(R/A) \] is a homotopy fibration. For a locally finite simplicial set \(X\), let \({\mathbb{Z}}^{(X)}\) be the ring of polynomial functions which are supported on a finite simplicial subset. Suppose that \(X\) has a \(G\)-action and \(A\) is a \(G\)-ring. Then \(A\) is called proper over \(X\) if \(A\) carries a \({\mathbb{Z}}^{(X)}\)-algebra structure which is compatible with the \(G\) action and satisfies \({\mathbb{Z}}^{(X)} \cdot A = A\). The main theorem of the paper can now be stated. Let \(G\) be a group, \(\mathcal{F}\) a family of subgroups, \(E\) a functor from \(Z\) to the category of spectra, and let \(P\) be an \(E\)-excisive \((G, \, {\mathcal{F}})\)-proper \(G\)-ring. Then the strong isomorphism conjecture holds for (i) homotopy algebraic K-theory, (iia) non-connective algebraic K-theory, \(K\), when \(P\) is proper over a 0-dimensional \((G, \, {\mathcal{F}})\)-complex, or (iib) when \({\mathcal{F}}\) contains all cyclic subgroups of \(G\) and \(P\) is a \(\mathbb{Q}\)-algebra, or (iic) \(E = K \otimes {\mathbb{Q}}\) and \(\mathcal{F}\) contains all the cyclic subgroups of \(G\). The notion of proper used in this paper is an algebraic analog of proper \(G\)-\(C^*\)-algebras [\textit{E. Guentner} et al., Mem. Am. Math. Soc. 703, 86 p. (2000; Zbl 0983.19003)].