Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

2 Answers 2

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|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
add comment

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|improve this answer
1  
Thanks. Actually, I'm interested in cases where it is finite. –  Timo Keller Mar 6 '10 at 18:14
add comment

Your Answer

 
discard

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.