The bar complex of an E-infinity algebra

DOI10.1016/J.AIM.2009.08.022zbMATH Open1208.57017arXivmath/0601085OpenAlexW2105006854MaRDI QIDQ962142FDOQ962142

Authors: Benoît Fresse 

Publication date: 6 April 2010

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/math/0601085

Recommendations

• Iterated bar complexes of \(E\)-infinity algebras and homology theories
• Iterated bar complexes and \(E_n\)-homology with coefficients
• La construction bar d'une algèbre comme algèbre de Hopf E-infini. (The bar construction of an algebra as an E-infinite Hopf algebra).
• A\({}_{\infty}\)-algebras and the cyclic bar complex
• scientific article; zbMATH DE number 1234896

zbMATH Keywords

operadbar constructioniterated loop space\(E_\infty\) algebra

Mathematics Subject Classification ID

Loop spaces (55P35) Loop space machines and operads in algebraic topology (55P48) Bar and cobar constructions (57T30)

Cites Work

• The geometry of iterated loop spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatic homotopy theory for operads
• Homotopy limits, completions and localizations
• Operadic cobar constructions, cylinder objects and homotopy morphisms of algebras over operads
• Title not available (Why is that?)
• \(E_{\infty}\) algebras and \(p\)-adic homotopy theory
• Modules over operads and functors
• Modules and Morita theorem for operads
• Homological algebra of homotopy algebras
• Combinatorial operad actions on cochains
• Convergence of the Homology Spectral Sequence of a Cosimplicial Space
• The cobar construction as a Hopf algebra
• The Sullivan conjecture on maps from classifying spaces
• Strong convergence of the Eilenberg-Moore spectral sequence
• Operads, algebras and modules in model categories and motives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cellular Strings on Polytopes
• Title not available (Why is that?)
• Multivariable cochain operations and little 𝑛-cubes
• Ensembles profinis simpliciaux et interprétation géométrique du foncteur $T$
• Iterated loop spaces
• On the chain algebra of a loop space
• Title not available (Why is that?)
• Iterating the cobar construction
• Geometry of loop spaces and the cobar construction
• Iterated bar complexes of \(E\)-infinity algebras and homology theories
• ON THE COBAR CONSTRUCTION
• Pro-Nilpotent Representation of Homology Types

Cited In (11)

• Title not available (Why is that?)
• La construction bar d'une algèbre comme algèbre de Hopf E-infini. (The bar construction of an algebra as an E-infinite Hopf algebra).
• Koszul duality for topological E _n ‐operads
• Symmetric homotopy theory for operads
• \(\mathcal{E}_n\)-Hopf invariants
• Homotopy-theoretically enriched categories of noncommutative motives
• Iterated bar complexes of \(E\)-infinity algebras and homology theories
• Bar complex of the Orlik-Solomon algebra
• The functor of singular chains detects weak homotopy equivalences
• Iterated bar complexes and \(E_n\)-homology with coefficients
• E-infinity coalgebra structure on chain complexes with integer coefficients

This page was built for publication: The bar complex of an E-infinity algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q962142)