nLab
transferred model structure

Contents

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general

specific

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Contents

Idea

For CC a category with the structure of a model category and U:DCU:D\to C a functor having an adjoint, under certain conditions it is possible to transfer the model structure from CC to a model structure on DD by declaring the weak equivalences, and the fibrations (if UU is a right adjoint) or cofibrations (if UU is a left adjoint), in DD to be precisely those morphisms whose images under UU are such in CC. If UU is a right adjoint this is called the right transferred, right induced, or right lifted model structure, and dually in the left case.

Typically this arises in situations where DD consist of the “same” objects as CC but equipped with extra stuff, structure, property, and UU is the corresponding forgetful functor sending objects in DD to their underlying objects in CC. Then a left adjoint FF of UU is the corresponding free functor, while a right adjoint GG is a cofree functor.

Definition

Right transfer

Definition

Let CC be a model category and

(FU):DUFC (F \dashv U )\; : \; D \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} C

an adjunction with right adjoint UU. Define a morphism in DD to be

  • a fibration or weak equivalence precisely if its image under UU is, respectively, in CC.
  • a cofibration precisely if it has the left lifting property with respect to the fibrations that are weak equivalences.

If these classes of maps define a model structure on DD, it is called the right transferred model structure (or sometimes right induced model structure or right lifted model structure) from CC.

Of course, in the above situation by a trivial fibration in DD we mean a morphism that is both a fibration and a weak equivalence, or equivalently whose image under UU is a trivial fibration in CC. The term “trivial cofibration”, however, is a priori ambiguous: for the nonce let us call a morphism in DD a cofibration weak equivalence if it is both a cofibration and a weak equivalence and an anodyne map if it has the left lifting property with respect to all fibrations. Of course, if the transferred model structure exists, then these two classes of maps coincide. Conversely we have:

Theorem

Necessary and sufficient conditions for the existence of the transferred model structure are:

  1. Every morphism in DD factors as a cofibration followed by a trivial fibration, and as an anodyne map followed by a fibration.
  2. Every anodyne map is a weak equivalence.
Proof

Clearly the conditions are necessary. For the converse, the weak equivalences have the 2-out-of-3 property, all the classes of maps are closed under retracts, the lifting properties hold by definition (for the anodyne maps), and we have assumed the factorization properties (for the anodyne maps), so it remains to show that every cofibration weak equivalence is anodyne. This follows by the standard retract argument: if f:ABf:A\to B is a cofibration weak equivalence, factor it as f=pif = p i with ii anodyne and pp a fibration. Then since anodyne maps are weak equivalences and weak equivalences satisfy 2-out-of-3, pp is a trivial fibration. Thus ff has the left lifting property against pp, hence ff is a retract of ii and thus also anodyne.

Left transfer

Dually, if CC is a model category and we have an adjunction

(UG):DUFC (U \dashv G )\; : \; D \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} C

with UU left adjoint, we define a morphism in DD to be

  • a cofibration or weak equivalence precisely if its image under UU is, respectively, in CC.
  • a fibration precisely if it has the right lifting property with respect to the cofibrations that are weak equivalences.

If these classes of maps define a model structure on DD, it is called the left transferred model structure (or sometimes left induced model structure or left lifted model structure) from CC.

The above necessary and sufficient conditions dualize directly.

Existence

Constructing factorizations

The most traditional way to obtain the factorization properties in the right-transferred case is to assume that CC is cofibrantly generated.

Proposition

In the right-transferred situation, suppose that

  1. CC is cofibrantly generated, and

  2. The functor FF preserves small objects (which is the case in particular when UU preserves filtered colimits).

Then every morphism in DD factors as a cofibration followed by a trivial fibration, and as an anodyne map followed by a fibration. Moreover, if every anodyne map is a weak equivalence so that the transferred model structure on DD exists, then it is is cofibrantly generated, and for II (resp. JJ) a set of generating cofibrations (resp. trivial cofibrations) in CC, the image set F(I)F(I) (resp. F(J)F(J)) forms a set of generating cofibrations (resp. trivial cofibrations) in DD.

Proof

By the adjunction FUF\dashv U, a morphism ff is a fibration (resp. trivial fibration) if and only if it has the right lifting property against the maps in F(I)F(I) (resp. F(J)F(J)). Since FF preserves small objects, the sets F(I)F(I) and F(J)F(J) permit the small object argument in DD, which therefore yields (cofibration, trivial fibration) and (anodyne, fibration) factorizations.

Another way to produce these factorizations is to generate them by a functorial factorization.

Lemma

Suppose F:CD:UF: C \rightleftarrows D : U is an adjunction, where DD has pushouts, and that

Then there is an induced (algebraic) weak factorization system on DD whose right class consists precisely of those maps whose UU-image admits an RR-algebra structure.

Proof

Given a morphism f:ABf:A\to B in DD, factor it as follows, where the upper commutative square is a pushout:

FUA A F((Uf) L) FE(Uf) Ef F((Uf) R) FUB B\array{ F U A & \to & A \\ ^{F ((U f)_L)}\downarrow & & \downarrow \\ F E (U f) & & E f \\ ^{F ((U f)_R)}\downarrow & & \downarrow \\ F U B & \to & B }

This yields a functorial factorization (L,R)(L',R') on DD. By the universal property of pushout, an RR'-algebra structure on ff is determined by a diagonal lifting in the square

FUA A F((Uf) L) f FE(Uf) F((Uf) R) B \array{ F U A & \to & A \\ ^{F ((U f)_L)}\downarrow & & \downarrow^f \\ F E (U f) & \xrightarrow{F ((U f)_R)} & B }

which corresponds by adjunction to precisely an RR-algebra structure on UfU f. Thus, the right weak composition law for RR-algebras lifts to a right weak composition law for RR'-algebras. Garner’s small object argument applied to (L,R)(L',R') then produces a monad over codcod with a right strong composition law, which is therefore an algebraic weak factorization system whose algebraic right maps are the RR'-algebras, and in particular whose underlying right chlass is as desired those maps whose UU-image is in RR.

In particular, therefore, the factorizations of any accessible model structure right-lift along any adjunction between locally presentable model categories, whether or not they are cofibrantly generated. But the cofibrantly generated case can also be subsumed, by taking (L,R)(L,R) to be the one-step factorization produced by the generating left maps.

Left-lifting is generally rather trickier. But by invoking fancier categorical machinery, one can show more generally:

Lemma

Suppose given a functor U:DCU:D\to C between locally presentable categories and an accessible weak factorization system (L,R)(L,R) on CC.

  1. If UU has a left adjoint FF, then (L,R)(L,R) right-lifts along UU to an accessible wfs on DD.
  2. If UU has a right adjoint GG, then (L,R)(L,R) left-lifts along UU to an accessible wfs on DD.

Moreover, if (L,R)(L,R) is cofibrantly generated, so are the lifted wfs.

Proof

See HKRS15 and GKR18 for the lifting of accessible wfs. Cofibrant generation of a right-lifted wfs follows as in Theorem above, while in the left-lifted case it is Remark 3.8 of MR13.

This sort of result seems to be necessary for the case of left-lifting; the simpler cofibrantly-generated argument does not dualize as directly.

Verifying acyclicity

The “acyclicity condition” that anodyne maps are weak equivalences is usually the most difficult to check. Sometimes useful is the observation that for right-lifting in the cofibrantly generated case, it suffices to show that sequential colimit of pushouts of images under FF of the generating trivial cofibrations in CC (i.e. an F(J)F(J)-cell complex) yields a weak equivalence in DD. This is because the small object actually factors any map as such an F(J)F(J)-cell complex followed by a fibration; hence by the retract argument every anodyne map is a retract of an F(J)F(J)-cell complex.

Another useful sufficient condition is the following, going back roughly to section II.4 of (Quillen).

Proposition

In the situation of right transfer, where U:CDU:C\to D is a right adjoint, suppose that

  • DD has a fibrant replacement functor (in fact it suffices for individual objects and morphisms to have fibrant replacements; functoriality is not required).

  • DD has path objects for fibrant objects, i.e. a factorization of the diagonal Δ:AA×A\Delta : A \to A \times A as a weak equivalence followed by a fibration Δ:AP(A)fibA×A\Delta : A \stackrel{\simeq}{\to} P(A) \stackrel{fib}{\to} A \times A.

Then any anodyne map in DD is a weak equivalence. Thus, if the two factorizations exist in DD, then the transferred model structure exists.

Proof

The notation here is mostly that of Rezk 02, Lemma 7.6. Let RR be a fibrant replacement functor, with natural weak equivalence j:IdRj : Id \to R, suppose f:XYf:X\to Y is anodyne, and consider the following diagram:

Both squares are pullbacks, defining the object PRfP R f and the morphism ii making the following square commute:

The morphism π\pi is the composite PRfRX×RYRXP R f\to R X \times R Y \to R X at the top, which is a pullback of PRYRYP R Y \to R Y; but the latter is a fibration (as the composite PRYRY×RYRYP R Y \to R Y \times R Y \to R Y) and a weak equivalence (as a retraction for RYPRYR Y \to P R Y), so it and hence also π\pi are acyclic fibrations. Moreover, since πi=j X\pi i = j_X, by 2-out-of-3 ii is also a weak equivalence.

Now the projection PRfPYP R f\to P Y is a fibration, so since ff is anodyne there is a lift gg in the second square as shown. Since ii and j Yj_Y are weak equivalences, by 2-out-of-6 it follows that ff is a weak equivalence.

Note that this condition also dualizes straightforwardly to the left-transferred case.

Properties

General

Observation

If CC carries the structure of a right proper model category, then also a right-transferred model structure on DD is right proper.

Proof

Let

A× CB f B Fib A C \array{ A \times_C B &\stackrel{f}{\to}& B \\ \downarrow && \downarrow^{\mathrlap{\in Fib}} \\ A &\stackrel{\simeq}{\to}& C }

be a pullback diagram in DD, with the bottom morphism a weak equivalence and the right morphism a fibration. We need to show that then also the top morphism ff is a weak equivalence. By definition of transfer, this is equivalent to U(f)U(f) being a weak equivalence in CC.

Since UU is a right adjoint it preserves pullbacks, so that also

U(A× CB) U(f) U(B) Fib U(A) U(C) \array{ U(A \times_{C} B) &\stackrel{U(f)}{\to}& U(B) \\ \downarrow && \downarrow^{\mathrlap{\in Fib}} \\ U(A) &\stackrel{\simeq}{\to}& U(C) }

is a pullback diagram in CC. Since by definition of the transferred model strucure this is still the pullback of a weak equivalence along a fibration, and since CC is assumed to be right proper, it follows that U(f)U(f) is a weak equivalence in CC, hence that ff is a weak equivalence in DD.

Enrichment

Often the underlying model category CC is an enriched model category over some monoidal model category SS and one wishes to transfer also the model enrichment.

Observation

Assume the adjunction

(FU):DUFC (F \dashv U )\; : \; D \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} C

satisfies the conditions of the above proposition for right transfer, so that the model structure on CC is transferred to DD. Consider the case that CC is moreover an SS-enriched model category and that DD can be equipped with the structure of a SS-enriched category that is also SS-powered and copowered.

Assume now that the SS-powering of DD is taken by UU to the SS-powering of CC, in that U(d (s 1s 2))=U(d) (s 1s 2)U(d^{(s_1 \to s_2)}) = U(d)^{(s_1 \to s_2)}.

Then the transferred model structure and the SS-enrichment on DD are compatible and make DD an SS-enriched model category.

Proof

By the axioms of enriched model category one sufficient condition to be checked is that for sts \to t any cofibration in SS and for XYX \to Y any fibration in DD, we have that the induced morphism

X tX s× Y sY t X^t \to X^s \times_{Y^s} Y^{t}

is a fibration, which is a weak equivalence if at least one of the two input morphisms is. By the induced model structure, this is checked by applying UU. But by assumption UU commutes with the powering, and since UU is a right adjoint it commutes with taking the pullback, so that under UU the morphism is

U(X) tU(X) s× U(Y) sU(Y) t U(X)^t \to U(X)^s \times_{U(Y)^s} U(Y)^{t}

which is the morphism induced from U(X)U(Y)U(X) \to U(Y). That this is indeed an (acyclic) fibration follows now from the fact that CC is an SS-enriched model category.

Examples

  • The projective model structure on functors M DM^D is right-transferred from the product model structure on M obDM^{ob D}. Dually, the injective model structure on functors, when it exists, is left-transferred from M obDM^{ob D}.

  • The model structure on algebraic fibrant objects is right-transferred from the underlying model category by forgetting the choice of fillers.

  • If TT is an accessible strict 2-monad on a locally finitely presentable 2-category KK. then the category TAlg sT Alg_s of strict TT-algebras admits a right-transferred model structure from the 2-trivial model structure on KK. The acyclicity condition is proved by using pseudolimits of arrows for path objects, and the (cofibration, trivial fibration) factorization is constructed using a version of the construction of Lemma (since the 2-trivial model structure on KK may not be cofibrantly generated).

  • A non-example is provided as Example 3.7 of (GoerssSchemmerhorn). Let kk be a field of characteristic 2 and consider the adjunction

    (SU):CGA kUSCh *k (S \dashv U )\; : \; CGA_k \stackrel{\overset{S}{\leftarrow}}{\underset{U}{\to}} Ch_*k

    of the symmetric algebra functor and the forgetful functor between graded commutative DGAs and chain complexes. One sees that SS does not preserve the weak equivalence between 0 and the complex with one copy of kk in degrees nn and n1n-1. Since all chain complexes are cofibrant this means that (SU)(S \dashv U ) cannot be upgraded to a Quillen adjunction.

  • A more category-theoretic non-example is that the Reedy model structure on directed graphs internal to Cat does not right-transfer to the category DblCat? of double categories along the free-forgetful adjunction. One of the generatic trivial cofibrations for the Reedy model structure “transports” a horizontal arrow (in double-category terminology) along two vertical isomorphisms, which is a levelwise equivalence. But upon pushing out the free double category generated by this along a map into some other double category, new composite horizontal arrows may be generated in the codomain that are not isomorphic to the image of anything in the domain; thus the pushout is no longer a levelwise equivalence. So, the acyclicity condition fails.

References

The arguments for (right-)transfer of model structures go back to

  • Dan Quillen, Homotopical Algebra , Lecture Notes in Math. 43, Springer-Verlag, Berlin-eidelberg-New York, 1967.

Proofs can be found in

  • Paul Goerss, Jardine, J. F., Simplicial homotopy theory , Progress Mathematics 174, Birkhäuser Verlag, Basel, 1999.

The explicit study of (right-)transfer of model structures (on categories of sheaves) is apperently originally due to

See also prop. 1.4.23 of

The above proof of acyclicity in the presence of path objects is taken from

A summary of the result is on p. 20 of

and on p. 6 of

Left transfer in the accessible case is studied in

while in the combinatorial (cofibrantly generated) case it is studied in

The right-transferred model structure on algebras for a 2-monad is from

Last revised on February 13, 2019 at 03:33:54. See the history of this page for a list of all contributions to it.