Let XnP2 be the
monoidal transformation of the (complex) projective plane centered at distinct points
P1,…,Pn of P2. We recall that the Néron-Severi group of Xn is freely generated by
the divisor class [L] of the proper transform L of a line in P2 and by the classes
[Ei] of the “exceptional” fibers Ei over Pi; the intersection pairing is given
by
Let ℳ(Xn) denote the monoid of elements F in the Néron-Severi group with
the property that F contains an effective divisor.