The Stacks project

Lemma 54.8.1. Let $(A, \mathfrak m, \kappa )$ be a Noetherian normal local domain of dimension $2$. Consider a commutative diagram

\[ \xymatrix{ X' \ar[rd]_{f'} \ar[rr]_ g & & X \ar[ld]^ f \\ & \mathop{\mathrm{Spec}}(A) } \]

where $f$ and $f'$ are modifications as in Situation 54.7.1 and $X$ normal. Then we have a short exact sequence

\[ 0 \to H^1(X, \mathcal{O}_ X) \to H^1(X', \mathcal{O}_{X'}) \to H^0(X, R^1g_*\mathcal{O}_{X'}) \to 0 \]

Also $\dim (\text{Supp}(R^1g_*\mathcal{O}_{X'})) = 0$ and $R^1g_*\mathcal{O}_{X'}$ is generated by global sections.

Proof. We will use the observations made following Situation 54.7.1 without further mention. As $X$ is normal and $g$ is dominant and birational, we have $g_*\mathcal{O}_{X'} = \mathcal{O}_ X$, see for example More on Morphisms, Lemma 37.53.6. Since the fibres of $g$ have dimension $\leq 1$, we have $R^ pg_*\mathcal{O}_{X'} = 0$ for $p > 1$, see for example Cohomology of Schemes, Lemma 30.20.9. The support of $R^1g_*\mathcal{O}_{X'}$ is contained in the set of points of $X$ where the fibres of $g'$ have dimension $\geq 1$. Thus it is contained in the set of images of those irreducible components $C' \subset X'_ s$ which map to points of $X_ s$ which is a finite set of closed points (recall that $X'_ s \to X_ s$ is a morphism of proper $1$-dimensional schemes over $\kappa $). Then $R^1g_*\mathcal{O}_{X'}$ is globally generated by Cohomology of Schemes, Lemma 30.9.10. Using the morphism $f : X \to S$ and the references above we find that $H^ p(X, \mathcal{F}) = 0$ for $p > 1$ for any coherent $\mathcal{O}_ X$-module $\mathcal{F}$. Hence the short exact sequence of the lemma is a consequence of the Leray spectral sequence for $g$ and $\mathcal{O}_{X'}$, see Cohomology, Lemma 20.13.4. $\square$

Comments (0)

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 0AXF. Beware of the difference between the letter 'O' and the digit '0'.