The author starts with the tensor algebra of the desuspension of the reduced chain complex of a 1-reduced simplicial set \(X\). Hence 1-reduced means that in the associated graded object to \(X\) the subsets \(X_0\) and \(X_1\) consist of single points. The tensor algebra admits a differential \(d_\Omega\) and the homology coincides with that of the loop space of a geometric realization of \(X\). J. F. Adams gave a formula for the differential, and the present author shows that over \(\mathbb{Z}\) we have the additional, natural structure of a `homotopy Hopf algebra'. This consists of a coassociative diagonal map, and a derivation homotopy; explicit formulae are obtained for both. Using this data it is possible to construct a differential Lie algebra, the differential being defined on the free rational Lie algebra of the original desuspension. This time the homology coincides with the rational homotopy groups of the loops on the realization. Again there is additional `homotopy Hopf' structure. The interest of this work is that it provides an elegant alternative description of D. Quillen's isomorphism between the rational homotopy categories of 1-reduced simplicial sets and free differential Lie algebras, together with previously unachieved finiteness results. As the author himself remarks, given the complexity of the rational homotopy groups of an arbitrary space \(X\), one cannot expect the formulae for the derivations to be straightforward, but their explicit nature certainly leads to the improvements to the existing theory to which the reviewer has alluded.
- The bitwisted Cartesian model for the free loop fibration
- 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 cubical model for a fibration
- Rational homotopy equivalences and singular chains
- Framed matrices and \(A_{\infty}\)-bialgebras
- Homotopy Gerstenhaber algebras are strongly homotopy commutative
- Singular cochains and rational homotopy type
- Rational manifold models for duality groups
- The loop cohomology of a space with the polynomial cohomology algebra
- What is loop multiplication anyhow?
- An algebraic model for the loop space homology of a homotopy fiber
- Filtered Hirsch algebras
- Hopf Algebras up to Homotopy
- Lie coalgebras and rational homotopy theory. II: Hopf invariants
- Cohomology of idempotent braidings with applications to factorizable monoids
- Maurer–Cartan Elements in the Lie Models of Finite Simplicial Complexes
- Feynman categories and representation theory
- The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time
- Singular chains and the fundamental group
- The colimit of an -local system as a twisted tensor product
- The functor of singular chains detects weak homotopy equivalences
- Decomposition spaces in combinatorics
- A canonical enriched Adams-Hilton model for simplicial sets
- Homotopy BV-algebra structure on the double cobar construction
- The Hochschild complex of a twisting cochain
- The bar complex of an E-infinity algebra
This page was built for publication: The cobar construction as a Hopf algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127751)
