Lemma 52.16.6 (0EIN)—The Stacks project

Loading web-font TeX/Main/Regular

Table of contents
Part 3: Topics in Scheme Theory
Chapter 52: Algebraic and Formal Geometry
Section 52.16: Algebraization of coherent formal modules, I
Lemma 52.16.6 (cite)

numberstags

Lemma 52.16.6. In Situation 52.16.1 let $(\mathcal{F}_ n)$ be an object of $\textit{Coh}(U, I\mathcal{O}_ U)$ . Let $A', I', \mathfrak a'$ be the $I$ -adic completions of $A, I, \mathfrak a$ . Set $X' = \mathop{\mathrm{Spec}}(A')$ and $U' = X' \setminus V(\mathfrak a')$ . The following are equivalent

$(\mathcal{F}_ n)$ extends to $X$ , and
the pullback of $(\mathcal{F}_ n)$ to $U'$ is the completion of a coherent $\mathcal{O}_{U'}$ -module.

Proof. Recall that $A \to A'$ is a flat ring map which induces an isomorphism $A/I \to A'/I'$ . See Algebra, Lemmas 10.97.2 and 10.97.4. Thus $X' \to X$ is a flat morphism inducing an isomorphism $Y' \to Y$ . Thus $U' \to U$ is a flat morphism which induces an isomorphism $U' \cap Y' \to U \cap Y$ . This implies that in the commutative diagram

$\xymatrix{ \textit{Coh}(X', I\mathcal{O}_{X'}) \ar[r] & \textit{Coh}(U', I\mathcal{O}_{U'}) \\ \textit{Coh}(X, I\mathcal{O}_ X) \ar[u] \ar[r] & \textit{Coh}(U, I\mathcal{O}_ U) \ar[u] }$

the vertical functors are equivalences. See Cohomology of Schemes, Lemma 30.23.10. The lemma follows formally from this and the results of Lemma 52.16.3. $\square$

Comments (0)

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

Comments (0)

Post a comment