Projective-space quotient as a Thom space of conjugate tautological lines

ID: projective-space-quotient-as-a-thom-space-of-conjugate-tautological-lines

Decompose the ambient vector space as , of dimensions . A projective line outside is the graph of a unique linear map from a line in to . Thus the complement is the total space of , which is complex-isomorphic to after choosing a Hermitian metric. Collapsing gives its one-point compactification, hence the Thom space because the base is compact.
// Target: geometry-and-topology.bigb

New to topics? Read the docs here!