Reider's theorem

In algebraic geometry, Reider's theorem gives conditions for a line bundle on a projective surface to be very ample.

Statement

Suppose that L is a line bundle on a smooth projective surface with canonical bundle K. Then Reider's theorem states that if L is nef, L2  10, and two (possibly infinitely near) points x and y are not separated by L + K then there is effective divisor D containing x and y with D . L = 0, D2 = 1 or 2, or D.L = 1, D2 = 0 or 1, or D.L = 2, D2 = 0.

References

This article is issued from Wikipedia - version of the Tuesday, February 17, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.