Bar constructions for topological operads and the {G}oodwillie derivatives of the identity (Q2388855): Difference between revisions

The author introduces a general bar construction for operads in pointed symmetric monoidal categories which are enriched, tensored and cotensored over the category of based topological spaces. This bar construction applies to operads \(P\) such that \(P(0)\) is the zero object and \(P(1)\) is the unit of the given pointed symmetric monoidal category. The bar construction is defined as a coend by means of an interesting, new geometric realization of trees. The author shows that his bar construction comes equipped with a canonical cooperad structure, and is moreover isomorphic to the geometric realization of the standard simplicial bar construction. By dualization, he obtains a canonical operad structure on the Goodwillie derivatives, cf. \textit{T. G. Goodwillie} [Geom. Topol. 7, 645--711 (2003; Zbl 1067.55006)] of the identity functor on based topological spaces, cf. \textit{G. Arone} and \textit{M. Mahowald} [Invent. Math. 135, 743--788 (1999; Zbl 0997.55016)]. As opposed to the \(W\)-construction of \textit{J. M. Boardman} and \textit{R. M. Vogt} [Homotopy invariant algebraic structures on topological spaces. Lect. Notes in Math. 347 (1973; Zbl 0285.55012)] which (under suitable conditions) yields a cofibrant resolution of \(P\) in the category of operads, cf. \textit{C. Berger} and \textit{I. Moerdijk} [Topology 45, 807--849 (2006; Zbl 1105.18007)], the author's bar construction is likely to define a cofibrant resolution of \(P\) in the category of \(P\)-bimodules, as is the case for the algebraic bar construction of \textit{V. Ginzburg} and \textit{M. Kapranov} [Duke Math. J. 76, 203--272 (1994; Zbl 0855.18006)]. In particular, the author relates the topological and algebraic bar constructions in an explicit way by means of a convergent homological spectral sequence.