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.