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 .
Articles by others on the same topic
There are currently no matching articles.