Skip to main content
2 of 3
Capitalise title
LSpice
  • 12.9k
  • 4
  • 45
  • 69

"Singular homology = simplicial homology" relative to a fibration

Let $p:E\to B$ be a fibration. Suppose $B$ has a simplicial decomposition. For each $n\in\mathbb{Z}_{\ge0}$, let $C_n$ be the free abelian group generated by the set of pairs $(\sigma,\tau)$ where $\sigma:\Delta^n\to E$ is a singular simplex, $\tau:\Delta^n\to B$ is a simplicial simplex, and $\tau=p\circ\sigma$. There is a boundary operator $\partial:C_n\to C_{n-1}$ defined in the usual way, making use of the faces of $\Delta^n$. Clearly $\partial\circ\partial=0$, and $(C_*,\partial)$ is a chain complex.

My question is: Is the homology of $(C_*,\partial)$ isomorphic to the singular homology of $E$?

Yeah
  • 357
  • 1
  • 5