How to find examples of non-trival kernel of maps between Brauer groups Br(R) -> Br(K) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T06:52:18Z http://mathoverflow.net/feeds/question/14961 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14961/how-to-find-examples-of-non-trival-kernel-of-maps-between-brauer-groups-brr How to find examples of non-trival kernel of maps between Brauer groups Br(R) -> Br(K) Hailong Dao 2010-02-11T02:03:22Z 2010-02-11T06:37:00Z <p><strong>Background/Motivation</strong>: 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). </p> <p>Let $R$ be a Noetherian normal domain and $K$ its quotient field. Then there is a natural map $f: Br(R) \to Br(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. </p> <p>Also, it is known that even assuming said quotient to be $0$, one has example like $R=\mathbb R[x,y,z]_{(x,y,z)}/(x^2+y^2+z^2)$ which is UFD, but the kernel contains (I think) the quaternion algebra over $R$. The trouble in this case is that $\mathbb R$ is not algebraically closed. In fact, if $R$ is local, then $ker(f)$ injects into $Cl(R^{sh})/Cl(R)$, here $R^{sh}$ is the strict henselization. Most of the examples with non-trivial kernel I know seem a little ad-hoc, so:</p> <p><strong>Question</strong>: Are there more general methods to generate examples of $R$ such that $f$ is not injective? </p> <p>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. </p> http://mathoverflow.net/questions/14961/how-to-find-examples-of-non-trival-kernel-of-maps-between-brauer-groups-brr/14976#14976 Answer by lieven lebruyn for How to find examples of non-trival kernel of maps between Brauer groups Br(R) -> Br(K) lieven lebruyn 2010-02-11T06:37:00Z 2010-02-11T06:37:00Z <p>As R is normal all localizations at height one primes are DVR whence regular and so the question is really one of describing the kernel of the morphism</p> <p>Br(R) ---> beta(R) = \cap_P Br(R_P) (intersection over all ht 1 primes)</p> <p>beta(R) is called the 'reflexive Brauer group' (see for example ancient papers by Orzech and Hoobler, in a Brauer-group proceedings of a conference in Antwerp, in the Springer LNM 917 begin 80ties)</p> <p>anyway, I've once given a cohomological description of beta(R) in <a href="http://win.ua.ac.be/~lebruyn/LeBruyn1985c.pdf" rel="nofollow">this paper</a> and also one for the exact sequence related to your question</p> <p>0-->Pic(RT)--->Cl(R)-->BCl(R)--->Br(R)--->beta(R)</p> <p>here BCl(R) is the 'Brauer-class group'. It consists of reflexive R-modules M such that End(M) is a projectie R-module, made into a group under the modified tensor product (see paper mentioned before).</p> <p>as you will see in that paper, these cohomological descriptions have everything to do with the smooth locus of R. For example, beta(R) is the Brauer group of the regular open piece and BCl(R) can 'in principle' be calculated from cohomology with support on the singular locus.</p>