Deriving calculus with cotriples

Johnson, B.; McCarthy, R.

doi:10.1090/S0002-9947-03-03318-X

Deriving calculus with cotriples
HTML articles powered by AMS MathViewer

by B. Johnson and R. McCarthy PDF

Trans. Amer. Math. Soc. 356 (2004), 757-803 Request permission

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 = \operatorname {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

Greg Arone, The Mitchell-Richter filtration of loops on Stiefel manifolds stably splits, Proc. Amer. Math. Soc. 129 (2001), no. 4, 1207–1211. MR 1814154, DOI 10.1090/S0002-9939-00-05794-4
P. Erdös, On the distribution of normal point groups, Proc. Nat. Acad. Sci. U.S.A. 26 (1940), 294–297. MR 2000, DOI 10.1073/pnas.26.4.294
Stanisław Betley, Stable derived functors, the Steenrod algebra and homological algebra in the category of functors, Fund. Math. 168 (2001), no. 3, 279–293. MR 1853410, DOI 10.4064/fm168-3-4
A. K. Bousfield, Homogeneous functors and their derived functors, unpublished manuscript.
Maria Basterra and Randy McCarthy, $\Gamma$-homology, topological André-Quillen homology and stabilization, Topology Appl. 121 (2002), no. 3, 551–566. MR 1909009, DOI 10.1016/S0166-8641(01)00098-0
G. E. Carlsson, R. L. 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 899917, DOI 10.1007/BF00533987
Albrecht Dold and Dieter Puppe, Homologie nicht-additiver Funktoren. Anwendungen, Ann. Inst. Fourier (Grenoble) 11 (1961), 201–312 (German, with French summary). MR 150183, DOI 10.5802/aif.114
C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
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.
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
T. Goodwillie, Calculus III: The Taylor series of a homotopy functor, in preparation.
Mamuka Jibladze and Teimuraz Pirashvili, Cohomology of algebraic theories, J. Algebra 137 (1991), no. 2, 253–296. MR 1094244, DOI 10.1016/0021-8693(91)90093-N
Brenda Johnson and Randy McCarthy, Linearization, Dold-Puppe stabilization, and Mac Lane’s $Q$-construction, Trans. Amer. Math. Soc. 350 (1998), no. 4, 1555–1593. MR 1451606, DOI 10.1090/S0002-9947-98-02067-4
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, A classification of degree n functors, to appear in Cahiers Topologie Géom. Différentielle Catég.
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.
Igor Kříž and J. P. May, Operads, algebras, modules and motives, Astérisque 233 (1995), iv+145pp (English, with English and French summaries). MR 1361938
A. Mauer-Oats, Algebraic Goodwillie calculus and a cotriple model for the remainder, preprint.
Randy McCarthy, Relative algebraic $K$-theory and topological cyclic homology, Acta Math. 179 (1997), no. 2, 197–222. MR 1607555, DOI 10.1007/BF02392743
Randy McCarthy, Dual calculus for functors to spectra, Homotopy methods in algebraic topology (Boulder, CO, 1999) Contemp. Math., vol. 271, Amer. Math. Soc., Providence, RI, 2001, pp. 183–215. MR 1831354, DOI 10.1090/conm/271/04357
V. Minasian, André-Quillen spectral sequence for THH, Topology Appl. 129 (2003), no. 3, 273-280.
T. I. Pirashvili, Higher additivizations, Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 91 (1988), 44–54 (Russian, with English summary). MR 1029006
Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432, DOI 10.1007/BFb0097438
Daniel Quillen, On the (co-) homology of commutative rings, Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVII, New York, 1968) Amer. Math. Soc., Providence, R.I., 1970, pp. 65–87. MR 0257068
Birgit Richter, An Atiyah-Hirzebruch spectral sequence for topological André-Quillen homology, J. Pure Appl. Algebra 171 (2002), no. 1, 59–66. MR 1903396, DOI 10.1016/S0022-4049(01)00117-7
Daniel 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 357552, DOI 10.4064/cm-32-1-49-55
Daniel Simson and Andrzej Tyc, Connected sequences of stable derived functors and their applications, Dissertationes Math. (Rozprawy Mat.) 111 (1974), 67. MR 377861
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
Michael Weiss, Orthogonal calculus, Trans. Amer. Math. Soc. 347 (1995), no. 10, 3743–3796. MR 1321590, DOI 10.1090/S0002-9947-1995-1321590-3