Let $X$ be a noetherian, projective scheme, $\mathcal{F}$ be a reflexive sheaf on $X$ pure of dimension $\dim(X)$ and $Y \subset X$ be a closed subscheme of $X$. Is it possible that the pull-back of $\mathcal{F}$ to $Y$ is again reflexive?

## 1 Answer

Let $X$ be a noetherian integral scheme and $\mathscr F$ a coherent sheaf on $X$. If $\mathscr F$ is reflexive, then $\mathscr F\big|_H$ is torsion-free for any Cartier divisor $H \subset X$, and $\mathscr F\big|_H$ is reflexive if $H$ is a general element of a basepoint-free linear system (the notion of generality here of course depends on $\mathscr F$). If $\mathscr F$ is just torsion-free, then $\mathscr F\big|_H$ is still torsion-free for $H$ general.

Some references for this are Huybrechts-Lehn, ''The Geometry of Moduli Spaces of Sheaves'', Cor. 1.1.14, and Greb-Kebekus-Peternell, ''Étale fundamental groups of klt spaces'', Prop. 5.1 and 5.2.

2more comments