Reider's theorem

In algebraic geometry, Reider's theorem gives conditions for a line bundle on an 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 L+K is very ample provided that L is nef, L²≥10, and there is no effective divisor D with D.L=0, D² = −1 or −2, or D.L=−1, D² = 0 or −1, or D.L=−2, D² = 0.