The Stacks project

Lemma 59.80.9. Let $X$ be an affine scheme.

  1. There exists an integral surjective morphism $X' \to X$ such that for every closed subscheme $Z' \subset X'$, every finite abelian group $M$, and every $q \geq 1$ we have $H^ q_{\acute{e}tale}(Z', \underline{M}) = 0$.

  2. For any closed subscheme $Z \subset X$, finite abelian group $M$, $q \geq 1$, and $\xi \in H^ q_{\acute{e}tale}(Z, \underline{M})$ there exists a finite surjective morphism $X' \to X$ of finite presentation such that $\xi $ pulls back to zero in $H^ q_{\acute{e}tale}(X' \times _ X Z, \underline{M})$.

Proof. Write $X = \mathop{\mathrm{Spec}}(A)$. Write $A = \mathbf{Z}[x_ i]/J$ for some ideal $J$. Let $R$ be the integral closure of $\mathbf{Z}[x_ i]$ in an algebraic closure of the fraction field of $\mathbf{Z}[x_ i]$. Let $A' = R/JR$ and set $X' = \mathop{\mathrm{Spec}}(A')$. This gives an example as in (1) by Lemma 59.80.8.

Proof of (2). Let $X' \to X$ be the integral surjective morphism we found above. Certainly, $\xi $ maps to zero in $H^ q_{\acute{e}tale}(X' \times _ X Z, \underline{M})$. We may write $X'$ as a limit $X' = \mathop{\mathrm{lim}}\nolimits X'_ i$ of schemes finite and of finite presentation over $X$; this is easy to do in our current affine case, but it is a special case of the more general Limits, Lemma 32.7.3. By Lemma 59.51.5 we see that $\xi $ maps to zero in $H^ q_{\acute{e}tale}(X'_ i \times _ X Z, \underline{M})$ for some $i$ large enough. $\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 09ZD. Beware of the difference between the letter 'O' and the digit '0'.