On a notion of homotopy Segal $ E_\infty $-Hopf cooperad
We define a notion of homotopy Segal cooperad in the category of $ E_\infty $-algebras. This model of Segal cooperad that we define in the paper, which we call homotopy Segal $ E_\infty $-Hopf cooperad, covers examples given by the cochain complex of topological operads and provides a framework for the study of the homotopy of such objects. In a first step, we consider a category of Segal $ E_\infty $-Hopf cooperads, which consists of collections of $ E_\infty $-algebras indexed by trees and equipped with coproduct operators, corresponding to tree morphisms, together with facet operators, corresponding to subtree inclusions. The coproduct operators model coproducts of operations inside a tree. The facet operators are assumed to satisfy a Segal condition. The homotopy Segal cooperads that we aim to define are formed by integrating homotopies in the composition schemes of the coproduct operators. For this purpose, we replace the functorial structure that governs the composition of the coproduct operators by the structure of a homotopy functor which we shape on a cubical enrichment of the category of $ E_\infty $-algebras. We prove that every homotopy Segal $ E_\infty $-Hopf cooperad in our sense is weakly-equivalent to a strict Segal $ E_\infty $-Hopf cooperad. We also define a notion of homotopy morphism of homotopy Segal $ E_\infty $-Hopf cooperads. We prove that every homotopy Segal $ E_\infty $-Hopf cooperad admits a cobar construction and that every homotopy morphism of homotopy Segal $ E_\infty $-Hopf cooperads induces a morphism on this cobar construction, so that our approach provides a lifting to the context of $ E_\infty $-algebras of classical homotopy cooperad structures that are modeled on the bar duality of operads when we work in a category of differential graded modules.