nLab Dwyer-Kan fundamental simplicial groupoid

Redirected from "Dwyer-Kan simplicial path groupoid".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Enriched category theory

Contents

Idea

The Dwyer-Kan fundamental simplicial groupoid (often “loop groupoid”) [Dwyer & Kan (1984), §3.1] of a simplicial set KK is the simplicial groupoid whose objects are the vertices of KK and whose hom-simplicial set between a pair of such picks up the composable sequences of higher dimensional simplices, where the zeroth vertex is thought of as the domain object and the first vertex as the codomain.

So the “loop”-terminology is a misnomer: It really refers to a simplicial version of a path groupoid-construction which may be thought of as modelling a fundamental \infty -groupoid as a simplicial groupoid.

But applied to the special case of a reduced simplicial set this construction reduces to the Kan loop group construction, which is properly a model for a loop space-construction.

The Dwyer-Kan groupoid construction is a left Quillen equivalence (right adjoint to a groupoidal simplicial classifying space-construction) from the classical model structure on simplicial sets to the model structure on simplicial groupoids [Dwyer & Kan (1984), Thm. 3.3], and as such exhibits the homotopy theory of simplicial groupoids as an equivalent incarnation of classical homotopy theory.

Definitions

There are different choices of how to define a DK-type loop groupoid functor, depending, for instance, on which pair of vertices in the n n -simplex of a simpilcial set are to be regarded as the source- and target-object of the corresponding morphism in the loop groupoid. In the original definition Dwyer & Kan (1984), §3.1 took the direction of the morphism to point from the 11st to the 0th vertex, 101 \to 0. But the modern convention in analogous constructions for Segal spaces etc. is to instead take 010 \to 1.

Moreover, apparently the original definition in Dwyer & Kan (1984), §3.1 had a mistake in its definition of d 0d_0 (according to Ehlers (1991), p. 10). Both issues are said to be fixed in Ehlers (1991), pp. 10.

Other definitions have been given, too (all necessarily isomorphic to each after their left adjointness to the simplicial classifying space-construction has been established, by uniqueness of adjoint).

In any case, the DK loop groupoid construction is a functor

𝒢:sSetsGrpd, \mathcal{G} \colon sSet \longrightarrow sGrpd \,,

which takes a simplicial set SS to a Dwyer-Kan simplicial groupoid (i.e. sSet-enriched groupoid) 𝒢(S)\mathcal{G}(S).

Original definition, fixed

The following is a slight modification of the original Dwyer & Kan (1984), §3.1, given by Ehlers (1991), pp. 10:

For SsSetS \in sSet the simplicial groupoid 𝒢(S)\mathcal{G}(S) is defined as follows:

  • objects are the vertices of SS:

    Obj(𝒢(K))K 0Obj\big(\mathcal{G}(K)\big) \,\coloneqq\, K_0;

  • morphisms in degree nn \in \mathbb{N} form the groupoid which is the quotient

    S n+1 S 0 q = 𝒢(S) n Obj(𝒢(S)) \array{ S_{n+1} &\overset{\phantom{----}}{\rightrightarrows} & S_0 \\ \mathllap{{}^{q}}\Big\downarrow && \Big\downarrow\mathrlap{{}^=} \\ \mathcal{G}(S)_n &\overset{\phantom{----}}{\rightrightarrows}& Obj\big(\mathcal{G}(S)\big) }

    of the free groupoid on the graph

    s,t:S n+1S 0,, s,t \,\colon\, S_{n+1} \overset{\phantom{--}}{\rightrightarrows} S_0, \,,
    • with domain-function sd 1d 2d 3d n+1s \coloneqq d_1 \circ d_2 \cdot d_3 \cdots d_{n+1},

      and codomain-function td 0d 2d 3d n+1t \coloneqq d_0 \circ d_2 \cdot d_3 \cdots d_{n+1}

    by the relations

    q(s 0σ n)id d 1d nσ nq(s_0 \sigma_n) \,\sim\, id_{d_1 \cdots d_n \sigma_n}, for all σ nS n\sigma_n \in S_n.

  • The face and degeneracy maps are given on generators by

    • d 0(q(σ))q(d 1(σ n))q(d 0(σ n)) 1d_0\big(q(\sigma)\big) \,\coloneqq\, q\big(d_1(\sigma_n)\big) \cdot q\big( d_0(\sigma_n)\big)^{-1}

    • d i(q(σ))q(d i+1(σ))d_i\big(q(\sigma)\big) \,\coloneqq\,q\big(d_{i+1}(\sigma)\big) for i>0i \gt 0

    • s i(q(σ))q(s i+1(σ))s_i\big(q(\sigma)\big) \,\coloneqq\,q\big(s_{i+1}(\sigma)\big) for i0i \geq 0.

By Goerss & Jardine

Here is the definition given in Goerss & Jardine (1999) p. 322, (2009) p. 302:

Properties

General

Remark

The fundamental simplicial groupoid functor has a right adjoint, W¯\overline{W} [Dwyer & Kan (1984) §3.2] also called the simplicial classifying space functor.

Relation to rigidification of quasi-categories

Let

(1)L:sSet-CatsSet-Grp L \,\colon\, sSet\text{-}Cat \longrightarrow sSet\text{-}Grp

denote the functor from sSet-enriched categories to sSet-enriched groupoids (Dwyer-Kan simplicial groupoids) which is degreewise given by the localization operation left adjoint to the full subcategory inclusion Grpd \hookrightarrow Cat.

Let

(2):sSetsSet-Cat \mathfrak{C} \,\colon\, sSet \longrightarrow sSet\text{-}Cat

denote the operation of rigidification of quasi-categories.

Proposition

For SsSetS \,\in\, sSet there is a natural transformation

L(S)𝒢(S) L \circ \mathfrak{C}(S) \longrightarrow \mathcal{G}(S)

which is a Dwyer-Kan equivalence (from the localization (1) of the rigidification (2) to the Dwyer-Kan fundamental groupoid (as above).

[Minichiello, Rivera & Zeinalian (2023), Thm. 1.1 (Cor. 4.2)]

References

The original reference for the functor GG is Section 9 in

Later, Dwyer and Kan constructed the right adjoint W¯\bar W to GG in

Beware that the definition in Dwyer & Kan (1984) §3.1 apparently contains a mistake (in its formula for d 0d_0). It may be that this problem was early on known and communicated by Joyal and Tierney, but in print the correction is given in:

  • Philip Ehlers, pp. 10 in: Simplicial groupoids as models for homotopy type, Master’s thesis (1991) [pdf]

See also:

Relating the Dwyer-Kan loop groupoid-construction to the rigidification of quasi-categories:

Last revised on May 29, 2023 at 16:59:17. See the history of this page for a list of all contributions to it.