Monday, 15 August 2011

ag.algebraic geometry - How to find examples of non-trival kernel of maps between Brauer groups Br(R) -> Br(K)

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