Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 113 1 b Solution Created 2026-09-24 Updated 2026-09-25
On the standard charts and of , a section of the twisting sheaf on projective space is represented by a degree-zero element of the corresponding localization of . A global section is therefore a homogeneous polynomial of degree when . There are no nonzero global sections for . Hence
Local isomorphism on every member of a fixed affine cover does not imply a global isomorphism: the local identifications may have different transition functions. For example, and are both trivial on the two standard affine charts of , but they are not isomorphic because their spaces of global sections have dimensions one and two.
An injective map between line bundles need not be an isomorphism. Multiplication by a nonzero section giveson ; its cokernel is a nonzero skyscraper sheaf supported at the zero of the section.