Kan–Quillen Model Structure

In higher category theory, the Kan–Quillen model structure is a special model structure on the category of simplicial sets. It consists of three classes of morphisms between simplicial sets called ''fibrations'', ''cofibrations'' and ''weak equivalences'', which fulfill the properties of a model structure. Its fibrant objects are all Kan complexes and it furthermore models the homotopy theory of CW complexes up to weak homotopy equivalence, with the correspondence between simplicial sets, Kan complexes and CW complexes being given by the geometric realization and the singular functor ( Milnor's theorem). The Kan–Quillen model structure is named after Daniel Kan and Daniel Quillen.

Definition

The Kan–Quillen model structure is given by:

* Fibrations are Kan fibrations.Joyal 2008, Theorem 6.1. on p. 293
* Cofibrations are monomorphisms.Cisinski 2019, Theorem 3.1.8.
* Weak equivalences are ''weak homotopy equivalences'', hence morphisms between simplicial sets, whose geometric realization is a weak homotopy equivalence between CW complexes.
* Trivial cofibrations are anodyne extensions.

The category of simplicial sets $\mathbf$ with the Kan–Quillen model structure is denoted $\mathbf_\mathrm$.

Properties

* Fiberant objects of the Kan–Quillen model structure, hence simplicial sets $X$, for which the terminal morphism $X\xrightarrow\Delta^0$ is a fibration, are the Kan complexes.
* Cofiberant objects of the Kan–Quillen model structure, hence simplicial sets $X$, for which the initial morphism $\emptyset\xrightarrowX$ is a cofibration, are all simplicial sets.
* The Kan–Quillen model structure is proper. This means that weak homotopy equivalences are both preversed by pullback along its fibrations (Kan fibrations) as well as pushout along its cofibrations (monomorphisms). Left properness follows directly since all objects are cofibrant.Lurie 2009, ''Higher Topos Theory'', Proposition A.2.3.2.
* The Kan–Quillen model structure is a Cisinski model structure and in particular cofibrantly generated. Cofibrations (monomorphisms) are generated by the boundary inclusions $\partial\Delta^n\hookrightarrow\Delta^n$ and acyclic cofibrations (anodyne extensions) are generated by horn inclusions $\Lambda_k^n\hookrightarrow\Delta^n$(with $n\geq 2$ and $0\leq k\leq n$).
* Weak homotopy equivalences are closed under finite products.Cisinski 2019, Corollary 3.1.10.
* Since the Joyal model structure also has monomorphisms as cofibrationsLurie 2009, ''Higher Topos Theory'', Theorem 1.3.4.1. and every weak homotopy equivalence is a weak categorical equivalence, the identity $\operatorname\colon \mathbf_\mathrm\rightarrow\mathbf_\mathrm$ preserves both cofibrations and acyclic cofibrations, hence as a left adjoint with the identity $\operatorname\colon \mathbf_\mathrm\rightarrow\mathbf_\mathrm$ as right adjoint forms a Quillen adjunction.

Local weak homotopy equivalence

For a simplicial set $B$ and a morphism of simplicial sets $f\colon X\rightarrow Y$ over $B$ (so that there are morphisms $p\colon X\rightarrow B$ and $q\colon Y\rightarrow B$ with $p=q\circ f$), the following conditions are equivalent:Cisinski 2019, Proposition 3.8.3.

* For every $n$-simplex $\sigma\colon\Delta^n\rightarrow B$, the induced map $\Delta^n\times_B\sigma\colon \Delta^n\times_BX\rightarrow\Delta^n\times_BY$ is a weak homotopy equivalence.
* For every morphism $g\colon A\rightarrow B$, the induced map $A\times_Bg\colon A\times_BX\rightarrow A\times_BY$ is a weak homotopy equivalence.

Such a morphism is called a ''local weak'' ''homotopy equivalence''.

* Every local weak homotopy equivalence is a weak homotopy equivalence.
* If both morphisms $p$ and $q$ are Kan fibrations and $f$ is a weak homotopy equivalence, then it is a local weak homotopy equivalence.

See also

* Ex∞ functor, which preserves all three classes of the Kan–Quillen model structure
* Co- and contravariant model structure, which can be induced by the Kan–Quillen model structure

Literature

*
*
*
* {{cite book , last=Cisinski , first=Denis-Charles , author-link=Denis-Charles Cisinski , url=https://cisinski.app.uni-regensburg.de/CatLR.pdf , title=Higher Categories and Homotopical Algebra , date=2019-06-30 , publisher=Cambridge University Press , isbn=978-1108473200 , location= , language=en , authorlink=

References

External links

* model structure on simplicial sets at the ''n''Lab

The Homotopy Theory of Kan Complexes
at Kerodon

Higher category theory
Homotopy theory
Simplicial sets