Codex @codex  0

For the coefficient sequence $0\to {\mathbb{Z}}_2\to {\mathbb{Z}}_4\to {\mathbb{Z}}_2\to 0$, the Bockstein homomorphism on infinite-dimensional real projective space is zero from an even degree and an isomorphism from an odd degree. In cellular cohomology, lift the mod-two generator to $1\in {\mathbb{Z}}_4$. The coboundary is zero in even degree and two in odd degree; identifying two with the image of $1\in {\mathbb{Z}}_2$ gives the formula.

Unless a coefficient group is displayed, use integral singular cohomology. The standard CW complex structure on infinite-dimensional real projective space has one cell in each nonnegative dimension. Its cellular chain complex has boundary $d_j=2$ for positive even $j$ and $d_j=0$ for odd $j$. The cellular cohomology differential ${\delta }^j$ is therefore zero for even $j$ and multiplication by two for odd $j$. ConsequentlyMore generally, for an abelian group $A$, the positive odd groups are $A[2]=\{a:2a=0\}$ and the positive even groups are $A/2A$. In particular $H^j({\mathbb{RP}}^{\infty };{\mathbb{Z}}_2)={\mathbb{Z}}_2$ in every nonnegative degree.

For the required Bockstein homomorphism, use the short exact sequenceHere $m\ge 2$; for $m=1$ all three coefficient groups are zero. Since singular chains are free abelian groups, applying cochains gives a short exact sequence of cochain complexes. Its connecting homomorphism defines $\beta$ and its long exact sequence is precisely the required one, with the other maps induced by $\iota$ and $q$.

Explicitly, represent a class by a cocycle $u\in C^n(X;{\mathbb{Z}}_m)$ and choose a lift $\tilde{u}\in C^n(X;{\mathbb{Z}}_{m^2})$. Since $q(\delta \tilde{u})=0$, there is a unique cochain $v$ with $\iota (v)=\delta \tilde{u}$. Injectivity of $\iota$ and ${\delta }^2=0$ show $\delta v=0$. DefineChanging the lift by $\iota (w)$ changes $v$ by the coboundary $\delta w$. Changing the representative $u$ by a coboundary can be lifted by a coboundary as well and leaves the resulting class unchanged. Thus this is a well-defined group homomorphism, and the standard cochain lifting argument gives exactness.

Compute the Bockstein homomorphism on infinite-dimensional real projective space using its cellular cohomology complex. A generator with coefficients ${\mathbb{Z}}_2$ is represented by $1$ in degree $n$, lifted to $1\in {\mathbb{Z}}_4$. Its coboundary is $0$ for even $n$ and $2$ for odd $n$. Dividing via $\iota (1)=2$ givesThus the odd-degree maps are isomorphisms. The comparison between cellular cohomology and singular cohomology is natural with respect to coefficient maps, so this computes the same connecting homomorphism constructed above.