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

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.

Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper20.abs.html Version 3: Reference to Salvatore added (see footnote 3, page 834)

References in corpus (1)

• Calculus III: Taylor Series

Cited by in corpus (16)

• The tangent complex and Hochschild cohomology of E_n-rings
• Higher enveloping algebras
• On the rational homology of high dimensional analogues of spaces of long knots
• Cohomology of generalized configuration spaces
• Cross-effects and the classification of Taylor towers
• Homotopy nilpotent groups
• The Action of Young Subgroups on the Partition Complex
• Intertwining for semi-direct product operads
• Coalgebraic Formal Curve Spectra and the Annular Tower
• Infinity-operads and Day convolution in Goodwillie calculus
• Quillen homology of spectral Lie algebras with application to mod $p$ homology of labeled configuration spaces
• The Goodwillie tower for S^1 and Kuhn's theorem
• TQ-completion and the Taylor tower of the identity functor
• Computational Tools for Topological CoHochschild Homology
• An operadic proof of the BTT Theorem
• One point compactifications of configuration spaces and the self duality of the little disks operad