Complex inclusion into quaternionic projective space
ID: complex-inclusion-into-quaternionic-projective-space
Coordinate inclusion of complex vectors sends a complex line to its quaternionic span. If two such vectors span the same quaternionic line, a nonzero complex coordinate forces their scalar ratio to be complex, so this map is injective. The pulled-back quaternionic tautological line bundle splits as with complex first Chern classes . Its top Chern class, and thus Euler class, is . With the negative Euler generator, and . The map on infinite projective spaces is injective on cohomology; a finite inclusion loses the degrees with .
New to topics? Read the docs here!