Algebraic Goodwillie calculus and a cotriple model for the remainder
HTML articles powered by AMS MathViewer
- by Andrew Mauer-Oats PDF
- Trans. Amer. Math. Soc. 358 (2006), 1869-1895 Request permission
Abstract:
Goodwillie has defined a tower of approximations for a functor from spaces to spaces that is analogous to the Taylor series of a function. His $n^{\text {th}}$ order approximation $P_n F$ at a space $X$ depends on the values of $F$ on coproducts of large suspensions of the space: $F(\vee \Sigma ^M X)$. We define an “algebraic” version of the Goodwillie tower, $P_n^{\text {alg}} F(X)$, that depends only on the behavior of $F$ on coproducts of $X$. When $F$ is a functor to connected spaces or grouplike $H$-spaces, the functor $P_n^{\text {alg}} F$ is the base of a fibration \[ |{\bot ^{*+1} F}| \rightarrow F \rightarrow P_n^{\text {alg}} F, \] whose fiber is the simplicial space associated to a cotriple $\bot$ built from the $(n+1)^{\text {st}}$ cross effect of the functor $F$. In a range in which $F$ commutes with realizations (for instance, when $F$ is the identity functor of spaces), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor $F$ in many interesting cases.References
- Jon Beck, Classifying spaces for homotopy-everything $H$-spaces, $H$-spaces (Actes Réunion Neuchâtel, 1970) Lecture Notes in Math., Vol. 196, Springer, Berlin, 1971, pp. 54–62. MR 0292073
- A. K. Bousfield and E. M. Friedlander, Homotopy theory of $\Gamma$-spaces, spectra, and bisimplicial sets, Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977) Lecture Notes in Math., vol. 658, Springer, Berlin, 1978, pp. 80–130. MR 513569
- A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972. MR 0365573
- Samuel Eilenberg and Saunders Mac Lane, On the groups $H(\Pi ,n)$. II. Methods of computation, Ann. of Math. (2) 60 (1954), 49–139. MR 65162, DOI 10.2307/1969702
- Thomas G. Goodwillie, Calculus. I. The first derivative of pseudoisotopy theory, $K$-Theory 4 (1990), no. 1, 1–27. MR 1076523, DOI 10.1007/BF00534191
- Thomas G. Goodwillie, Calculus. II. Analytic functors, $K$-Theory 5 (1991/92), no. 4, 295–332. MR 1162445, DOI 10.1007/BF00535644
- Thomas G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003), 645–711. MR 2026544, DOI 10.2140/gt.2003.7.645
- Brenda Johnson and Randy McCarthy, Taylor towers for functors of additive categories, J. Pure Appl. Algebra 137 (1999), no. 3, 253–284. MR 1685140, DOI 10.1016/S0022-4049(97)00203-X
- B. Johnson and R. McCarthy, Deriving calculus with cotriples, Trans. Amer. Math. Soc. 356 (2004), no. 2, 757–803. MR 2022719, DOI 10.1090/S0002-9947-03-03318-X
- Graeme Segal, Categories and cohomology theories, Topology 13 (1974), 293–312. MR 353298, DOI 10.1016/0040-9383(74)90022-6
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
Additional Information
- Andrew Mauer-Oats
- Affiliation: Department of Mathematics, Northwestern University, Evanston, Illinois 60208
- Email: amauer@math.northwestern.edu
- Received by editor(s): December 9, 2002
- Published electronically: December 20, 2005
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 358 (2006), 1869-1895
- MSC (2000): Primary 55P65
- DOI: https://doi.org/10.1090/S0002-9947-05-03936-X
- MathSciNet review: 2197433