Deriving calculus with cotriples

Authors:
B. Johnson and R. McCarthy

Journal:
Trans. Amer. Math. Soc. **356** (2004), 757-803

MSC (2000):
Primary 18G30; Secondary 55P65, 55U15

DOI:
https://doi.org/10.1090/S0002-9947-03-03318-X

Published electronically:
August 21, 2003

MathSciNet review:
2022719

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We construct a Taylor tower for functors from pointed categories to abelian categories via cotriples associated to cross effect functors. The tower was inspired by Goodwillie's Taylor tower for functors of spaces, and is related to Dold and Puppe's stable derived functors and Mac Lane's -construction. We study the layers, , and the limit of the tower. For the latter we determine a condition on the cross effects that guarantees convergence. We define differentials for functors, and establish chain and product rules for them. We conclude by studying exponential functors in this setting and describing their Taylor towers.

**[A]**G. Arone,*The Mitchell-Richter filtration of loops on Stiefel manifolds stably splits*, Proc. Amer. Math. Soc.**129**(2001), 1207-1211. MR**2002d:55004****[A-M]**G. Arone and M. Mahowald,*The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres*, Invent. Math.**135**(1999), no. 3, 743-788. MR**2000e:55012****[Be]**S. Betley,*Stable derived functors, the Steenrod algebra and homological algebra in the category of functors*, Fund. Math.**168**(2001), no. 3, 279-293. MR**2002f:18025****[Bo]**A. K. Bousfield,*Homogeneous functors and their derived functors*, unpublished manuscript.**[B-M]**M. Basterra and R. McCarthy,*-homology, topological André-Quillen homology and stabilization*, Topology Appl.**121**(2002), no. 3, 551-566. MR**2003d:13013****[CCGH]**G. Carlsson R. Cohen, T. Goodwillie, and W.-C. Hsiang,*The free loop space and the algebraic**-theory of spaces*, -Theory**1**(1987), no. 1, 53-82. MR**88i:55002****[D-P]**A. Dold and D. Puppe,*Homologie nicht-additiver Funktoren. Anwendungen*, Ann. Inst. Fourier (Grenoble)**11**(1961), 201-312. MR**27:186****[E-M1]**S. Eilenberg and S. Mac Lane,*Homology theories for multiplicative systems*, Trans. Amer. Math. Soc.**71**(1951), 294-330. MR**13:314c****[E-M2]**S. Eilenberg and S. Mac Lane,*On the groups**, II*, Ann. of Math.**60**(1954), 49-139. MR**16:391a****[BKMM]**A. D. Elmendorf, I. Kriz, M. A. Mandell, and S. P. May,*Rings, modules, and algebras in stable homotopy theory*, Math. Surveys and Monographs, Vol. 47, Amer. Math. Soc., Providence, RI, 1997.**[G1]**T. Goodwillie,*Calculus I: The first derivative of pseudoisotopy theory*, -Theory**4**(1990), 1-27. MR**92m:57027****[G2]**T. Goodwillie,*Calculus II: Analytic functors*, -Theory**5**(1992), 295-332. MR**93i:55015****[G3]**T. Goodwillie,*Calculus III: The Taylor series of a homotopy functor*, in preparation.**[J-P]**M. Jibladze and T. Pirashvili,*Cohomology of algebraic theories*, J. Algebra**137**(1991), 253-296. MR**92f:18005****[J-M1]**B. Johnson and R. McCarthy,*Linearization, Dold-Puppe stabilization, and Mac Lane's**-construction*, Trans. Amer. Math. Soc.**350**(1998), 1555-1593. MR**98i:18007****[J-M2]**B. Johnson and R. McCarthy,*Taylor towers for functors of additive categories*, J. Pure Appl. Algebra**137**(1999), 253-284. MR**2000b:18018****[J-M3]**B. Johnson and R. McCarthy,*A classification of degree n functors*, to appear in Cahiers Topologie Géom. Différentielle Catég.**[K-Mc]**R. Kantorovitz and R. McCarthy,*The Taylor towers for rational algebraic**-theory and Hochschild homology*, Homology Homotopy Appl.**4**(2002), no. 1, 191-212.**[K-M]**I. Kriz and J. P. May,*Operads, algebras, modules and motives*, Astérisque**233**, Société Mathématique de France, 1995. MR**96j:18006****[MO]**A. Mauer-Oats,*Algebraic Goodwillie calculus and a cotriple model for the remainder*, preprint.**[M1]**R. McCarthy,*Relative algebraic**-theory and topological cyclic homology*, Acta Math.**179**(1997), no. 2, 197-222. MR**99e:19006****[M2]**R. McCarthy,*Dual calculus for functors to spectra*, Homotopy Methods in Algebraic Topology (Boulder, CO, 1999), 183-215, Contemp. Math., 271, Amer. Math. Soc., Providence, RI, 2001. MR**2002c:18009****[M]**V. Minasian,*André-Quillen spectral sequence for THH*, Topology Appl.**129**(2003), no. 3, 273-280.**[P]**T. Pirashvili,*Higher additivizations*, Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk. Gruzin. SS2**91**(1988), 44-54. (Russian) MR**90k:18012****[Q1]**D. Quillen,*Homotopical algebra*, Lecture Notes in Mathematics, vol. 43, Springer-Verlag, Berlin, 1967. MR**36:6480****[Q2]**D. Quillen,*On the (co-)homology of commutative rings*, Proc. Sympos. Pure Math. XVII, Amer. Math. Soc., Providence, RI, 1970, 65-87. MR**41:1722****[R]**B. Richter,*An Atiyah-Hirzebruch spectral sequence for topological André-Quillen homology*, J. Pure Appl. Algebra**171**(2002), no. 1, 59-66. MR**2003c:13012****[S]**D. Simson,*Stable derived functors of the second symmetric power functor, second exterior power functor and Whitehead gamma functor*, Colloq. Math.**32**(1974), 49-55. MR**50:10020****[S-T]**D. Simson and A. Tyc,*Connected sequences of stable derived functors and their applications*, Dissertationes Math.**111**(1974), 1-71. MR**51:14030****[We]**C. Weibel,*An introduction to homological algebra*, Cambridge University Press, Cambridge, 1994. MR**95f:18001****[W]**M. Weiss,*Orthogonal Calculus*, Trans. Amer. Math. Soc.**347**(1995), no. 10, 3743-3796. MR**96m:55018**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
18G30,
55P65,
55U15

Retrieve articles in all journals with MSC (2000): 18G30, 55P65, 55U15

Additional Information

**B. Johnson**

Affiliation:
Department of Mathematics, Union College, Schenectady, New York 12308

Email:
johnsonb@union.edu

**R. McCarthy**

Affiliation:
Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green St., Urbana, Illinois 61801

Email:
randy@math.uiuc.edu

DOI:
https://doi.org/10.1090/S0002-9947-03-03318-X

Received by editor(s):
January 20, 1999

Received by editor(s) in revised form:
February 18, 2003

Published electronically:
August 21, 2003

Additional Notes:
The second author was supported by National Science Foundation grant # 1-5-30943 and a Sloan Fellowship

Article copyright:
© Copyright 2003
American Mathematical Society