On a notion of homotopy Segal $E_\infty$-Hopf cooperad

Fresse, Benoit; Guerra, Lorenzo

Type de document :

Pré-publication ou Document de travail

Titre :

On a notion of homotopy Segal $E_\infty$-Hopf cooperad

Auteur(s) :

Fresse, Benoit [Auteur]
Laboratoire Paul Painlevé - UMR 8524 [LPP]
Guerra, Lorenzo [Auteur]
Laboratoire Paul Painlevé - UMR 8524 [LPP]

Date de publication :

2020-11-22

Discipline(s) HAL :

Mathématiques [math]/Topologie algébrique [math.AT]

Résumé en anglais : [en]

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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Projet ANR :

Centre Européen pour les Mathématiques, la Physique et leurs Interactions
Opérades, Calcul et méthodes de théorie de l'Homotopie en Topologie

Commentaire :

73 pages, 17 figures

Collections :