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!