Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-15/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 15 4 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Take the compact Riemann surface and the holomorphic vector bundle . For every positive integer , use homogeneous coordinates and the mapThe two sections never vanish together on . Thus this map has rank one at every point; locally one of its two components is invertible in suitable line-bundle frames, so its image is a genuine holomorphic subbundle and its quotient is a locally free sheaf. More explicitly, there is an exact sequenceExactness follows fibrewise from the absence of a common zero and hence also locally as a sequence of vector bundles. The image is isomorphic to and has rank one, soThus there need not be a lower bound for subbundle slopes, even for a fixed trivial rank-two bundle. Merely multiplying a section of one fixed subline by a function with zeros would not suffice: that could give only a subsheaf with a torsion quotient. The nowhere-simultaneously-zero pair above avoids that problem and realizes unbounded negative degrees of line subbundles.
New to topics? Read the docs here!