Constancy of line bundle degree in a family

ID: constancy-of-line-bundle-degree-in-a-family

For a line bundle on , with a smooth projective curve, this function is locally constant. Twist both and by a large power of an ample line bundle on . Near a chosen fiber their first sheaf cohomology groups vanish. The Riemann-Roch theorem and upper semicontinuity of their zeroth sheaf cohomology groups then bound the degree from above and below by the degree on that fiber. Connectedness of is necessary for a single constant across all fibers.

New to topics? Read the docs here!