Available in electronic format
Available in print format		 Transacrions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)
Previous issue | Table of contents | Next issue
Articles in press | Recently posted articles | Most recent issue | All issues
Previous Article | Next Article
     

Deriving calculus with cotriples

Author(s): B. Johnson; R. McCarthy
Journal: Trans. Amer. Math. Soc. 356 (2004), 757-803.
MSC (2000): Primary 18G30; Secondary 55P65, 55U15
Posted: August 21, 2003
Retrieve article in: PDF DVI PostScript

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 $Q$-construction. We study the layers, $D_{n}F=\text{\rm fiber}(P_{n}F\rightarrow P_{n-1}F)$, 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.

References:

[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, $\Gamma$-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 $K$-theory of spaces, $K$-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 $H(\pi , n)$, 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, $K$-Theory 4 (1990), 1-27. MR 92m:57027

[G2]
T. Goodwillie, Calculus II: Analytic functors, $K$-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 $Q$-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 $K$-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 $K$-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

Similar Articles:

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: 10.1090/S0002-9947-03-03318-X
PII: S 0002-9947(03)03318-X
Received by editor(s): January 20, 1999
Received by editor(s) in revised form: February 18, 2003
Posted: August 21, 2003
Additional Notes: The second author was supported by National Science Foundation grant # 1-5-30943 and a Sloan Fellowship
Copyright of article: Copyright 2003, American Mathematical Society

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google