Bockstein on infinite real projective space
ID: bockstein-on-infinite-real-projective-space
For the coefficient sequence , 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 . The coboundary is zero in even degree and two in odd degree; identifying two with the image of gives the formula.
New to topics? Read the docs here!