Bar constructions for topological operads and the Goodwillie derivatives of the identity

Ching, Michael¹

¹ Department of Mathematics, Room 2-089, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA

Geometry & topology, Tome 9 (2005) no. 2, pp. 833-934.

Résumé

We describe a cooperad structure on the simplicial bar construction on a reduced operad of based spaces or spectra and, dually, an operad structure on the cobar construction on a cooperad. We also show that if the homology of the original operad (respectively, cooperad) is Koszul, then the homology of the bar (respectively, cobar) construction is the Koszul dual. We use our results to construct an operad structure on the partition poset models for the Goodwillie derivatives of the identity functor on based spaces and show that this induces the ‘Lie’ operad structure on the homology groups of these derivatives. We also extend the bar construction to modules over operads (and, dually, to comodules over cooperads) and show that a based space naturally gives rise to a left module over the operad formed by the derivatives of the identity.

Détail

DOI : 10.2140/gt.2005.9.833

Keywords: operad, cooperad, bar construction, module

Bibliographie

[1] G Arone, M Mahowald, The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres, Invent. Math. 135 (1999) 743

[2] C Berger, I Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003) 805

[3] F Borceux, Handbook of categorical algebra. 2, Encyclopedia of Mathematics and its Applications 51, Cambridge University Press (1994)

[4] M Ching, Arboreal objects and operads, in preparation

[5] M Ching, A note on the composition product of symmetric sequences

[6] A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society (1997)

[7] B Fresse, Koszul duality of operads and homology of partition posets, from: "Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$–theory", Contemp. Math. 346, Amer. Math. Soc. (2004) 115

[8] E Getzler, J D S Jones, Operads, homotopy algebra and iterated integrals for double loop spaces

[9] V Ginzburg, M Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994) 203

[10] T G Goodwillie, Calculus I: The first derivative of pseudoisotopy theory, $K$–Theory 4 (1990) 1

[11] T G Goodwillie, Calculus II: Analytic functors, $K$–Theory 5 (1991/92) 295

[12] T G Goodwillie, Calculus III: Taylor series, Geom. Topol. 7 (2003) 645

[13] M Hovey, Model categories, Mathematical Surveys and Monographs 63, American Mathematical Society (1999)

[14] L G Lewis Jr., J P May, M Steinberger, J E Mcclure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer (1986)

[15] S Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer (1998)

[16] M Markl, S Shnider, J Stasheff, Operads in algebra, topology and physics, Mathematical Surveys and Monographs 96, American Mathematical Society (2002)

[17] P Salvatore, Configuration operads, minimal models and rational curves, DPhil thesis, University of Oxford (1998)

[18] B Valette, Homology of generalized partition posets (2004)

[19] R M Vogt, Cofibrant operads and universal $E_\infty$ operads, Topology Appl. 133 (2003) 69