1
$\begingroup$

Let $D=\sum d_iD_i$ be an exceptional divisor on a smooth projective surface $X$. i.e., the intersection matrix $(D_i.D_j)$ is negative definite.

I have 2 stupid questions.

  1. Fix an ample divisor $A$ on $X$. Then why do there exist $r_i\in \mathbb{Q}$ s.t. $(\sum r_iD_i).D_j=-(A.D_j)$ for every $j$? (Why negative definiteness of $(D_i.D_j)$ implies this?)

  2. If $\sum r_iD_i$ is effective and $(\sum r_iD_i).D_j=0$ for all $j$, then $r_i>0$ for all $i$

Thanks.

$\endgroup$
2
  • $\begingroup$ I don't know the answers, but are you familiar with the standard reference on the topic by M. Artin? mathoverflow.net/questions/123375/… $\endgroup$
    – roy smith
    May 18, 2013 at 15:24
  • 1
    $\begingroup$ 1) is elementary linear algebra: the $r_i$ are the unknowns in a $mxm$ linear system (where $m$ is the number of the $D_i$) and the linear system has a unique solution because the matrix $(D_iD_j)$ has maximal rank. I don't understand 2): taking $r_i=0$ for every $i$ seems to give a contradiction to the claim. $\endgroup$
    – rita
    May 19, 2013 at 15:14

1 Answer 1

2
$\begingroup$

As Rita points out, 1) is trivial, because the matrix $(D_i\cdot D_j)$ is invertible. Also, as she points out, the second statement is not quite true. Well, actually, it is completely false. Again by the fact that the matrix $(D_i\cdot D_j)$ is invertible, if $(\sum r_iD_i)\cdot D_j=0$ for all $j$, then necessarily $r_i=0$ for all $i$. On the other hand, this is easily fixable.

In fact, one can make a somewhat stronger statement:

Claim If the $r_i$ are arbitrary and $(\sum r_iD_i)\cdot D_j\leq 0$ for all $j$, then $r_i\geq 0$, that is, $\sum r_iD_i$ is effective and if furthermore $\cup D_i$ is connected and there exists a $j$ such that $(\sum r_iD_i)\cdot D_j\neq 0$, then $r_i>0$ for all $i$.

Proof Let $\sum r_iD_i=A-B$ with $A,B$ effective and suppose $B\neq 0$. Then $B^2<0 \leq A\cdot B$, so $$ 0 < A\cdot B - B^2= \left(\sum r_iD_i\right)\cdot B = \sum_{r_j<0} (-r_j)\left(\sum r_iD_i\right)\cdot D_j \leq 0, $$ which is a contradiction and hence $B=0$, that is, $\sum r_iD_i$ is effective.

Next we want to prove that if there exists a $k$ such that $r_k=0$, then $(\sum r_iD_i)\cdot D_j=0$ for all $j$. Let $k$ be such that $r_k=0$. Then $$ \left(\sum r_iD_i\right)\cdot D_k = \sum_{i: D_i\cdot D_k>0} r_i (D_i\cdot D_k) \geq 0. $$

Now if there exists a $j$ among these such that $r_j\neq 0$, then $\left(\sum r_iD_i\right)\cdot D_k>0$, otherwise $r_j=0$ for all $j$ such that $D_j\cap D_k\neq \emptyset$. Now repeat this step with one of these $j$'s. Since $\cup D_i$ is connected, this proves the claim. $\square$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.