On the Taylor tower of relative \(K\)-theory (Q422838)

Let \(R\) be a ring, \(M\) a simplicial \(R\)-bimodule and \(X\) a pointed simplicial set, and then denote by \(\tilde{M}[X]\) the simplicial \(R\)-module which has the free simplicial \(M\)-module over \(X_n\) modulo \(M\cdot \ast\) in dimension \(n\). Also for a \(R\)-bimodule \(N\), let \(\tilde{K}(R; N)\) denote the algebraic \(K\)-theory of the category whose objects are pairs \((P, f)\), where \(P\) is a finitely generated projective right \(R\)-module and \(f : P \to P\otimes_RN\) a map of right \(R\)-modules. In this paper the authors construct the Goodwillie Taylor tower of the functor \(X \mapsto \tilde{K}(R; \tilde{M}[X])\). Its construction can be seen to be a generalization of that of the \text{TR}-group \[ \text{TR}(R)=\text{holim}_{m \in \mathbb{N}^\times} \text{THH}(R)^{C_m} \] where the limit is taken over restriction maps \(\text{THH}(R)^{C_{km}} \to \text{THH}(R)^{C_m}\). Here, we consider that by \(\text{THH}(R)\) in each term above will be indicated its \(m\)-fold edgewise subdivision \(\text{sd}^m(\text{THH}(R))\), since the action of \(C_m\) on it becomes simplicial. For this subdivision the authors succeed in constructing a new simplicial spectrum \(U^m(R; N)\) by replacing \(m\) evenly spaced copies of \(R\) in each degree with \(m\) copies of \(N\). It has a natural \(C_m\) action and there are restriction maps \(U^{km}(R; N)^{C_{km}} \to U^m(R; N)^{C_m}\). When \(N=R\), we finds that \(U^m(R; R)=\text{sd}^m(\text{THH}(R))\) and the restriction maps agree with the original restriction maps. Using these spectra and restriction maps, the spectra \(W(R, N)\) and \(W(R; N)_n\) they wanted to construct are defined by \[ \begin{aligned} & W(R; N)=\text{holim}_{m \in \mathbb{N}^\times}U^m(R; N)^{C_m} \quad \text{and} \\ & W(R; N)_n=\text{holim}_{m \in \{1, 2, \cdots, n\}}U^m(R; N)^{C_m}, \end{aligned} \] then the main result of this paper can be stated as follows: 1) if \(X\) is connected, then \[ \tilde{K}(R; \tilde{M}[X]) \simeq W(R; \tilde{M}[X]); \] 2) the Goodwillie Taylor tower of \(X \mapsto \tilde{K}(R; \tilde{M}[X])\) has \(W(R; N)_n\) as its \(n\)-th stage, with the tower maps given by category restriction; and 3) these tower maps satisfy \[ U^n(R; \tilde{M}[X])_{hC_n} \simeq \text{hofib}(W_n(R; \tilde{M}[X]) \to W_{n-1}(R; \tilde{M}[X])) \] where \(Z_{hC_n}\) denotes the homotopy orbit space of the action of \(C_n\) on \(Z\).