Quillen Equivalence Theorem

The fundamental bridge between simplicial sets and topological spaces is established through a Quillen equivalence, demonstrating that these two frameworks provide equivalent approaches to homotopy theory.

TheoremQuillen's Fundamental Theorem

The geometric realization functor $|-|: \mathbf{sSet} \to \mathbf{Top}$ and the singular complex functor $\text{Sing}: \mathbf{Top} \to \mathbf{sSet}$ form a Quillen equivalence between the standard model structure on simplicial sets and the Quillen model structure on topological spaces.

Specifically:

The adjunction $|-| \dashv \text{Sing}$ is a Quillen adjunction
For any Kan complex $X$ , the unit map $X \to \text{Sing}(|X|)$ is a weak equivalence
For any topological space $Y$ , the counit map $|\text{Sing}(Y)| \to Y$ is a weak equivalence

RemarkImplications

This equivalence means that:

Every statement about homotopy types of topological spaces has a combinatorial counterpart for Kan complexes
Homotopy groups, fibrations, and other homotopy-theoretic constructions can be studied purely combinatorially
The homotopy categories $\text{Ho}(\mathbf{sSet})$ and $\text{Ho}(\mathbf{Top})$ are equivalent

The equivalence restricts to an equivalence between Kan complexes and CW complexes at the level of homotopy theory.

DefinitionQuillen Adjunction

An adjunction $F: \mathcal{C} \rightleftarrows \mathcal{D}: G$ between model categories is a Quillen adjunction if:

$F$ preserves cofibrations and trivial cofibrations, or equivalently
$G$ preserves fibrations and trivial fibrations

It is a Quillen equivalence if additionally the derived adjunction induces an equivalence of homotopy categories.

ExampleComputing Homotopy Groups

For the circle $S^1$ , we can compute its homotopy groups using simplicial methods. The singular complex $\text{Sing}(S^1)$ is a Kan complex, and we can explicitly construct it:

$\pi_1(\text{Sing}(S^1), \ast) \cong \pi_1(S^1, \ast) \cong \mathbb{Z}$ $\pi_n(\text{Sing}(S^1), \ast) = 0 \text{ for } n \geq 2$

The isomorphism follows from the Quillen equivalence, allowing us to use topological intuition while working combinatorially.

RemarkFunctoriality

Both functors are highly functorial:

Geometric realization preserves colimits (being a left adjoint)
Singular complex preserves limits and weak equivalences
Products in $\mathbf{sSet}$ are taken to products in $\mathbf{Top}$ under geometric realization

This functoriality makes the equivalence robust under various constructions and allows for transferring results between the two settings.

ExampleEilenberg-MacLane Spaces

For an abelian group $A$ and $n \geq 1$ , the Eilenberg-MacLane space $K(A, n)$ can be constructed as a Kan complex with: $\pi_n(K(A, n)) = A, \quad \pi_i(K(A, n)) = 0 \text{ for } i \neq n$

The geometric realization $|K(A, n)|$ is the classical Eilenberg-MacLane space from topology. These spaces classify cohomology, with: $H^n(X; A) \cong [X, K(A, n)]$ for any space $X$ .

The Quillen equivalence theorem is foundational for modern homotopy theory, establishing that simplicial methods are not merely computational tools but provide a complete and equivalent framework to classical topology.