Upper degree bound for line subbundles on a smooth curve

ID: upper-degree-bound-for-line-subbundles-on-a-smooth-curve

Choose a rational basis of the dual of a vector bundle and an effective divisor bounding all its poles. Evaluation gives a generically injective map . A line subbundle maps nontrivially to at least one summand, so has a nonzero regular section. Consequently . This bound depends on and the chosen rational frame, and does not require to be stable.

New to topics? Read the docs here!