Let $f:X\to Y$ be a birational morphism, $X, Y$ projective, $X$ smooth (threefold if this helps). Let $Exc(f)\subseteq X$ be the exceptional locus of $f$ and let $E\subseteq Exc(f)$ be an irreducible divisor. Is it true that for any curve $C\subseteq E$ contracted by $f$ one has $C\cdot E<0$? I can see this is true if $C$ is not contained in any other divisor sitting in $Exc(f)$, but what if it is?
negativity of contraction
Carlos
- 161
- 1
- 7