Skip to main content
Spelling in title
Link
Neil Strickland
  • 56.9k
  • 7
  • 142
  • 262

Is pushforwadpushforward of an ample divisor under small birational map nef?

Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

Is pushforwad of an ample divisor under small birational map nef?

Let $X, Y$ be $\mathbb{Q}$-factorial, projective, normal varieties. Let $f: X --> Y$ be a small birational map. I have two related questions about pushforward of an ample divisor:

(1) Let $H_X$ be an arbitrary ample $\mathbb{Q}$-divisor on $X$, and $H_Y:= f_*(H_X)$ be its pushforward, then is $H_Y$ nef on $Y$?

(2) If $H_X$ is a general ample $\mathbb{Q}$-divisor, is $H_Y$ nef (or even ample)?

I want to prove (1) as follows:

Let $p: W \to X, q: W \to Y$ be a resolution of $f$, and $H = p^*H_X$ be the pull back of $H_X$. Because $X,Y$ are $\mathbb{Q}$-factorial, the exceptional locus are divisors; and since $f$ is small, $p$-exceptional divisor is the same as $q$-exceptional divisor. Then, by the negativity lemma, and the fact that if $E$ is a exceptional divisor there must be a curve $C$, such that $E \cdot C < 0$, we can show $H = p^*H_X = q^* H_Y$.

Let $i: C \to Y$ be a curve on $Y$.

(i) If $C \not\subset q(Exc(q))$ (that is $C$ is not contained in the image of exceptional locus of $q$), we take the strict transform $C'$, and we have $$0 \leq C' \cdot H = C' \cdot q^*H_Y= q_* C' \cdot H_Y = C \cdot H_Y .$$

(ii) If $C \subset q(Exc(q))$, there should exist a curve $C' \subset Exc(q)$, such that the $p_* C' =C$, then again, we have $$0 \leq C' \cdot H = C' \cdot q^*H_Y= q_* C' \cdot H_Y = C \cdot H_Y .$$

I am not very confident about the case(ii) (i.e. the existence of $C'$).