Birational morphisms of rational surfaces (Q1355563)

The author proves, among other things, this theorem: Let \(X\) be a smooth projective rational surface with an effective anticanonical divisor \(-K_X\) and let \(L\) be an nef and big divisor on \(X\) satisfying either \(-K_X.L>0\), or \(-K_X.L=0\) and \(h^1(X,L)>0\). Then for all \(r\geq 3\) the divisor \(rL\) is effective and normally generated, its general section is smooth and irreducible, it is base point free and the image of \(\Phi|rL|\) is isomorphic to the normal surface obtained by contracting all curves \(C\) on \(X\) with \(C.L=0\).