barycentric subdivision

1. Proposition

The elemenst \(\{bds_n\}_{n \geq 0}\) give rise to a natural chain map

\begin{align*} C^{\mathrm{sing}}_*(-) \rightarrow C^{\mathrm{sing}}_*(-) \end{align*}

which is naturally chain homotopic to the identity

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 08:49