FUNCTOR CALCULUS FOR UNDER

Goodwillie’s calculus of homotopy functors associates a tower of polynomial approximations, the Taylor tower, to a functor of topological spaces over a fixed space. We define a new tower, the varying center tower, for functors of categories with a fixed initial object, such as algebras under a fixed ring spectrum. We construct this new tower using elements of the Taylor tower constructions of Bauer, Johnson, and McCarthy for functors of simplicial model categories, and show how the varying center tower differs from Taylor towers in terms of the properties of its individual terms and convergence behavior. We prove that there is a combinatorial model for the varying center tower given as a proequivalence between the varying center tower and towers of cosimplicial objects; this generalizes Eldred’s cosimplicial models for finite stages of Taylor towers. As an application, we present models for the de Rham complex of rational commutative ring spectra due to Rezk on the one hand, and Goodwillie and Waldhausen on the other, and use our result to conclude that these two models will be equivalent when extended to E∞-ring spectra.

[1]  Chris Hooley,et al.  Taylor Series , 2019, Encyclopedia of GIS.

[2]  A. Mauer-Oats Goodwillie Calculi , 2013, 1304.5662.

[3]  R. Eldred Cosimplicial models for the limit of the Goodwillie tower , 2011, 1108.0114.

[4]  John E. Harper,et al.  Homotopy completion and topological Quillen homology of structured ring spectra , 2011, 1102.1234.

[5]  R. McCarthy,et al.  Cross effects and calculus in an unbased setting , 2011, 1101.1025.

[6]  R. Eldred Cosimplicial invariants and calculus of homotopy functors , 2011 .

[7]  Paul G. Goerss,et al.  Simplicial Homotopy Theory , 2009, Modern Birkhäuser Classics.

[8]  Daniel Dugger,et al.  Postnikov extensions of ring spectra , 2006, math/0604260.

[9]  N. Kuhn Goodwillie towers and chromatic homotopy: an overview , 2004, math/0410342.

[10]  J. Christensen,et al.  Duality and Pro-Spectra , 2004, math/0403451.

[11]  R. McCarthy,et al.  Deriving calculus with cotriples , 2003 .

[12]  Philip S. Hirschhorn Model categories and their localizations , 2003 .

[13]  M. R. Kantorovitz,et al.  The Taylor towers for rational algebraic $K$-theory and Hochschild homology , 2002 .

[14]  N. Strickland,et al.  MODEL CATEGORIES (Mathematical Surveys and Monographs 63) , 2000 .

[15]  Mark Hovey,et al.  Symmetric spectra , 1998, math/9801077.

[16]  B. Shipley Convergence of the homology spectral sequence of a cosimplicial space , 1996 .

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

[18]  C. Weibel,et al.  AN INTRODUCTION TO HOMOLOGICAL ALGEBRA , 1996 .