Lemma 115.4.17. Let $A$ be a Noetherian ring. Let $f \in \mathfrak a$ be an element of an ideal of $A$. Let $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

1. $A$ has a dualizing complex and is complete with respect to $f$,

2. $A_ f$ is $(S_2)$ and for every minimal prime $\mathfrak p \subset A$, $f \not\in \mathfrak p$ and $\mathfrak q \in V(\mathfrak p) \cap V(\mathfrak a)$ we have $\dim ((A/\mathfrak p)_\mathfrak q) \geq 3$.

Then the completion functor

$\textit{Coh}(\mathcal{O}_ U) \longrightarrow \textit{Coh}(U, I\mathcal{O}_ U), \quad \mathcal{F} \longmapsto \mathcal{F}^\wedge$

is fully faithful on the full subcategory of finite locally free objects.

Proof. This lemma is a special case of Algebraic and Formal Geometry, Lemma 52.15.6. $\square$

Comment #8357 by on

This lemma follows trivially from Lemma 52.15.6 whose proof is a lot cleaner as well.

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