For a manifold $X$ (for simplicity, assumed to be compact), let $\pi_1(X)$ be the fundamental group of $X$. What is the cokernel of the map $$H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow H^2(X,\mathbb Z).$$ The above map is as in Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$.
This is about manifolds, homotopy groups, and cohomology, hence is algebric topology.
Will Sawin
- 148.4k
- 9
- 324
- 563