Skip to main content
2 of 4
added 209 characters in body
Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98

I think the easiest way to understand the Bockstein spectral sequence is through the exact couple coming from the long exact sequence of cohomology associated to $0\to\mathbb Z\to\mathbb Z\to \mathbb Z/2\to0$. This shows first that indeed the first differential is $Sq^1$ and tells you that the next page is the direct sum of the cokernel and kernel (shifted one step) of multiplication by $2$ on $2H^\ast(X,\mathbb Z)$. Hence it is like what you would get from applying the universal coefficient formula to $2H^\ast(X,\mathbb Z)$ (instead of $H^\ast(X,\mathbb Z)$) when each cohomology group $H^\ast(X,\mathbb Z)$ this means concretely that you "keep" each $\mathbb Z$-factor (as well as odd torsion) and downgrade each $\mathbb Z/2^n$ to $\mathbb Z/2^{n-1}$.

In particular the difference between the dimension of $H^n(X,\mathbb Z/2)$ and that of the $Sq^1$-cohomology is equal to the number of $\mathbb Z/2$-factors in $H^n(X,\mathbb Z)$ and $H^{n+1}(X,\mathbb Z)$

Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98