The functors W and Diag Nerve are simplicially homotopy equivalent.

MaRDI QIDQ847575zbMATH OpenFDO

Authors Sebastian Thomas

Publication date 17 February 2010

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0804.1082, http://www.emis.de/journals/JHRS/volumes/2008/n1a12/abstract.htm

zbMATH Keywords

bisimplicial setclassifying simplicial setsimplicial group

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10)

Abstract: Given a simplicial group G, there are two known classifying simplicial set constructions, the Kan classifying simplicial set Wbar G and Diag N G, where N denotes the dimensionwise nerve. They are known to be weakly homotopy equivalent. We will show that Wbar G is a strong simplicial deformation retract of Diag N G. In particular, Wbar G and Diag N G are simplicially homotopy equivalent.

Review text

Let \(G\) be a simplicial group. There are two well-known classifying simplicial set constructions: (1) Kan's classifying simplicial set \(\overline {W}G\) and (2) dimensionwise application of the nerve functor for groups yields a bisimplicial set \(NG\), to which one can apply the diagonal functor to obtain a simplicial set \(\operatorname{Diag} NG\). It is well-known that \(\overline {W}G\) is weakly homotopy equivalent to \(\operatorname{Diag} NG\). In this article, the author proves that \(\overline {W}G\) is a strong simplicial deformation retract of \(\operatorname{Diag} NG\). This gives a stronger relationship between \(\overline {W}G\) and \(\operatorname{Diag}NG\).

Recommendations

• Décalage and Kan's simplicial loop group functor
• The relationship between the diagonal and the bar constructions on a bisimplicial set
• scientific article; zbMATH DE number 3892209
• scientific article; zbMATH DE number 1171023
• Comparison of the geometric bar and W-constructions

Cited in

(5)

• Comparison of the geometric bar and W-constructions
• Vanishing theorems for representation homology and the derived cotangent complex
• Décalage and Kan's simplicial loop group functor
• Classifying space via homotopy coherent nerve
• On classifying simplicial modules

This page was built for publication: The functors \(\overline {W}\) and \(\text{Diag}\circ \text{Nerve}\) are simplicially homotopy equivalent.

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