nLab Strø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

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

Arne Strøm proved that the category Top of all topological spaces has a structure of a Quillen model category where

The theorem might have been a folklore at the time, but the paper (Strøm 1972) has a number of subtleties.

Strøm’s proofs are not that well-known today and use techniques better known to the topologists of that time, and there is consequently a slight controversy among topologists now. One of these is that there are modern reproofs, but these modern techniques essentially use compactly generated spaces, while Strøm’s proofs succeeded in avoiding that assumption.

However, for many applications nowadays, one is mainly interested in the analogous model structure on the category of k-spaces, or of compactly generated spaces (weak Hausdorff k-spaces). Note that any cofibration in the latter category is closed.

Properties

General

Observation

In the Strøm model structure, every object is both a fibrant object and a cofibrant object.

This is a most rare property for a non-trivial model structure.

Monoidal structure

The Strøm model structure on the category of compactly generated spaces is a monoidal model category. This is proven in section 6.4 of A Concise Course in Algebraic Topology (without that language) using the fact that a subspace inclusion is a Hurewicz cofibration if and only if it is an NDR-pair.

Quillen adjunctions

The identity functor id:TopTopid \colon Top \to Top is left Quillen from the classical model structure on topological spaces (or the mixed model structure) to the Strøm model structure, and of course right Quillen in the other direction.

Top StromididTop Quillen. Top_{Strom} \stackrel{\overset{id}{\longleftarrow}}{\underset{id}{\longrightarrow}} Top_{Quillen} \,.

This is just the observation that any Hurewicz fibration is a Serre fibration, and any homotopy equivalence is a weak homotopy equivalence—or dually, that any retract of a relative cell complex inclusion is a Hurewicz cofibration.

It follows, by composition, that the (geometric realization \dashv singular simplicial complex)-adjunction ||:sSetTop:Sing {\vert-\vert} \colon sSet \leftrightarrows Top \colon Sing is a Quillen adjunction between the classical model structure on simplicial sets and the Strøm model structure.

Top StromididTop QuillenSing||sSet Quillen. Top_{Strom} \stackrel{\overset{id}{\longleftarrow}}{\underset{id}{\longrightarrow}} Top_{Quillen} \stackrel{\overset{{\vert-\vert}}{\longleftarrow}}{\underset{Sing}{\longrightarrow}} sSet_{Quillen} \,.

Simplicial structure

If TopTop denotes the category of compactly generated spaces, then geometric realization ||:sSetTop {|-|} \colon sSet \to Top preserves finite products, and hence is a strong monoidal functor. Therefore, in this case the adjunction ||Sing{|-|} \dashv Sing is a strong monoidal Quillen adjunction, and hence makes the Strøm model structure into a simplicial model category.

Geometric realization is a Reedy cofibrant replacement

Write (||Sing):TopSing||({\vert- \vert} \dashv Sing) : Top\stackrel{\overset{{|-|}}{\leftarrow}}{\underset{Sing}{\to}} sSet for the ordinary geometric realization/singular simplicial complex adjunction (see homotopy hypothesis).

For S ,:Δ op×Δ opSetS_{\bullet,\bullet} : \Delta^{op} \times \Delta^{op} \to Set a bisimplicial set, write dSd S for its diagonal dX:Δ opΔ op×Δ opSSetd X : \Delta^{op} \to \Delta^{op} \times \Delta^{op} \stackrel{S}{\to} Set.

Proposition

For X X_\bullet any simplicial topological space, there is a homeomorphism between the geometric realization of the simplicial topological space [n]|Sing(X n)|[n] \mapsto |Sing(X_n)| and the ordinary geometric realization of the simplicial set that is the diagonal of the bisimplicial set Sing(X ) Sing(X_\bullet)_\bullet

|[n]|Sing(X n)|| iso|dSing(X ) |. \left|[n] \mapsto |Sing(X_n)|\right| \simeq_{iso} | d Sing(X_\bullet)_\bullet | \,.

Moreover, the degreewise (||Sing)(|-| \dashv Sing)-counit yields a morphism

([n]|Sing(X n)|)X ([n] \mapsto |Sing(X_n)|) \to X_\bullet

and this is a cofibrant resolution in the Reedy model structure [Δ op,Top Strom] Reedy[\Delta^{op}, Top_{Strom}]_{Reedy} relative to the Strøm model structure.

See geometric realization of simplicial topological spaces for more details.

References

The model structure was originally established in

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

using results on Hurewicz cofibrations from:

A new proof using algebraic weak factorization systems, and its generalization to any bicomplete category which is powered, copowered and enriched in TopSp is due to:

Beware that a proof of the Strøm model structure was also claimed in

but relying on

which later was noticed to be false, by Richard Williamson, see Barthel & Riehl, p. 2 and Rem 5.12 and Sec. 6.1 for details.

Last revised on September 20, 2021 at 09:30:44. See the history of this page for a list of all contributions to it.