Proper model structure

In higher category theory in mathematics, a proper model structure is a model structure in which additionally weak equivalences are preserved under pullback (fiber product) along fibrations, called right proper, and pushouts (cofiber product) along cofibrations, called left proper. It is helpful to construct weak equivalences and hence to find isomorphic objects in the homotopy theory of the model structure.

Definition

For every model category, one has:^[1]

Pushouts of weak equivalences between cofibrant objects along cofibrations are again weak equivalences.
Pullbacks of weak equivalences between fibrant objects along fibrations are again weak equivalences.

A model category is then called:^[2]

left proper, if pushouts of weak equivalences along cofibrations are again weak equivalences.
right proper, if pullbacks of weak equivalences along fibrations are again weak equivalences.
proper, if it is both left proper and right proper.

Properties

A model category, in which all objects are cofibrant, is left proper.^[3]
A model category, in which all objects are fibrant, is right proper.^[3]

For a model category ${\mathcal {M}}$ and a morphism $f\colon X\rightarrow Y$ in it, there is a functor $f^{*}\colon Y\backslash {\mathcal {M}}\rightarrow X\backslash {\mathcal {M}}$ by precomposition and a functor $f_{*}\colon {\mathcal {M}}/X\rightarrow {\mathcal {M}}/Y$ by postcomposition. Furthermore, pushout defines a functor $Y+_{X}-\colon X\backslash {\mathcal {M}}\rightarrow Y\backslash {\mathcal {M}}$ and pullback defines a functor $X\times _{Y}-\colon {\mathcal {M}}/Y\rightarrow {\mathcal {M}}/X$ . One has:^[4]

${\mathcal {M}}$ is left proper if and only if for every weak equivalence $f\colon X\rightarrow Y$ , the adjunction $f_{*}\colon {\mathcal {M}}/X\rightarrow {\mathcal {M}}/Y\colon X\times _{Y}-$ forms a Quillen adjunction.
${\mathcal {M}}$ is right proper if and only if for every weak equivalence $f\colon X\rightarrow Y$ , the adjunction $Y+_{X}-\colon X\backslash {\mathcal {M}}\rightarrow Y\backslash {\mathcal {M}}\colon f^{*}$ forms a Quillen adjunction.

Examples

The Joyal model structure is left proper,^[5] but not right proper.^[6] Left properness follows from all objects being cofibrant.
The Kan–Quillen model structure is proper.^[7]^[8] Left properness follows from all objects being cofibrant.

Literature

Rezk, Charles (2000). "Every homotopy theory of simplicial algebras admits a proper model". Topology and Its Applications. 119: 65–94. arXiv:math/0003065. doi:10.48550/arXiv.math/0003065.
Hirschhorn, Philip (2002). Model Categories and Their Localizations (PDF). Mathematical Surveys and Monographs. ISBN 978-0-8218-4917-0.
Joyal, André (2008). "The Theory of Quasi-Categories and its Applications" (PDF).
Lurie, Jacob (2009). Higher Topos Theory. Annals of Mathematics Studies. Vol. 170. Princeton University Press. arXiv:math.CT/0608040. ISBN 978-0-691-14049-0. MR 2522659.
Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200.

References

^ Hirschhorn 2002, Proposition 13.1.2
^ Rezk 2000, 2.1. Definition of properness
^ ^a ^b Rezk 2000, Remark 2.8.
^ Rezk 2000, Proposition 2.7.
^ Lurie 2009, Higher Topos Theory, Proposition A.2.3.2.
^ Lurie 2009, Higher Topos Theory, Remark 1.3.4.3.
^ Joyal 2008, Theorem 6.1. on p. 293
^ Cisinki 2019, Corollary 3.1.28.

External links

proper model category at the nLab

[1] Hirschhorn 2002, Proposition 13.1.2

[2] Rezk 2000, 2.1. Definition of properness

[:0-3] Rezk 2000, Remark 2.8.

[4] Rezk 2000, Proposition 2.7.

[:8-5] Lurie 2009, Higher Topos Theory, Proposition A.2.3.2.

[6] Lurie 2009, Higher Topos Theory, Remark 1.3.4.3.

[:10-7] Joyal 2008, Theorem 6.1. on p. 293

[8] Cisinki 2019, Corollary 3.1.28.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]