THERE ARE ENOUGH AZUMAYA ALGEBRAS ON SURFACES arxiv:math/ v1 [math.ag] 31 Mar 2000

Size: px
Start display at page:

Download "THERE ARE ENOUGH AZUMAYA ALGEBRAS ON SURFACES arxiv:math/ v1 [math.ag] 31 Mar 2000"

Transcription

1 THERE ARE ENOUGH AZUMAYA ALGEBRAS ON SURFACES arxiv:math/ v1 [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 Mathematics Subject Classification. 13A20, 14J17, 14J60, 16H05. 1

2 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 ).

3 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 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).

5 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 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

7 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 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 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.

9 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 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, (1969) [2] E. Arbarello, M. Cornalba, M. Griffiths, J. Harris: Geometry of algebraic curves. Volume I. Grundlehren Math. Wiss Springer, New York, [3] S. Bosch, W. Lütkebohmert, M. Raynaud: Néron models. Ergeb. Math. Grenzgebiete (3) 21. Springer, Berlin, [4] F. Demeyer, T. Ford: On the Brauer group of toric varieties. Trans. Am. Math. Soc. 335, (1993). [5] D. Edidin, B. Hasset, A. Kresh, A. Vistoli: Brauer groups and quotient stacks. Preprint [6] O. Gabber: Some theorems on Azumaya algebras. In: M. Kervaire, M. Ojanguren (eds.), Groupe de Brauer, pp Lect. Notes Math Springer, Berlin, [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 North-Holland, Amsterdam, [9] A. Grothendieck: Le groupe de Brauer II. In: J. Giraud (ed.) et al.: Dix exposes sur la cohomologie des schemas, pp North-Holland, Amsterdam, [10] A. Grothendieck: Le groupe de Brauer III. In: J. Giraud (ed.) et al.: Dix exposes sur la cohomologie des schemas, pp North-Holland, Amsterdam, [11] R. Hartshorne: Ample subvarieties of algebraic varieties. Lect. Notes Math Springer, Berlin, [12] R. Hartshorne: Generalised divisors on Gorenstein schemes. K-Theory 8, (1994). [13] R. Hoobler: Brauer groups of abelian schemes. Ann. Sci. Ec. Norm. Sup. 5, (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 Lect. Notes Math Springer, Berlin, [15] S. Kleiman: The transversality of a general translate. Compositio Math. 28, (1974). [16] M.-A. Knus: Quadratic and hermitian forms over rings. Grundlehren Math. Wiss Springer, Berlin, [17] J. Lipman: Desingularization of two-dimensional schemes. Ann. Math. (2) 107, (1978). [18] M. Maruyama: Elementary transformations in the theory of algebraic vector bundles. In: J. Aroca, R. Buchweitz, M. Giuisti (eds.), Algebraic geometry, pp Lect. Notes Math Springer, Berlin, [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, (1999). [21] S. Schröer: On contractible curves on normal surfaces. math.ag/ To appear in J. Reine Angew. Math. [22] R. Treger: Reflexive Modules. J. Alg. 54, (1978) [23] J. Winkelmann: Every compact complex manifold admits a holomorphic vector bundle. Rev. Roum. Math. Pures Appl. 38, (1993).

11 AZUMAYA ALGEBRAS ON SURFACES 11 Mathematische Fakultät, Ruhr-Universität, Bochum, Germany address:

Remarks on the existence of Cartier divisors

Remarks on the existence of Cartier divisors arxiv:math/0001104v1 [math.ag] 19 Jan 2000 Remarks on the existence of Cartier divisors Stefan Schröer October 22, 2018 Abstract We characterize those invertible sheaves on a noetherian scheme which are

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

OFER GABBER, QING LIU, AND DINO LORENZINI

OFER GABBER, QING LIU, AND DINO LORENZINI PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss

More information

Preliminary Exam Topics Sarah Mayes

Preliminary Exam Topics Sarah Mayes Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition

More information

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

ON THE PICARD GROUP FOR NON-COMPLETE ALGEBRAIC VARIETIES. Helmut A. Hamm & Lê Dũng Tráng

ON THE PICARD GROUP FOR NON-COMPLETE ALGEBRAIC VARIETIES. Helmut A. Hamm & Lê Dũng Tráng Séminaires & Congrès 10, 2005, p. 71 86 ON THE PICARD GROUP FOR NON-COMPLETE ALGEBRAIC VARIETIES by Helmut A. Hamm & Lê Dũng Tráng Abstract. In this paper we show some relations between the topology of

More information

Rational sections and Serre s conjecture

Rational sections and Serre s conjecture FREIE UNIVERSITÄT BERLIN FORSCHUNGSSEMINAR SS 15 Rational sections and Serre s conjecture Lei Zhang March 20, 2015 Recall the following conjecture of Serre. INTRODUCTION Conjecture. Let K be a perfect

More information

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

More information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

Synopsis of material from EGA Chapter II, 5

Synopsis of material from EGA Chapter II, 5 Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In

More information

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X 2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

More information

Math 797W Homework 4

Math 797W Homework 4 Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

1.5.4 Every abelian variety is a quotient of a Jacobian

1.5.4 Every abelian variety is a quotient of a Jacobian 16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique

More information

Néron models of abelian varieties

Néron models of abelian varieties Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of

More information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

More information

MINIMAL MODELS FOR ELLIPTIC CURVES

MINIMAL MODELS FOR ELLIPTIC CURVES MINIMAL MODELS FOR ELLIPTIC CURVES BRIAN CONRAD 1. Introduction In the 1960 s, the efforts of many mathematicians (Kodaira, Néron, Raynaud, Tate, Lichtenbaum, Shafarevich, Lipman, and Deligne-Mumford)

More information

LEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS

LEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS LEFSCHETZ THEOREMS FOR TAMELY RAMIFIED COVERINGS HÉLÈNE ESNAULT AND LARS KINDLER Abstract. As is well known, the Lefschetz theorems for the étale fundamental group of quasi-projective varieties do not

More information

Elliptic curves, Néron models, and duality

Elliptic curves, Néron models, and duality Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over

More information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

ALGEBRAIC GEOMETRY I, FALL 2016.

ALGEBRAIC GEOMETRY I, FALL 2016. ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples

More information

Artin Approximation and Proper Base Change

Artin Approximation and Proper Base Change Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X

More information

Classification of Complex Algebraic Surfaces

Classification of Complex Algebraic Surfaces ALGANT Master Thesis in Mathematics Classification of Complex Algebraic Surfaces Alberto Corato Advised by Prof. Dajano Tossici Università degli Studi di Padova Université de Bordeaux Academic year 2017/2018

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

More information

LINE BUNDLES ON PROJECTIVE SPACE

LINE BUNDLES ON PROJECTIVE SPACE LINE BUNDLES ON PROJECTIVE SPACE DANIEL LITT We wish to show that any line bundle over P n k is isomorphic to O(m) for some m; we give two proofs below, one following Hartshorne, and the other assuming

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Tamagawa Numbers in the Function Field Case (Lecture 2)

Tamagawa Numbers in the Function Field Case (Lecture 2) Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q

More information

Some Remarks on Prill s Problem

Some Remarks on Prill s Problem AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society

Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN

More information

Projective Images of Kummer Surfaces

Projective Images of Kummer Surfaces Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

NOTES ON ABELIAN VARIETIES

NOTES ON ABELIAN VARIETIES NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and

More information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms. Peter Bruin 21 February 2007 Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

More information

INTERSECTION THEORY CLASS 6

INTERSECTION THEORY CLASS 6 INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.

More information

1 Existence of the Néron model

1 Existence of the Néron model Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S

More information

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

DEFORMATIONS VIA DIMENSION THEORY

DEFORMATIONS VIA DIMENSION THEORY DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18 CONTENTS 1. Invertible sheaves and divisors 1 2. Morphisms of schemes 6 3. Ringed spaces and their morphisms 6 4. Definition of morphisms of schemes 7 Last day:

More information

A Note on Dormant Opers of Rank p 1 in Characteristic p

A Note on Dormant Opers of Rank p 1 in Characteristic p A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective

More information

Oral exam practice problems: Algebraic Geometry

Oral exam practice problems: Algebraic Geometry Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n

More information

MOISHEZON SPACES IN RIGID GEOMETRY

MOISHEZON SPACES IN RIGID GEOMETRY MOISHEZON SPACES IN RIGID GEOMETRY BRIAN CONRAD Abstract. We prove that all proper rigid-analytic spaces with enough algebraically independent meromorphic functions are algebraic (in the sense of proper

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

More information

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2, Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

More information

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

More information

Topics in Algebraic Geometry

Topics in Algebraic Geometry Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes

More information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr ) MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

More information

Infinite root stacks of logarithmic schemes

Infinite root stacks of logarithmic schemes Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective

More information

SEMISTABLE REDUCTION FOR ABELIAN VARIETIES

SEMISTABLE REDUCTION FOR ABELIAN VARIETIES SEMISTABLE REDUCTION FOR ABELIAN VARIETIES BRIAN CONRAD 1. Introduction The semistable reduction theorem for curves was discussed in Christian s notes. In these notes, we will use that result to prove

More information

On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji

On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log

More information

then D 1 D n = D 1 D n.

then D 1 D n = D 1 D n. Lecture 8. Intersection theory and ampleness: revisited. In this lecture, X will denote a proper irreducible variety over k = k, chark = 0, unless otherwise stated. We will indicate the dimension of X

More information

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

THE KEEL MORI THEOREM VIA STACKS

THE KEEL MORI THEOREM VIA STACKS THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

Non-uniruledness results for spaces of rational curves in hypersurfaces

Non-uniruledness results for spaces of rational curves in hypersurfaces Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree

More information

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

More information

INTERSECTION THEORY CLASS 12

INTERSECTION THEORY CLASS 12 INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction

More information

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity

More information

THE SMOOTH BASE CHANGE THEOREM

THE SMOOTH BASE CHANGE THEOREM THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change

More information

Néron Models of Elliptic Curves.

Néron Models of Elliptic Curves. Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman

More information

NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata

NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact

More information

INTERSECTION THEORY CLASS 7

INTERSECTION THEORY CLASS 7 INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash

More information

Forschungsseminar: Brauer groups and Artin stacks

Forschungsseminar: Brauer groups and Artin stacks Universität Duisburg-Essen, Düsseldorf SS 07 Forschungsseminar: Brauer groups and Artin stacks Organisation: Jochen Heinloth, Marc Levine, Stefan Schröer Place and time: Thursdays, 14-16 Uhr ct, T03 R03

More information

Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

More information

1.6.1 What are Néron Models?

1.6.1 What are Néron Models? 18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in

More information

MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

More information

Porteous s Formula for Maps between Coherent Sheaves

Porteous s Formula for Maps between Coherent Sheaves Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Demushkin s Theorem in Codimension One

Demushkin s Theorem in Codimension One Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und

More information

ON A THEOREM OF CAMPANA AND PĂUN

ON A THEOREM OF CAMPANA AND PĂUN ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified

More information

Another proof of the global F -regularity of Schubert varieties

Another proof of the global F -regularity of Schubert varieties Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give

More information

The Affine Stratification Number and the Moduli Space of Curves

The Affine Stratification Number and the Moduli Space of Curves Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 38, 2004 The Affine Stratification Number and the Moduli Space of Curves Mike Roth and Ravi Vakil Abstract. We define the affine

More information

1 Notations and Statement of the Main Results

1 Notations and Statement of the Main Results An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

More information

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

More information

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.

More information

PROJECTIVE BUNDLES OF SINGULAR PLANE CUBICS STEFAN KEBEKUS

PROJECTIVE BUNDLES OF SINGULAR PLANE CUBICS STEFAN KEBEKUS PROJECTIVE BUNDLES OF SINGULAR PLANE CUBICS STEFAN KEBEKUS ABSTRACT. Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads

More information

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally

More information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

More information

TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2) TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights

More information

15 Lecture 15: Points and lft maps

15 Lecture 15: Points and lft maps 15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed

More information

ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES

ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES Math. J. Okayama Univ. 51 (2009), 1 26 ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES Yuichiro HOSHI Abstract. In the present paper, we study the cuspidalization problem for the fundamental group

More information

Projective Schemes with Degenerate General Hyperplane Section II

Projective Schemes with Degenerate General Hyperplane Section II Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco

More information

Diagonal Subschemes and Vector Bundles

Diagonal Subschemes and Vector Bundles Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas

More information