Source author record

Benoit Fresse

Benoit Fresse appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.CT

Catalog footprint

What is connected

5works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

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.

preprint2020arXiv

Mapping Spaces for DG Hopf Cooperads and Homotopy Automorphisms of the Rationalization of $E_n$-operads

We define a simplicial enrichment on the category of differential graded Hopf cooperads (the category of dg Hopf cooperads for short). We prove that our simplicial enrichment satisfies, in part, the axioms of a simplicial model category structure on the category of dg Hopf cooperads. We use this simplicial model structure to define a model of mapping spaces in the category of dg Hopf cooperads and to upgrade results of the literature about the homotopy automorphism spaces of dg Hopf cooperads by dealing with simplicial monoid structures. The rational homotopy theory of operads implies that the homotopy automorphism spaces of dg Hopf cooperads can be regarded as models for the homotopy automorphism spaces of the rationalization of operads in topological spaces (or in simplicial sets). We prove, as a main application, that the spaces of Maurer--Cartan forms on the Kontsevich graph complex Lie algebras are homotopy equivalent, in the category of simplicial monoids, to the homotopy automorphism spaces of the rationalization of the operads of little discs.

preprint2010arXiv

Iterated bar complexes of E-infinity algebras and homology theories

We proved in a previous article that the bar complex of an E-infinity algebra inherits a natural E-infinity algebra structure. As a consequence, a well-defined iterated bar construction B^n(A) can be associated to any algebra over an E-infinity operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A. The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of E-infinity algebras. We use this effective definition to prove that the n-fold bar complex B^n(A) admits an extension to categories of algebras over E_n-operads. Then we prove that the n-fold bar complex determines the homology theory associated to a category of algebras over E_n-operads. For n infinite, we obtain an isomorphism between the homology of an infinite bar construction and the usual Gamma-homology with trivial coefficients.

preprint2010arXiv

Props in model categories and homotopy invariance of structures

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goal is to prove that an object X homotopy equivalent to an algebra A over a cofibrant prop P inherits a P-algebra structure so that X defines a model of A in the homotopy category of P-algebras. In the differential graded context, this result leads to a generalization of Kadeishvili's minimal model of A-infinity algebras.

preprint2009arXiv

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction. We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.