Cubical rigidification, the cobar construction and the based loop space

DOI10.2140/AGT.2018.18.3789MaRDI QIDQ1713041zbMATH OpenOpenAlexWikidataFDO

Authors Manuel Rivera, Mahmoud Zeinalian

Publication date 24 January 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

cobar constructionrigidificationbased loop space

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Loop spaces (55P35) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) Enriched categories (over closed or monoidal categories) (18D20) Bar and cobar constructions (57T30)

Abstract: We prove the following generalization of a classical result of Adams: for any pointed and connected topological space $(X,b)$, that is not necessarily simply connected, the cobar construction of the differential graded (dg) coalgebra of normalized singular chains in $X$ with vertices at $b$ is weakly equivalent as a differential graded associative algebra (dga) to the singular chains on the Moore based loop space of $X$ at $b$. We deduce this statement from several more general categorical results of independent interest. We construct a functor $mathfrak{C}_{squar{e}_c}$ from simplicial sets to categories enriched over cubical sets with connections which, after triangulation of their mapping spaces, coincides with Lurie's rigidification functor $mathfrakC$ from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of $mathfrak{C}_{squar{e}_c}$ yields a functor $Lambda$ from simplicial sets to dg categories which is the left adjoint to the dg nerve functor. For any simplicial set $S$ with $S_0=x$, $Lambda(S)(x,x)$ is a dga isomorphic to $Omega{Q}_{Delta}(S)$, the cobar construction on the dg coalgebra $Q_{Delta}(S)$ of normalized chains on $S$. We use these facts to show that $Q_{Delta}$ sends categorical equivalences between simplicial sets to maps of connected dg coalgebras which induce quasi-isomorphisms of dga's under the cobar functor.

Recommendations

• Adams' cobar construction revisited
• Categorical models for path spaces
• scientific article; zbMATH DE number 1434532
• Adams' Cobar Equivalence
• On the twisted cobar construction

Cites work

• Algebraic operads
• Categorical homotopy theory
• Cyclic homology, derivations, and the free loopspace
• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• Higher Topos Theory (AM-170)
• Mapping spaces in quasi-categories
• ON THE COBAR CONSTRUCTION
• On the algebra of cubes
• Quasi-categories and Kan complexes
• Rigidification of quasi-categories
• The Hochschild complex of a twisting cochain
• The loop group and the cobar construction

Cited in

(19)

• Cubical model categories and quasi-categories
• A combinatorial model for the path fibration
• Sheaves via augmentations of Legendrian surfaces
• Adams' Cobar Equivalence
• Adams' cobar construction as a monoidal $E_{\infty}$-coalgebra model of the based loop space
• A canonical enriched Adams-Hilton model for simplicial sets
• Categorical Koszul duality
• Categorical models for path spaces
• An algebraic model for the free loop space
• Homotopy theory of monoids and derived localization
• The category of necklaces is Reedy monoidal
• Rational homotopy equivalences and singular chains
• Maurer-Cartan moduli and theorems of Riemann-Hilbert type
• Singular chains and the fundamental group
• The functor of singular chains detects weak homotopy equivalences
• Adams' cobar construction revisited
• scientific article; zbMATH DE number 7613127 (Why is no real title available?)
• The cohomology of homogeneous spaces in historical context
• The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time

This page was built for publication: Cubical rigidification, the cobar construction and the based loop space

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