The behavior of Nil-groups under localization and the relative assembly map (Q1012371)

Let \(R\) be a ring and \(K_i(R)\) denote the \(i\)-th \(K\)-theory group of \(R\), (\(i\in\mathbb{Z}\)). Recall that \(NK_i(R)\) is defined as the quotient \(K_{i}(R[X])/K_{i}(R)\) and is known as Bass nil group. Let \(X\) and \(Y\) be \(R\)-bimodules, in this context, Waldhausen defined abelian groups Nil\((R;X,Y)\), these appeared in the study of \(K\)-groups of generalized free products, similar groups appeared in the study of \(K\)-groups of generalized Laurent polynomial rings, and the study of \(K\)-groups of twisted polynomial rings lead to the twisted nil groups by Farrell and Hsiang. The paper under consideration studies the behavior of all these nil groups under localization, the relation with the action of the Frobenius, Verschiebung operations and that of the ring of Witt vectors. Let \(T\subseteq R\) be a multiplicatively closed set of nonzero divisors, denote by \(R_{T}\) the corresponding localization. If \(X\) is an \(R\)-bimodule, denote by \(_{T}X_{T}\) the corresponding localization: \(R_{T}\bigotimes_{R}X\bigotimes_{R}R_{T}\). The author proves the following theorem: Let \(R\) be a ring and \(X,Y, Z, W\) be left flat \(R\)-bimodules. Let \(s\) be an element in the center of \(R\) which is a nonzero divisor and satisfies \(sx=xs\) for all \(x\in X\) (similarly for \(Y,Z\) and \(W\). Then, there is an isomorphism: \[ \mathbb{Z}[t,t^{-1}]\bigotimes_{\mathbb{Z}[t]} \text{Nil}_{i}(R;X,Y,Z,W)\cong \text{Nil}_{i}(R_S; {}_SX_S, {}_SY_S, {}_SW_S) \] for \(i\in\mathbb{Z}\), where \(t\) acts on \(\text{Nil}_{i}(R;X,Y,Z,W)\) via the map induced by the functor \[ S:\text{NIL}(R;X,Y,Z,W)\to \text{NIL}(R;X,Y,Z,W) \] given by \((P,Q,p,q)\mapsto (P,Q,ps,qs).\) Similarly for other kinds of Nil-groups. Furthemore, from the study of the behavior under localization and the relation to the module structure over the ring of Witt vectors, the author also proves the following theorem: Let \(T\subset \mathbb{Z}\) be a multiplicatively closed subset and denote by \(R\) either \(\mathbb{Z}_{T}, \mathbb{Z}_{p}\) or a commutative \(\mathbb{Q}\)-algebra. Let \(G\) be a group and \(\alpha,\beta\) be inner automorphisms of \(G\). Furthermore, let \(S\subset R\) be a set of nonzero divisors. Then, there are \(R_{S}\)-module isomorphisms \[ R_{S}\bigotimes_{R} \text{Nil}_i(RG;\alpha)\cong \text{Nil}_i(R_{S}G;\alpha) \] and \[ R_{S}\bigotimes_{R} \text{Nil}_i(RG;RG_{\alpha},RG_{\beta})\cong \text{Nil}_i(R_{S}G;R_{S}G_{\alpha},R_{S}G_{\beta}) \] for all \(i\in\mathbb{Z}\). The author also proves some torsion results for these Nil-groups and some applications to the Farrell-Jones isomorphism conjecture.