On the domain of the assembly map in algebraic \(K\)-theory (Q1411955): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0311216 / rank | |||
Normal rank |
Revision as of 20:22, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the domain of the assembly map in algebraic \(K\)-theory |
scientific article |
Statements
On the domain of the assembly map in algebraic \(K\)-theory (English)
0 references
4 November 2003
0 references
Let \(R\) be an associative ring with unit and let \(\Gamma\) be a group. In the notation of \textit{J. F. Davis} and \textit{W. Lück} [K-Theory 15, 201--252 (1998; Zbl 0921.19003)], the isomorphism conjecture of \textit{F. T. Farrell} and \textit{L. E. Jones} [J. Am. Math. Soc. 6, 249--297 (1993; Zbl 0798.57018)] states that the assembly map \[ H_*^{Or\Gamma}(E\Gamma(\mathcal V\mathcal C);\mathbf K R^{-\infty})\to K_*(R\Gamma) \] is an isomorphism (for \(R=\mathbb Z\)) where \(\mathcal V\mathcal C\) is the family of virtually cyclic subgroups of \(\Gamma\). The motivation for the paper is that the groups \(H_*^{Or\Gamma}(E\Gamma(\mathcal F);\mathbf K R^{-\infty})\) are better understood for other families \(\mathcal F\) of subgroups of \(\Gamma\), in particular for the family \(\mathcal F=\mathcal{FIN}\) of finite subgroups. The main result is that \[ H_*^{Or\Gamma}(E\Gamma(\mathcal{FIN});\mathbf K R^{-\infty})\to H_*^{Or\Gamma}(E\Gamma(\mathcal V\mathcal C);\mathbf K R^{-\infty}) \] is split injective, thus -- assuming the isomorphism conjecture -- providing a readily understandable split summand of \(K_*(R\Gamma)\). The results are obtained through controlled K-theory. For virtually cyclic \(\Gamma\) (in which case \(H_*^{Or\Gamma}(E\Gamma(\mathcal V\mathcal C);\mathbf K R^{-\infty})\to K_*(R\Gamma)\) is an equivalence for trivial reasons), this shows that the assembly map \[ H_*^{Or\Gamma}(E\Gamma(\mathcal{FIN});\mathbf K R^{-\infty})\to K_*(R\Gamma) \] is split injective, a result also obtained by \textit{D. Rosenthal} [math.AT/0309106, ``Splitting with continuous control in algebraic \(K\)-theory'' (2003)]. Under assumptions about vanishing of lower \(K\)-groups (which are true for \(R=\mathbb Z\)), the author obtains parallel results for \(L\)-theory.
0 references
assembly map
0 references
controlled topology
0 references
group rings
0 references
isomorphism conjecture
0 references
\(L\)-theory
0 references