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
For $G$ a simplicial group, there is a reduced simplicial set, traditionally denoted $\overline W G$ and called the classifying space or classifying complex of $G$, which is a model for the delooping of $G$ and such that the functor $\overline{W}(-)$ is right adjoint to the standard simplicial loop space-construction $G$ (here denoted by $L$ to avoid a clash of notations).
This pair of adjoint functors
is a Quillen equivalence (Prop. below) between the model structure on simplicial groups and the model structure on reduced simplicial sets, modelling looping and delooping of homotopy types in simplicial homotopy theory.
(standard universal principal simplicial complex)
For $G$ a simplicial group, one writes
for the the simplicial set whose
underlying sets are
face maps are given by
degeneracy maps are given by
where $e$ denotes the respective neutral element.
This carries a $G$-action by left multiplication on the top degree component:
It is the straightforward simplicial incarnation of the left $G$-action (3) that singles out the model $W G$ (Def. ) for the universal simplicial principal space. For another model with an alternative good property see at groupal model for universal principal simplicial complex.
(standard simplicial classifying complex)
For $G$ a simplicial group, its standard simplicial classifying complex is the quotient of $W G$ (Def. ) by its $G$-action (3)
The corresponding quotient coprojection, whose fiber is, manifestly, $G$
is known as the standard model for the simplicial $G$-universal principal bundle (see below).
This means, under the isomorphism
that the above face maps (1) and degeneracy maps (2) of $W G$ imply the following structure maps on the simplicial classifying complex:
underlying sets are
face maps are given by:
degeneracy maps are given by:
(This goes back to MacLane 1954, p. 3, Kan 1958, Def. 10.3; the above follows Goerss & Jardine 1999/2009, p. 269.)
(décalage)
Conversely, comparison of Def. with Def. shows that $W G$ is obtained from $\overline{W} G$ by shifting down in degree and discarding the 0th face- and degeneracy maps:
One refers to this relation as saying that $W G$ is the décalage of $\overline{W}G$, in the form
See the example there.
(low-dimension cells of $W G$)
Unwinding the definition of the face maps (1), one finds that the generic 1-simplex in $W G$ (Def. ) looks as follows:
while the generic 2-simplex in $W G$ looks as follows:
(simplicial classifying space of an ordinary group)
In the special case that
is an ordinary discrete group regarded as a simplicial group (which is constant as a functor on the opposite simplex category) the definitions in Def. reduce as follows:
The simplicial set $W G$ is that whose
underlying sets are
face maps are given by
degeneracy maps are given by
This identifies
with the nerve of the action groupoid of $G$ acting on itself by right multiplication (isomorphic to the pair groupoid on the underlying set of $G$):
Finally this means that the simplicial classifying complex (4) of an ordinary group is isomorphic to the nerve of its delooping groupoid:
Equivalently, $\overline{W}(-)$ is the following composite functor:
(Stevenson 11, Lemma 15 following John Duskin, see also NSS 12, Def. 3.26)
Here:
$\mathbf{B} \;\colon\; Groups \to Groupoids$ forms the one-object groupoid with hom-set the given group (the delooping groupoid);
$N \;\colon\; Groupoids \longrightarrow SimplicialSets$ is the nerve construction;
$\sigma_\ast$ is the total simplicial set-functor (right adjoint to pre-composition with ordinal sum).
In all of the following, $G$ is any simplicial group.
(simplicial classifying spaces are Kan complexes)
The underlying simplicial set of any simplicial classifying $\overline{W}G$ (Def. ) is a Kan complex.
This follows as the combination of the following facts:
every simplicial group is fibrant in the projective model structure on simplicial sets (this Prop.);
$\overline{W}(-)$ is a right Quillen functor from there to the injective model structure on reduced simplicial sets (Prop. );
every injectively fibrant reduced simplicial set is a Kan complex (this Prop.).
For a simplicial group action of $G$ on a Kan complex $X$, the canonical coprojection from the Borel construction to the simplicial classifying space is a Kan fibration:
By the fact (this Prop.) that the Borel construction is a right Quillen functor from the model structure on simplicial group actions to the slice model structure of the classical model structure on simplicial sets over the simplicial classifying space; see this Example.
In particular:
The coprojection $W G \overset{}{\longrightarrow} \overline{W}G$ (5) is a Kan fibration.
This is the special case of Prop. for $X = G$ equipped with the left multiplication action on itself, using again that the underlying simplicial set of any simplicial group is a Kan complex (this Prop.):
The simplicial set $W G$ is contractible.
The simplicial homotopy groups of $\overline{W} G$ are those of $G$, shifted up in degree by one:
By Prop. the universal simplicial principal bundle (5) is a Kan fibration between Kan complexes (by Prop. and this Prop.). Therefore this is a homotopy fiber sequence (by this Prop.)
This implies a long exact sequence of homotopy groups of the form
But Prop. says that $\pi_n(W G)$ is trivial for all $n$, so that this collapses to short exact sequences:
which exhibit the claim to be proven.
Let $\mathcal{G}_1 \xrightarrow{\phi} \mathcal{G}_2$ be a homomorphism of simplicial groups which is a Kan fibration. Then the induced morphism of simplicial classifying spaces $\overline{W}\mathcal{G}_1 \xrightarrow{ \overline{W}(\phi)} \overline{W}\mathcal{G}_2$ is a Kan fibration if and only if $\phi$ is a surjection on connected components: $\pi_0(\phi) \colon \pi_0(\mathcal{G}_1) \twoheadrightarrow{\;} \pi_0(\mathcal{G}_1)$.
The object $\overline{W}G$ serves as the classifying space for simplicial principal bundles (May 67, §21, Goerss & Jardine 09, Section V, Thm. 3.9, see also NSS 12, Section 4.1).
(Quillen equivalence between simplicial groups and reduced simplicial sets)
The simplicial classifying space-construction $\overline{W}(-)$ (Def. ) is the right adjoint in a Quillen equivalence between the projective model structure on simplicial groups and the injective model structure on reduced simplicial sets.
The left adjoint $\Omega$ is the simplicial loop space-construction.
(e.g. Goerss & Jardine 09, V Prop. 6.3)
The slice model category of the classical model structure on simplicial sets over the simplicial classifying complex $\overline{W}G$ is Quillen equivalent to the Borel model structure for $G$-equivariant homotopy theory:
(Dror, Dwyer & Kan 1980) See there for details. This is a model for the general abstract situation discussed at ∞-action.
The idea of constructing $\overline{W}$ using the bar construction is due to Eilenberg and MacLane, who apply it to simplicial rings with the usual tensor product operation:
This was also later discussed in
The first reference where $\overline{W}$ is defined explicitly for simplicial groups and the adjunction between simplicial groups and reduced simplicial sets is explicitly spelled out is
The left adjoint simplicial loop space functor $L$ is also discussed by Kan (there denoted “$G$”) in
The Quillen equivalence was established in
Textbook accounts:
Peter May, p. 87-88 in: Simplicial objects in algebraic topology, University of Chicago Press 1967 (ISBN:9780226511818, djvu, pdf)
Paul Goerss, J. F. Jardine, Section V.4 of: Simplicial homotopy theory, Progress in Mathematics, Birkhäuser (1999) Modern Birkhäuser Classics (2009) (doi:10.1007/978-3-0346-0189-4, webpage)
Streamlining:
Identification of the slice model structure over $\overline{W}G$ with the Borel model structure:
Generalization to simplicial presheaves:
Last revised on December 16, 2021 at 16:53:58. See the history of this page for a list of all contributions to it.