Kerodon

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

1.1.5 The Singular Simplicial Set of a Topological Space

Topology provides an abundant supply of examples of simplicial sets.

Construction 1.1.5.1. Let $X$ be a topological space. We define a simplicial set $\operatorname{Sing}_{\bullet }(X)$ as follows:

  • To each object $[n] \in \operatorname{{\bf \Delta }}$, we assign the set $\operatorname{Sing}_{n}(X) = \operatorname{Hom}_{\operatorname{Top}}( | \Delta ^ n |, X )$ of singular $n$-simplices in $X$.

  • To each non-decreasing map $\alpha : [m] \rightarrow [n]$, we assign the map $\operatorname{Sing}_{n}(X) \rightarrow \operatorname{Sing}_{m}(X)$ given by precomposition with the continuous map

    \[ | \Delta ^{m} | \rightarrow | \Delta ^{n} | \]
    \[ (t_0, t_1, \ldots , t_ m) \mapsto ( \sum _{\alpha (i) = 0} t_ i, \sum _{\alpha (i) = 1} t_ i, \ldots , \sum _{\alpha (i)=n} t_ i). \]

We will refer to $\operatorname{Sing}_{\bullet }(X)$ as the singular simplicial set of $X$. We view the construction $X \mapsto \operatorname{Sing}_{\bullet }(X)$ as a functor from the category of topological spaces to the category of simplicial sets, which we will denote by $\operatorname{Sing}_{\bullet }: \operatorname{Top}\rightarrow \operatorname{Set_{\Delta }}$.

Example 1.1.5.2. Let $X$ be a topological space and let $\operatorname{Sing}_{\bullet }(X)$ be its singular simplicial set. The vertices of $\operatorname{Sing}_{\bullet }(X)$ can be identified with points of $X$. The edges of $\operatorname{Sing}_{\bullet }(X)$ can be identified with continuous paths $p: [0,1] \rightarrow X$.

It will be convenient to consider a generalization of Construction 1.1.5.1.

Variant 1.1.5.3. Let $\operatorname{\mathcal{C}}$ be any category and let $Q^{\bullet }$ be a cosimplicial object of $\operatorname{\mathcal{C}}$, which we view as a functor $Q: \operatorname{{\bf \Delta }}\rightarrow \operatorname{\mathcal{C}}$. For every object $X \in \operatorname{\mathcal{C}}$, the construction $( [n] \in \operatorname{{\bf \Delta }}) \mapsto \operatorname{Hom}_{\operatorname{\mathcal{C}}}( Q( [n] ), X )$ determines a functor from $\operatorname{{\bf \Delta }}^{\operatorname{op}}$ to the category of sets, which we can view as a simplicial set. We will denote this simplicial set by $\operatorname{Sing}^{Q}_{\bullet }(X)$, so that we have canonical bijections $\operatorname{Sing}^{Q}_{n}(X) \simeq \operatorname{Hom}_{\operatorname{\mathcal{C}}}( Q^{n}, X)$. We view the construction $X \mapsto \operatorname{Sing}^{Q}_{\bullet }(X)$ as a functor from the category $\operatorname{\mathcal{C}}$ to the category of simplicial sets, which we denote by $\operatorname{Sing}^{Q}_{\bullet }: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$.

Example 1.1.5.4. The construction $[n] \mapsto | \Delta ^{n} |$ determines a functor from the simplex category $\operatorname{{\bf \Delta }}$ to the category $\operatorname{Top}$ of topological spaces, which assigns to each morphism $\alpha : [m] \rightarrow [n]$ the continuous map

\[ | \Delta ^{m} | \rightarrow | \Delta ^{n} | \quad \quad (t_0, \ldots , t_ m) \mapsto ( \sum _{\alpha (i) = 0} t_ i, \ldots , \sum _{\alpha (i)=n} t_ i). \]

We regard this functor as a cosimplicial topological space, which we denote by $| \Delta ^{\bullet } |$. Applying Variant 1.1.5.3 to this cosimplicial space yields a functor $\operatorname{Sing}^{ | \Delta |}_{\bullet }: \operatorname{Top}\rightarrow \operatorname{Set_{\Delta }}$, which coincides with the singular simplicial set functor $\operatorname{Sing}_{\bullet }$ of Construction 1.1.5.1.

Example 1.1.5.5. The construction $[n] \mapsto \Delta ^{n}$ determines a functor from the simplex category $\operatorname{{\bf \Delta }}$ to the category $\operatorname{Set_{\Delta }}= \operatorname{Fun}( \operatorname{{\bf \Delta }}^{\operatorname{op}}, \operatorname{Set})$ of simplicial sets (this is the Yoneda embedding for the simplex category $\operatorname{{\bf \Delta }}$). We regard this functor as a cosimplicial object of $\operatorname{Set_{\Delta }}$, which we denote by $\Delta ^{\bullet }$. Applying Variant 1.1.5.3 to this cosimplicial object, we obtain a functor from the category of simplicial sets to itself, which is canonically isomorphic to the identity functor $\operatorname{id}_{ \operatorname{Set_{\Delta }}}: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set_{\Delta }}$ (see Remark 1.1.2.3).

Remark 1.1.5.6. The cosimplicial space $| \Delta ^{\bullet } |$ of Example 1.1.5.4 can be described more informally as follows:

  • To each nonempty finite linearly ordered set $I$, it assigns a topological simplex $| \Delta ^{I} |$ whose vertices are the elements of $I$: that is, the convex hull of the set $I$ inside the real vector space $\operatorname{\mathbf{R}}[I]$ generated by $I$.

  • To every nondecreasing map $\alpha : I \rightarrow J$, the induced map $| \Delta ^{I} | \rightarrow | \Delta ^{J} |$ is given by the restriction of the $\operatorname{\mathbf{R}}$-linear map $\operatorname{\mathbf{R}}[I] \rightarrow \operatorname{\mathbf{R}}[J]$ determined by $\alpha $. Equivalently, it is the unique affine map which coincides with $\alpha $ on the vertices of the simplex $| \Delta ^{I} |$.