# Algebraic Geometry Spring 2009

Size: px
Start display at page:

Transcription

2 18.726: Algebraic Geometry (K.S. Kedlaya, MIT, Spring 2009) Cohomology of quasicoherent sheaves (updated 25 Apr 09) There is one more fundamental theorem about affine schemes! Here it is. 1 The theorem, and a bogus proof Let s start with the statement of the fourth fundamental theorem of affine schemes. Theorem. Let X be an affine scheme and let F be a quasicoherent sheaf on X. Then H i (X, F) = 0 for i > 0, that is, F is acyclic for sheaf cohomology. Here is how not to prove this theorem. Bogus proof of the theorem. Put X = Spec A. From the earlier fundamental theorems of affine schemes, we know we can write F = M for some A-module M. Since Mod A has enough injectives, we can find a monomorphism M I with I an injective A-module. Put N = I/M. Again by the earlier fundamental theorems of affine schemes, we know that the exact sequence 0 M I I/M 0 of A-modules is precisely what you get by taking global sections of the exact sequence 0 M Ĩ I/M 0. So in the long exact sequence in cohomology, the connecting homomorphism into H 1 (X, M ) is zero. On the other hand, H i (X, Ĩ) = 0 for all i > 0 since Ĩ is injective, so H 1 (X, M ) is forced to be zero. Moreover, for i > 1, H i (X, M ) = H i 1 (X, I/M), so we may prove the higher vanishing by dimension shifting. What s wrong with this proof? The problem is that while the injectivity of I in Mod A implies the injectivity of I in the category of quasicoherent O X -modules, it does not imply injectivity in the category of arbitrary O X -modules, or of sheaves of abelian groups on X. In particular, it is unclear whether injectivity of I implies that I is flasque. One can at least show that I is basically flasque, in that the restriction from Γ(X, I) = I to Γ(D(f), I) = I f is surjective, but this isn t really enough to do anything useful. There are two ways to fix this. One way (used in Hartshorne, and also in the book by Ueno that I recommended earlier) is to restrict attention to noetherian rings, and then prove that an injective module does indeed give rise to a flasque sheaf. The other way (used in EGA) is to compute with Čech cohomology instead of sheaf cohomology, so that you can deal only with finite covers by distinguished opens. That s what I ll do here. First, however, I should mention that there is an easy argument to show that H 1 vanishes. The following is close to the third fundamental theorem of affine schemes; see Hartshorne Proposition II.5.6 for the proof. (Since I won t use this to prove the theorem, you may instead view it as a corollary of the theorem.) 1

3 Lemma. Let X = Spec A be an affine scheme. Let 0 F 1 F F 2 0 be an exact sequence of O X -modules such that F 1 is quasicoherent (but don t assume anything about the other two). Then the sequence is exact. 0 Γ(X, F 1 ) Γ(X, F) Γ(X, F 2 ) 0 This implies that the connecting homomorphism H 0 (X, F 2 ) H 1 (X, F 1 ) is zero, so H 1 (X, F 1 ) injects into H 1 (X, F). If we then choose F to be injective, we deduce H 1 (X, F 1 ) = 0. 2 Applications Before proving the theorem, let me mention some corollaries. First, from the Čech cohomology discussion, we deduce the following. Corollary. Let X be a scheme and let U = {U i } i I be an open cover of X. Suppose that for each finite subset J I, the intersection U J = j J U j is affine. Then for any quasicoherent sheaf F on X, the sheaf cohomology of F is computed by the Čech cohomology for the cover U; that is, H i (X, F) = Ȟ i (U, F). Recall that inside a separated scheme, the intersection of any two open affines is again affine. We thus have the following; I ll illustrate next time by using this to compute the cohomology of the sheaves O(n) on projective space. Corollary. Let X be a separated scheme and let U = {U i } i I be an open affine cover of X. Then for any quasicoherent sheaf F on X, H i (X, F) = Ȟ i (U, F). Here is an even more specialized corollary, which in itself is not so useful. I mention it because I will prove this directly and use it as a lemma to prove the whole theorem. Corollary. Let A be a ring and choose f 1,...,f n A which generate the unit ideal. Let U be the open cover of X = Spec A by D(f i ) for i = 1,..., n. Then for any A-module M, Ȟ 0 (U, M ) = M and Ȟ i (U, M ) = 0 for i > 0. 2

4 3 A correct proof of the theorem Following Grothendieck (and I think Serre before him, in the context of varieties), we will prove the last corollary first, and then use that to prove the theorem. So our first order of business is to show that the complex 0 M Č 0 (U, M ) Č 1 (U, M ) is exact. Remember that this complex came from the complex of sheaves 0 M Č 0 (U, M ) Č 1 (U, M ) by taking global sections. We proved in the Čech cohomology lecture that this sequence of sheaves is exact (by computing at stalks). Moreover, each of the constituent sheaves is quasicoherent, for the following reason. Each sheaf in the sequence equals a direct sum of sheaves each of the form j U (M U ) for U an intersection of some of the U j. In particular, each such intersection has the form D(g) for some g A. But this sheaf is simply the quasicoherent sheaf associated to the A-module M g. Since we have an exact sequence of quasicoherent sheaves, taking global sections gives us an exact sequence of A-modules. This proves the corollary. So now we know that for any finite cover U of Spec A by distinguished opens, Ȟ 0 (U, M ) = M, Ȟ i (U, M ) = 0 (i > 0). The same holds if we take the direct limit over finite covers by distinguished opens. However, this gives the same result as taking the direct limit over all open covers because any cover can be refined to a finite cover by distinguished opens. We conclude that Ȟ 0 (X, M ) = M, Ȟ i (X, M ) = 0 (i > 0); although the theorem that says that the direct limit Čech cohomology also computes sheaf cohomology doesn t apply (because X is not Hausdorff), one can still show that this implies H 0 (X, M ) = M, H i (X, M ) = 0 (i > 0) using the following theorem of Cartan, applied with B being the collection of distinguished open affines. Theorem (Cartan). Let X be a topological space. Let B be a basis of X closed under pairwise intersections. Let F be a sheaf of abelian groups on X such that Ȟ i (U, F) = 0 for all U B. Then Ȟ i (X, F) is naturally isomorphic to H i (X, F) for all i 0. We will prove this in the next section. It can also be proved using spectral sequences; see the optional handout. 3

5 4 Comparison of Čech and sheaf cohomology Before proving Cartan s theorem, here is a lemma which generalizes a fact we already know about flasque sheaves. Lemma. Let X be a topological space. Let F be a sheaf of abelian groups on X such that Ȟ 1 (X, F) = 0. Then for any short exact sequence of sheaves, is exact. 0 F G H 0 0 Γ(X, F) Γ(X, G) Γ(X, H) 0 Proof. (proof suggested by Fucheng Tan) We need only check surjectivity on the right. Let s Γ(X, H) be any section; let U = {U i } i I be an open cover of X such that for each i I, s Ui lifts to a section t i Γ(U i, G). For i, j I, put u ij = t i Ui U j t j Ui U j Γ(U i U j, G). Since u ij has zero image in Γ(U i U j, G), we may also view as an element of Γ(U i U j, F). With this convention, we see that the u ij form a Čech 1-cocycle of F for the open cover U. Before proceeding, note that there is a natural way to replace the above data for one cover U with a refinement V = {V j } j J. Namely, the refinement comes by definition with a map λ : J I such that V j U λ(j) for each j. To pass from U to V: replace the collection of the t i for i I with the collection of the t λ(j) Vj for j I; replace the collection of the t ij for i, j I with the collection of the u λ(k)λ(l) Vk V j for k, l I. To avoid excess notation, we will speak of replacing U by a refinement which will also be labeled U. Since Ȟ 1 (X, F) = 0 by hypothesis, we can replace U by a refinement in such a way that u ij become a Cech ˇ 1-coboundary. This means that there are sections v i Γ(U i, F) such that For i I, we now form v i Ui U j v j Ui U j = u ij w i = t i v i Γ(U i, G). (i, j I). These sections have the property that on one hand, the image of w i in Γ(U i, H) equals s Ui (since v i, having come from F, maps to zero in H), and on the other hand, w i Ui U j w j Ui U j = (t i Ui U j v i Ui U j ) (t j Ui U j v j Ui U j ) = (t i Ui U j t j Ui U j ) (v i Ui U j v j Ui U j ) = u ij u ij = 0. Hence the w i glue to a section w Γ(X, G) lifting s, as desired. 4

6 Proof of Cartan s theorem. The claim is true for i = 0 because of the sheaf axiom. We use this as a basis for induction on i, using dimension shifting. Assume that for some i > 0, the claim is true for every value less than i. Choose a short exact sequence 0 F G H 0 with G flasque. By the previous lemma, for any U B, 0 Γ(U, F) Γ(U, G) Γ(U, H) 0 is exact. Let U = {U i } i I be an open cover of X by basic open sets. Since B is closed under pairwise intersections, it follows that 0 Č. (U, F) Č. (U, G) Č. (U, H) 0 is an exact sequence of complexes. Since every open cover can be refined to an open cover by basic opens, taking direct limits over all covers is the same as taking direct limits over basic open covers, which means that 0 Č. (X, F) Č. (X, G) Č. (X, H) 0 is again an exact sequence of complexes. The same holds if we replace X by any basic open set U, by the same reasoning. We now take the long exact sequence in cohomology associated to this short exact sequence of complexes, and compare it to the long exact sequence in sheaf cohomology. We get the diagram Ȟ i 1 (X, G) Ȟ i 1 (X, H) Ȟ i (X, F) Ȟ i (X, G) H i 1 (X, G) H i 1 (X, H) H i (X, F) H i (X, G) We first notice that Ȟ i (X, G) = H i (X, G) = 0 because G is flasque. If we replace X by a basic open set U and then look at the top sequence, we see that for i > 1, Ȟ i 1 (U, H) is sandwiched between two zero groups, so it is also zero. That is, H also satisfies the hypothesis of the theorem. We may now argue by dimension shifting as follows. The first vertical arrow is an isomorphism (for i = 1 this holds by the sheaf axiom, otherwise both groups vanish), the second vertical arrows is an isomorphism by the induction hypothesis, and the fourth vertical arrow is the zero map between zero groups. The five lemma thus implies that the third arrow is an isomorphism. 5

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

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

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.

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

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

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

### Section Higher Direct Images of Sheaves

Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will

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

### ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.

ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)

### Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,

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

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that

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

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

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

### Concentrated Schemes

Concentrated Schemes Daniel Murfet July 9, 2006 The original reference for quasi-compact and quasi-separated morphisms is EGA IV.1. Definition 1. A morphism of schemes f : X Y is quasi-compact if there

### Notes on the definitions of group cohomology and homology.

Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.

### RIEMANN S INEQUALITY AND RIEMANN-ROCH

RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed

### Synopsis of material from EGA Chapter II, 3

Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf

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

### HARTSHORNE EXERCISES

HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

### Lecture 9 - Faithfully Flat Descent

Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,

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

### Cohomology and Base Change

Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

### Factorization of birational maps for qe schemes in characteristic 0

Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014

### Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

### Notes on Sheaf Cohomology

Notes on Sheaf Cohomology Contents 1 Grothendieck Abelian Categories 1 1.1 The size of an object.................................... 2 1.2 Injectives.......................................... 3 2 Grothendieck

### DESCENT THEORY (JOE RABINOFF S EXPOSITION)

DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,

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

### TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

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

### NOTES ON DIVISORS AND RIEMANN-ROCH

NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as

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

### Algebraic Geometry

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

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

### 3. The Sheaf of Regular Functions

24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

### Descent on the étale site Wouter Zomervrucht, October 14, 2014

Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and

### Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

### Dualizing complexes and perverse sheaves on noncommutative ringed schemes

Sel. math., New ser. Online First c 2006 Birkhäuser Verlag Basel/Switzerland DOI 10.1007/s00029-006-0022-4 Selecta Mathematica New Series Dualizing complexes and perverse sheaves on noncommutative ringed

### Direct Limits. Mathematics 683, Fall 2013

Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

### 18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems

18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der

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

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

### Locally G-ringed spaces and rigid spaces

18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the

### VERDIER DUALITY AKHIL MATHEW

VERDIER DUALITY AKHIL MATHEW 1. Introduction Let M be a smooth, compact oriented manifold of dimension n, and let k be a field. Recall that there is a natural pairing in singular cohomology H r (M; k)

### MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

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

### AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

### Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

### Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

### COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

### Matrix factorizations over projective schemes

Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar

### Curves on P 1 P 1. Peter Bruin 16 November 2005

Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the

### mirko mauri, valerio proietti

O K A - C A R TA N F U N D A M E N TA L T H E O R E M O N S T E I N M A N I F O L D S mirko mauri, valerio proietti contents 1 Preparation 2 1.1 Coherent sheaves 2 1.2 Holomorphic convexity 4 1.3 Sheaf

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about

### Math 210B. The bar resolution

Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial

### Modules over a Scheme

Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasi-coherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective

### Geometry 2: Manifolds and sheaves

Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,

### Construction of M B, M Dol, M DR

Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant

### AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

### 48 CHAPTER 2. COMPUTATIONAL METHODS

48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process

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

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

### ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

### 1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim

Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories

### Math 248B. Base change morphisms

Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback

### Curves on an algebraic surface II

Curves on an algebraic surface II Dylan Wilson October 1, 2014 (1) Last time, Paul constructed Curves X and Pic X for us. In this lecture, we d like to compute the dimension of the Picard group for an

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last

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

### 3 Lecture 3: Spectral spaces and constructible sets

3 Lecture 3: Spectral spaces and constructible sets 3.1 Introduction We want to analyze quasi-compactness properties of the valuation spectrum of a commutative ring, and to do so a digression on constructible

### Schemes via Noncommutative Localisation

Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the well-known results of Gabriel, which show how to define affine schemes in terms of the

### Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 51 AND 52

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 51 AND 52 RAVI VAKIL CONTENTS 1. Smooth, étale, unramified 1 2. Harder facts 5 3. Generic smoothness in characteristic 0 7 4. Formal interpretations 11 1. SMOOTH,

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

### Relative Affine Schemes

Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec( ) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which

### Scheme theoretic vector bundles

Scheme theoretic vector bundles The best reference for this material is the first chapter of [Gro61]. What can be found below is a less complete treatment of the same material. 1. Introduction Let s start

### A course in. Algebraic Geometry. Taught by C. Birkar. Michaelmas 2012

A course in Algebraic Geometry Taught by C. Birkar Michaelmas 2012 Last updated: May 30, 2013 1 Disclaimer These are my notes from Caucher Birkar s Part III course on algebraic geometry, given at Cambridge

### Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

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

### MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

### Micro-support of sheaves

Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book

### arxiv: v1 [math.ag] 24 Sep 2018

PURITY IN CATEGORIES OF SHEAVES MIKE PREST AND ALEXANDER SLÁVIK arxiv:1809.08981v1 [math.ag] 24 Sep 2018 Abstract. We consider categorical and geometric purity for sheaves of modules over a scheme satisfying

### Section Blowing Up

Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL CONTENTS 1. Flat implies constant Euler characteristic 1 2. Proof of Important Theorem on constancy of Euler characteristic in flat families

### Weil Conjectures (Deligne s Purity Theorem)

Weil Conjectures (Deligne s Purity Theorem) David Sherman, Ka Yu Tam June 7, 2017 Let κ = F q be a finite field of characteristic p > 0, and k be a fixed algebraic closure of κ. We fix a prime l p, and

### Derived Functors and Explicit Projective Resolutions

LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A

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

### A Primer on Homological Algebra

A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

### ÉTALE π 1 OF A SMOOTH CURVE

ÉTALE π 1 OF A SMOOTH CURVE AKHIL MATHEW 1. Introduction One of the early achievements of Grothendieck s theory of schemes was the (partial) computation of the étale fundamental group of a smooth projective

### An Introduction to Spectral Sequences

An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

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

### which is a group homomorphism, such that if W V U, then

4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV

### NOTES ON CHAIN COMPLEXES

NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which