# Kerodon

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

Variant 3.2.4.5. Let $f: X \rightarrow S$ be a Kan fibration between Kan complexes, let $s$ be a vertex of $S$, and set $X_{s} = \{ s\} \times _{S} X$. Then there is a unique left action $a: \pi _{1}(S,s) \times \pi _0(X_ s) \rightarrow \pi _0(X_ s)$ of the fundamental group $\pi _{1}(S,s)$ on $\pi _0(X_ s)$ with the following property;

$(\ast )$

For each element $\eta \in \pi _{1}(S,s)$ and each vertex $x$ of $X_{s}$, we have $a(\eta , [x]) = \partial _ x( \eta )$, where $\partial _ x: \pi _{1}(S,s) \rightarrow \pi _0( X_ s, x) = \pi _0( X_ s )$ is given by Proposition 3.2.4.2.

Proof. We first show that the function $a$ is well-defined: that is, that the map $\partial _{x}: \pi _{1}(S,s) \rightarrow \pi _0( X_ s )$ depends only on the image of $x$ in $\pi _0( X_ s )$. Fix an element $\eta \in \pi _{1}(S,s)$, which we can write as the homotopy class of an edge $v: s \rightarrow s$ in the Kan complex $S$. Let $x$ and $x'$ be vertices belonging to the same connected component of $X_{s}$, so that there exists an edge $u: x' \rightarrow x$ of $X$ satisfying $f(u) = \operatorname{id}_{s}$. We wish to show that $\partial _{x}( \eta ) = \partial _{x'}(\eta )$ in $\pi _0(X_ s)$. Since $f$ is a Kan fibration, we can lift $v$ to an edge $\widetilde{v}: x \rightarrow y$ in $X$. Using the fact that $f$ is a Kan fibration, we can solve the lifting problem

$\xymatrix@R =50pt@C=50pt{ \Lambda ^{2}_{1} \ar [r]^-{( \widetilde{v}, \bullet , u)} \ar [d] & X \ar [d]^{f} \\ \Delta ^{2} \ar [r]^-{ s_0( v)} \ar@ {-->}[ur]^-{\sigma } & S }$

to obtain a $2$-simplex $\sigma$ of $X$ depicted in the diagram

$\xymatrix@R =50pt@C=50pt{ & x \ar [dr]^{ \widetilde{v} } & \\ x' \ar [ur]^{u} \ar [rr]^{ \widetilde{v}' } & & y. }$

The edges $\widetilde{v}$ and $\widetilde{v}'$ then witness the identities $\partial _{x}(\eta ) = [y] = \partial _{x'}(\eta )$ in $\pi _{0}(X_ s)$.

We now complete the proof by showing that the function $a: \pi _{1}(S,s) \times \pi _0(X_ s) \rightarrow \pi _0( X_ s)$ determines a left action of $\pi _{1}(S,s)$ on $\pi _0(X_ s)$. Note that the identity element of $\pi _{1}(S,s)$ is given by the homotopy class of the degenerate edge $\operatorname{id}_{s}: s \rightarrow s$ of $S$. For each $x \in X_{s}$, we can lift $\operatorname{id}_{s}$ to the edge $\operatorname{id}_{x}: x \rightarrow x$ of $X$, which witnesses the identity $a( [\operatorname{id}_ s], [x] ) = \partial _{x}( [\operatorname{id}_ x]) = [x]$ in $\pi _0(X_ s)$. To complete the argument, it will suffice to show that for every pair of edges $g,g': s \rightarrow s$ of $S$ and every vertex $x \in X_ s$, we have an equality $a( [g'] [g], [x] ) = a( [g'], a( [g], [x] ))$ in $\pi _0(X_ s)$. Since $f$ is a Kan fibration, we can lift $g$ to an edge $\widetilde{g}: x \rightarrow y$ in $X$, and $g'$ to an edge $\widetilde{g}': y \rightarrow z$ in $X$. Since $X$ is a Kan complex, the map $( \widetilde{g}', \bullet , \widetilde{g} ): \Lambda ^2_1 \rightarrow X$ can be completed to a $2$-simplex $\sigma$ of $X$, as depicted in the diagram

$\xymatrix@R =50pt@C=50pt{ & y \ar [dr]^{ \widetilde{g}' } & \\ x \ar [ur]^{ \widetilde{g} } \ar [rr]^{ \widetilde{g}''} & & z. }$

The edges $\widetilde{g}$, $\widetilde{g}$, and $\widetilde{g}''$ then witness the identities $a( [g], [x] ) = [y]$, $a( [g'], [y]) = [z]$, and $a( [g'] [g], [x]) = [z]$ (respectively), so that we have an equality

$a( [g'] [g], [x] ) = [z] = a([g'], [y]) = a( [g]', a( [g], [x] ))$

as desired. $\square$