2
$\begingroup$

I have seen the following statement being used in different papers but never saw a proof:

If $f:X\rightarrow Y$ is a flat morphism between normal varieties and $\mathcal F$ is a reflexive sheaf on $Y$ (i.e. $\mathcal F^{\vee\vee}\cong\mathcal F$). Then the pull-back $f^*\mathcal F$ is a reflexive sheaf on $X$.

Does someone know an easy way to prove this or a paper or book where it is proven?

Improve this question
$\endgroup$

2 Answers 2

Reset to default
5
$\begingroup$

See Proposition 1.8 in

R. Hartshorne, Stable reflexive sheaves, Math. Ann. 254 (1980), 121-176. ZBL0431.14004.

Improve this answer
$\endgroup$
2
$\begingroup$

This is a pretty straightforward statement. The point is that pull-back via a flat morphism commutes with the formation of $\mathscr H\!om$ (essentially because then the pull-back is exact).
So the pull-back of the dual is the dual, etc.

Improve this answer
$\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.