# Mori Cone of a surface

Suppose we have generic surface in a Toric variety (say an elliptically fibered 3-fold), it can be branched over a divisor too, and suppose we actually know the complete set of divisors over this surface (where the number them is the same as the Picard number), and their intersection form. So can anyone help me to see how can I find a new set of basis such that every effective divisor can be expended in terms of them with positive integer coefficients (i.e. to find it's Mori Cone, if I'm right).

Thanks a lot,

If you know some extra information about your surface, then things become more tractable. For example, if you know it is an abelian surface, then the Mori cone is just one "half" of the positive cone of the intersection form. (Of course, a surface in a smooth toric 3-fold can't be abelian, so this doesn't help for your special case). If you know it is a K3 surface, then its Mori cone is spanned by the positive cone plus the classes of all $(-2)$-curves, and these may be possible to find explictly. There are similar descriptions for Enriques surfaces.
Apart from these special cases, the main tool available is the Cone Theorem. That tells you that the extremal rays of the cone in the $K$-negative part of $NS(X)$ are spanned by $(-1)$-curves. If your surface is e.g. rational, and not too complicated, that might be enough to find the whole cone. For example, this idea lets you determine the Mori cones of all del Pezzo surfaces, plus (with a few extra arguments) the Mori cone of the blow-up of $\mathbf P^2$ in 9 very general points. (Note that in the latter case, the cone has infinitely many extremal rays.)
Beyond this, the only technique I know is to guess and check. This means the following. Suppose you have some collection $\{[C_i]\}_{i \in I}$ of effective curve classes. Then their span $\Gamma = \bigoplus_{i \in I} \mathbf R_+ [C_i]$ is a subcone of the Mori cone. That means that the dual cone $\Gamma^\vee$ contains the nef cone $Nef(X)$. If, by fair means or foul, you can prove that every class in $\Gamma^\vee$ is actually nef, then you can conclude that $\Gamma^\vee=Nef(X)$ and hence that $\Gamma$ is the Mori cone. How could you prove that? For example by finding the extremal rays of $\Gamma^\vee$, and showing that each one is spanned by a basepoint-free divisor. This requires understanding the geometry of your surface.