Lemma 52.17.1. In Situation 52.16.1. Let $(\mathcal{F}_ n) \to (\mathcal{F}'_ n)$ be a morphism of $\textit{Coh}(U, I\mathcal{O}_ U)$ whose kernel and cokernel are annihilated by a power of $I$. Then

$(\mathcal{F}_ n)$ extends to $X$ if and only if $(\mathcal{F}'_ n)$ extends to $X$, and

$(\mathcal{F}_ n)$ is the completion of a coherent $\mathcal{O}_ U$-module if and only if $(\mathcal{F}'_ n)$ is.

## Comments (0)