nLab
simplicial group

Idea

Recall that a simplicial set is a combinatorial model for a topological space. This relation is most immediate when the simplicial set is in fact a Kan complex (an ∞-groupoid).

A simplicial group is a simplicial set with the structure of a group on it. It turns out that this necessarily means that it is also a Kan complex. Therefore a simplicial group is

• an ∞-groupoid with an extra group structure on it;

• a model for a topological space with a group structure.

Accordingly (as discussed at group) a simplicial group $G$ gives rise to

• a one-object $\mathrm{\infty }$-groupoid $BG$ whose explicit standard realization as a simplicial set is denoted $\overline{W}G$

• an $\mathrm{\infty }$-groupoid $EG$ whose explicit standard realization as a simplicial set (even a simplicial group, again) is denoted $WG$

• such that there is a fibration

  $$\begin{array}{ccc}EG& :=& WG\\ \downarrow & & \downarrow \\ BG& :=& \overline{W}G\end{array}$$\array{ \mathbf{E} G &:=& W G \\ \downarrow && \downarrow \\ \mathbf{B} G &:=& \bar W G }

  which is the universal G-bundle.

Definition

A simplicial group, $G$, is a simplicial object in the category Grp of groups.

The category of simplicial groups is the category of functors from ${\Delta }^{\mathrm{op}}$ to Grp. It will be denoted $SimpGrp$.

Properties

General

Theorem (J. C. Moore)

The simplicial set underlying any simplicial group (by forgetting the group structure) is a Kan complex.

This is due to (Moore, 1954)

In fact, not only are the horn fillers guaranteed to exist, but there is an algorithm that provides explicit fillers. This implies that constructions on a simplicial group that use fillers of horns can often be adjusted to be functorial by using the algorithmically defined fillers. An argument that just uses ‘existence’ of fillers can be refined to give something more ‘coherent’.

Proof

Let $G$ be a simplicial group.

Here is the explicit algorithm that computes the horn fillers:

Let $(y_0,\dots ,y_{k-1},-,y_{k+1},\dots ,y_n)$ give a horn in $G_{n-1}$, so the $y_i$s are $(n-1)$ simplices that fit together as if they were all but one, the $k^{\mathrm{th}}$ one, of the faces of an $n$-simplex. There are three cases:

1. if $k=0$:

   • Let $w_n=s_{n-1}{y}_n$ and then $w_i=w_{i+1}(s_{i-1}{d}_i{w}_{i+1}{)}^{-1}{s}_{i-1}{y}_i$ for $i=n,\dots ,1$, then $w_1$ satisfies $d_i{w}_1=y_i$, $i\ne 0$;

2. if $0<k<n$:

   • Let $w_0=s_0{y}_0$ and $w_i=w_{i-1}(s_i{d}_i{w}_{i-1}{)}^{-1}{s}_i{y}_i$ for $i=0,\dots ,k-1$, then take $w_n=w_{k-1}(s_{n-1}{d}_{\mathrm{nw}}{}_{k-1}{)}^{-1}{s}_{n-1}{y}_n$, and finally a downwards induction given by $w_i=w_{i+1}(s_{i-1}{d}_i{w}_{i+1}{)}^{-1}{s}_{i-1}{y}_i$, for $i=n,\dots ,k+1$, then $w_{k+1}$ gives $d_i{w}_{k+1}=y_i$ for $i\ne k$;

3. if $k=n$:

   • use $w_0=s_0{y}_0$ and $w_i=w_{i-1}(s_i{d}_i{w}_{i-1}{)}^{-1}{s}_i{y}_i$ for $i=0,\dots ,n-1$, then $w_{n-1}$ satisfies $d_i{w}_{n-1}=y_i$, $i\ne n$.

Remark

• The filler for any horn can be chosen to be a product of degenerate elements.

• The simplicial homotopy groups of a simplicial group, $G$, can be calculated as the homology groups of the Moore complex of $G$. This is, in general, a non-Abelian chain complex.

• A simplicial group can be considered as a simplicial groupoid having exactly one object. If $G$ is a simplicial group, the suggested notation for the corresponding simplicially enriched groupoid would be $BG$ according to notational conventions suggested elsewhere in the nLab.

• There is a functor due to Dwyer and Kan, called the Dwyer-Kan loop groupoid that takes a simplicial set to a simplicial groupoid. This has a left adjoint $\overline{W}$ (see below), called the classifying space functor, and together they give an equivalence of categories between the homotopy category of simplical sets and that of simplicial groupoids. We thus have that all homotopy types are modelled by simplicial groupoids … and for connected homotopy types by simplicial groups. One important fact to note in this equivalence is that it shifts dimension by 1, so if $G(K)$ is the simplicial group corresponding to the connected simplicial set $K$ then ${\pi }_k(K)$ is the same as ${\pi }_{k-1}(G(K))$. This is important when considering algebraic models for a homotopy n-type.

Fiber sequences

Proposition

Let $G$ be a simplicial gorup and $G_0$ its group of 0-cells, regarded as a simplicially constant simplicial group. Write $G/G_0$ for the evident quotient of simplicial groups.

The evident morphisms

$$G_0\to G\to G/G_0\simeq B\Omega G/G_0$$G_0 \to G \to G/G_0 \simeq \mathbf{B} \Omega G/G_0

form a fiber sequence in sSet.

Proof

One checks that for $X$ any simplicial set and $G$ a simplicial group acting freely on it, the quotient map

$$X\to X/G$$X \to X/G

is a Kan fibration. This is for instance (Weibel, exercise 8.2.6). By the disucssion at fiber sequence it is therefore sufficient to observe that

$$\begin{array}{ccc}{G}_0& \to & *\\ \downarrow & & \downarrow \\ G& \to & G/G_0\end{array}$$\array{ G_0 &\to& * \\ \downarrow && \downarrow \\ G &\to& G/G_0 }

is an ordinary pullback of simplicial sets. This is clear since the action of $G_0$ on $G$ is degreewise free (being the action of a subgroup).

Example

Let $(G_1\stackrel{\delta }{\to }{G}_0)$ be a crossed module of groups, write

$$[G_1\stackrel{\delta }{\to }{G}_0]=(G_0\times G_1\stackrel{\stackrel{(\delta p_2)\cdot p_1}{\to }}{\underset{p_1}{\to }}{G}_0)$$[G_1 \stackrel{\delta}{\to} G_0] = \left( G_0 \times G_1 \stackrel{\overset{(\delta p_2)\cdot p_1}{\to}}{\underset{p_1}{\to}} G_0 \right)

for groupoid which is the corresponding strict 2-group and write $N[G_1\to G_0]$ for the nerve being the corresponding simplicial group. Then the above says that

$$G_0\to [G_1\stackrel{\delta }{\to }{G}_0]\to B{G}_1$$G_0 \to [G_1 \stackrel{\delta}{\to} G_0] \to \mathbf{B}G_1

is a fiber sequence of groupoids.

Free simplicial groups

Lemma

The forgetful functor

$$U:\mathrm{AbSGrpg}\to \mathrm{SSet}$$U : AbSGrpg \to SSet

from simplicial abelian groups to the underlying simplicial sets has a left adjoint

$$\mathbb{Z}:\mathrm{SSet}\to \mathrm{AbSimpGrp}$$\mathbb{Z} : SSet \to AbSimpGrp

from simplicial sets to abelian simplicial groups, the free simplicial abelian group functor that sends the set $X_n$ of $n$-simplices to the free abelian group $(\mathbb{Z}X{)}_n=\mathbb{Z}{X}_n$ over it.

This functor $\mathbb{Z}$ has the following properties:

• it preserves weak equivalences

• $\mathbb{Z}X$ is a cofibrant simplicial group

(…)

Looping and delooping

Let ${\mathrm{sSet}}_0\hookrightarrow$ sSet be the category of reduced simplicial sets (simplicial sets with a single 0-cell).

Definition

For $X\in {\mathrm{sSet}}_0$ define $\Omega X\in \mathrm{sGrpd}$ by

$$\Omega X:[n]\mapsto (F{X}_{n+1})/s_{0}F(X_n)$$\Omega X : [n] \mapsto (F X_{n+1})/ s_0 F(X_n)

and

$$\Omega X:([n]\to [k])\mapsto ...$$\Omega X : ([n] \to [k]) \mapsto ...

As $\mathrm{\infty }$-groups

Simplicial groups are models for ∞-groups. This is exhibited by the model structure on simplicial groups. See also models for group objects in ∞Grpd.

Another equivalent model is that of connected Kan complexes.

At the abstract level of (∞,1)-category theory this equivalence is induced by forming loop space objects and delooping

$$\Omega :\mathrm{\infty }{\mathrm{Grpd}}_{\mathrm{con}}\overleftarrow{\to }\mathrm{\infty }\mathrm{Grp}:B.$$\Omega : \infty Grpd_{con} \stackrel{\leftarrow}{\to} \infty Grp : \mathbf{B} \,.

This (∞,1)-equivalence is modeled by a Quillen equivalence of model categories whose right adjoint Quillen functor is the operation $\overline{W}$ discussed above.

$$𝒢:{\mathrm{sSet}}_0\stackrel{\stackrel{{\simeq }_{\mathrm{Quillen}}}{\leftarrow }}{\to }\mathrm{sGrp}:\overline{W}.$$\mathcal{G} : sSet_0 \stackrel{\stackrel{\simeq_{Quillen}}{\leftarrow}}{\to} sGrp : \overline{W} \,.

This is for instance in GoerssJardine, chapter 5.

See also group object in an (∞,1)-category -- models for groups in ∞Grpd.

Closed monoidal structure

The category $\mathrm{sAb}$ of simplicial abelian groups is naturally a monoidal category, with the tensor product being degreewise that of abelian groups. This is indeed a closed monoidal category. For $A,B$ The internal hom $[A,B]$ is the simplicial abelian group whose underlying simplicial set is

$$[A,B]:[n]\mapsto {\mathrm{Hom}}_{\mathrm{sAb}}(A\otimes \mathbb{Z}[\Delta [n]],B),$$[A,B] : [n] \mapsto Hom_{sAb}(A \otimes \mathbb{Z}[\Delta[n]], B) \,,

where $Z[-]:\mathrm{sSet}\to \mathrm{sAb}$ is degreewise the free abelian group functor.

Delooping and simplicial principal bundles

For $G$ a simplicial group, we describe its delooping Kan complex $BG\in \mathrm{sSet}$ and the corresponding generalized universal bundle $EG\to BG$ such that the ordinary pullback

$$\begin{array}{ccc}{P}_{•}& \to & EG\\ \downarrow & & \downarrow \\ X_{•}& \stackrel{g}{\to }& BG\end{array}$$\array{ P_\bullet &\to& \mathbf{E}G \\ \downarrow && \downarrow \\ X_\bullet &\stackrel{g}{\to}& \mathbf{B}G }

in sSet models the homotopy pullback in ${\mathrm{sSet}}_{\mathrm{Quillen}}$ / (∞,1)-pullback in ∞Grpd

$$\begin{array}{ccc}{P}_{•}& \to & *\\ \downarrow & ⇙& \downarrow \\ X_{•}& \to & BG\end{array}.$$\array{ P_\bullet &\to& * \\ \downarrow &\swArrow& \downarrow \\ X_\bullet &\to& \mathbf{B}G } \,.

in the standard model structure on simplicial sets and hence produces the principal ∞-bundle $P_{•}\to X_{•}$ classified by $X_{•}\to BG$.

For all these constructions exist very explicit combinatorial formulas that go by the symbols

• $\overline{W}G$ for the delooping $BG$

• $WG$ for the generalized universal bundle $EG$

• $\tau :X_{•}\to G_{•}$ (called the twisting function) for the cocycle $X_{•}\to BG$;

• $X_{•}{\times }_{g}WG$ for $P_{•}$ (called twisted Cartesian product ).

All of these constructions are functorial and hence lift from the context of simplicial sets to that of simplicial presheaves over some site $C$. There they provide models for strict group objects, delooping and principal ∞-bundles in the corresponding (∞,1)-toposes over $C$. In particular in the projective model structure on $[C^{\mathrm{op}},\mathrm{sSet}]$ the pullback of the objectwise $WG\to \overline{W}G$ is still a homotopy pullback and models the corresponding principal $\mathrm{\infty }$-bundles.

Delooping

A simplicial group $G$ is a group object internal to the category of Kan complexes. Accordingly, there should be a Kan complex $BG$ which is the delooping of $G$, i.e. a Kan complex with an essentially unique object, such that the loop space object of that Kan complex reproduces $G$.

An explicit construction of $BG$ from $G$ goes traditionally by the symbol $\overline{W}G\in \mathrm{KanCplx}$. Another one by $dBG$.

Delooping modeled by $\overline{W}G$

It is immediate to deloop the simplicial group $G$ to the simplicial groupoid that in degree $k$ is the 1-groupoid with a single object and $G_k$ as its collection of morphisms.

Definition

For $𝒢$ a simplicial groupoid that on objects is a constant simplicial set, define a simplicial set $\overline{W}𝒢$ as follows.

• $(\overline{W}𝒢{)}_0:=\mathrm{ob}({𝒢}_0)$, the set of objects of the groupoid of 0-simplices (and hence of the groupoid at each level);

• $(\overline{W}𝒢{)}_1=\mathrm{Mor}({𝒢}_0)$, the collecton of morphisms of the groupoid ${𝒢}_0$:

and for $n\ge 2$,

• $(\overline{W}𝒢{)}_n=\{(h_{n-1},\dots ,h_0)\mid h_i\in \mathrm{Mor}({𝒢}_i)$ and $s(h_{i-1})=t(h_i),0<i<n\}$.

Here $s$ and $t$ are generic symbols for the domain and codomain mappings of all the groupoids involved. The face and degeneracy mappings between $\overline{W}(𝒢{)}_1$ and $\overline{W}(𝒢{)}_0$ are the source and target maps and the identity maps of ${𝒢}_0$, respectively; whilst the face and degeneracy maps at higher levels are given as follows:

The face and degeneracy maps are given by

• $d_0(h_{n-1},\dots ,h_0)=(h_{n-2},\dots ,h_0)$;

• for $0<i<n$, $d_i(h_{n-1},\dots ,h_0)=(d_{i-1}{h}_{n-1},d_{i-2}{h}_{n-2},\dots ,d_0{h}_{n-i}{h}_{n-i-1},h_{n-i-2},\dots ,h_0)$;

and

• $d_n(h_{n-1},\dots ,h_0)=(d_{n-1}{h}_{n-1},d_{n-2}{h}_{n-2},\dots ,d_1{h}_1)$;

whilst

• $s_0(h_{n-1},\dots ,h_0)=({\mathrm{id}}_{\mathrm{dom}(h_{n-1})},h_{n-1},\dots ,h_0)$;

and,

• for $0<i\le n$, $s_i(h_{n-1},\dots ,h_0)=(s_{i-1}{h}_{n-1},\dots ,s_0{h}_{n-i},{\mathrm{id}}_{\mathrm{cod}(h_{n-i})},h_{n-i-1},\dots ,h_0)$.

Definition

For $G$ a simplicial group and $𝒢$ the corresponding one-object simplicial groupoid, one writes

$$\overline{W}G:=\overline{W}𝒢.$$\overline{W}G := \overline{W}\mathcal{G} \,.

Remark

The above construction has a straightforward internalization to contexts other than Set. For instance if $G$ is a simplicial object in topological groups or in Lie groups, then $\overline{W}G$ with

$$(\overline{W}G{)}_n:=G_{n-1}\times G_{n-2}\times \cdots \times G_0$$(\overline{W}G)_n := G_{n-1} \times G_{n-2} \times \cdots \times G_0

is a simplicial object in this context (topological spaces, smooth manifolds, etc.)

In particular, if $C$ is a small category and $G:C^{\mathrm{op}}\to \mathrm{sSet}$ is a simplicial presheaf that is objectwise a simplicial group, then we have the simplicial presheaf

$$\overline{W}G:c\mapsto \overline{W}(G(c)).$$\overline{W}G : c \mapsto \overline{W}(G(c)) \,.

Delooping modeled by $dBG$

For $G$ a simplicial group, write $BG$ for the bisimplicial set obtained by taking degreewise the nerve of the delooping groupoid. Write $dBG\in$ sSet for its delooping.

Theorem

There is a weak homotopy equivalence

$$\overline{W}G\simeq dBG.$$\bar W G \simeq d B G \,.

This is shown for instance in (JardineLuo) and in (CegarraRemedios).

Examples

If $G$ is an ordinary group, regarded as a simplicially constant simplicial group, then $\overline{W}G$ is the usual bar complex of $G$:

$$\overline{W}G=(\cdots G\times G\overrightarrow{\overrightarrow{\to }}G\overrightarrow{\to }*).$$\overline{W}G = \left( \cdots G \times G \stackrel{\to}{\stackrel{\to}{\to}} G \stackrel{\to}{\to} * \right) \,.

Cocycles

For $X_{•}$ a simplicial set a morphism

$$g:X_{•}\to \overline{W}G$$g : X_\bullet \to \overline{W}G

in sSet corresponds precisely to what is called a twisting function, a family of maps

$$\{\varphi (g{)}_n:X_n\to G_{n-1}\}$$\{\phi(g)_n : X_n \to G_{n-1}\}

satisfying the relations

$$\begin{array}{c}{d}_0\varphi (x)=\varphi (d_{1}x)(\varphi (d_{0}x){)}^{-1}\\ d_i\varphi (x)=\varphi (d_{i+1}x),i>0,\\ s_i\varphi (x)=\varphi (s_{i+1}x),i\ge 0,\\ \varphi (s_{0}x)=1_G.\end{array}$$\array{ d_0 \phi(x) = \phi(d_1 x)(\phi(d_0 x))^{-1} \\ d_i \phi(x) = \phi(d_{i+1}x), i\gt 0, \\ s_i\phi(x) = \phi(s_{i+1}x), i\geq 0, \\ \phi(s_0 x) = 1_G. }

Simplicial Principal bundles

Simplicial groups model all ∞-groups in ∞Grpd. Accordingly all principal ∞-bundles in ∞Grpd should be modeled by simplicial principal bundles.

Definition

(principal action)

Let $G$ be a simplicial group. For $P$ a Kan complex, an action of $G$ on $E$

$$\rho :E\times G\to E$$\rho : E \times G \to E

is called principal if it is degreewise principal, i.e. if for all $n\in \mathbb{N}$ the only elements $g\in G_n$ that have any fixed point $e\in E_n$ in that $\rho (e,g)=e$ are the neutral elements.

Example

The canonical action

$$G\times G\to G$$G \times G \to G

of any simplicial group on itself is principal.

Definition

(simplicial principal bundle)

For $G$ a simplicial group, a morphism $P\to X$ of Kan complexes equipped with a $G$-action on $P$ is called a $G$-simplicial principal bundle if

• the action is principal;

• the base is isomorphic to the quotient $E/G:={\lim }_{\to }(E\times G\stackrel{\stackrel{\rho }{\to }}{\underset{p_1}{\to }E})$ by the action:

  $$E/G\simeq X.$$E/G \simeq X \,.

Proposition

A simplicial $G$-principal bundle $P\to X$ is necessarly a Kan fibration.

Proof

This appears as Lemma 18.2 in MaySimpOb.

Universal simplicial $G$-principal bundle

Definition

For $G$ a simplicial group, define the simplicial set $WG$ to be the decalage of $\overline{W}G$

$$WG:=\mathrm{Dec}\overline{W}G.$$W G := Dec \overline{W}G \,.

By the discussion at homotopy pullback this means that for $X_{•}$ any Kan complex, an ordinary pullback diagram

$$\begin{array}{ccc}{P}_{•}& \to & WG\\ \downarrow & & \downarrow \\ X_{•}& \stackrel{g}{\to }& \overline{W}G\end{array}$$\array{ P_\bullet &\to& W G \\ \downarrow && \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G }

in sSet exhibits $P_{•}$ as the homotopy pullback in ${\mathrm{sSet}}_{\mathrm{Quillen}}$ / (∞,1)-pullback in ∞Grpd

$$\begin{array}{ccc}{P}_{•}& \to & *\\ \downarrow & ⇙& \downarrow \\ X_{•}& \stackrel{g}{\to }& \overline{W}G\end{array},$$\array{ P_\bullet &\to& * \\ \downarrow &\swArrow& \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G } \,,

i.e. as the homotopy fiber of the cocycle $g$.

Definition

We call $P_{•}:=X_{•}{\times }^{g}WG$ the simplicial $G$-principal bundle corresponding to $g$.

Proposition

Let $\{\varphi :X_n\to G_{(n-1)}\}$ be the twisting function corresponding to $g:X_{•}\to \overline{W}G$ by the above discussion.

Then the simplicial set $P_{•}:=X_{•}{\times }_{g}WG$ is explicitly given by the formula called the twisted Cartesian product $X_{•}{\times }^{\varphi }{G}_{•}$:

its cells are

$$P_n=X_n\times G_n$$P_n = X_n \times G_n

with face and degeneracy maps

• $d_i(x,g)=(d_{i}x,d_{i}g)$ if $i>0$

• $d_0(x,g)=(d_{0}x,\varphi (x)d_{0}g)$

• $s_i(x,g)=(s_{i}x,s_{i}g)$.

References

Here are some pointers on where precisely in the literature the above statements can be found.

One useful reference is

• Peter May, Simplicial Objects in Algebraic Topology (djvu).

There the abbreviation PCTP ( principal twisted cartesian product ) is used for what above we called just twisted Cartesian products.

The fact that every PTCP $X{\times }_{\varphi }G\to X$ defined by a twisting function $\varphi$ arises as the pullback of $WG\to \overline{W}G$ along a morphjism of simplicial sets $X\to \overline{W}G$ can be found there by combining

1. the last sentence on p. 81 which asserts that pullbacks of PTCPs $X{\times }_{\varphi }G\to X$ along morphisms of simplicial sets $f:Y\to X$ yield PTCPs corresponding to the composite of $f$ with $\varphi$;

2. section 21 which establishes that $WG\to \overline{W}G$ is the PTCP for some universal twisting function $r(G)$.

3. lemma 21.9 states in the language of composites of twisting functions that every PTCP comes from composing a cocycle $Y\to \overline{W}G$ with the universal twisting function $r(G)$. In view of the relation to pullbacks in item 1, this yields the statement in the form we stated it above.

An explicit version of the statement that twisted Cartesian products are nothing but pullbacks of a generalized universal bundle is on page 148 of

• Tim Porter, The Crossed Menagerie.

On page 239 there it is mentioned that

$$G\to WG\to \overline{W}G$$G \to W G \to \overline{W}G

is a model for the loop space object fiber sequence

$$G\to *\to BG.$$G \to * \to \mathbf{B}G \,.

One place in the literature where the observation that $WG$ is the decalage of $\overline{W}G$ is mentioned fairly explicitly is page 85 of

• John Duskin, Simplicial methods and the interpretation of “triple” cohomology, number 163 in Mem. Amer. Math. Soc., 3, Amer. Math. Soc. (1975)

Related concepts

• simplicial topological group

• group object in an (∞,1)-category

• group

• 2-group, crossed module, differential crossed module

• 3-group, 2-crossed module / crossed square, differential 2-crossed module

• n-group

• ∞-group, simplicial group, crossed complex, hypercrossed complex

References

A standard reference for the case of abelian simplicial groups is chapter 5 of

• Paul Goerss, Jardine, Simplicial homotopy theory (web)

Also chapter IV of

• Peter May, Simplicial Objects in Algebraic Topology (djvu).

and chapter 8 of

• Charles Weibel, An introduction to homological algebra Cambridge (1994)

The algorithm for finding the horn fillers in a simplicial group is given in the proof of theorem 17.1, page 67 there.

This proof that simplicial groups are Kan complexes is originally due to theorem 3.4 in

• John Moore, Semi-Simplicial Complexes And Postnikov Systems, inSymposium International De Topologia Algebraica_ , 1956 conference, book published in 1958

which apears in more detail as theorem 3 on p. 18-04 of

• John Moore, Homotopie des complexes monoideaux, I , Seminaire Henri Cartan, 1954-55. (numdam)

and is often attributed to

• John Moore, Algebraic homotopy theory, lecture notes, Princeton University, 1955–1956

In fact, it seems that this is the origin of the very notion of Kan complex.

Section 1.3.3 of

• Tim Porter, The Crossed Menagerie

discusses simplicial groups in the context of nonabelian algebraic topology.

• Rick Jardine, Luo, Higher order principal bundles (web)

• A. Cegarra, Josué Remedios, The relationship between the diagonal and the bar constructions on a bisimplicial set (pdf)

category: simplicial object