1
$\begingroup$

Let $f:X\rightarrow Y$ be a finite morphism between normal varieties. Let $E$ be a vector bundle on $X$ and let us consider its pushforwad $f_{*}E$.

Does anyone know an example where $E$ is nef but $f_{*}E$ is not nef ?

$\endgroup$

2 Answers 2

5
$\begingroup$

Take $f:X\rightarrow Y$ a double covering of smooth varieties, branched along an ample divisor $D$. Then there is a line bundle $L$ such that $D$ is the zero divisor of a section of $L^2$, and $f_*\mathcal{O}_X=\mathcal{O}_X\oplus L^{-1}$, which is certainly not nef.

$\endgroup$
0
$\begingroup$

Let $f:X\rightarrow Y$ be a finite separable morphism of degree two between two smooth curves. Let $R\subset X$ be the ramification divisor and $B = f_{*}R\subset Y$ the branch divisor. Then $$(det f_{*}\mathcal{O}_{X})^{2}\cong\mathcal{O}_{Y}(-B)$$ and $\mathcal{O}_{Y}(-B)$ is not nef.

$\endgroup$
2
  • $\begingroup$ Sorry, I did not do it on purpose. Anyway, now it is fixed. $\endgroup$
    – Puzzled
    Oct 23, 2013 at 17:01
  • $\begingroup$ ok, thanks. I'll delete my previous comment. $\endgroup$
    – user5117
    Oct 24, 2013 at 13:51

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.