Lemma 31.29.3. Let $X$ be an integral locally Noetherian normal scheme. Let $\mathcal{F}$ be a rank 1 coherent reflexive $\mathcal{O}_ X$-module. Let $s \in \Gamma (X, \mathcal{F})$. Let

$U = \{ x \in X \mid s : \mathcal{O}_{X, x} \to \mathcal{F}_ x \text{ is an isomorphism}\}$

Then $j : U \to X$ is an open subscheme of $X$ and

$j_*\mathcal{O}_ U = \mathop{\mathrm{colim}}\nolimits (\mathcal{O}_ X \xrightarrow {s} \mathcal{F} \xrightarrow {s} \mathcal{F}^{} \xrightarrow {s} \mathcal{F}^{} \xrightarrow {s} \ldots )$

where $\mathcal{F}^{} = \mathcal{F}$ and inductively $\mathcal{F}^{[n + 1]} = (\mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{F}^{[n]})^{**}$.

Proof. The set $U$ is open by Modules, Lemmas 17.9.4 and 17.12.6. Observe that $j$ is quasi-compact by Properties, Lemma 28.5.3. To prove the final statement it suffices to show for every quasi-compact open $W \subset X$ there is an isomorphism

$\mathop{\mathrm{colim}}\nolimits \Gamma (W, \mathcal{F}^{[n]}) \longrightarrow \Gamma (U \cap W, \mathcal{O}_ U)$

of $\mathcal{O}_ X(W)$-modules compatible with restriction maps. We will omit the verification of compatibilities. After replacing $X$ by $W$ and rewriting the above in terms of homs, we see that it suffices to construct an isomorphism

$\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(\mathcal{O}_ X, \mathcal{F}^{[n]}) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ U}(\mathcal{O}_ U, \mathcal{O}_ U)$

Choose an open $V \subset X$ such that every irreducible component of $X \setminus V$ has codimension $\geq 2$ in $X$ and such that $\mathcal{F}|_ V$ is invertible, see Lemma 31.12.13. Then restriction defines an equivalence of categories between rank $1$ coherent reflexive modules on $X$ and $V$ and between rank $1$ coherent reflexive modules on $U$ and $V \cap U$. See Lemma 31.12.12 and Serre's criterion Properties, Lemma 28.12.5. Thus it suffices to construct an isomorphism

$\mathop{\mathrm{colim}}\nolimits \Gamma (V, (\mathcal{F}|_ V)^{\otimes n}) \longrightarrow \Gamma (V \cap U, \mathcal{O}_ U)$

Since $\mathcal{F}|_ V$ is invertible and since $U \cap V$ is equal to the set of points where $s|_ V$ generates this invertible module, this is a special case of Properties, Lemma 28.17.2 (there is an explicit formula for the map as well). $\square$

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).