03.12.24 · differential-geometry / homotopy-theory

Simplicial set and the simplicial category Delta

shipped3 tiersLean: nonepending prereqs

Anchor (Master): Goerss-Jardine Ch. I-III; Gabriel-Zisman 1967 Calculus of Fractions and Homotopy Theory

Intuition [Beginner]

A simplicial set is a combinatorial way to describe a shape built from points, lines, triangles, tetrahedra, and their higher-dimensional analogues. Instead of working with continuous spaces directly, you work with a recipe that tells you how many simplices of each dimension there are and how their faces are glued together.

Think of building a triangle from parts. You have three vertices, three edges, and one filled-in triangle. A simplicial set keeps track of all these pieces and how they connect. Each edge has two boundary vertices, and the triangle has three boundary edges.

The "simplicial category" Delta is the index system: it encodes all the ways you can map a smaller simplex into a larger one. A face map skips one vertex of a simplex. A degeneracy map repeats one vertex, creating a collapsed copy. Every simplicial set is a contravariant functor from Delta to sets, meaning it reads off how many simplices of each dimension sit inside the space and how they relate.

Visual [Beginner]

A single 2-simplex (filled triangle) with its three face maps $d_{0}, d_{1}, d_{2}$ each selecting one of the three boundary edges. Below it, three degeneracy maps $s_{0}, s_{1}, s_{2}$ each collapsing the triangle back onto one of its three edges. On the right, a simplicial circle built from one vertex and one edge whose two faces both land on that same vertex.

The key picture: face maps shrink a simplex by dropping a vertex; degeneracy maps inflate a simplex by repeating a vertex.

Worked example [Beginner]

The simplicial circle. Define a simplicial set $S^{1}$ with one 0-simplex $*$ and one non-degenerate 1-simplex $e$ . The two face maps both send $e$ to $*$ : $d_{0} (e) = *$ and $d_{1} (e) = *$ . The degeneracy $s_{0} (*)$ gives a degenerate 1-simplex at $*$ . In dimension 2, all simplices are degenerate (built by applying degeneracy maps to lower-dimensional simplices).

This simplicial set has the homotopy type of a circle. Its homology groups are $H_{0} = Z$ and $H_{1} = Z$ , computed from the simplicial chain complex with $C_{0} = Z$ (generated by $*$ ) and $C_{1} = Z$ (generated by $e$ ), and boundary operator sending $e$ to $d_{0} (e) - d_{1} (e) = * - * = 0$ .

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (The simplicial category $Δ$ ). The category $Δ$ has objects the finite ordered sets $[n] = {0, 1, \dots, n}$ for $n \geq 0$ , with morphisms the order-preserving (weakly monotone) maps $[m] \to [n]$ .

The category $Δ$ is generated by two families of maps:

Face maps $d^{i} : [n - 1] \to [n]$ for $0 \leq i \leq n$ , the injection skipping $i$ .
Degeneracy maps $s^{i} : [n + 1] \to [n]$ for $0 \leq i \leq n$ , the surjection repeating $i$ .

These satisfy the simplicial identities: for $i < j$ ,

$d^{i} d^{j} = d^{j - 1} d^{i}$ (composing face maps)
$s^{i} s^{j} = s^{j + 1} s^{i}$ (composing degeneracy maps)
$s^{i} d^{j} = d^{j - 1} s^{i}$ if $i < j - 1$
$s^{i} d^{j} = id$ if $i = j$ or $i = j - 1$
$s^{i} d^{j} = d^{j} s^{i - 1}$ if $i > j$

Definition (Simplicial set). A simplicial set is a contravariant functor $X : Δ^{op} \to Set$ . Equivalently, $X$ is a sequence of sets $X_{n}$ ( $n \geq 0$ ) together with face operators $d_{i} : X_{n} \to X_{n - 1}$ and degeneracy operators $s_{i} : X_{n} \to X_{n + 1}$ satisfying the dual simplicial identities. The category of simplicial sets is $sSet = Fun (Δ^{op}, Set)$ .

The standard $n$ -simplex is the representable simplicial set $Δ^{n} = Hom_{Δ} (-, [n])$ . By the Yoneda lemma, $X_{n} ≅ Hom_{sSet} (Δ^{n}, X)$ .

Key theorem with proof [Intermediate+]

Theorem (Geometric realisation). There is a left adjoint functor $∣ - ∣ : sSet \to Top$ sending $Δ^{n}$ to the topological $n$ -simplex $∣ Δ^{n} ∣$ , and for a general simplicial set $X$ , the space $∣ X ∣$ is computed as the coend $∣ X ∣ = X \otimes_{Δ} ∣ Δ^{-} ∣ = (⨆_{n} X_{n} \times ∣ Δ^{n} ∣) / \sim$ , where the relation identifies $(d_{i} x, t) \sim (x, d^{i} t)$ and $(s_{i} x, t) \sim (x, s^{i} t)$ . This realisation preserves finite products: $∣ X \times Y ∣ ≅ ∣ X ∣ \times ∣ Y ∣$ when $∣ Y ∣$ is locally compact.

Proof sketch. The coend formula is forced by the requirement that $∣ - ∣$ be a left Kan extension of the cosimplicial space $[n] \mapsto ∣ Δ^{n} ∣$ along the Yoneda embedding. For the product preservation, the key input is that the topological simplices $∣ Δ^{n} ∣$ form a cosimplicial space admitting a Reedy-style decomposition, and the shuffle map provides an explicit homeomorphism $∣ X \times Y ∣ \to ∣ X ∣ \times ∣ Y ∣$ built from the Eilenberg-Zilber shuffle decomposition of products of simplices. $□$

Bridge. The geometric-realisation construction connects simplicial combinatorics back to topology; the coend formula is a categorical refinement of the CW-attachment process seen in [topology.cw-complex], where cells are glued along their boundary maps. The representable simplices $Δ^{n}$ play the role of universal building blocks, analogous to the universal covering maps in [topology.fibration], and the Yoneda-lemma identification $X_{n} ≅ Hom (Δ^{n}, X)$ mirrors how singular chains $C_{n} (X) = Hom (Δ^{n}, X)$ were defined in [topology.singular-homology]. The simplicial identities themselves encode the same boundary-square-to-zero relation $\partial^{2} = 0$ that powers the homology long exact sequence.

Exercises [Intermediate+]

Advanced results [Master]

Eilenberg-Zilber lemma. Every simplex $x \in X_{n}$ can be written uniquely as $x = s_{j_{k}} \dots s_{j_{1}} y$ where $y \in X_{m}$ is non-degenerate (no degeneracy operator applied) and $j_{1} > \dots > j_{k}$ . This gives the skeletal decomposition $X = ⋃_{n} sk_{n} X$ where $sk_{n} X$ consists of all simplices of dimension at most $n$ together with their degeneracies.

Quillen model structure. The category $sSet$ carries a cofibrantly generated proper model structure (Quillen 1967) where: cofibrations are monomorphisms, weak equivalences are maps whose geometric realisation is a homotopy equivalence (equivalently, maps inducing isomorphisms on all homotopy groups after realisation), and fibrations are Kan fibrations (maps with the right lifting property against all horn inclusions $Λ_{k}^{n} ↪ Δ^{n}$ ). The geometric-realisation--singular-complex adjunction $∣ - ∣ ⊣ Sing$ is a Quillen equivalence between $sSet$ and $Top$ .

Synthesis. Simplicial sets mediate between combinatorial algebra and homotopy theory; the skeletal filtration refines the CW structure of [topology.cw-complex] into a purely algebraic decomposition indexed by dimension, the Eilenberg-Zilber uniqueness result ensures that every simplex has a canonical non-degenerate core just as every homology class in [topology.singular-homology] has a canonical cycle representative modulo boundaries, and the Quillen model structure lifts the homotopy theory of [topology.homotopy] into a categorical framework where cofibrations and fibrations interact functorially. The nerve construction translates category theory into homotopy theory, and the realisation functor translates it back to topology, forming the bridge between algebraic and topological viewpoints that underpins all of modern homotopical algebra.

Full proof set [Master]

Proposition (Skeletal filtration via pushouts). For any simplicial set $X$ , the $n$ -skeleton $sk_{n} X$ is obtained from $sk_{n - 1} X$ by attaching $n$ -simplices along their boundaries. Concretely, there is a pushout square:

$$\begin{CD} \bigsqcup_{\sigma \in NX_n} \partial \Delta^n @>>> \bigsqcup_{\sigma \in NX_n} \Delta^n \ @VVV @VVV \ \mathrm{sk}_{n-1} X @>>> \mathrm{sk}_n X \end{CD}$$

where $N X_{n}$ denotes the set of non-degenerate $n$ -simplices of $X$ .

Proof. By the Eilenberg-Zilber lemma, every $n$ -simplex $x \in X_{n}$ is either non-degenerate or of the form $s_{i} y$ for some degeneracy operator $s_{i}$ and simplex $y$ of lower dimension. The degenerate simplices already live in $sk_{n - 1} X$ (they are images of lower-dimensional simplices under degeneracy maps). The non-degenerate $n$ -simplices are attached along their boundary maps, which land in $sk_{n - 1} X$ because each face of a non-degenerate simplex is either non-degenerate of dimension $n - 1$ or degenerate (hence in $sk_{n - 1}$ ). The pushout gluing is free because degeneracy operators are injective on representables. Induction on $n$ gives the full skeletal decomposition. $□$

Connections [Master]

The CW-structure attachment process [topology.cw-complex] is the topological shadow of the skeletal filtration of a simplicial set; geometric realisation converts the combinatorial pushout into a topological one.

Singular chains [topology.singular-homology] are instances of simplicial-set maps $Δ^{n} \to X$ , and the singular complex $Sing (X)$ is the simplicial set whose realisation returns a CW approximation of $X$ , as developed in 03.12.26.

The nerve of a category, built from composable sequences of morphisms, underpins the classifying-space construction $B G$ for groups [topology.fibration], and the bar construction for simplicial groups 03.12.39 generalises this to loop-space recognition.

Bibliography [Master]

@article{eilenberg1944,
  author = {Eilenberg, Samuel},
  title = {Singular homology theory},
  journal = {Ann. Math.},
  volume = {45},
  pages = {407--447},
  year = {1944}
}

@book{gabriel-zisman1967,
  author = {Gabriel, Peter and Zisman, Michel},
  title = {Calculus of Fractions and Homotopy Theory},
  publisher = {Springer},
  year = {1967}
}

@book{may-simplicial,
  author = {May, J. Peter},
  title = {Simplicial Objects in Algebraic Topology},
  publisher = {University of Chicago Press},
  year = {1967}
}

@book{goerss-jardine1999,
  author = {Goerss, Paul G. and Jardine, John F.},
  title = {Simplicial Homotopy Theory},
  publisher = {Birkh{\"a}user},
  year = {1999}
}

@article{quillen1967,
  author = {Quillen, Daniel},
  title = {Homotopical algebra},
  journal = {Lecture Notes in Mathematics},
  volume = {43},
  publisher = {Springer},
  year = {1967}
}

Historical & philosophical context [Master]

Simplicial sets emerged from the intersection of combinatorial topology and category theory in the mid-20th century. Eilenberg's 1944 singular homology theory ^{[Eilenberg 1944]} used maps from standard simplices into spaces, and the formalisation of this idea as a contravariant functor on $Δ$ crystallised in the work of Eilenberg and Zilber around 1950.

The categorical viewpoint was developed by Gabriel and Zisman in their 1967 monograph ^{[Gabriel-Zisman 1967]}, which introduced the calculus of fractions and the localisation framework that underpins modern homotopy theory. Quillen's 1967 "Homotopical Algebra" ^{[Quillen 1967]} placed simplicial sets at the foundation of abstract homotopy theory by defining the model structure on $sSet$ , making simplicial sets the default setting for much of algebraic topology.

Philosophically, simplicial sets replace continuous geometry with discrete combinatorics while preserving homotopical information. This "combinatorial replacement" strategy has proven extraordinarily powerful: it enables inductive constructions, algorithmic computation, and categorical algebra that would be impossible in the continuous setting. The simplicial approach underpins modern developments including $\infty$ -categories (Lurie), derived algebraic geometry, and computer-verified homotopy theory (homotopy type theory).