nLab model structure on topological spaces

Redirected from "m-model structure".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

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

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

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

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

Philosophically, model structures allow one to localize a category at a particular collection of weak equivalences, which one would like to formally invert.

For topological spaces, there are two natural candidates for the collection WW of weak equivalences:

  1. the weak homotopy equivalences

  2. and the homotopy equivalences.

Both of these have accompanying model structures. Interestingly, these two model structures can also be combined to form what’s known as the mixed model structure.

All of these model structures exist not only on the category of all topological spaces, but also on most convenient categories of topological spaces. Using a nice category instead is sometimes important, such as if we want the model structure to be monoidal.

Definition

Classical Quillen Model Structure

The first, and most prevalent, model category structure on Top, called the classical model structure on topological spaces (Quillen67, II.3) has

This is a cofibrantly generated model category. The cofibrations CC are generated by the set of boundary inclusions S n1D nS^{n-1} \hookrightarrow D^n for all nn \in \mathbb{N} in the sense that they are the smallest saturated class containing these morphisms. As a consequence, of Quillen’s small object argument, all cofibrations have the form described above, where a relative cell complex is a transfinite composite of pushouts of coproducts of these generating maps.

This model structure is sometimes called the Quillen model structure on topological spaces or qq-model structure on Top.

Hurewicz (or Strøm) Model Structure

A second model structure – the Strøm model structure – has

  • weak equivalences are the homotopy equivalences;

  • fibrations are the Hurewicz fibrations, which are defined to be maps that have the right lifting property with respect to all inclusions i 0:AA×Ii_0 : A \hookrightarrow A \times I for any topological space AA.

  • cofibrations are determined by these classes and are called the closed Hurewicz cofibrations.

This model structure is sometimes called the Hurewicz model structure, since it uses Hurewicz fibrations and cofibrations, or also the hh-model structure, where hh can stand for either “Hurewicz” or “homotopy equivalence.” However, it is also sometimes called the Strøm model structure, since it was first proven to exist by Arne Strøm.

Mixed Model Structure

From the definitions, Hurewicz fibrations are necessarily Serre fibrations. It is well-known that homotopy equivalences are weak homotopy equivalences. If we write (C 1,F 1,W 1)(C_1, F_1, W_1) for the classes of the first model structure and (C 2,F 2,W 2)(C_2, F_2, W_2) for the classes of the second, we have W 2W 1W_2 \subset W_1 and F 2F 1F_2 \subset F_1.

In general given two model structures with these inclusions, we get a third mixed model structure (C m,F 2,W 1)(C_m, F_2, W_1) where the cofibrations C mC_m are determined by the other two classes.

On topological spaces, this model structure has

Properties

Restriction to convenient categories of topological spaces

For the discussion of the homotopy theory given by the model structure on topological spaces, it is necessary or at least useful to pass to convenient categories of topological spaces.

Definition

Write

Proposition

(model structure on compactly generated topological spaces)

There is a model category structure kTop QukTop_{Qu} on kTopk Top in which a morphism is a cofibration, fibration or weak equivalence, respectively, precisely if it is so under the inclusion kTopTopk Top \hookrightarrow Top in the classical model structure on topological spaces. This inclusion is the left adjoint in a Quillen equivalence

kTop QukTop k Top \underoverset {\underset{k}{\longleftarrow}} {\overset{}{\hookrightarrow}} {\;\;\;\; \simeq_{\mathrlap{Qu}} \;\;\;\;} Top

This appears for instance as (Hovey, theorem 2.4.23)

Proposition

There is a model category structure CGTop QuillenCGTop_{Quillen} on CGTopCGTop in which a morphism is a cofibration, fibration or weak equivalence, respectively, precisely if it is so under the inclusion CGTopTopCGTop \hookrightarrow Top. And this inclusion is the right adjoint in a Quillen equivalence

CGTop Qu QuhkTop Qu. CGTop_{Qu} \underoverset {\underset{}{\hookrightarrow}} {\overset{ h }{\longleftarrow}} {\;\;\;\; \simeq_{\mathrlap{Qu}} \;\;\;\; } k Top_{Qu} \mathrlap{\,.}

(e.g. Hovey 1999, Thm. 2.4.25)

To appreciate the following, notice that Top Qu Top_{Qu} is not a monoidal model category, because Top itself is not (cartesian) closed.

Proposition

Both kTop Quk Top_{Qu} and CGTop QuCGTop_{Qu} are symmetric monoidal model categories.

This appears as (Hovey, prop. 4.2.11).

Proposition

In fact CGTop QuillenCGTop_{Quillen} is a cartesian closed model category.

(This is briefly mentioned in Berger-Moerdijk 2003, Sec. 3.3.2.)

Relation between Top QuillenTop_{Quillen} and sSet QuillensSet_{Quillen}

The Quillen model structure Top QullenTop_{Qullen} is Quillen equivalent to the standard (Quillen) model structure on simplicial sets via the total singular complex and geometric realization functors.

(||Sing):Top QuillenSing||sSet Quillen. (\vert-\vert \dashv Sing) \colon Top_{Quillen} \stackrel{\overset{|-|}{\leftarrow}}{\underset{Sing}{\to}} sSet_{Quillen} \,.

Since the standard model structure on simplicial sets is a presentation of the (∞,1)-category ∞Grpd of ∞-groupoids realized as Kan complexes, this identifies topological spaces with ∞-groupoids in an (∞,1)-categorical sense. Notably it says that every \infty-groupoid is, up to equivalence, the fundamental ∞-groupoid of some topological space.

This statement is called the homotopy hypothesis (which here is a theorem). See there for more details.

Relation between Top QuillenTop_{Quillen} and Top StromTop_{Strom}

The identity functor constitutes a Quillen adjunction

(IdId):Top StromTop Quillen (Id \dashv Id) : Top_{Strom} \stackrel{\leftarrow}{\to} Top_{Quillen}

between the Quillen model structure and the Strom model structure on TopTop. Here Top StromTop QuillenTop_{Strom} \to Top_{Quillen} is the right Quillen functor.

References

The original “Quillen” or “q-” model structure is due to

An expository, concise and comprehensive writeup is in

Standard textbooks references include

For the “Hurewicz,” “h-” or “Strøm model structure”:

  • Arne Strøm, The homotopy category is a homotopy category, Archiv der Mathematik 23 (1972) (pdf, pdf)

For the “m-” or “mixed model structure”:

  • Michael Cole, Mixing model structures, Topology Appl. 153 no. 7 (2006) doi.

The generalization to the model structure on topological operads is due to

Last revised on November 30, 2021 at 13:22:28. See the history of this page for a list of all contributions to it.