Lemma 58.17.7. Let $X$ be a Noetherian scheme and let $Y \subset X$ be a closed subscheme. Let $Y_ n \subset X$ be the $n$th infinitesimal neighbourhood of $Y$ in $X$. Let $\mathcal{V}$ be the set of open subschemes $V \subset X$ containing $Y$ ordered by reverse inclusion. Assume one of the following holds

1. $X$ is quasi-affine and

$\mathop{\mathrm{colim}}\nolimits _\mathcal {V} \Gamma (V, \mathcal{O}_ V) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (Y_ n, \mathcal{O}_{Y_ n})$

is an isomorphism, or

2. $X$ has an ample invertible module $\mathcal{L}$ and

$\mathop{\mathrm{colim}}\nolimits _\mathcal {V} \Gamma (V, \mathcal{L}^{\otimes m}) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (Y_ n, \mathcal{L}^{\otimes m}|_{Y_ n})$

is an isomorphism for all $m \gg 0$, or

3. for every $V \in \mathcal{V}$ and every finite locally free $\mathcal{O}_ V$-module $\mathcal{E}$ the map

$\mathop{\mathrm{colim}}\nolimits _{V' \geq V} \Gamma (V', \mathcal{E}|_{V'}) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (Y_ n, \mathcal{E}|_{Y_ n})$

is an isomorphism.

Then the functor

$\mathop{\mathrm{colim}}\nolimits _\mathcal {V} \textit{FÉt}_ V \to \textit{FÉt}_ Y$

is fully faithful.

Proof. This lemma follows formally from Lemma 58.17.3 and Algebraic and Formal Geometry, Lemma 52.15.2. $\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).