Lemma 109.71.1. Let $W$ be a two dimensional regular integral Noetherian scheme with function field $K$. Let $G \to W$ be an abelian scheme. Then the map $H^1_{fppf}(W, G) \to H^1_{fppf}(\mathop{\mathrm{Spec}}(K), G)$ is injective.

**Sketch of proof.**
Let $P \to W$ be an fppf $G$-torsor which is trivial in the generic point. Then we have a morphism $\mathop{\mathrm{Spec}}(K) \to P$ over $W$ and we can take its scheme theoretic image $Z \subset P$. Since $P \to W$ is proper (as a torsor for a proper group algebraic space over $W$) we see that $Z \to W$ is a proper birational morphism. By Spaces over Fields, Lemma 71.3.2 the morphism $Z \to W$ is finite away from finitely many closed points of $W$. By (insert future reference on resolving indeterminacies of morphisms by blowing quadratic transformations for surfaces) the irreducible components of the geometric fibres of $Z \to W$ are rational curves. By More on Groupoids in Spaces, Lemma 78.11.3 there are no nonconstant morphisms from rational curves to group schemes or torsors over such. Hence $Z \to W$ is finite, whence $Z$ is a scheme and $Z \to W$ is an isomorphism by Morphisms, Lemma 29.54.8. In other words, the torsor $P$ is trivial.
$\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 (2)

Comment #727 by Kestutis Cesnavicius on

Comment #730 by Johan on