Cubical rigidification, the cobar construction and the based loop space

Rivera, Manuel¹ ; Zeinalian, Mahmoud²

¹ Department of Mathematics, University of Miami, Coral Gables, FL, United States
² Department of Mathematics, City University of New York, Lehman College, Bronx, NY, United States

Algebraic and Geometric Topology, Tome 18 (2018) no. 7, pp. 3789-3820

Résumé

We prove the following generalization of a classical result of Adams: for any pointed path-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 ℭ□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 ℭ from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of ℭ□c yields a functor Λ from simplicial sets to dg categories which is the left adjoint to the dg nerve functor. For any simplicial set S with S0 = {x}, Λ(S)(x,x) is a dga isomorphic to ΩQΔ(S), the cobar construction on the dg coalgebra QΔ(S) of normalized chains on S. We use these facts to show that QΔ sends categorical equivalences between simplicial sets to maps of connected dg coalgebras which induce quasi-isomorphisms of dgas under the cobar functor, which is strictly stronger than saying the resulting dg coalgebras are quasi-isomorphic.

Détail

DOI : 10.2140/agt.2018.18.3789

Classification : 18G30, 55P35, 55U10, 57T30, 18D20, 55U35, 55U40
Keywords: rigidification, cobar construction, based loop space