Lemma 52.16.11. In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$. Assume

$I = (f)$ is a principal ideal for a nonzerodivisor $f \in \mathfrak a$,

$\mathcal{F}_ n$ is a finite locally free $\mathcal{O}_ U/f^ n\mathcal{O}_ U$-module,

$H^1_\mathfrak a(A/fA)$ and $H^2_\mathfrak a(A/fA)$ are finite $A$-modules.

Then $(\mathcal{F}_ n)$ extends canonically to $X$. In particular, if $A$ is complete, then $(\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_ U$-module.

**Proof.**
We will prove this by verifying hypotheses (a), (b), and (c) of Lemma 52.16.10.

Since $\mathcal{F}_ n$ is locally free over $\mathcal{O}_ U/f^ n\mathcal{O}_ U$ we see that we have short exact sequences $0 \to \mathcal{F}_ n \to \mathcal{F}_{n + 1} \to \mathcal{F}_1 \to 0$ for all $n$. Thus condition (b) holds by Lemma 52.3.2.

As $f$ is a nonzerodivisor we obtain short exact sequences

\[ 0 \to A/f^ nA \xrightarrow {f} A/f^{n + 1}A \to A/fA \to 0 \]

and we have corresponding short exact sequences $0 \to \mathcal{F}_ n \to \mathcal{F}_{n + 1} \to \mathcal{F}_1 \to 0$. We will use Local Cohomology, Lemma 51.8.2 without further mention. Our assumptions imply that $H^0(U, \mathcal{O}_ U/f\mathcal{O}_ U)$ and $H^1(U, \mathcal{O}_ U/f\mathcal{O}_ U)$ are finite $A$-modules. Hence the same thing is true for $\mathcal{F}_1$, see Local Cohomology, Lemma 51.12.2. Using induction and the short exact sequences we find that $H^0(U, \mathcal{F}_ n)$ are finite $A$-modules for all $n$. In this way we see hypothesis (c) is satisfied.

Finally, as $H^1(U, \mathcal{F}_1)$ is a finite $A$-module we can apply Lemma 52.3.4 to see hypothesis (a) holds.
$\square$

## Comments (0)