A vector bundle is globally generated when its global sections span every fibre. The evaluation map in the display expresses this condition. On a projective curve its space of global sections is finite-dimensional, so a finite collection of sections suffices.
For a vector bundle of finite positive rank let be an upper degree bound for the line subbundles of . If , no nonzero map can exist for any point : its saturated image would have degree at least . Serre duality then gives . The evaluation exact sequence shows that is surjective at every point, proving the assertion with a uniform bound in .
Let be globally generated of rank on a projective curve, and put . The pairs with form the total space of the kernel of the evaluation map over the curve. This incidence variety has dimension . Its image in is closed because the curve is proper, and is a proper subset by the dimension bound. A section outside it vanishes nowhere and gives a line subbundle with locally free quotient.
Articles by others on the same topic
There are currently no matching articles.