On the finite generation of the effective monoid of rational surfaces

We give a numerical criterion for ensuring the finite generation of the effective monoid of the surfaces obtained by a blowing-up of the projective plane at the supports of zero dimensional subschemes assuming that these are contained in a degenerate cubic. Furthermore, this criterion also ensures the regularity of any numerically effective divisor on these surfaces. Thus the dimension of any complete linear system is computed. On the other hand, in particular and among these surfaces, we obtain ringed rational surfaces with very large Picard numbers and with only finitely many integral curves of strictly negative self-intersection. These negative integral curves except two (−1)-curves are all contained in the support of an anticanonical divisor. Thus almost all the geometry of such surfaces is concentrated in the anticanonical class.