Nowhere-vanishing section of a globally generated bundle on a curve

ID: nowhere-vanishing-section-of-a-globally-generated-bundle-on-a-curve

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.

New to topics? Read the docs here!