Lemma 52.15.7. Let $I \subset \mathfrak a \subset A$ be ideals of a Noetherian ring $A$. Let $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Let $\mathcal{V}$ be the set of open subschemes of $U$ containing $U \cap V(I)$ ordered by reverse inclusion. Assume

$A$ is $I$-adically complete and has a dualizing complex,

for any associated prime $\mathfrak p \subset A$ with $I \not\subset \mathfrak p$ and $V(\mathfrak p) \cap V(I) \not\subset V(\mathfrak a)$ and $\mathfrak q \in V(\mathfrak p) \cap V(\mathfrak a)$ we have $\dim ((A/\mathfrak p)_\mathfrak q) > \text{cd}(A, I) + 1$.

Then the completion functor

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

## Comments (0)