The Stacks project

Lemma 37.2.2. Let $X$ be a scheme over a base $S$. Consider a short exact sequence

\[ 0 \to \mathcal{I} \to \mathcal{A} \to \mathcal{O}_ X \to 0 \]

of sheaves on $X$ where $\mathcal{A}$ is a sheaf of $f^{-1}\mathcal{O}_ S$-algebras, $\mathcal{A} \to \mathcal{O}_ X$ is a surjection of sheaves of $f^{-1}\mathcal{O}_ S$-algebras, and $\mathcal{I}$ is its kernel. If

  1. $\mathcal{I}$ is an ideal of square zero in $\mathcal{A}$, and

  2. $\mathcal{I}$ is quasi-coherent as an $\mathcal{O}_ X$-module

then $X' = (X, \mathcal{A})$ is a scheme and $X \to X'$ is a first order thickening over $S$. Moreover, any first order thickening over $S$ is of this form.

Proof. It is clear that $X'$ is a locally ringed space. Let $U = \mathop{\mathrm{Spec}}(B)$ be an affine open of $X$. Set $A = \Gamma (U, \mathcal{A})$. Note that since $H^1(U, \mathcal{I}) = 0$ (see Cohomology of Schemes, Lemma 30.2.2) the map $A \to B$ is surjective. By assumption the kernel $I = \mathcal{I}(U)$ is an ideal of square zero in the ring $A$. By Schemes, Lemma 26.6.4 there is a canonical morphism of locally ringed spaces

\[ (U, \mathcal{A}|_ U) \longrightarrow \mathop{\mathrm{Spec}}(A) \]

coming from the map $B \to \Gamma (U, \mathcal{A})$. Since this morphism fits into the commutative diagram

\[ \xymatrix{ (U, \mathcal{O}_ X|_ U) \ar[d] \ar[r] & \mathop{\mathrm{Spec}}(B) \ar[d] \\ (U, \mathcal{A}|_ U) \ar[r] & \mathop{\mathrm{Spec}}(A) } \]

we see that it is a homeomorphism on underlying topological spaces. Thus to see that it is an isomorphism, it suffices to check it induces an isomorphism on the local rings. For $u \in U$ corresponding to the prime $\mathfrak p \subset A$ we obtain a commutative diagram of short exact sequences

\[ \xymatrix{ 0 \ar[r] & I_{\mathfrak p} \ar[r] \ar[d] & A_{\mathfrak p} \ar[r] \ar[d] & B_{\mathfrak p} \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \mathcal{I}_ u \ar[r] & \mathcal{A}_ u \ar[r] & \mathcal{O}_{X, u} \ar[r] & 0. } \]

The left and right vertical arrows are isomorphisms because $\mathcal{I}$ and $\mathcal{O}_ X$ are quasi-coherent sheaves. Hence also the middle map is an isomorphism. Hence every point of $X' = (X, \mathcal{A})$ has an affine neighbourhood and $X'$ is a scheme as desired. $\square$


Comments (0)

There are also:

  • 6 comment(s) on Section 37.2: Thickenings

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 05YV. Beware of the difference between the letter 'O' and the digit '0'.