Skip to main content
2 of 3
This is about manifolds, homotopy groups, and cohomology, hence is algebric topology.
Will Sawin
  • 148.4k
  • 9
  • 324
  • 563

What is the cokernel of the map $H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow H^2(X,\mathbb Z).$

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})$.

Pyramid
  • 288
  • 1
  • 7