Reider's theorem
In algebraic geometry, Reider's theorem gives conditions for a line bundle on a projective surface to be very ample.
Statement
Let D be a nef divisor on a smooth projective surface X. Denote by KX the canonical divisor of X.
- If D2 > 4, then the linear system |KX+D| has no base points unless there exists a nonzero effective divisor E such that
- , or
- ;
- If D2 > 8, then the linear system |KX+D| is very ample unless there exists a nonzero effective divisor E satisfying one of the following:
- or ;
- or ;
- ;
Applications
Reider's theorem implies the surface case of the Fujita conjecture. Let L be an ample line bundle on a smooth projective surface X. If m > 2, then for D=mL we have
- D2 = m2 L2 ≥ m2 > 4;
- for any effective divisor E the ampleness of L implies D · E = m(L · E) ≥ m > 2.
Thus by the first part of Reider's theorem |KX+mL| is base-point-free. Similarly, for any m > 3 the linear system |KX+mL| is very ample.
gollark: Yes, that too.
gollark: Which I don't think is worth it in most cases given the other tradeoffs.
gollark: Anyway, their software is... allegedly good, in some ways - I don't really like Apple's attitude in designing it, or much of what it does, and it's becoming increasingly locked down and uncool - but you're paying several hundred $ for that software.
gollark: Yes, of course.
gollark: Run 1/100th of Chrome?
References
- Reider, Igor (1988), "Vector bundles of rank 2 and linear systems on algebraic surfaces", Annals of Mathematics, Second Series, Annals of Mathematics, 127 (2): 309–316, doi:10.2307/2007055, ISSN 0003-486X, JSTOR 2007055, MR 0932299
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.