Cubical rigidification, the cobar construction and the based loop space

Manuel Rivera, Mahmoud Zeinalian

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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 (formula presented) from simplicial sets to categories enriched over cubical sets with connections, which, after triangulation of their mapping spaces, coincides with Lurie’s rigidification functor (formula presented) from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of (formula presented) 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 (formula presented) 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.

Original languageEnglish (US)
Pages (from-to)3789-3820
Number of pages32
JournalAlgebraic and Geometric Topology
Volume18
Issue number7
DOIs
StatePublished - Dec 11 2018

Fingerprint

Loop Space
Simplicial Set
Functor
Coalgebra
Graded Algebra
Associative Algebra
Categorical
Cubical Set
Isomorphic
Enriched Category
Nerve
Topological space
Triangulation
Deduce
Isomorphism
Strictly
Equivalence
Path

ASJC Scopus subject areas

  • Geometry and Topology

Cite this

Cubical rigidification, the cobar construction and the based loop space. / Rivera, Manuel; Zeinalian, Mahmoud.

In: Algebraic and Geometric Topology, Vol. 18, No. 7, 11.12.2018, p. 3789-3820.

Research output: Contribution to journalArticle

@article{a87a23ed65fb489d9b1af65ff755315c,
title = "Cubical rigidification, the cobar construction and the based loop space",
abstract = "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 (formula presented) from simplicial sets to categories enriched over cubical sets with connections, which, after triangulation of their mapping spaces, coincides with Lurie’s rigidification functor (formula presented) from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of (formula presented) 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 (formula presented) 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.",
author = "Manuel Rivera and Mahmoud Zeinalian",
year = "2018",
month = "12",
day = "11",
doi = "10.2140/agt.2018.18.3789",
language = "English (US)",
volume = "18",
pages = "3789--3820",
journal = "Algebraic and Geometric Topology",
issn = "1472-2747",
publisher = "Agriculture.gr",
number = "7",

}

TY - JOUR

T1 - Cubical rigidification, the cobar construction and the based loop space

AU - Rivera, Manuel

AU - Zeinalian, Mahmoud

PY - 2018/12/11

Y1 - 2018/12/11

N2 - 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 (formula presented) from simplicial sets to categories enriched over cubical sets with connections, which, after triangulation of their mapping spaces, coincides with Lurie’s rigidification functor (formula presented) from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of (formula presented) 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 (formula presented) 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.

AB - 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 (formula presented) from simplicial sets to categories enriched over cubical sets with connections, which, after triangulation of their mapping spaces, coincides with Lurie’s rigidification functor (formula presented) from simplicial sets to simplicial categories. Taking normalized chains of the mapping spaces of (formula presented) 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 (formula presented) 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.

UR - http://www.scopus.com/inward/record.url?scp=85060458425&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85060458425&partnerID=8YFLogxK

U2 - 10.2140/agt.2018.18.3789

DO - 10.2140/agt.2018.18.3789

M3 - Article

AN - SCOPUS:85060458425

VL - 18

SP - 3789

EP - 3820

JO - Algebraic and Geometric Topology

JF - Algebraic and Geometric Topology

SN - 1472-2747

IS - 7

ER -