MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

In Milne, Étale cohomology, it is proved that $\mathrm{Br}(X) = H^2(X,\mathbf{G}_m)$ for $X$ regular of dimension $\leq 2$. Are there in the meantime further results for $X$ regular?

share|cite|improve this question
up vote 14 down vote accepted

When $X$ is quasi-projective over an affine scheme (or more generally if $X$ has an ample [EDIT: invertible] sheaf), then its Brauer group is isomorphic to the torsion part of $H^2(X, {\mathbb G}_m)$. This is an unpublished result of Gabber, and J. de Jong wrote down a different proof.

share|cite|improve this answer
Are there criteria when $H^2(X,\mathbf{G}_m)$ is torsion free? – Timo Keller Mar 1 '10 at 14:37
In Lichtenbaum, Zeta-Functions of Varieties Over Finite Fields at s = 1, he proves that it is torsion for varieties over finite fields. – Timo Keller Mar 1 '10 at 14:39
You mean X has an ample line bundle? – Hailong Dao Mar 1 '10 at 14:49
Yes, thanks, I corrected it! – Qing Liu Mar 2 '10 at 17:09
It is torsion for $X$ regular, Noetherian: Consider $0 \to \mathbf{G}_m \to j_*\mathbf{G}_m \to Div_X \to 0$ and the long exact sequence; since $X$ is regular, we have $Div_X = \oplus_{x \in X^{(1)})i_{x,*}\mathbf{Z}$. – Timo Keller Mar 2 '10 at 17:35

Dear norondion: It appears to me from your comments to Qing Liu's answer that you are interested in when this cohomological Brauer group is actually $0$. If that is true, then these two related MO questions (and Emerton's answer to one of them) may be of interest:

Two conjectures by Gabber.

Flat cohomology and Picard groups.

(Of course, the punctured spectrum of a regular local ring is a regular scheme. Also, you can probably get some statements for projective $X$ by looking at the local ring of the cone over $X$). My apology if this is not relevant.

share|cite|improve this answer
Thanks. Actually, I'm interested in cases where it is finite. – Timo Keller Mar 6 '10 at 18:14

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.