Background/Motivation: The facts about the Brauer groups I will be using are mainly in Chapter IV of Milne's book on Etale cohomology (unfortunately it was not in his online note).
Let R be a Noetherian normal domain and K its quotient field. Then there is a natural map f:Br(R)toBr(K). In case R is regular, a well known result by Auslander-Goldman says that f is injective. The natural question is when can we drop the regularity condition? But anything in the Cl(R)/Pic(R) will be in the kernel of f, so we need that quotient to be 0 to make it interesting.
Also, it is known that even assuming said quotient to be 0, one has example like R=mathbbR[x,y,z](x,y,z)/(x2+y2+z2) which is UFD, but the kernel contains (I think) the quaternion algebra over R. The trouble in this case is that mathbbR is not algebraically closed. In fact, if R is local, then ker(f) injects into Cl(Rsh)/Cl(R), here Rsh is the strict henselization. Most of the examples with non-trivial kernel I know seem a little ad-hoc, so:
Question: Are there more general methods to generate examples of R such that f is not injective?
I would love to see answers with more geometric/arithmetic flavors. I am also very interested in the positive and mixed charateristics case. Thanks in advance.
No comments:
Post a Comment