Filtered topological cyclic homology and relative \(K\)-theory of nilpotent ideals (Q5930538)

The purpose of the paper is to study a certain filtration of topological Hochschild homology of a functor with smash product equipped with a filtration. The former filtration preserves the cyclic structure and induces a filtration of topological cyclic homology. As an example, the author shows how the filtration with respect to a nilpotent ideal gives rise to an analog of a theorem of \textit{T. G. Goodwillie} saying that relative \(K\)-theory and relative cyclic homology agree over the rationals [Ann. Math., II. Ser. 124, 347-402 (1986; Zbl 0627.18004)]. The main theorem reads: Let \(R\) be a simplicial ring with an ideal \(I\) satisfying \(I^m=0\). Suppose that \(R\) and \(R/I\) are flat as modules over the integers. Then there is an isomorphism of homotopy groups of \(p\)-adic completions \(\pi_iK(R,I)_{p}^\wedge\cong\pi_{i-1}HC(R,I)_{p}^\wedge\) when \(0\leq i<p/(m-1)-2\) and a surjection when \(i<p/(m-1)-1\). As an application, \(K_i({\mathbb Z}/p^n)\) is computed for \(i\leq p-3\).