Lemma 38.38.1. Let $Z, X, X', E$ be an almost blow up square as in Example 38.37.11. Then $H^ p(X', \mathcal{O}_{X'}) = 0$ for $p > 0$ and $\Gamma (X, \mathcal{O}_ X) \to \Gamma (X', \mathcal{O}_{X'})$ is a surjective map of rings whose kernel is an ideal of square zero.

**Proof.**
First assume that $A = \mathbf{Z}[f_1, f_2]$ is the polynomial ring. In this case our almost blow up square is the blowing up of $X = \mathop{\mathrm{Spec}}(A)$ in the closed subscheme $Z$ and in fact $X' \subset \mathbf{P}^1_ X$ is an effective Cartier divisor cut out by the global section $f_2T_0 - f_1 T_1$ of $\mathcal{O}_{\mathbf{P}^1_ X}(1)$. Thus we have a resolution

Using the description of the cohomology given in Cohomology of Schemes, Section 30.8 it follows that in this case $\Gamma (X, \mathcal{O}_ X) \to \Gamma (X', \mathcal{O}_{X'})$ is an isomorphism and $H^1(X', \mathcal{O}_{X'}) = 0$.

Next, we observe that any diagram as in Example 38.37.11 is the base change of the diagram in the previous paragraph by the ring map $\mathbf{Z}[f_1, f_2] \to A$. Hence by More on Morphisms, Lemmas 37.72.1, 37.72.2, and 37.72.4 we conclude that $H^1(X', \mathcal{O}_{X'})$ is zero in general and the surjectivity of the map $H^0(X, \mathcal{O}_ X) \to H^0(X', \mathcal{O}_{X'})$ in general.

Next, in the general case, let us study the kernel. If $a \in A$ maps to zero, then looking on affine charts we see that

for some $r \geq 0$ and $a_0, \ldots , a_ r \in A$ and similarly

for some $s \geq 0$ and $b_0, \ldots , b_ s \in A$. This means we have

If $(a', r', a'_ i, s', b'_ j)$ is a second such system, then we have

as desired. $\square$

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

## Comments (0)