on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
Given a simplicial group $G_\bullet$, the Borel model structure is a model category structure on the category of simplicial sets equipped with $G$-action which presents the (∞,1)-category of ∞-actions of the ∞-group (see there) presented by $G$.
In the context of equivariant homotopy theory this is also called the “coarse model structure” (e.g. Guillou, section 5), since it is not equivalent to the “fine” homotopy theory of G-spaces which enters Elmendorf's theorem.
For $G_\bullet$ a simplicial group write
$\mathbf{B}G_\bullet$ for the one-object sSet-enriched category (here: a simplicial groupoid) whose hom-object is $G_\bullet$.
$G_\bullet Actions(sSet) \;\coloneqq\; sSetCat\big(\mathbf{B}G_\bullet, sSet\big)$ for the sSet-enriched functor category to SimplicialSets.
$G_\bullet Actions(sSet)_{proj} \coloneqq sSetCat\big(\mathbf{B}G_\bullet, sSet\big)_{proj}$ for the projective model structure on functors (projective model structure on simplicial presheaves).
This is the $G_\bullet$ Borel model structure, naturally a simplicial model category (DDK 80, Prop. 2.4, Goerss & Jardine 09, Chapter V, Thm. 2.3).
(cofibrations of simplicial actions)
The cofibrations $i \colon X \to Y$ in $sSetCat\big(\mathbf{B}G_\bullet, sSet\big)_{proj}$ (Def. ) are precisely those morphisms such that
the underlying morphism of simplicial sets is a monomorphism;
the $G_\bullet$-action is a relatively free action, i.e. free on all simplices not in the image of $i$.
This is (DDK 80, Prop. 2.2. (ii), Guillou, Prop. 5.3, Goerss & Jardine 09, V Lem. 2.4).
In particular this means that an object is cofibrant in $sSetCat\big(\mathbf{B}G_\bullet, sSet\big)_{proj}$ if the $G_\bullet$-action on it is free.
Hence cofibrant replacement is obtained by forming the product with the model $W G_\bullet$ for the total space of the universal principal bundle over $G_\bullet$ (see at simplicial group for notation and more details).
It follows that for $X, A \in sSetCat\big(\mathbf{B}G_\bullet, sSet\big)_{proj}$ the derived hom space
models the Borel $G$-equivariant cohomology of $X$ with coefficients in $A$.
In particular,if $A$ is fibrant (the underlying simplicial set is a Kan complex) then
if the $G_\bullet$-action on $A$ is trivial, then
is equivalently maps of simplicial sets out of the Borel construction on $X$;
if $X = \ast$ is the point then
is the homotopy fixed points of $A$.
For $G$ a simplicial group, there is a pair of adjoint functors
which constitute a simplicial Quillen equivalence between the Borel model structure (Def. ) and the slice model structure of the classical model structure on simplicial sets slices over the simplicial classifying space $\overline{W}G$.,
(DDK 80, Prop. 2.3, Prop. 2.4) Here:
the right adjoint forms associated bundles to universal principal bundles
the left adjoint forms homotopy fibers.
In fact, these are sSet-enriched functors which induced an equivalence of (infinity,1)-categories between the simplicial localizations $L_W sSetCat\big(\mathbf{B}G_\bullet, sSet\big)_{proj} \simeq L_W sSet_{/\overline{W}H}$ (DDK 80, Prop. 2.5).
This kind of relation is discussed in more detail at ∞-action.
(sSet-enrichement of the adjunction)
The statement that (1) is an sSet-enriched adjunction is not made explicit in DDK 80; there it only says that the functors form a plain adjunction (DDK 80, Prop. 2.3) and that they are each sSet-enriched functors (DDK 80, Prop. 2.4).
The remaining observation that we have a natural isomorphism of sSet-hom-objects
hence
follows from the plain adjunction and the natural isomorphism
which, in turn, follows, for instance, via the pasting law:
For $\mathcal{G} \,\in\, Groups(sSets)$ a simplicial group, write $\mathcal{G}Actions(sSets)$ for the category of $\mathcal{G}$-actions on simplicial sets.
(underlying simplicial sets and cofree simplicial action)
The forgetful functor $undrl$ from $\mathcal{G}Actions$ to underlying simplicial sets is a left Quillen functor from the Borel model structure (Def. ) to the classical model structure on simplicial sets.
Its right adjoint
sends $\mathcal{X} \in sSet$ to
the simplicial set
equipped with the $\mathcal{G}$-action
which in degree $n \in \mathbb{N}$ is the function
that sends
Here and in the following proof we make free use of the Yoneda lemma natural bijection
for any simplicial set $S$ and for $\Delta[n] \in \Delta \overset{y}{\hookrightarrow} sSet$ the simplicial n-simplex.
We already know from Def. that $underl$ preserves all weak equivalences and from Prop. that it preserves all cofibrations. Therefore it is a left Quillen functor as soon as it is a left adjoint at all.
The idea of the existence of the cofree right adjoint to $undrl$ is familiar from topological G-spaces (see the section on coinduced actions there), where it can be easily expressed point-wise in point-set topology. The formula (3) adapts this idea to simplicial sets. Its form makes manifest that this gives a simplicial homomorphism, and with this the adjointness follows the usual logic by focusing on the image of the non-degenerate top-degree cell in $\Delta[n]$:
To check that (3) really gives the right adjoint, it is sufficient to check the corresponding hom-isomorphism, hence to check for $\mathcal{P} \in \mathcal{G}Actions(sSet)$, and $\mathcal{X} \in sSet$, that we have a natural bijection of hom-sets of the form
So given
on the left, define
where $e_n \in \mathcal{G}_n$ denotes the neutral element in degree $n \in \mathbb{N}$ and where $\sigma_n \in (\Delta[n])_n$ denotes the unique non-degenerate element $n$-cell in the n-simplex.
It is clear that this is a natural transformation in $P$ and $X$. We need to show that ${\widetilde \phi}_{(-)} \colon undrl(P) \to X$ uniquely determines all of $\phi_{(-)}$.
To that end, observe for any $g_n \in \mathcal{G}_n$ the following sequence of identifications:
Here:
the first step is the unit law in the component group $\mathcal{G}_n$;
the second step uses the definition (3) of the cofree action;
the third step is the assumption that $\phi_{(-)}$ is a homomorphism of $\mathcal{G}$-actions (equivariance);
the fourth step is the definition (4).
These identifications show that $\phi_{(-)}$ is uniquely determined by ${\widetilde \phi_{(-)}}$, and vice versa.
($\mathbf{B}\mathbb{Z}$-2-action on inertia groupoid)
Let
$G \in Groups(Sets)$
be a discrete group,
$X \in G Actions(Sets)$
be a $G$-action,
$\mathcal{X} \;\coloneqq\; X \sslash G \;\coloneqq\; N( X \times G \rightrightarrows X ) \,=\, X \times G^{\times^\bullet} \in sSet$
the simplicial set which is the nerve of its action groupoid (a model for its homotopy quotient),
$\mathcal{G} \,\coloneqq\, \mathbf{B}\mathbb{Z} \,\coloneqq\, N(\mathbb{Z} \rightrightarrows \ast) \,\coloneqq\, \mathbb{Z}^{\times^\bullet} \,\in\, Groups(sSet)$
the simplicial group which is the nerve of the 2-group that is the delooping groupoid of the additive group of integers.
Then the functor groupoid
is known as the inertia groupoid of $X \!\sslash\! G$. Here
denotes, respectively, the set of conjugacy classes of elements of $G$, and the centralizer of $\{g\} \subset G$ – this data serves to express the equivalent skeleton of the inertia groupoid in the last line of (5).
Now, by Prop. the inertia groupoid (5) carries a canonical 2-action of the 2-group $\mathbf{B}\mathbb{Z}$:
By the formula (3), for $n \in \mathbb{Z}$ the 2-group element in degree 1
acts on the morphisms
of the inertia groupoid as follows (recall the nature of products of simplices):
The identity functor goves a Quillen adjunction between the Borel model structure and equivariant homotopy theory (Guillou, section 5).
The left adjoint is
from the Borel model structure to the genuine equivariant homotopy theory.
Because:
First of all, by (Guillou, theorem 3.12, example 4.2) $sSet^{\mathbf{B}G_\bullet}$ does carry a fine model structure. By (Guillou, last line of page 3) the fibrations and weak equivalences here are those maps which are ordinary fibrations and weak equivalences, respectively, on $H$-fixed point simplicial sets, for all subgroups $H$. This includes in particular the trivial subgroup and hence the identity functor
is right Quillen.
The model structure, the characterization of its cofibrations, and its equivalence to the slice model structure of $sSet$ over $\bar W G$ is due to
This Quillen equivalence also mentioned as:
Discussion in relation to the “fine” model structure of equivariant homotopy theory which appears in Elmendorf's theorem is in
Textbook account of (just) the Borel model structure:
Discussion with the model of ∞-groups by simplicial groups replaced by groupal Segal spaces is in
Discussion of a globalized model structure for actions of all simplicial groups is in
Last revised on June 23, 2021 at 12:03:13. See the history of this page for a list of all contributions to it.