Let $f:X\rightarrow Y$ be a birational map of smooth projective varieties over complex numbers. Let $E$ be a vector bundle on $X$. Will $f_*E$ be a reflexive sheaf. Is it possible to impose some additional conditions to ensure that the direct image is a reflexive sheaf?
$\begingroup$
$\endgroup$
6
-
$\begingroup$ you can take double dual $(f_∗E)^{**} $. $\endgroup$– user21574Jun 13, 2016 at 9:47
-
$\begingroup$ @Hassan Jolany Sorry I don't understand your comment. Can you elaborate? Even $(f_*E)^*$ will be reflexive right?. But I am interested to know when $f_*E$ itself is reflexive $\endgroup$– gradstudentJun 13, 2016 at 9:49
-
1$\begingroup$ read this paper of Hartshorne gdz.sub.uni-goettingen.de/dms/load/img/?PID=GDZPPN002320002 $\endgroup$– user21574Jun 13, 2016 at 9:57
-
6$\begingroup$ Take for $f$ the simplest example of birational morphism, the blowing up of a point $p$ in a surface; let $E$ be the exceptional divisor. Then $f_*\mathcal{O}(-E)$ is the ideal sheaf of $p$, which is not reflexive. $\endgroup$– abxJun 13, 2016 at 10:30
-
1$\begingroup$ @ abx - I think your comment is so elegant you really ought to consider making it an answer so that people searching this will see it. $\endgroup$– mehJun 13, 2016 at 14:36
|
Show 1 more comment
1 Answer
$\begingroup$
$\endgroup$
As requested I put my comment into an answer: take for $f$ the simplest example of birational morphism, the blowing up of a point $p$ in a surface; let $E$ be the exceptional divisor. Then $f_*\mathcal{O}(-E)$ is the ideal sheaf of $p$, hence is not reflexive.
