Residue duality on the projective line
ID: residue-duality-on-the-projective-line
The coefficient of gives a trace on . Multiplication followed by this trace pairs the Laurent bases of the Čech cohomology of twists on the projective line perfectly: pairs with . For any vector bundle, evaluation into defines the same natural pairing. Saturate a rational rank-one subspace to a line subbundle, and induct on rank using the long exact sequence in sheaf cohomology and compatibility of evaluation with connecting maps. This proves the duality without using the later splitting theorem.
New to topics? Read the docs here!