Cohomology ring of quaternionic projective space

ID: cohomology-ring-of-quaternionic-projective-space

The cell structure gives one integral cohomology generator in each degree divisible by four through . The Gysin sequence of a sphere bundle for the quaternionic tautological line bundle makes multiplication by its Euler class an isomorphism between successive such degrees. Choose to be the negative of that Euler class; its powers generate the displayed cohomology ring.

New to topics? Read the docs here!