on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
The term simplicial groupoid is often used for a simplicial object in the category Grpd of groupoids whose simplicial set of objects is simplicially constant. We will write $s Grpd$ for the category of such simplicial groupoids.
(BEWARE: perhaps a more accurate term for this concept is simplicially enriched groupoid, and conceptually it is often the enriched category structure that is useful. Because of this it is advisable to check the use being made of the term when consulting the literature. This is more fully discussed at simplicial category.)
There is a model category structure on $sGrpd$ whose
fibrations are the morphisms $f : H \to K$ such that
for every object $x$ of $H$ and every morphism $\omega : f(x) \to y$ in $K_0$ there is a morphism $\hat \omega : x \to z$ of $H_0$ such that $f(\hat \omega) = \omega$;
for every object $x$ in $H$ the induced morphism $f : H(x,x) \to K(f(x), f(x))$ is a Kan fibration.
weak equivalences are morphisms $f : H \to K$ such that
$f$ induces in isomorphism on connected components $\pi_0 f : \pi_0 H \to \pi_0 K$;
for each object $x$ of $H$ the induced morphism $H(x,x) \to K(f(x), f(x))$ is a weak equivalence in the model structure on simplicial groups or equivalently in the model structure on simplicial sets.
We have a Quillen adjunction
where both $G$ and $\bar W$ preserve all weak equivalences.
This appears for instance as (GoerssJardine, theorem 7.8)
When restricted to simplicial groupoids of the form $(B G)_\bullet$ for $G_\bullet$ a simplicial group and $B G_n$ its delooping groupoid this produces a standard presentation of looping and delooping for infinity-groups. See there for more details.
The model structure is discussed after corollary 7.3 in chapter V of
Last revised on October 18, 2014 at 22:37:23. See the history of this page for a list of all contributions to it.