On the Taylor Tower of Relative K-theory

For a functor with smash product F and an F-bimodule P, we construct an invariant W(F;P) which is an analog of TR(F) with coefficients. We study the structure of this invariant and its finite-stage approximations W_n(F;P), and conclude that for F the FSP associated to a ring R and P the FSP associated to the simplicial R-bimodule M[X] (with M a simplicial R-bimodule, X a simplicial set), the functor sending X to W_n(R;M[X]) is the nth stage of the Goodwillie calculus Taylor tower of the functor which sends X to the reduced K-theory spectrum of R with coefficients in M[X]. Thus the functor sending X to W(R;M[X]) is the full Taylor tower, which converges to the reduced K-theory of R with coefficients in M[X] for connected X. We show the equivalence between relative K-theory of R with coefficients in M[-] and W(R;M[-]) using Goodwillie calculus: we construct a natural transformation between the two functors, both of which are 0-analytic, and show that this natural transformation induces an equivalence on the derivatives at any connected X.

[1]  A. Lindenstrauss,et al.  The Algebraic K-theory of Extensions of a Ring by Direct Sums of Itself , 2008 .

[2]  I. Madsen,et al.  On the de Rham–Witt complex in mixed characteristic , 2004 .

[3]  T. Goodwillie.  Calculus III: Taylor Series , 2003, math/0310481.

[4]  R. M. Vogt,et al.  Topological Hochschild Homology , 2000 .

[5]  A. Lindenstrauss.  A relative spectral sequence for topological Hochschild homology of spectra , 2000 .

[6]  Bjørn Ian Dundas,et al.  Relative K-theory and topological cyclic homology , 1997 .

[7]  L. Hesselholt.  Witt vectors of non-commutative rings and topological cyclic homology , 1997 .

[8]  Ib Madsen,et al.  On the K-theory of finite algebras over witt vectors of perfect fields , 1997 .

[9]  R. McCarthy.  A chain complex for the spectrum homology of the algebraic $K$-theory of an exact category , 1997 .

[10]  R. McCarthy.  Relative algebraic K-theory and topological cyclic homology , 1997 .

[11]  Bjørn Ian Dundas,et al.  Topological Hochschild homology of ring functors and exact categories , 1996 .

[12]  B. Dundas,et al.  Erratum: ``Stable $K$-theory and topological Hochschild homology'' , 1995 .

[13]  Ib Madsen,et al.  Algebraic K-theory and traces , 1995 .

[14]  B. Dundas,et al.  Stable K-theory and topological Hochschild homology , 1994 .

[15]  Ib Madsen,et al.  The cyclotomic trace and algebraic K-theory of spaces , 1993 .

[16]  Z. Fiedorowicz,et al.  MacLane homology and topological Hochschild homology , 1992 .

[17]  T. Goodwillie.  Calculus II: Analytic functors , 1991 .

[18]  T. Goodwillie.  Calculus I: The first derivative of pseudoisotopy theory , 1990 .

[19]  D. M. Kan,et al.  Homotopy Limits, Completions and Localizations , 1987 .

[20]  F. Waldhausen.  ALGEBRAIC K-THEORY OF SPACES I , 1978 .

[21]  G. Almkvist.  The Grothendieck ring of the category of endomorphisms , 1974 .