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!