topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
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
The classical model structure on simplicial sets or Kan-Quillen model structure , $sSet_{Quillen}$ (Quillen 67, II.3) is a model category structure on the category sSet of simplicial sets which represents the standard classical homotopy theory.
Its weak equivalences are the simplicial weak equivalences (isomorphisms on simplicial homotopy groups), its fibrations are the Kan fibrations and its cofibrations are the monomorphisms (degreewise injections).
The singular simplicial complex/geometric realization adjunction constitutes a Quillen equivalence between $sSet_{Quillen}$ and $Top_{Quillen}$, the classical model structure on topological spaces. This is sometimes called part of the statement of the homotopy hypothesis for Kan complexes. In the language of (∞,1)-category theory this means that $sSet_{Quillen}$ and $Top_{Quillen}$ both are presentations of the (∞,1)-category ∞Grpd of ∞-groupoids.
There are also other model structures on sSet itself, see at model structure on simplicial sets for more. This entry here focuses on just the standard classical model structure.
This section reviews basics of the theory of simplicial sets (the modern version of the original “combinatorial topology”) necessary to define, verify and analyse the classical model category structure on simplicial sets, below. See also at simplicial homotopy theory.
The concept of simplicial sets is secretly well familiar already in basic algebraic topology: it reflects just the abstract structure carried by the singular simplicial complexes of topological spaces, as in the definition of singular homology and singular cohomology.
Conversely, every simplicial set may be geometrically realized as a topological space. These two adjoint operations turn out to exhibit the homotopy theory of simplicial sets as being equivalent (Quillen equivalent) to the homotopy theory of topological spaces. For some purposes, working in simplicial homotopy theory is preferable over working with topological homotopy theory.
For $n \in \mathbb{N}$, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset
of the Cartesian space $\mathbb{R}^{n+1}$, and whose topology is the subspace topology induces from the canonical topology in $\mathbb{R}^{n+1}$.
For $n = 0$ this is the point, $\Delta^0 = *$.
For $n = 1$ this is the standard interval object $\Delta^1 = [0,1]$.
For $n = 2$ this is the filled triangle.
For $n = 3$ this is the filled tetrahedron.
For $n \in \mathbb{N}$, $\n \geq 1$ and $0 \leq k \leq n$, the $k$th $(n-1)$-face (inclusion) of the topological $n$-simplex, def. , is the subspace inclusion
induced under the coordinate presentation of def. , by the inclusion
which “omits” the $k$th canonical coordinate:
The inclusion
is the inclusion
of the “right” end of the standard interval. The other inclusion
is that of the “left” end $\{0\} \hookrightarrow [0,1]$.
(graphics taken from Friedman 08)
For $n \in \mathbb{N}$ and $0 \leq k \lt n$ the $k$th degenerate $(n)$-simplex (projection) is the surjective map
induced under the barycentric coordinates of def. under the surjection
which sends
For $X \in$ Top and $n \in \mathbb{N}$, a singular $n$-simplex in $X$ is a continuous map
from the topological $n$-simplex, def. , to $X$.
Write
for the set of singular $n$-simplices of $X$.
(graphics taken from Friedman 08)
The sets $(Sing X)_\bullet$ here are closely related by an interlocking system of maps that make them form what is called a simplicial set, and as such the collection of these sets of singular simplices is called the singular simplicial complex of $X$. We discuss the definition of simplicial sets now and then come back to this below in def. .
Since the topological $n$-simplices $\Delta^n$ from def. sit inside each other by the face inclusions of def.
and project onto each other by the degeneracy maps, def.
we dually have functions
that send each singular $n$-simplex to its $k$-face and functions
that regard an $n$-simplex as beign a degenerate (“thin”) $(n+1)$-simplex. All these sets of simplices and face and degeneracy maps between them form the following structure.
A simplicial set $S \in sSet$ is
for each $n \in \mathbb{N}$ a set $S_n \in Set$ – the set of $n$-simplices;
for each injective map $\delta_i : \overline{n-1} \to \overline{n}$ of totally ordered sets $\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}$
a function $d_i : S_{n} \to S_{n-1}$ – the $i$th face map on $n$-simplices;
for each surjective map $\sigma_i : \overline{n+1} \to \bar n$ of totally ordered sets
a function $\sigma_i : S_{n} \to S_{n+1}$ – the $i$th degeneracy map on $n$-simplices;
such that these functions satisfy the simplicial identities.
The simplicial identities satisfied by face and degeneracy maps as above are (whenever these maps are composable as indicated):
$d_i \circ d_j = d_{j-1} \circ d_i$ if $i \lt j$,
$s_i \circ s_j = s_j \circ s_{i-1}$ if $i \gt j$.
$d_i \circ s_j = \left\{ \array{ s_{j-1} \circ d_i & if \; i \lt j \\ id & if \; i = j \; or \; i = j+1 \\ s_j \circ d_{i-1} & if i \gt j+1 } \right.$
It is straightforward to check by explicit inspection that the evident injection and restriction maps between the sets of singular simplices make $(Sing X)_\bullet$ into a simplicial set. However for working with this, it is good to streamline a little:
The simplex category $\Delta$ is the full subcategory of Cat on the free categories of the form
This is called the “simplex category” because we are to think of the object $[n]$ as being the “spine” of the $n$-simplex. For instance for $n = 2$ we think of $0 \to 1 \to 2$ as the “spine” of the triangle. This becomes clear if we don’t just draw the morphisms that generate the category $[n]$, but draw also all their composites. For instance for $n = 2$ we have_
A functor
from the opposite category of the simplex category to the category Set of sets is canonically identified with a simplicial set, def. .
One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in $\Delta^{op}([n],[n+1])$ and $\Delta^{op}([n],[n-1])$.
This makes the following evident:
The topological simplices from def. arrange into a cosimplicial object in Top, namely a functor
With this now the structure of a simplicial set on $(Sing X)_\bullet$, def. , is manifest: it is just the nerve of $X$ with respect to $\Delta^\bullet$, namely:
For $X$ a topological space its simplicial set of singular simplicies (often called the singular simplicial complex)
is given by composition of the functor from example with the hom functor of Top:
It turns out – this is the content of the homotopy hypothesis-theorem (Quillen 67) – that homotopy type of the topological space $X$ is entirely captured by its singular simplicial complex $Sing X$. Moreover, the geometric realization of $Sing X$ is a model for the same homotopy type as that of $X$, but with the special property that it is canonically a cell complex – a CW-complex. Better yet, $Sing X$ is itself already good cell complex, namely a Kan complex. We come to this below.
The concept of homotopy of morphisms between simplicial sets proceeds in direct analogy with that in topological spaces.
For $X$ a simplicial set, def. , its simplicial cylinder object is the Cartesian product $X\times \Delta[1]$ (formed in the category sSet).
between two morphisms
of simplicial sets is a morphism
such that the following diagram commutes
For $Y$ a Kan complex, def. , its simplicial path space object is the function complex $X^{\Delta[1]}$ (formed in the category sSet).
between two morphisms
of simplicial sets is a morphism
such that the following diagram commutes
For $Y$ a Kan complex, def. , and $X$ any simplicial set, then left homotopy, def. , regarded as a relation
on the hom set $Hom_{sSet}(X,Y)$, is an equivalence relation.
A morphism $f \colon X \longrightarrow Y$ of simplicial sets is a left/right homotopy equivalence if there exists a morphisms $X \longleftarrow Y \colon g$ and left/right homotopies (def. )
The the basic invariants of simplicial sets/Kan complexes in simplicial homotopy theory are their simplicial homotopy groups, to which we turn now.
Given that a Kan complex is a special simplicial set that behaves like a combinatorial model for a topological space, the simplicial homotopy groups of a Kan complex are accordingly the combinatorial analog of the homotopy groups of topological spaces: instead of being maps from topological spheres modulo maps from topological disks, they are maps from the boundary of a simplex modulo those from the simplex itself.
Accordingly, the definition of the discussion of simplicial homotopy groups is essentially literally the same as that of homotopy groups of topological spaces. One technical difference is for instance that the definition of the group structure is slightly more non-immediate for simplicial homotopy groups than for topological homotopy groups (see below).
For $X$ a Kan complex, then its 0th simplicial homotopy group (or set of connected components) is the set of equivalence classes of vertices modulo the equivalence relation $X_1 \stackrel{(d_1,d_0)}{\longrightarrow} X_0 \times X_0$
For $x \in X_0$ a vertex and for $n \in \mathbb{N}$, $n \geq 1$, then the underlying set of the $n$th simplicial homotopy group of $X$ at $x$ – denoted $\pi_n(X,x)$ – is, the set of equivalence classes $[\alpha]$ of morphisms
from the simplicial $n$-simplex $\Delta^n$ to $X$, such that these take the boundary of the simplex to $x$, i.e. such that they fit into a commuting diagram in sSet of the form
where two such maps $\alpha, \alpha'$ are taken to be equivalent is they are related by a simplicial homotopy $\eta$
that fixes the boundary in that it fits into a commuting diagram in sSet of the form
These sets are taken to be equipped with the following group structure.
For $X$ a Kan complex, for $x\in X_0$, for $n \geq 1$ and for $f,g \colon \Delta[n] \to X$ two representatives of $\pi_n(X,x)$ as in def. , consider the following $n$-simplices in $X_n$:
This corresponds to a morphism $\Lambda^{n+1}[n] \to X$ from a horn of the $(n+1)$-simplex into $X$. By the Kan complex property of $X$ this morphism has an extension $\theta$ through the $(n+1)$-simplex $\Delta[n]$
From the simplicial identities one finds that the boundary of the $n$-simplex arising as the $n$th boundary piece $d_n \theta$ of $\theta$ is constant on $x$
So $d_n \theta$ represents an element in $\pi_n(X,x)$ and we define a product operation on $\pi_n(X,x)$ by
(e.g. Goerss-Jardine 99, p. 26)
All the degenerate $n$-simplices $v_{0 \leq i \leq n-2}$ in def. are just there so that the gluing of the two $n$-cells $f$ and $g$ to each other can be regarded as forming the boundary of an $(n+1)$-simplex except for one face. By the Kan extension property that missing face exists, namely $d_n \theta$. This is a choice of gluing composite of $f$ with $g$.
The product on homotopy group elements in def. is well defined, in that it is independent of the choice of representatives $f$, $g$ and of the extension $\theta$.
e.g. (Goerss-Jardine 99, lemma 7.1)
The product operation in def. yields a group structure on $\pi_n(X,x)$, which is abelian for $n \geq 2$.
e.g. (Goerss-Jardine 99, theorem 7.2)
The first homotopy group, $\pi_1(X,x)$, is also called the fundamental group of $X$.
For $X,Y \in KanCplx \hookrightarrow sSet$ two Kan complexes, then a morphism
is called a weak homotopy equivalence if it induces isomorphisms on all simplicial homotopy groups, i.e. if
$\pi_0(f) \colon \pi_0(X) \longrightarrow \pi_0(Y)$ is a bijection of sets;
$\pi_n(f,x) \colon \pi_n(X,x) \longrightarrow \pi_n(Y,f(x))$ is an isomorphism of groups for all $x\in X_0$ and all $n \in \mathbb{N}$; $n \geq 1$.
For each $i$, $0 \leq i \leq n$, the $(n,i)$-horn is the subsimplicial set
of the simplicial $n$-simplex, which is the union of all faces except the $i^{th}$ one.
This is called an outer horn if $k = 0$ or $k = n$. Otherwise it is an inner horn.
(graphics taken from Friedman 08)
Since sSet is a presheaf category, unions of subobjects make sense and they are calculated objectwise, thus in this case dimensionwise. This way it becomes clear what the structure of a horn as a functor $\Lambda^k[n]: \Delta^{op} \to Set$ must therefore be: it takes $[m]$ to the collection of ordinal maps $f: [m] \to [n]$ which do not have the element $k$ in the image.
A Kan complex is a simplicial set $S$ that satisfies the Kan condition,
which says that all horns of the simplicial set have fillers/extend to simplices;
which means equivalently that the unique homomorphism $S \to pt$ from $S$ to the point (the terminal simplicial set) is a Kan fibration;
which means equivalently that for all diagrams of the form
there exists a diagonal morphism
completing this to a commuting diagram;
which in turn means equivalently that the map from $n$-simplices to $(n,i)$-horns is an epimorphism
For $X$ a topological space, its singular simplicial complex $Sing(X)$, def. , is a Kan complex, def. .
The inclusions ${{\Lambda^n}_{Top}}_k \hookrightarrow \Delta^n_{Top}$ of topological horns into topological simplices are retracts, in that there are continuous maps $\Delta^n_{Top} \to {{\Lambda^n}_{Top}}_k$ given by “squashing” a topological $n$-simplex onto parts of its boundary, such that
Therefore the map $[\Delta^n, \Pi(X)] \to [\Lambda^n_k,\Pi(X)]$ is an epimorphism, since it is equal to to $Top(\Delta^n, X) \to Top(\Lambda^n_k, X)$ which has a right inverse $Top(\Lambda^n_k, X) \to Top(\Delta^n, X)$.
More generally:
A morphism $\phi \colon S \longrightarrow T$ in sSet is called a Kan fibration if it has the right lifting property again all horn inclusions, def. , hence if for every commuting diagram of the form
there exists a lift
This is the simplicial incarnation of the concept of Serre fibrations of topological spaces:
A continuous function $f \colon X \longrightarrow Y$ between topological spaces is a Serre fibration if for all CW-complexes $C$ and for every commuting diagram in Top of the form
there exists a lift
A continuous function $f \colon X \longrightarrow Y$ is a Serre fibration, def. , precisely if $Sing(f) \colon Sing(X) \longrightarrow Sing(Y)$ (def. ) is a Kan fibration, def. .
The proof uses the basic tool of nerve and realization-adjunction to which we get to below in prop. .
First observe that the left lifting property against all $C \hookrightarrow C \times I$ for $C$ a CW-complex is equivalent to left lifting against geometric realization ${\vert \Lambda^i[n]\vert} \hookrightarrow {\vert \Delta[n]\vert}$ of horn inclusions. Then apply the natural isomorphism $Top({\vert-\vert},-) \simeq sSet(-,Sing(-))$, given by the adjunction of prop. and example , to the lifting diagrams.
Let $p \colon X \longrightarrow Y$ be a Kan fibration, def. , and let $f_1,f_2 \colon A \longrightarrow X$ be two morphisms. If there is a left homotopy (def. ) $f_1 \Rightarrow f_2$ between these maps, then there is a fiberwise homotopy equivalence, def. , between the pullback fibrations $f_1^\ast X \simeq f_2^\ast X$.
(e.g. Goerss-Jardine 99, chapter I, lemma 10.6)
While simplicial sets have the advantage of being purely combinatorial structures, the singular simplicial complex of any given topological space, def. is in general a huge simplicial set which does not lend itself to detailed inspection. The following is about small models.
A Kan fibration $\phi \colon S \longrightarrow T$, def. , is called a minimal Kan fibration if for any two cells in the same fiber with the same boundary if they are homotopic relative their boundary, then they are already equal.
More formally, $\phi$ is minimal precisely if for every commuting diagram of the form
then the two composites
are equal.
The pullback (in sSet) of a minimal Kan fibration, def. , along any morphism is again a mimimal Kan fibration.
(Goerss-Jardine 99, chapter I, section 4, Joyal-Tierney 09, section 1.7)
For every Kan fibration, def. , there exists a fiberwise strong deformation retract to a minimal Kan fibration, def. .
(e.g. Goerss-Jardine 99, chapter I, prop. 10.3, Joyal-Tierney 08, theorem 3.3.1, theorem 3.3.3).
Choose representatives by induction, use that in the induction step one needs lifts of anodyne extensions against a Kan fibration, which exist.
A morphism between minimal Kan fibrations, def. , which is fiberwise a homotopy equivalence, def. , is already an isomorphism.
(e.g. Goerss-Jardine 99, chapter I, lemma 10.4)
Show the statement degreewise. In the induction one needs to lift anodyne extensions agains a Kan fibration.
Every minimal Kan fibration, def. , over a connected base is a simplicial fiber bundle, locally trivial over every simplex of the base.
(e.g. Goerss-Jardine 99, chapter I, corollary 10.8)
By assumption of the base being connected, the classifying maps for the fibers over any two vertices are connected by a zig-zag of homotopies, hence by lemma the fibers are connected by homotopy equivalences and then by prop. and lemma they are already isomorphic. Write $F$ for this typical fiber.
Moreover, for all $n$ the morphisms $\Delta[n] \to \Delta[0] \to \Delta[n]$ are left homotopic to $\Delta[n] \stackrel{id}{\to} \Delta[n]$ and so applying lemma and prop. once more yields that the fiber over each $\Delta[n]$ is isomorphic to $\Delta[n]\times F$.
So far we we have considered passing from topological spaces to simplicial sets by applying the singular simplicial complex functor of def. . Now we discuss a left adjoint of this functor, called geometric realization, which turns a simplicial set into a topological space by identifying each of its abstract n-simplices with the standard topological $n$-simplex.
This is an example of a general abstract phenomenon:
Let
be a functor from a small category $D$ to a locally small category $\mathcal{C}$ with all colimits. Then the nerve-functor
has a left adjoint functor ${\vert-\vert}$, called geometric realization,
given by the coend
(Kan 58)
By basic propeties of ends and coends:
The singular simplicial complex functor $Sing$ of def. has a left adjoint geometric realization functor
given by the coend
Topological geometric realization takes values in particularly nice topological spaces.
The topological geometric realization of simplicial sets in example takes values in CW-complexes.
(e.g. Goerss-Jardine 99, chapter I, prop. 2.3)
Thus for a topological space $X$ the adjunction counit $\epsilon_X \colon {\vert Sing X\vert} \longrightarrow X$ of the nerve and realization-adjunction is a candidate for a replacement of $X$ by a CW-complex. For this, $\epsilon_X$ should be at least a weak homotopy equivalence, i.e. induce isomorphisms on all homotopy groups. Since homotopy groups are built from maps into $X$ out of compact topological spaces it is plausible that this works if the topology of $X$ is entirely detected by maps out of compact topological spaces into $X$. Topological spaces with this property are called compactly generated.
We take compact topological space to imply Hausdorff topological space.
A subspace $U \subset X$ of a topological space $X$ is called compactly open or compactly closed, respectively, if for every continuous function $f \colon K \longrightarrow X$ out of a compact topological space the preimage $f^{-1}(U) \subset K$ is open or closed, respectively.
A topological space $X$ is a compactly generated topological space if each of its compactly closed subspaces is already closed.
Write
for the full subcategory of Top on the compactly generated topological spaces.
Often the condition is added that a compactly closed topological space be also a weakly Hausdorff topological space.
Examples of compactly generated topological spaces, def. , include
every compact space;
every locally compact space;
every topological manifold;
every CW-complex;
every first countable space
The topological geometric realization functor of simplicial sets in example takes values in compactly generated topological spaces
The subcategory $Top_{cg} \hookrightarrow Top$ of def. has the following properties
It is a coreflective subcategory
The coreflection $k(X)$ of a topological space is given by adding to the open subsets of $X$ all compactly open subsets, def. .
It has all small limits and colimits.
The colimits are computed in $Top$, the limits are the image under $k$ of the limits as computed in $Top$.
It is a cartesian closed category.
The cartesian product in $Top_{cg}$ is the image under $k$ of the Cartesian product formed in $Top$.
This is due to (Steenrod 67), expanded on in (Lewis 78, appendix A). One says that prop. with example makes $Top_{cg}$ a “convenient category of topological spaces”.
Regarded, via corollary as a functor ${\vert - \vert} \colon sSet \to Top_{cg}$, geometric realization preserves finite limits.
See at Geometric realization is left exact.
The key step in the proof is to use the cartesian closure of $Top_{cg}$ (prop. ). This gives that the Cartesian product is a left adjoint and hence preserves colimits in each variable, so that the coend in the definition of the geometric realization may be taken out of Cartesian products.
The geometric realization, example , of a minimal Kan fibration, def. is a Serre fibration, def. .
This is due to (Gabriel-Zisman 67). See for instance (Goerss-Jardine 99, chapter I, corollary 10.8, theorem 10.9).
By prop. minimal Kan fibrations are simplicial fiber bundles, locally trivial over each simplex in the base. By prop. this property translates to their geometric realization also being a locally trivial fiber bundle of topological spaces, hence in particular a Serre fibration.
The geometric realization, example , of any Kan fibration, def. is a Serre fibration, def. .
This is due to (Quillen 68). See for instance (Goerss-Jardine 99, chapter I, theorem 10.10).
For $S$ a Kan complex, then the unit of the nerve and realization-adjunction (prop. , example )
is a weak homotopy equivalence, def. .
For $X$ any topological space, then the adjunction counit
e.g. (Goerss-Jardine 99, chapter I, prop. 11.1 and p. 63).
Use prop. and prop. applied to the path fibration to proceed by induction.
The classical model structure on simplicial sets, $sSet_{Quillen}$, has the following distinguished classes of morphisms:
The classical weak equivalences $W$ are the simplicial weak equivalences: morphisms whose geometric realization, example , is a weak homotopy equivalence of topological spaces;
The classical fibrations $F$ are the Kan fibrations, def. ;
The classical cofibrations $C$ are the monomorphisms of simplicial sets, i.e. the degreewise injections.
In model structure $sSet_{Quillen}$, def. , the following holds.
The fibrant objects are precisely the Kan complexes.
A morphism $f : X \to Y$ of fibrant simplicial sets / Kan complexes is a weak equivalence precisely if it induces an isomorphism on all simplicial homotopy groups, def. .
All simplicial sets are cofibrant with respect to this model structure.
The acyclic fibrations in $sSet_{Quillen}$, namely the acyclic Kan fibrations (i.e. the maps that are both fibrations as well as weak equivalences) are precisely the morphisms $f \,\colon\, X \to Y$ that have the right lifting property with respect to all inclusions $\partial \Delta[n] \hookrightarrow \Delta[n]$ of boundaries of $n$-simplices into their $n$-simplices
This appears spelled out for instance as (Goerss-Jardine 99, theorem 11.2).
In fact:
$sSet_{Quillen}$ is a cofibrantly generated model category with
Let $W$ be the smallest class of morphisms in $sSet$ satisfying the following conditions:
Then $W$ is the class of weak homotopy equivalences.
As a corollary, we deduce that the classical model structure on $sSet$ is the smallest (in terms of weak equivalences) model structure for which the cofibrations are the monomorphisms and the weak equivalences include the (combinatorial) homotopy equivalences.
Let $\pi_0 : sSet \to Set$ be the connected components functor, i.e. the left adjoint of the constant functor $cst : Set \to sSet$. A morphism $f : Z \to W$ in $sSet$ is a weak homotopy equivalence if and only if the induced map
is a bijection for all Kan complexes $K$.
One direction is easy: if $K$ is a Kan complex, then axiom SM7 for simplicial model categories implies the functor $K^{(-)} : sSet^{op} \to sSet$ is a right Quillen functor, so Ken Brown’s lemma implies it preserves all weak homotopy equivalences; in particular, $\pi_0 K^{(-)} : sSet^{op} \to Set$ sends weak homotopy equivalences to bijections.
Conversely, when $K$ is a Kan complex, there is a natural bijection between $\pi_0 K^X$ and the hom-set $Ho (sSet) (X, K)$, and thus by the Yoneda lemma, a morphism $f : Z \to W$ such that the induced morphism $\pi_0 K^W \to \pi_0 K^Z$ is a bijection for all Kan complexes $K$ is precisely a morphism that becomes an isomorphism in $Ho (sSet)$, i.e. a weak homotopy equivalence.
The Quillen model structure is both left and right proper. Left properness is automatic since all objects are cofibrant. Right properness follows from the following argument: it suffices to show that there is a functor $R$ which (1) preserves fibrations, (2) preserves pullbacks of fibrations, (3) preserves and reflects weak equivalences, and (4) lands in a category in which the pullback of a weak equivalence along a fibration is a weak equivalence. For if so, we can apply $R$ to the pullback of a fibration along a weak equivalence to get another such pullback in the codomain of $R$, which is a weak equivalence, and hence the original pullback was also a weak equivalence. Two such functors $R$ are
This may be found, for instance, in II.8.6–7 of Goerss-Jardine. Another proof may be found in Moss, and a different proof of properness may be found in Cisinski, Prop. 2.1.5.
The singular simplicial complex/geometric realization-adjunction of example constitutes a Quillen equivalence of the classical model structure $sSet_{Quillen}$ of def. with the classical model structure on topological spaces:
First of all, the adjunction is indeed a Quillen adjunction: prop. says in particular that $Sing(-)$ takes Serre fibrations to Kan fibrations and prop. gives that ${\vert-\vert}$ sends monomorphisms of simplicial sets to relative cell complexes.
Now prop. says that the derived adjunction unit and counit are weak equivalences, and hence the Quillen adjunction is a Quillen equivalence.
On the classical model structure on simplicial sets:
The original proof is due to
This proof is purely combinatorial (i.e. does not pass through geometric realization of simplicial sets as topological spaces): Quillen uses the theory of minimal Kan fibrations, the fact that the latter are fiber bundles, as well as the fact that the simplicial classifying space of a simplicial group is a Kan complex.
Other proofs are were given in:
Sergei Gelfand, Yuri Manin, Sections V.1-2 of: Methods of homological algebra, transl. from the 1988 Russian (Nauka Publ.) original, Springer 1996. xviii+372 pp. 2nd corrected ed. 2002 (doi:10.1007/978-3-662-12492-5)
Paul Goerss, J. F. Jardine, Section I.11 of: Simplicial homotopy theory, Progress in Mathematics, Birkhäuser (1999) Modern Birkhäuser Classics (2009) (doi:10.1007/978-3-0346-0189-4, webpage)
André Joyal, Myles Tierney, Notes on simplicial homotopy theory, Lecture at Advanced Course on Simplicial Methods in Higher Categories, CRM 2008 (pdf)
André Joyal, Myles Tierney An introduction to simplicial homotopy theory, 2005 (web, pdf)
A proof (in fact two variants of it) using the Kan fibrant replacement $Ex^\infty$ functor is given (in the context of_Cisinski model structure) in:
The crucial step is the proof that the fibrations are precisely the Kan fibrations (and also to prove all the good properties of $Ex^\infty$ without using topological spaces); for two different proofs of this fact using $Ex^\infty$, see Prop. 2.1.41 as well as Scholium 2.3.21 for an alternative). For the rest, everything was already in the book of Gabriel and Zisman, for instance.
Another approach using $Ex^\infty$ is:
A proof of the model structure not relying on the classical model structure on topological spaces nor on explicit models for Kan fibrant replacement is in
Proofs valid in constructive mathematics are given in:
Simon Henry, A constructive account of the Kan-Quillen model structure and of Kan’s Ex∞ functor, arXiv:1905.06160.
Nicola Gambino, Simon Henry, Christian Sattler, Karol Szumiło, The effective model structure and ∞-groupoid objects, arXiv:2102.06146.
As a categorical semantics for homotopy type theory, the model structure on simplicial sets is considered in
Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky, (arXiv:1203.2553)
Chris Kapulkin, Peter LeFanu Lumsdaine, The Simplicial Model of Univalent Foundations (after Voevodsky), Journal of the European Mathematical Society (arXiv:1211.2851,doi:10.4171/jems/1050)
Last revised on October 11, 2021 at 05:56:24. See the history of this page for a list of all contributions to it.