Lemma 31.12.10 (0AY5)—The Stacks project

Loading web-font TeX/Math/Italic

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
1. $\mathcal{F}_ x$ is a reflexive $\mathcal{O}_{X, x}$ -module, or
2. $\text{depth}(\mathcal{F}_ x) \geq 2$ .

Proof. Omitted. See More on Algebra, Lemma 15.23.15. $\square$

Comments (0)

There are also:

2 comment(s) on Section 31.12: Reflexive modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment