Let R be a commutative domain and Kits field of fractions. Auslander and Goldman [l] proved that if R is regular, the map 8: BY(R) -+ BY(K) of the Brauer groups which is induced by the inclusion R G K is injective. They also proved that for the nonregular domain R[X, Y]/(X2 + Y2) /3 is not injective. As suggested by Grothendieck in his second paper on the Brauer group [3] ,3 need not be injective even if R is normal: simply replace R[X, Y]/(X2 + Y2) by R[X, Y, 21/(X2 + Y2 + Z2) in the example of Auslander and Goldman [l]. We can therefore ask the following weaker question: Is the map /3’: BY(R) -+ I$, Br(R,), p running through Spec(R) injective ? In other words: if A is an Azumaya algebra over R such that A, is isomorphic to a matrix algebra M,(Rp) for every prime ideal p of R, is then A isomorphic to the endomorphism ring End,(P) of a faithfully projective R-module? It is not difficult to see that this is true for every normal ring with at most one singular maximal ideal. The purpose of this note is to construct a two dimensional normal affine algebra R (e.g., over the complex field) for which /I’ is not injective. The method used here was inspired by Bernice Auslander’s paper [5]. She has told me that she has discovered a mistake in her proof of Corollary 4.4; this explains the apparent contradiction between my example and her corollary.
Read full abstract