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

based loop space cobar construction rigidification

Enriched categories (over closed or monoidal categories) (18D20) Loop spaces (55P35) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) 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

m a t h f r a k C_{s q u a r 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

m a t h f r a k C

from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of

m a t h f r a k C_{s q u a r e_{c}}

yields a functor

L a m b d a

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

,

L a m b d a (S) (x, x)

is a dga isomorphic to

O m e g a Q_{D e l t a} (S)

, the cobar construction on the dg coalgebra

Q_{D e l t a} (S)

of normalized chains on

S

. We use these facts to show that

Q_{D e l t a}

sends categorical equivalences between simplicial sets to maps of connected dg coalgebras which induce quasi-isomorphisms of dga's under the cobar functor.

Review text

Let \(\mathfrak{C}\) denote Lurie's rigidification functor, that associates to a simplicial set a category enriched over simplicial sets. The authors factorise this functor through another functor \(\mathfrak{C}_{\square_c}\) which sends simplicial sets to categories enriched over cubical sets with connections. By taking normalised cubical chains there results a functor \(\Lambda\) mapping simplicial sets to dg categories. This functor is left adjoint to Lurie's dg nerve functor. If \(S\) is a simplicial set with a unique 0-simplex \(x\) then \(\Lambda(S)(x,x)\) is isomorphic, as a dga, to the cobar construction on the dg coalgebra of normalised simplicial chains with the Alexander-Whitney coproduct. The machinery is used to prove the following result. Let \(X\) be a path connected space with distinguished base point \(b\), and let \(S\) denote the simplicial set of singular simplices with vertices at \(b\). The cobar construction of the normalised simplicial chains of \(S\) is weakly equivalent, as a dga, to the singular chains of the topological monoid of Moore loops in \(X\) based at \(b\). This generalises a result of Adams which applied to simply connected spaces only.

Recommendations

Cites work

Cited in

(24)

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)