nLab simplicial group

Redirected from "sGrp".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Group Theory

Contents

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 GG gives rise to

  • a one-object \infty-groupoid BG\mathbf{B} G whose explicit standard realization as a simplicial set is denoted W¯G\bar W G

  • an \infty-groupoid EG\mathbf{E} G whose explicit standard realization as a simplicial set (even a simplicial group, again) is denoted WGW G

  • such that there is a fibration

    EG := WG BG := W¯G \array{ \mathbf{E} G &:=& W G \\ \downarrow && \downarrow \\ \mathbf{B} G &:=& \bar W G }

    which is the universal G-bundle.

Simplicial abelian groups are models for connective modules over the Eilenberg-Mac Lane spectrum HZH \mathbf{Z}; see Dold-Kan correspondence and stable Dold-Kan correspondence.

Definition

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

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

Properties

As Kan complexes

Theorem

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

This is due to Moore 1954, Theorem 3 on p. 18-04, review in Quillen 67, II 3.8, May 67, Theorem 17.1,\; Curtis 1971, Sec. 3, Lem. 3.1, \; Weibel 1994, Lem. 8.2.8, \; Joyal & Tierney 2005, p. 14.

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 GG be a simplicial group.

Here is the explicit algorithm that computes the horn fillers:

Let (y 0,,y k1,,y k+1,,y n)(y_0,\ldots, y_{k-1}, -,y_{k+1}, \ldots, y_n) give a horn in G n1G_{n-1}, so the y iy_is are (n1)(n-1) simplices that fit together as if they were all but one, the k thk^{th} one, of the faces of an nn-simplex. There are three cases:

  1. if k=0k = 0:

    • Let w n=s n1y nw_n = s_{n-1}y_n and then w i=w i+1(s i1d iw i+1) 1s i1y iw_i = w_{i+1}(s_{i-1}d_i w_{i+1})^{-1}s_{i-1}y_i for i=n1,,1i = n-1, \ldots, 1, then w 1w_1 satisfies d iw 1=y id_i w_1 = y_i, i0i\neq 0;
  2. if 0<k<n0\lt k \lt n:

    • Let w 0=s 0y 0w_0 = s_0 y_0 and w i=w i1(s id iw i1) 1s iy iw_i = w_{i-1}(s_i d_i w_{i-1})^{-1}s_i y_i for i=1,,k1i = 1, \ldots, k-1, then take w n=w k1(s n1d nw k1) 1s n1y nw_n = w_{k-1}(s_{n-1}d_n w_{k-1})^{-1}s_{n-1}y_n, and finally a downwards induction given by w i=w i+1(s i1d iw i+1) 1s i1y iw_i = w_{i+1}(s_{i-1}d_{i}w_{i+1})^{-1}s_{i-1}y_i, for i=n1,,k+1i = n-1, \ldots, k+1, then w k+1w_{k+1} gives d iw k+1=y id_{i}w_{k+1} = y_i for iki \neq k;
  3. if k=nk=n:

    • use w 0=s 0y 0w_0 = s_0 y_0 and w i=w i1(s id iw i1) 1s iy iw_i = w_{i-1}(s_i d_i w_{i-1})^{-1}s_i y_i for i=1,,n1i = 1, \ldots, n-1, then w n1w_{n-1} satisfies d iw n1=y id_i w_{n-1} = y_i, ini\neq n.
Remarks
  • The filler for any horn can be chosen to be a product of degenerate elements.

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

  • A simplicial group can be considered as a simplicial groupoid having exactly one object. If GG is a simplicial group, the suggested notation for the corresponding simplicially enriched groupoid would be BG\mathbf{B}G 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 W¯\overline{W} (see below), called the simplicial 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)G(K) is the simplicial group corresponding to the connected simplicial set KK then π k(K)\pi_k(K) is the same as π k1(G(K))\pi_{k-1}(G(K)). This is important when considering algebraic models for a homotopy n-type.

Fiber sequences

Proposition

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

The evident morphisms

G 0GG/G 0BΩ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 XX any simplicial set and GG a simplicial group acting freely on it, the quotient map

XX/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

G 0 * G G/G 0 \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 0G_0 on GG is degreewise free (being the action of a subgroup).

Example

Let (G 1δG 0)(G_1 \stackrel{\delta}{\to} G_0) be a crossed module of groups, write

[G 1δG 0]=(G 0×G 1p 1(δp 2)p 1G 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 1G 0]N[G_1 \to G_0] for the nerve being the corresponding simplicial group. Then the above says that

G 0[G 1δG 0]BG 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:AbSGrpgSSet U : AbSGrpg \to SSet

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

:SSetAbSimpGrp \mathbb{Z} : SSet \to AbSimpGrp

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

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

  • it preserves weak equivalences

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

(…)

Looping and delooping

Let sSet 0sSet_0 \hookrightarrow sSet be the category of reduced simplicial sets (simplicial sets with a single 0-cell).

Definition

For XsSet 0X \in sSet_0 define ΩXsGrpd\Omega X \in sGrpd by

ΩX:[n](FX n+1)/s 0F(X n) \Omega X : [n] \mapsto (F X_{n+1})/ s_0 F(X_n)

and

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

As \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

Ω:Grpd conGrp: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 W¯\overline{W} discussed above.

𝒢:sSet 0 QuillensGrp:W¯. \mathcal{G} : sSet_0 \stackrel{\stackrel{\simeq_{Quillen}}{\longleftarrow}}{\longrightarrow} 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 sAbsAb 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,BA, B The internal hom [A,B][A,B] is the simplicial abelian group whose underlying simplicial set is

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

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

Delooping and simplicial principal bundles

For GG a simplicial group, we describe its delooping Kan complex BGsSet\mathbf{B}G \in sSet and the corresponding generalized universal bundle EGBG\mathbf{E}G \to \mathbf{B}G such that the ordinary pullback

P EG X g BG \array{ P_\bullet &\to& \mathbf{E}G \\ \downarrow && \downarrow \\ X_\bullet &\stackrel{g}{\to}& \mathbf{B}G }

in sSet models the homotopy pullback in sSet QuillensSet_{Quillen} / (∞,1)-pullback in ∞Grpd

P * X BG. \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 X P_\bullet \to X_\bullet classified by X BGX_\bullet \to \mathbf{B}G.

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

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

Delooping

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

An explicit construction of BG\mathbf{B}G from GG goes traditionally by the symbol W¯GKanCplx\bar W G \in KanCplx. Another one by dBGd B G.

Delooping modeled by W¯G\bar W G

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

Definition

For 𝒢\mathcal{G} a simplicial groupoid that on objects is a constant simplicial set, define a simplicial set W¯𝒢\bar W \mathcal{G} as follows.

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

  • (W¯𝒢) 1=Mor(𝒢 0)(\overline{W}\mathcal{G})_1 = Mor(\mathcal{G}_0), the collection of morphisms of the groupoid 𝒢 0\mathcal{G}_0:

and for n2n \geq 2,

  • (W¯𝒢) n={(h n1,,h 0)|h iMor(𝒢 i)(\overline{W}\mathcal{G})_n = \{(h_{n-1}, \ldots ,h_0)| h_i \in Mor(\mathcal{G}_i) and s(h i1)=t(h i),0<i<n}s(h_{i-1}) = t(h_i), 0\lt i\lt n\}.

Here ss and tt are generic symbols for the domain and codomain mappings of all the groupoids involved. The face and degeneracy mappings between W¯(𝒢) 1\overline{W}(\mathcal{G})_1 and W¯(𝒢) 0\overline{W}(\mathcal{G})_0 are the source and target maps and the identity maps of 𝒢 0\mathcal{G}_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 n1,,h 0)=(h n2,,h 0)d_0(h_{n-1}, \ldots, h_0) = (h_{n-2}, \ldots, h_0);

  • for 0<i<n0 \lt i\lt n, d i(h n1,,h 0)=(d i1h n1,d i2h n2,,d 0h nih ni1,h ni2,,h 0)d_i(h_{n-1}, \ldots, h_0) = (d_{i-1}h_{n-1}, d_{i-2}h_{n-2}, \ldots, d_0h_{n-i}h_{n-i-1},h_{n-i-2}, \ldots , h_0);

and

  • d n(h n1,,h 0)=(d n1h n1,d n2h n2,,d 1h 1)d_n(h_{n-1}, \ldots, h_0) = (d_{n-1}h_{n-1}, d_{n-2}h_{n-2}, \ldots, d_1h_{1});

whilst

  • s 0(h n1,,h 0)=(id dom(h n1),h n1,,h 0)s_0(h_{n-1}, \ldots, h_0) = (id_{dom(h_{n-1})},h_{n-1}, \ldots, h_0) ;

and,

  • for 0<in0\lt i \leq n, s i(h n1,,h 0)=(s i1h n1,,s 0h ni,id cod(h ni),h ni1,,h 0)s_i(h_{n-1}, \ldots, h_0) = (s_{i-1}h_{n-1}, \ldots, s_0h_{n-i}, id_{cod(h_{n-i})},h_{n-i-1}, \ldots, h_0) .
Definition

For GG a simplicial group and 𝒢\mathcal{G} the corresponding one-object simplicial groupoid, one writes

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

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

(W¯G) n:=G n1×G n2××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 CC is a small category and G:C opsSetG : C^{op} \to sSet is a simplicial presheaf that is objectwise a simplicial group, then we have the simplicial presheaf

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

Delooping modeled by dBGd B G

For GG a simplicial group, write BGB G for the bisimplicial set obtained by taking degreewise the nerve of the delooping groupoid. Write dBGd B G \in sSet for its delooping.

Theorem

There is a weak homotopy equivalence

W¯GdBG. \bar W G \simeq d B G \,.

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

Examples

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

W¯G=(G×GG*). \overline{W}G = \left( \cdots G \times G \stackrel{\to}{\stackrel{\to}{\to}} G \stackrel{\to}{\to} * \right) \,.

Cocycles

For X X_\bullet a simplicial set a morphism

g:X W¯G g : X_\bullet \to \overline{W}G

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

{ϕ(g) n:X nG n1} \{\phi(g)_n : X_n \to G_{n-1}\}

satisfying the relations

d 0ϕ(x)=ϕ(d 1x)(ϕ(d 0x)) 1 d iϕ(x)=ϕ(d i+1x),i>0, s iϕ(x)=ϕ(s i+1x),i0, ϕ(s 0x)=1 G. \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 GG be a simplicial group. For PP a Kan complex, an action of GG on EE

ρ:E×GE \rho : E \times G \to E

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

Example

The canonical action

G×GG G \times G \to G

of any simplicial group on itself is principal.

Definition

(simplicial principal bundle)

For GG a simplicial group, a morphism PXP \to X of Kan complexes equipped with a GG-action on PP is called a GG-simplicial principal bundle if

  • the action is principal;

  • the base is isomorphic to the quotient E/G:=lim (E×Gp 1Eρ)E/G := \lim_{\to}(E \times G \stackrel{\overset{\rho}{\to}}{\underset{p_1}{\to} E}) by the action:

    E/GX. E/G \simeq X \,.
Proposition

A simplicial GG-principal bundle PXP \to X is necessarly a Kan fibration.

Proof

This appears as Lemma 18.2 in MaySimpOb.

Universal simplicial GG-principal bundle

Definition

For GG a simplicial group, define the simplicial set WGW G to be the decalage of W¯G\overline{W}G

WG:=DecW¯G. W G := Dec \overline{W}G \,.

By the discussion at homotopy pullback this means that for X X_\bullet any Kan complex, an ordinary pullback diagram

P WG X g W¯G \array{ P_\bullet &\to& W G \\ \downarrow && \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G }

in sSet exhibits P P_\bullet as the homotopy pullback in sSet QuillensSet_{Quillen} / (∞,1)-pullback in ∞Grpd

P * X g W¯G, \array{ P_\bullet &\to& * \\ \downarrow &\swArrow& \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G } \,,

i.e. as the homotopy fiber of the cocycle gg.

Definition

We call P :=X × gWGP_\bullet := X_\bullet \times^g W G the simplicial GG-principal bundle corresponding to gg.

Proposition

Let {ϕ:X nG (n1)}\{\phi : X_n \to G_{(n-1)}\} be the twisting function corresponding to g:X W¯Gg : X_\bullet \to \overline{W}G by the above discussion.

Then the simplicial set P :=X × gWGP_\bullet := X_\bullet \times_{g} W G is explicitly given by the formula called the twisted Cartesian product X × ϕG X_\bullet \times^\phi G_\bullet:

its cells are

P n=X n×G n P_n = X_n \times G_n

with face and degeneracy maps

  • d i(x,g)=(d ix,d ig)d_i (x,g) = (d_i x , d_i g) if i>0i \gt 0

  • d 0(x,g)=(d 0x,ϕ(x)d 0g)d_0 (x,g) = (d_0 x, \phi(x) d_0 g)

  • s i(x,g)=(s ix,s ig)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

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× ϕGXX \times_\phi G \to X defined by a twisting function ϕ\phi arises as the pullback of WGW¯GW G \to \overline{W}G along a morphism of simplicial sets XW¯GX \to \overline{W}G can be found there by combining

  1. the last sentence on p. 81 which asserts that pullbacks of PTCPs X× ϕGXX \times_\phi G \to X along morphisms of simplicial sets f:YXf : Y \to X yield PTCPs corresponding to the composite of ff with ϕ\phi;

  2. section 21 which establishes that WGW¯GW G \to \bar W G is the PTCP for some universal twisting function r(G)r(G).

  3. lemma 21.9 states in the language of composites of twisting functions that every PTCP comes from composing a cocycle YW¯GY \to \bar W G with the universal twisting function r(G)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

On page 239 there it is mentioned that

GWGW¯G G \to W G \to \overline{W}G

is a model for the loop space object fiber sequence

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

One place in the literature where the observation that WGW G is the decalage of W¯G\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)

References

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 Moore, see theorem 3.4 in

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

which earlier appeared in more detail as Theorem 3 on p. 18-04 of

and is often referenced 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.

A proof is also on p. 14 of

Section 1.3.3 of

discusses simplicial groups in the context of nonabelian algebraic topology.

Additional useful references include

Last revised on July 24, 2023 at 12:00:07. See the history of this page for a list of all contributions to it.