MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R=\mathbb{C}[[x,y]]$ be a power series ring in two variables (or maybe more generally a strictly Henselian local ring) with maximal ideal $\mathfrak{m}$.

What is $H^*_{et}(\operatorname{Spec}(R)\setminus\{\mathfrak{m}\}, \mathbb{G}_m)$?

My motivation is this: I'm trying to understand the extent to which etale cohomology of $\mathbb{G}_m$ resembles the cohomology of $\mathcal{O}_X^*$ in the complex-analytic setting. For example, one might expect that in the case above, $H^2$ ought to be $\mathbb{Z}$.

I'd be satisfied with an answer that computes $H^2$.

share|cite|improve this question
The algebraic cohomology of $\mathbb G_{\rm m}$ is very different from the analytic cohomology of $\mathcal O^*$. For a regular scheme the former is always torsion in degree at least 2 (this is a well-known result of Grothendieck), whereas the analytic cohomology of a complex manifold tends to contain positive-dimensional $\mathbb Q$-vector spaces. – Angelo May 9 '13 at 5:35
up vote 11 down vote accepted

With your particular choice of $R$, the $H^2$ is $0$. More generally, if $R$ is a strictly Henselian regular local ring of dimension $2$, then by the purity for the Brauer group (in this particular case it is known and due to, I believe, Grothendieck; for a proof see Grothendieck "Le groupe de Brauer II", Prop. 2.3) $H^2_{et}(R \setminus \{ \mathfrak{m} \}, \mathbf{G}_m) = H^2_{et}(R, \mathbf{G}_m) = 0$. The first equality is due to the purity because you're removing a closed subscheme of codimension $2$; the second equality is because $R$ is strictly Henselian and $\mathbf{G}_m$ is smooth: by Grothendieck "Le groupe de Brauer III" appendix, Thm. 11.7 2), the cohomology can thus be computed over the separably closed residue field, where it vanishes.

More generally assuming that $R$ is a strictly Henselian regular local ring of dimension $\ge 2$, the $H^2$ is always supposed to be $0$ by the aforementioned purity and the argument as above. This is open (as far as I know), although many cases are known, including $\dim R \le 3$. For a brief survey on precisely this question see Gabber "On purity for the Brauer group" in Oberwolfach report No. 37/2004.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.