The standard CW complex structure on Real projective space has one cell in each dimension from zero to three. Its integral cellular boundary is multiplication by in even positive degrees and zero in odd degrees. Thus the integral cellular cochain complex for isin degrees . With coefficients , all its differentials vanish, so every one of these four cohomology groups is one-dimensional.
The lift-and-divide construction of the Bockstein homomorphism turns the integral differential into modulo . Therefore is an isomorphism, while the maps from degrees are zero. The Bockstein cohomology is consequentlyFor comparison, in the mod-two cohomology ring of real projective space , , this says , and . The last two formulas also follow from the Bockstein derivation rule and the truncation .
Articles by others on the same topic
There are currently no matching articles.