Lemma 31.12.10. Let $X$ be an integral locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. The following are equivalent

$\mathcal{F}$ is reflexive,

for each $x \in X$ one of the following happens

$\mathcal{F}_ x$ is a reflexive $\mathcal{O}_{X, x}$-module, or

$\text{depth}(\mathcal{F}_ x) \geq 2$.

## Comments (0)