THERE ARE ENOUGH AZUMAYA ALGEBRAS ON SURFACES arxiv:math/0003229v1 [math.ag] 31 Mar 2000 STEFAN SCHRÖER Abstract. Using Maruyama s theory of elementary transformations, I show that the Brauer group surjects onto the cohomological Brauer group for separated geometrically normal algebraic surfaces. As an application, I infer the existence of nonfree vector bundles on proper normal algebraic surfaces. Introduction Generalizing the classical theory of central simple algebras over fields, Grothendieck [8] introduced the Brauer group Br(X) and the cohomological Brauer group Br (X) for schemes. Let me recall the definitions. The Brauer group Br(X) comprises equivalence classes of Azumaya algebras. Two Azumaya algebras A, B are called equivalent if there are vector bundles E, F with A End(E) B End(F). Let us define the cohomological Brauer group Br (X) as the torsion part of the étale cohomology group H 2 (X, G m ). There is a natural inclusion Br(X) Br (X), and Grothendieck has asked whether this is bijective. It would be nice to know this for the following reason: The cohomological Brauer group is related to various other cohomology groups via exact sequences, and this is useful for computations. In contrast, it is almost impossible to calculate the Brauer group of a scheme directly from the definition. Here is a list of schemes with Br(X) = Br (X): 1. Schemes of dimension 1 and regular surfaces (Grothendieck [9]). 2. Abelian varieties (Hoobler [13]). 3. The union of two affine schemes with affine intersection (Gabber [6]). 4. Smooth toric varieties (DeMeyer and Ford [4]). On the other hand, a nonseparated normal surface with Br(X) Br (X) recently appeared in [5]. I wonder how the final answer to this puzzle will look like. The goal of this paper is to prove the following Theorem. Theorem. For separated geometrically normal algebraic surfaces, the inclusion Br(X) Br (X) is bijective. This adds some singular and nonprojective schemes to the preceding list. For quasiprojective surfaces, Hoobler ([14] Cor. 9) directly deduced the result from Gabber s Theorem on affine schemes. Without ample line bundles, a different approach is required. Indeed, my initial motivation was to disprove the Theorem, rather than to prove it. The new idea is to use Maruyama s theory of elementary transformations. Here is an application: Theorem. Each proper normal algebraic surface admits a nonfree vector bundle. 1991 Mathematics Subject Classification. 13A20, 14J17, 14J60, 16H05. 1
2 STEFAN SCHROEER It might easily happen that all line bundles are free [20]. The existence of nonfree vector bundles can be viewed as a generalization, in dimension two, of Winkelmann s Theorem [23], which asserts that each compact complex manifold has nonfree holomorphic vector bundles. This paper has four sections. In the first section, I relate Azumaya algebras that are trivial in codimension one to certain reflexive sheaves. As byproducts, this gives descriptions of the associated Brauer Severi schemes and Div X -torsors. In section 2, we turn to normal surfaces and construct Azumaya algebras that are generically trivial by constructing the corresponding reflexive sheaves. This prepares the proof of the main Theorem, which appears in section 3. The idea in the proof is to apply elementary transformations to Brauer Severi schemes. The last section contains the existence result for nonfree vector bundles. Acknowledgments. This research was done in Bologna, and I am grateful to the Mathematical Department for its hospitality. I wish to thank Angelo Vistoli for suggestions, encouragement, and many stimulating discussions. 1. Azumaya algebras via reflexive sheaves This section is concerned with Brauer classes that are trivial on large open subsets. We shall describe the corresponding Azumaya algebras and Brauer Severi schemes in terms of certain reflexive sheaves. Throughout, X will be a noetherian scheme satisfying Serre s condition (S 2 ). In other words, X has no embedded components, and for each open inclusion i : U X containing all points of codimension one, the canonical map O X i (O U ) is bijective. For each integer n 0, let X (n) X be the subspace of points satisfying dim(o X,x ) = n. Let g : X (0) X be the inclusion of the generic points. The exact sequence 0 G m g g (G m ) Div X 0 yields an exact sequence of étale cohomology groups 0 H 1 (X, Div X ) H 2 (X, G m ) H 2 (X (0), G m ). In other words, the subgroup H 1 (X, Div X ) H 2 (X, G m ) comprises precisely the classes α H 2 (X, G m ) with g (α) = 0. Next, we define the sheaf of almost Cartier divisors ADiv X = x X (1) (j x ) (Div(O X,x )) = j j (Div X ), where j : X (1) X is the inclusion map. Set ADiv(X) = Γ(X, ADiv X ). This is in accordance with Hartshorne s paper on generalized divisors [12]. For normal schemes, ADiv X is just the sheaf of Weil divisors. As in the normal case, an almost Cartier divisor D ADiv(X) defines a coherent O X -module O X (D), which is invertible in codimension one and satisfies Serre s condition (S 2 ). Define a quotient sheaf P X via the exact sequence 0 Div X ADiv X P X 0 For a geometric point x X with corresponding strict localization O X, x = O sh X,x, the stalk is P X, x = ADiv(O X, x )/ Div(O X, x ).
AZUMAYA ALGEBRAS ON SURFACES 3 For normal schemes, this reduces to the class group Cl(O X, x ). The preceding short exact sequence gives a long exact sequence in étale cohomology ADiv(X) H 0 (X, P) H 1 (X, Div X ) H 1 (X, ADiv X ). In the following, we are concerned with the image of the composite mapping H 0 (X, P X ) H 2 (X, G m ), which comprises precisely the classes α H 2 (X, G m ) with j (α) = 0. Definition 1.1. A coherent O X -module F is called balanced if for each geometric point x X there is a decomposition F x r i=1 O X, x(d x ) for some almost Cartier divisor D x ADiv(O X, x ). By fpqc-descent, F is locally free in codimension one and satisfies Serre s condition (S 2 ). In particular, F is reflexive. Balanced modules are closely related to Azumaya algebras. The following result reduces the existence of certain Azumaya algebras to the existence of balanced modules. Theorem 1.2. Let F be a balanced O X -module. Then End(F) is an Azumaya algebra whose class α Br (X) lies in the image of H 0 (X, P X ). Conversely, each Azumaya algebra with such class is isomorphic to End(F) for some balanced O X - module F. Proof. Suppose F is balanced. To check that A = End(F) is Azumaya, we may assume that X is strictly local, so there is a decomposition F = r i=1 O X(D) for some almost Cartier divisor D ADiv(X). Obviously A = Mat r (O X ), because End(O X (D)) = O X. Consequently, A is an Azumaya algebra. Its class lies in the image of H 0 (X, P X ), because F is locally free in codimension one. Conversely, assume that A is an Azumaya algebra with such a class. Then there is an open neighborhood U X of X (1) and a locally free O U -module F U with A U = End(F U ). Let i : U X be the corresponding open embedding, and set F = i (F U ). According to [12] Theorem 1.12, the bijection A U End(F U ) extends uniquely to a bijection A End(F). If remains to check that F is balanced. To do so, we may assume that X is strictly local, so A = Mat r (O X ). Now F is a module over Mat r (O X ). By Morita equivalence (see e.g. [16] p. 53), F = r i=1 M for some coherent O X-module M. Clearly, M is invertible in codimension 1 and satisfies Serre s condition (S 2 ). So M O X (D) for some almost Cartier divisor D ADiv(X). Remark 1.3. Given a balanced sheaf F with decompositions F x = O X, x (D x ), the function x [D x ] ADiv(O X, x )/ Div(O X, x ) = P X, x depends only on F and yields a section of P X. Hence, given an Azumaya algebra A with class α Br(X) in the image of H 0 (X, P X ), the choice of an isomorphism A End(F) yields a lifting of α Br(X) to H 0 (X, P X ). The rest of this section contains additional material not needed later on. Recall that a Brauer Severi scheme is a flat morphism with geometric fibers P r 1 x. An Azumaya algebra A of rank r 0 defines a principal PGL r -bundle A /G m = Aut(A) on the étale site Xét. In turn, the principal bundle defines a Brauer Severi scheme h : P X. We can relate Brauer Severi schemes to balanced modules:
4 STEFAN SCHROEER Proposition 1.4. Suppose F is a balanced O X -module. Let S be the graded O X - algebra with S n = (Sym n F). Then P = Proj(S) is the Brauer Severi scheme associated to the Azumaya algebra A = End(F). Proof. The canonical map A Aut(S) descends to a map A /G m Aut(P). We have to check that P is a Brauer Severi scheme and that the preceding map is bijective. For this, we may assume that X = Spec(R) is strictly local. Now the sheaves F and S correspond to R-modules F and S, respectively. Let R Q be the total fraction ring, and choose an almost invertible fractional ideal I Q with F = I R r. Then S n = I (n) Sym n (R r ), where I (n) = (I n ). Set S = Sym(R r ), such that Proj(S ) = P r 1 R. By definition, P = Proj(P) is covered by open subsets D + (f) = Spec S (f), and it suffices to use homogeneous f S + of the form f = r f with r I (n) and f S n. You easily check that S (f) and S (f ) coincide in the common localization S Q = S Q, so D + (f) = D + (f ). This gives P = P r 1 R and A /G m = Aut(P). Remark 1.5. It might easily happen that the O X -algebra S is not of finite type. On normal schemes, for example, D X could be a non-q-cartier divisor. However, the homogeneous spectrum of S is an X-scheme of finite type. A generically trivial class α H 2 (X, G m ) lies in H 1 (X, Div X ). Therefore, it is the isomorphism class of a Div X -torsor T on the étale site Xét. If the class lies in the Brauer group, there is a concrete description as follows. Suppose h : P X is a Brauer Severi scheme representing α H 1 (X, Div X ). Set P = P X X (0), and fix an invertible O P -module O P (1) of degree one. Define Γ(X, T ) as the set of isomorphism classes of pairs (L, s), where L is an invertible O X -module, and s : L P O P (1) is a bijection. For each étale morphism U X, define Γ(U, T ) in a similar way. The canonical inclusion L g (O P (1)), where g : P P is the canonical map, shows that T is a sheaf. Furthermore, the map (L, s) (L(D), s) with D Div(X) induces a Div X -action on T. Proposition 1.6. The sheaf T is a Div X -torsor whose class is α H 1 (X, Div X ). Proof. To check that T is a torsor, we may assume that X is strictly local. Then O P (1) extends over P, so Γ(X, T ) is nonempty. Suppose (L 1, s 1 ), (L 2, s 2 ) Γ(X, T ). Then L 1 L 2 has degree zero on the fibers of h : P X, so the direct image M = h (L 1 L 2 ) is locally free with h (M) = L 1 L 2. Furthermore, t = s 2 s 1 1 defines a meromorphic section of M, so (M, t) corresponds to a unique Cartier divisor D Div(X). Consequently, T is a Div X - torsor. It is routine to check that its isomorphism class is α H 1 (X, Div X ).. 2. Generically trivial Brauer classes In this section, we turn to surfaces. The task is to prove the following result. Proposition 2.1. Let X be a separated normal algebraic surface over a field k. Then Br(X) contains each class α Br (X) that is generically trivial. As in Hoobler s proof of Gabber s result [14], this is a major step towards showing Br(X) = Br (X). We start with some elementary preparations. The following tells us that we do not have to worry about the ground field. Lemma 2.2. Let k L be an algebraic field extension. Then Br(X L ) = Br (X L ) implies Br(X) = Br (X).
AZUMAYA ALGEBRAS ON SURFACES 5 Proof. Given a cohomology class α Br (X), we have α L Br(X L ). Then there is a finite intermediate field extension k K with α K Br(X K ). Now we invoke the characterization [5] Theorem 3.12: A class α Br (X) lies in the Brauer group if and only if there is a flat projective morphism p : Y X satisfying p (α) = 0. Applying this to X K, we find a flat projective morphism q : Y Y K with q (α) = 0, so the composition p : Y X has p (α) = 0. Consequently, α Br(X). Next, we observe that we may shrink the surface as long as we stay away from the singularities: Lemma 2.3. Let U X be an open subset containing the singular locus Sing(X). Then Br(U) = Br (U) implies Br(X) = Br (X). Proof. You easily adapt Grothendieck s argument for smooth surfaces ([9] Thm. 2.1) to our situation. In Proposition 2.1, the assumption of separatedness is indispensable. This has to do with the following well-known fact. Lemma 2.4. A separated regular algebraic surface is quasiprojective. Proof. By Nagata s compactification Theorem [19] and the existence of resolutions of singularities in dimension two [17], we may assume that X is proper. Using an affine open subset, you can construct an effective ample divisor as in [11] p. 69. Proof of Proposition 2.1. By Lemma 2.2, we may assume that k is separably closed. The exact sequence 0 H 1 (X, Div X ) H 2 (X, G m ) H 2 (X (0), G m ) shows that our cohomology class α Br (X) lies in H 1 (X, Div X ). The exact sequence 0 Div X Z 1 X P X 0 yields an exact sequence Z 1 (X) H 0 (X, P X ) H 1 (X, Div X ) 0. Choose a global section s H 0 (X, P X ) mapping to α. Since rα = 0 for some integer r > 0, there is a global Weil divisor E Z 1 (X) mapping to the section rs H 0 (X, P X ). The sheaf P is supported by the singular locus Sing(X). For each singular point x X, the stalk is P X,x = Cl(OX,x h ), where O X,x OX,x h is the henzelization (which is also the strict localization, because k is separably closed). Suppose x 1,..., x m X are the singularities, and set m m X h = Spec( OX,x h i ) = Spec(OX,x h i ). i=1 Then Γ(X, P X ) = Cl(X h ). Choose a Weil divisor D Z 1 (X h ) representing the section s H 0 (X, P X ). According to Theorem 1.2 and Remark 1.3, it suffices to construct a reflexive O X -module F with r F O X h = O X h(d), i=1 i=1
6 STEFAN SCHROEER for then A = End(F) would be the desired Azumaya algebra. Let f : Y X be a resolution of singularities that is bijective over the regular locus Reg(X). Set Y h = Y X X h. The following will be useful in the sequel: Lemma 2.5. There is a (possibly nonreduced) exceptional Cartier divisor R Y such that the restriction maps H 1 (Y h, GL n ) H 1 (R, GL n ) are bijective for each integer n 0.. Proof. Let Y t Y be the t-th infinitesimal neighborhood of the reduced exceptional divisor, and let Y = Y /Y0 be the corresponding formal scheme. The Grothendieck existence Theorem ([7] 5.1) ensures that the canonical map H 1 (Y, GL n ) lim H 1 (Y t, GL n ) is bijective. In particular, we can view H 1 (Y, GL n ) as a topological space endowed with the inverse limit topology. The Artin approximation Theorem ([1] Thm. 3.5) tells us that the restriction map H 1 (Y h, GL n ) H 1 (Y, GL n ) is injective and has dense image. On the other hand, the maps H 1 (Y, GL n ) H 1 (Y t, GL n ) are bijective for all t 0 (see Treger [22] Prop. 3.5). Consequently, H 1 (Y, GL n ) carries the discrete topology, and the maps H 1 (Y h, GL n ) H 1 (Y t, GL n ) are bijective for all t 0. We proceed with the proof of the Proposition. Choose an exceptional divisor R Y as in the preceding Lemma. Let D Z 1 (Y h ) and E Z 1 (Y ) be the strict transforms of D Z 1 (X h ) and E Z 1 (X), respectively, and set L = O R (D ). According to Lemma 2.5, we have to construct a locally free O Y -module E with E R r i=1 L. For then the double dual F = f (E) would be the desired reflexive O X -module. We shall construct such a vector bundle, or rather its dual, as an elementary transformation of the trivial bundle O r Y. By Lemma 2.4, there is an ample divisor H Y. Replacing the divisors D and E by D + f (kh) and E + f (rkh), respectively, does not change the class α Br (X). Choosing k 0, we may assume that L = O R (D ) is very ample, and that H 1 (Y, O Y (E R)) = 0. Next, choose pairwise disjoint effective Cartier divisors D 1,..., D r R, each one representing L. Let s i Γ(R, L) be the corresponding sections. Regard their product s 1... s r as a section of O R (E ). By construction, the group on the right in the exact sequence H 0 (Y, O Y (E )) H 0 (R, O R (E )) H 1 (Y, O Y (E R)) is zero. Consequently, E Z 1 (Y ) is linearly equivalent to an effective divisor H Y with H R = D 1... D r. By Lemma 2.3 we may shrink the surface X. Let us remove finitely many closed points x X lying on f(h) \ Sing(X) so that the Cartier divisors D i H become principal divisors. For 1 i r, choose sections t i Γ(Y, O H ) such that the sequence O Y t i OH j i O Dj 0 is exact. Then the map t = (t 1,..., t r ) : O r Y O H is surjective, because the D i are pairwise disjoint. The exact sequence 0 E O r X t O H 0
AZUMAYA ALGEBRAS ON SURFACES 7 defines a locally free O X -module E, because the cokernel O H has homological dimension hd(o H ) = 1. Restricting to the curve R Y, we obtain an exact sequence Tor 1 O X (O H, O R ) E R O r R t R OH R 0. The term on the left is zero, because the curves H, R Y have no common components. By construction, t i Dj = 0 for i j, so the induced surjection t R is a diagonal matrix of the form t 1 D1 0 t R =... r r : O R O Di = O H R. 0 t r i=1 i=1 Dr Consequently E R = r i=1 L. Hence the dual E is the desired locally free O X - module. Remark 2.6. The proof gives a bound on the rank: Each generically trivial class α Br (X) of order r > 0 is representable by an Azumaya algebra A of rank r 2. 3. Elementary transformations of Brauer Severi schemes Now we are ready to prove the main result of this paper. Theorem 3.1. Let X be a separated geometrically normal algebraic surface over a field. Then Br(X) = Br (X). Proof. According to Lemma 2.2, we may assume that the ground field k is algebraically closed. Fix a class α Br (X). In light of Proposition 2.1, it suffices to construct an Azumaya algebra representing α Br (X) generically. Let f : X Y be a resolution of singularities. According to [9] Theorem 2.1, there is an Azumaya O Y -algebra A representing f (α). Let Y Y be the formal completion along the exceptional curves, and choose a curve R Y as in Lemma 2.5. Now f (α) R = 0, because the ground field is separably closed. Hence there is a locally free O R -module E R with A R = End(E). By the definition of the curve R, this vector bundle extends to a formal vector bundle E on Y with A Y = End(E). Suppose for the moment that E R is free. Then E would be free, so f (A) is an Azumaya algebra representing the class α Br (X) generically. There is, however, no reason for E R to be free. The idea now is to make an elementary transformation along a curve H Y, so that E R becomes free. This requires some preparation. Claim. We may choose the Azumaya algebra A and the vector bundle E in such a way that E is globally generated, and that there is a very ample invertible O Y -module L with det(e) = L Y and H 1 (Y, L( R)) = 0. To check this, choose a very ample curve H Y. Replacing the vector bundle E by E(kH) for k 0 we archive that E is globally generated and that det(e) is ample. ) for k 0. This replaces E by E k, and det(e) by det(e k ) = det(e) k. Consequently, we may assume that det(e) is numerically equivalent to the restriction of some ample invertible O Y - module L. This is because the map to the Néron Severi group Pic(Y ) NS(R) has finite cokernel. Furthermore, we may assume that H 1 (Y, L k ( R)) = 0 for all k > 0. Next, we replace the Azumaya algebra A by A End(O k X
8 STEFAN SCHROEER In characteristic zero, Pic 0 (R) is a divisible group. Setting r = rank(e), we find an invertible O R -module M with M r = det(e R ) L R. Replacing E R by E R M, we have det(e) = L Y. In characteristic p > 0, things are more complicated. Set G = Pic 0 R/k, and let G G be the unipotent part. Then the quotient G = G/G is semiabelian, and G (k) is a divisible group. As in characteristic zero, we may assume that det(e) L R lies in the unipotent part of Pic0 (R), which is q-torsion for some q = p k. Passing to A End(O q X ) and L q, we are done. This proves the claim. We continue with the proof of the Theorem. Set r = rank(e) and Γ = Γ(R, E R ). The canonical surjection Γ O R E R yields a morphism ϕ : R Grass r (Γ) into the Grassmanian of r-dimensional quotients. Choose a generic r-dimensional subvector space Γ Γ. Let G k Grass r (Γ) be the subscheme of surjections Γ Γ such that the composition Γ Γ has rank k. Note that G r 1 is a reduced Cartier divisor, and that G r 2 has codimension four (see [2], sec. II.2). By the dimensional part of Kleiman s transversality Theorem ([15] Thm. 2), which is valid in all characteristics, the map ϕ : R Grass r (Γ) is disjoint to G r 2 and passes through G r 1 in finitely many points. The upshot of this is that the quotient of the canonical map Γ O X E is an invertible sheaf on some Cartier divisor D R. Consequently, we have constructed an exact sequence 0 O r R E R O D 0. In other words, the trivial vector bundle is the elementary transformation of E with respect to the surjection E R O D. In geometric terms: Blowing up P(E R ) along the section P(O D ) P(E D ) and contracting the strict transform of P(E D ) yields (see [18] Thm. 1.4). We seek to extend this elementary transformation from the curve to the surface. Note that det(e R ) = O R (D), so D = H R for some ample curve H Y. Since the ground field k is algebraically closed, Tsen s Theorem gives H 2 (H, G m ) = 0. P r 1 R Shrinking the surface X if necessary, we may assume that P H = P r 1 H. Let A be the semilocal ring of the curve H corresponding to the closed points D H. The section P(O D ) P D is given by a surjection A r A/I, where I A is the ideal of D. By the Nakayama lemma, this lifts to a surjection A r A. So, if we shrink X further, we can extend the section P(O D ) P D to a section S P H. Let h : ˆP P be the blowing-up with center S P, and let E ˆP be the strict transform of the Cartier divisor P H P. I claim that there is a birational contraction ˆP P contracting precisely the fibers of E H to points such that P is a Brauer-Severi scheme. Over suitable étale neighborhoods, this follows from [18] Theorem 1.4. You easily check that these contractions glue together and define a contraction in the category of schemes. By construction, the new Brauer Severi scheme P X has a trivial restriction P R = Pr 1 R. If A is the Azumaya algebra corresponding to the Brauer Severi scheme P, this implies A R = End(O r R ). By the choice of the curve R Y, this forces A Y = End(O r Y ) as formal Azumaya algebras. Consequently, the direct image f (A ) is an Azumaya O X -algebra representing the class α Br (X) generically. Remark 3.2. The proof works for separated geometrically normal 2-dimensional algebraic spaces as well. This is because their resolutions are schemes.
AZUMAYA ALGEBRAS ON SURFACES 9 Question 3.3. The hypothesis of geometric normality is annoying. What happens for separated normal 2-dimensional noetherian schemes that are of finite type over nonperfect fields, or over Dedekind rings, or have no base ring at all? 4. An application to vector bundles Given a scheme X, one might ask whether X admits a nonfree vector bundle. In dimension two, we can use Brauer groups to obtain a positive answer: Theorem 4.1. Let X be a proper normal surface over a field k. Then there is a locally trivial O X -module of finite rank that is not free. Proof. Seeking a contradiction, we assume that each vector bundle is free. We may assume that k = Γ(X, O X ). First, I reduce to the case that the ground field k is separably closed. Let k L be a separable closure, and let E L be a vector bundle on X L = X L, say of rank r 0. Then there is a finite separable field extension k K, say of degree d 1, such that E L comes from a vector bundle E K on X K. Let p : X K X be the canonical projection. Then F = p (E K ) is a vector bundle of rank dr, hence free by assumption. This gives Γ(X K, E K ) = Γ(X, F) k rd K r. Now you easily choose r sections of F that are linearly independent over K, which gives the desired trivialization of E K. From now on, assume that k is separably closed. Note that Pic(X) = 0, so X is nonprojective, hence it must contain some singularities. Let f : Y X be a resolution of singularities. Choose an exceptional divisor R X as in Lemma 2.5. The spectral sequence for G m,x = f (G m,y ) gives an exact sequence 0 Pic(Y ) Pic(R) H 2 (X, G m ) H 2 (X, G m ). Set G = Pic 0 (R)/ Pic 0 (Y ), and let H NS(Y ) be the kernel of the restriction map NS(Y ) NS(R) for the Néron Severi groups. The snake lemma gives an inclusion G/H H 2 (X, G m ). To proceed, we need a folklore fact: Lemma 4.2. For each l > 0 prime to char(k), the group Pic 0 (R) is l-divisible. Proof. According to [10] Corollary 5.3 there is an exact sequence 0 Pic(R) Pic R/k (k) Br(k). But Br(k) = 0, because k is separably closed. Hence we have to show that the group of rational points G(k) of the smooth group scheme G = Pic 0 R/k is l-divisible. By Rosenlichts Theorem [3] p. 243, there is an exact sequence of connected group schemes 0 G G G 0 with G linear and G abelian. Multiplication by l is smooth and finite on them; so the fibers over rational points consist of rational points, as k is separably closed. By the snake lemma, the same holds for l : G G. We continue with the proof of the Proposition. If G = 0, then Y would have nontrivial line bundles ([21], Prop. 4.2), which is absurd. So G is a nonzero l- divisible group. On the other hand, H is finitely generated. We conclude that G/H H 2 (X, G m ) contains many torsion points. Consequently, Br (X) contains nonzero generically trivial classes. By Proposition 2.1 there is a nontrivial Azumaya O X -algebra A.
10 STEFAN SCHROEER Setting r 2 = rank(a), we have A O r2 X as O X-module. The multiplication map A A A and the unit O X A induce a k-algebra structure on A = Γ(X, A). You easily check that A κ(x) A(x) for each point x X. So A is a central simple k-algebra, which is trivial because k is separably closed. Consequently A = A O X is also trivial, contradiction. Remark 4.3. It might easily happen that X has trivial Picard group [20]. However, the preceding results ensures the existence of vector bundles of higher rank. References [1] M. Artin: Algebraic approximation of structures over complete local rings. Publ. Math., Inst. Hautes Étud. Sci. 36, 23 58 (1969) [2] E. Arbarello, M. Cornalba, M. Griffiths, J. Harris: Geometry of algebraic curves. Volume I. Grundlehren Math. Wiss. 267. Springer, New York, 1985. [3] S. Bosch, W. Lütkebohmert, M. Raynaud: Néron models. Ergeb. Math. Grenzgebiete (3) 21. Springer, Berlin, 1990. [4] F. Demeyer, T. Ford: On the Brauer group of toric varieties. Trans. Am. Math. Soc. 335, 559 577 (1993). [5] D. Edidin, B. Hasset, A. Kresh, A. Vistoli: Brauer groups and quotient stacks. Preprint 2000. [6] O. Gabber: Some theorems on Azumaya algebras. In: M. Kervaire, M. Ojanguren (eds.), Groupe de Brauer, pp. 129 209. Lect. Notes Math. 844. Springer, Berlin, 1981. [7] A. Grothendieck: Éléments de géométrie algébrique III: Étuede cohomologique des faiscaux cohérent. Publ. Math., Inst. Hautes Étud. Sci. 11 (1961). [8] A. Grothendieck: Le groupe de Brauer I. In: J. Giraud (ed.) et al.: Dix exposes sur la cohomologie des schemas, pp. 46 66. North-Holland, Amsterdam, 1968. [9] A. Grothendieck: Le groupe de Brauer II. In: J. Giraud (ed.) et al.: Dix exposes sur la cohomologie des schemas, pp. 67 87. North-Holland, Amsterdam, 1968. [10] A. Grothendieck: Le groupe de Brauer III. In: J. Giraud (ed.) et al.: Dix exposes sur la cohomologie des schemas, pp. 88 189. North-Holland, Amsterdam, 1968. [11] R. Hartshorne: Ample subvarieties of algebraic varieties. Lect. Notes Math. 156. Springer, Berlin, 1970. [12] R. Hartshorne: Generalised divisors on Gorenstein schemes. K-Theory 8, 287 339 (1994). [13] R. Hoobler: Brauer groups of abelian schemes. Ann. Sci. Ec. Norm. Sup. 5, 45 70 (1972). [14] R. Hoobler: When is Br(X) = Br (X)? In: F. Oystaeyen, A. Verschoren (eds.), Brauer groups in ring theory and algebraic geometry, pp. 231 244. Lect. Notes Math. 917. Springer, Berlin, 1982. [15] S. Kleiman: The transversality of a general translate. Compositio Math. 28, 287 297 (1974). [16] M.-A. Knus: Quadratic and hermitian forms over rings. Grundlehren Math. Wiss. 294. Springer, Berlin, 1991. [17] J. Lipman: Desingularization of two-dimensional schemes. Ann. Math. (2) 107, 151 207 (1978). [18] M. Maruyama: Elementary transformations in the theory of algebraic vector bundles. In: J. Aroca, R. Buchweitz, M. Giuisti (eds.), Algebraic geometry, pp. 241 266. Lect. Notes Math. 961. Springer, Berlin, 1982. [19] M. Nagata: Imbedding of an abstract variety in a complete variety. J. Math. Kyoto Univ. 2, 1 10 (1962). [20] S. Schröer: On non-projective normal surfaces. Manuscr. Math. 100, 317 321 (1999). [21] S. Schröer: On contractible curves on normal surfaces. math.ag/9911119. To appear in J. Reine Angew. Math. [22] R. Treger: Reflexive Modules. J. Alg. 54, 444 466 (1978) [23] J. Winkelmann: Every compact complex manifold admits a holomorphic vector bundle. Rev. Roum. Math. Pures Appl. 38, 743 744 (1993).
AZUMAYA ALGEBRAS ON SURFACES 11 Mathematische Fakultät, Ruhr-Universität, 44780 Bochum, Germany E-mail address: s.schroeer@ruhr-uni-bochum.de