Global generation of positive twists on a smooth curve
ID: global-generation-of-positive-twists-on-a-smooth-curve
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 .
New to topics? Read the docs here!