## Geometry & Topology

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

Michael Ching

#### Abstract

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.

#### Article information

Source
Geom. Topol., Volume 9, Number 2 (2005), 833-934.

Dates
Revised: 13 December 2005
Accepted: 6 May 2005
First available in Project Euclid: 20 December 2017

https://projecteuclid.org/euclid.gt/1513799607

Digital Object Identifier
doi:10.2140/gt.2005.9.833

Mathematical Reviews number (MathSciNet)
MR2140994

Zentralblatt MATH identifier
1153.55006

#### Citation

Ching, Michael. Bar constructions for topological operads and the Goodwillie derivatives of the identity. Geom. Topol. 9 (2005), no. 2, 833--934. doi:10.2140/gt.2005.9.833. https://projecteuclid.org/euclid.gt/1513799607

#### References

• Greg Arone, Mark Mahowald, The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres, Invent. Math. 135 (1999) 743–788
• Clemens Berger, Ieke Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003) 805–831
• Francis Borceux, Handbook of categorical algebra. 2. Categories and structures, Encyclopedia of Mathematics and its Applications 51, Cambridge University Press, Cambridge (1994),
• Michael Ching, Arboreal objects and operads, in preparation
• Michael Ching, A note on the composition product of symmetric sequences.
• A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, with an appendix by M Cole, Mathematical Surveys and Monographs 47, American Mathematical Society, Providence, RI (1997),
• Benoit Fresse, Koszul duality of operads and homology of partition posets, from: “Homotopy theory and its applications (Evanston, 2002)”, Contemp. Math. 346, Amer. Math. Soc. Providence, RI (2004) 115–215
• Ezra Getzler, J D S Jones, Operads, homotopy algebra and iterated integrals for double loop spaces.
• Victor Ginzburg, Mikhail Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994) 203–272
• Thomas G Goodwillie, Calculus. I. The first derivative of pseudoisotopy theory, $K$–Theory 4 (1990) 1–27
• Thomas G Goodwillie, Calculus. II. Analytic functors, $K$–Theory 5 (1991/92) 295–332
• Thomas G Goodwillie, Calculus. III. Taylor series, \gtref7200319645711
• Mark Hovey, Model categories, Mathematical Surveys and Monographs 63, American Mathematical Society, Providence, RI (1999)
• L G Lewis, Jr, J P May, M Steinberger, J E McClure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer–Verlag, Berlin (1986)
• Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer–Verlag, New York (1971),
• Martin Markl, Steve Shnider, Jim Stasheff, Operads in algebra, topology and physics, Mathematical Surveys and Monographs 96, American Mathematical Society, Providence, RI (2002)
• Paolo Salvatore, Configuration operads, minimal models and rational curves, PhD thesis, University of Oxford (1998)
• Bruno Vallette, Homology of generalized partition posets, (2004)
• R M Vogt, Cofibrant operads and universal $E\sb \infty$ operads, Topology Appl. 133 (2003) 69–87