model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
The Grothendieck construction may be lifted from categories to model categories, where it serves as a presentation for the $\infty$-Grothendieck construction.
Let $\mathcal{M}$ be a model category and
a pseudofunctor, where $ModelCat$ is the 2-category of model categories, Quillen adjunctions (pointing in the direction of their left adjoints $f_!$), and conjugate transformations of adjoints (mate-pairs of natural isomorphisms).
We say that:
$F$ is relative functor if for any weak equivalence $f$ in $M$, the associated Quillen adjunction $f_! \dashv f^*$ is a Quillen equivalence.
$F$ is “proper”, if when $f \colon A\to B$ is an acyclic cofibration (resp. an acyclic fibration) in $\mathcal{M}$ then $f_!$ (resp. $f^*$) preserves all weak equivalences.
(integral model structure)
Given a pseudofunctor as in (1), we say that a morphism
in its Grothendieck construction $\int_{X \in \mathcal{M}} F(X)$ (where $f \colon X\to Y$ in $\mathcal{M}$ and $\phi \colon f_!(A) \to B$ in $F(Y)$) is:
an integral equivalence iff
$f \colon X \to Y$ is a weak equivalence in $\mathcal{M}$
$f_!(Q A) \to f_!(A) \xrightarrow{\phi} B$ is a weak equivalence in $F(Y)$, where $Q(-)$ denotes cofibrant replacement.
(Since $f_!\dashv f^*$ is a Quillen equivalence by relativeness, this is equivalent to the adjunct condition that $A \xrightarrow{\widetilde{\phi}} f^*(B) \to f^*(R B)$ is a weak equivalence in $F(X)$ for fibrant replacement $R(-)$.)
an integral cofibration iff
$f$ is a cofibration in $\mathcal{M}$
$\phi \colon f_!(A) \to B$ is a cofibration in $F(Y)$.
an integral fibration iff
If the pseudofunctor (1) is relative (Def. ) and proper (Def. ) then the classes of maps in Def. make $\int_{X \in \mathcal{M}} F(X)$ a model category.
Given a proper relative $F \colon \mathcal{M} \to ModelCat$, we can compose with the underlying $(\infty,1)$-functor $Ho \colon ModelCat \to QCat$ with values in (say) quasicategories. Since $F$ is relative, this map takes weak equivalences in $\mathcal{M}$ to equivalences of quasicategories, so it induces a functor of quasicategories $Ho(M) \to Ho(QCat) = (\infty,1)Cat$. The (∞,1)-Grothendieck construction of this functor is then equivalent, over $Ho(M)$, to the underlying $(\infty,1)$-category of the Grothendieck-construction model structure on $\int F$
(model structure on indexed sets of objects)
For $\mathcal{C}$ any model category, consider the pseudofunctor on Set which assigns categories of indexed sets of objects of $\mathcal{C}$, equipped with the product model structure:
Here $f_!$ forms coproducts of objects in the same fibers of $f$. The corresponding Grothendieck construction is the free coproduct completion of the underlying category $\mathcal{C}$ (see there).
If we regard Set as equipped with its trivial model structure (whose weak equivalences are the isomorphisms and all morphisms are both fibrations as well as cofibrations) then this is evidently a relative and proper functor in the sense of Def. , Def. (since with weak equivalences $f$ in $Set$ being isomorphisms, the associated functors $f_!, f^\ast$ are certainly Quillen equivalences but in fact are plain equivalences of categories compatible with the model structure and hence also preserve all weak equivalences).
Therefore with Prop. the integral model structure on the Grothendieck construction exists. If $\mathcal{C}$ is an extensive category, then the objects in this Grothendieck construction may be thought of as bundles of $\mathcal{C}$-objects over sets (under the unique coproduct-preserving embedding $Set \hookrightarrow \mathcal{C}$) and the morphisms as morphisms of such bundles covering possibly non-trivial maps of base sets:
Unwinding the definition of the integral model structure in this case, gives that such a morphism $\phi_f$ in this Grothendieck construction is:
a fibration iff all the components $X_s \longrightarrow Y_{f(s)}$ are fibrations in $\mathcal{C}$ for all $s \in S$,
a cofibration iff all the co-components $\underset{s \in f^{-1}(\{t\})}{\coprod} X_s \longrightarrow Y_t$ are cofibrations in $\mathcal{C}$, for all $t \in T$,
a weak equivalence iff $f$ is a bijection of index sets and all the (co)components maps — which in this case are all of the form $X_s \longrightarrow X_{f(s)}$ — are weak equivalences in $\mathcal{C}$
(here the composition with (co)fibrant replacements can be omitted, since, as above, $f_!, f^\ast$ preserve such resolution weak equivalences).
The cofibrant objects in the integral model structure on a free coproduct completion (Exp. ) are exactly the tuples of cofibrant objects in the coefficient model structure $\mathcal{C}$; analogously for the fibrant objects.
To see this, observe that the initial object in the Grothendieck construction of Exp. is
where
$\varnothing$ (the empty set) denotes the initial object in $Set$
$0$ denotes the initial object in the empty-product category, which is the terminal category, so that $0$ is in fact a zero object, indeed it is the only object in that category
Now given any object $\mathscr{V}_S \,\in\, \int_{S \in Set}\;\underset{s \in S}{\prod} \, \mathcal{C}$ observe that there is a unique morphism
Namely, unwinding the definitions, such a morphism is a dependent pair consisting of
a morphism $f \,\colon\,\varnothing \longrightarrow S$ in Set,
a morphism $\widetilde{\phi} \,\colon\, f_! 0 \longrightarrow \mathscr{V}$ in $\underset{s \in S}{\prod} \, \mathcal{C}$
But both of these exist uniquely, by the fact that their respective domains are initial objects, using here that $f_!$, being a left adjoint?, preserves colimits and hence initial objects
This shows that also $0_{\varnothing}$ is the initial object in $\int_S \,\prod_{s \in S}\, \nathcal{C}$. (Of course this also follows by the general formula for colimits in a Grothendieck construction specialized to the empty colimit.) And it shows (since all morphisms in the trivial model structure on $Set$ are cofibrations while the cofibrations in a product model category? are the tuples of cofibrations) that $\mathcal{V}_S$ is cofibant precisely if $\mathcal{V}_s \,\in\, \mathcal{C}$ is so for all $s \in S$.
(model structure on skeletal simplicial groupoids) As a special case of Exp. , consider $\mathcal{C} \coloneqq sGrpd$ the model structure on simplicial groups.
Notice that forming simplicial delooping groupoids is a fully faithful functor from sGrp to the 1-category of sSet-enriched groupoids (Dwyer-Kan’s“simplicial groupoids”)
which extends to identify the Grothendieck construction (2) in the present case with the full subcategory of disjoint unions of simplicial delooping groupoids, hence with that of simplicial skeletal groupoids:
Since (assuming the axiom of choice in the underlying Sets) every sSet-enriched groupoid is DK-equivalent to a skeletal simplicial groupoid, the full subcategory inclusion (3) is also a Dwyer-Kan equivalence of sSet-enriched categories.
Moreover, if we consider on $sSet\text{-}Grpd$ the usual model structure on simplicial groupoids, then the inclusion functor
preserves weak equivalences and fibrations. However, since there is no left adjoint to this functor (due to the choices involved in passing to a skeleton such an adjoint exists only as a pseudofunctor, hence on the level of 2-category theory) this is not a right Quillen functor, and in particular not a Quillen equivalence.
The dual notion is a model structure on sections
The first model category version of the Grothendieck construction was given in
This article (Roig 94) had a mistake, which was fixed in
The construction was then generalized in
and further in
For the special case of pseudofunctors with values in groupoids, a model category version of the Grothendieck construction was discussed in
Dicussion of further examples:
Integral model structure for graupal Segal-space actions:
Last revised on May 18, 2023 at 06:44:15. See the history of this page for a list of all contributions to it.