# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Proposition 1.2.4.7. Let $0 \leq i \leq n$ be integers with $n > 0$. For any simplicial set $S_{\bullet }$, the map

$\operatorname{Hom}_{\operatorname{Set_{\Delta }}}( \Lambda ^{n}_{i}, S_{\bullet } ) \rightarrow (S_{n-1})^{n} \quad \quad f \mapsto \{ f \circ \delta ^{j}_{n} \} _{0 \leq j \leq n, j \neq i}$

is an injection, whose image is the collection of “incomplete” sequences

$( \sigma _0, \ldots , \sigma _{i-1}, \bullet , \sigma _{i+1}, \ldots , \sigma _ n)$

which satisfy the identity $d^{n-1}_ j(\sigma _ k) = d^{n-1}_{k-1}( \sigma _{j})$ for $j, k \in [n] \setminus \{ i\}$ with $j < k$.

Proof. We proceed as in the proof of Proposition 1.1.4.13, with minor modifications. Set $Q = [n] \setminus \{ i\}$ and let $w: \coprod _{\ell \in Q} \Delta ^{n-1} \rightarrow \Lambda ^{n}_{i}$ be the map given on the $\ell$th summand by $\delta ^{\ell }_{n}$. To prove the first assertion of Proposition 1.2.4.7, we must show that $w$ is an epimorphism of simplicial sets: that is, it is surjective on $m$-simplices for each $m \geq 0$. In fact, we can be a bit more precise. Let $\alpha$ be an $m$-simplex of $\Delta ^{n}$, which we identify with a nondecreasing function from $[m]$ to $[n]$. Then $\alpha$ belongs to the boundary $\Lambda ^{n}_{i}$ if and only its image does not contain $Q$: that is, if and only if there exists some integer $j \in Q$ such that $\alpha$ factors through $[n] \setminus \{ j \}$. In this case, there is a unique $m$-simplex $\beta _{j}$ which belongs to the $j$th summand of $\coprod _{\ell \in Q} \Delta ^{n-1}$ and satisfies $w( \beta _ j ) = \alpha$.

For every integer $\ell \in Q$, let $u_{\ell }: \coprod _{j \in Q, j < \ell } \Delta ^{n-2} \rightarrow \Delta ^{n-1}$ be the map given on the $j$th summand by $\delta ^{j}_{n-1}$, and let $v_{\ell }: \coprod _{k \in Q, k > \ell } \Delta ^{n-2} \rightarrow \Delta ^{n-1}$ be the map given on the $k$th summand by $\delta ^{k-1}_{n-1}$. Passing to the coproduct over $\ell$ and reindexing, we obtain a pair of maps

$(u,v): \coprod _{j,k \in Q, j < k} \Delta ^{n-2} \rightrightarrows \coprod _{\ell \in Q} \Delta ^{n-1}.$

Let $\operatorname{Coeq}(u,v)_{\bullet }$ denote the coequalizer of $u$ and $v$ in the category of simplicial sets. The morphism $w$ satisfies $w \circ u = w \circ v$ (see Remark 1.1.1.7), and therefore factors uniquely through a map $\overline{w}: \operatorname{Coeq}(u,v) \rightarrow \Lambda ^{n}_{i}$. Proposition 1.2.4.7 asserts that $\overline{w}$ is an isomorphism of simplicial sets: that is, for every integer $m \geq 0$, it induces a bijection from $\operatorname{Coeq}(u,v)_{m}$ to the set of $m$-simplices of $\Lambda ^{n}_{i}$. The surjectivity of this map was established above. To prove injectivity, it will suffice to observe that if $\alpha : [m] \rightarrow [n]$ is as above and we are given two elements $j,k \in Q$ which do not belong to the image of $\alpha$, then $\beta _{j}$ and $\beta _{k}$ have the same image in $\operatorname{Coeq}(u,v)_{\bullet }$. If $j = k$, this is automatic; we may therefore assume without loss of generality that $j < k$. In this case, the desired result follows from the observation that we can write $\beta _ k = u(\gamma )$ and $\beta _ j = v(\gamma )$, where $\gamma$ is the $m$-simplex of the $(j,k)$th summand of $\coprod _{j,k \in Q, j < k} \Delta ^{n-2}$ corresponding to the nondecreasing function $[m] \xrightarrow {\alpha } [n] \setminus \{ j < k \} \simeq [n-2]$. $\square$