# LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES

Size: px
Start display at page:

Transcription

1 LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain branches of representation theory. Our motivations here and consequently the sorts of examples we will consider are rather different: we are ultimately interested in applications to symplectic geometry. Today we dive right in, and discuss constructible sheaves on R. 1. SOME SHEAF GENERALITIES Let be a topological space. We write Opens() for the category whose objects are open sets of, and in which a morphism U V is just an inclusion U V. We write Opens() op for the opposite category, so we do not have to use the word contravariant functor. Suppose C is some category, and we have a functor F : Opens() op C Spelling it out very explicitly: for each open set U, there should be an element F(U) C. For each inclusion U V, there should be a restriction morphism F(V ) F(U). Given a chain of inclusions U V W, the composition F(W ) F(V ) F(U) should be equal to the given morphism F(W ) F(U). We call such a functor a presheaf F on with coefficients in C. Morphisms of presheaves are (by definition) morphisms of these functors. Often, one calls F(U) the sections over U, and calls F() the global sections. For V U and s F(U), the image of the restriction morphism F(U) F(V ) is often indicated as s V or s V. Example. For some c C, the constant presheaf c pre is the functor taking U c, and in which all restriction morphisms are the identity 1 c. One can view the elements of c pre (U) as constant functions U c, and the restriction maps as restriction of said functions. Example. One could also take 0 U = U Z otherwise again with all morphisms either given by the identity when possible and the zero morphism otherwise. Note this presheaf differs from Z only in what it assigns to the largest open set, i.e. the space itself. This example is meant to illustrate that what a presheaf assigns to larger open sets is not determined by what it assigns to smaller ones. 1

2 2 VIVEK SHENDE Example. Recall that for any category has the Yoneda embedding into its category of set-valued contravariant functors via x Hom(, x). In particular, Opens() embeds into the category of set-valued presheaves on ; the open set U going to the functor defined by a one element set V U h U (V ) = Hom(V, U) = otherwise Consider an open set U, and a covering U = U i. In the category of open sets, there are compatible morphisms U i U j U i U. Correspondingly there are compatible morphisms F(U) F(U i ) F(U i U j ). We say F is a sheaf if the corresponding induced morphism F(U) lim ( F(U i ) F(U i U j ) ) is an isomorphism. Example. When the U i are disjoint, one is asking that F(U) F(U i ) is an isomorphism. In particular, if contains any two disjoint open sets U, V, and the diagonal map c c c is not an isomorphism (generally it is not), then the constant presheaf c pre is not a sheaf. The categories C of interest to us (sets, abelian groups, R-modules) contain all (small) limits; one says that such C are complete. We will also tend to work with continuously concrete categories; concrete meaning it carries a faithful forgetful functor to the category of sets, and continous meaning that this functor preserves limits. (When, as is often the case, the forgetful functor is right adjoint to a free construction, it is automatically continuous due to being a right adjoint.) In these cases, recall that the limit above is described explicitly as tuples lim ( F(U i ) F(U i U j ) ) = {(s i F (U i )) s i Ui U j = s j Ui U j } Thus the condition that F is a sheaf can be written as: Given a cover of an open U by a collection of opens U i And any tuple (s i F(U i )) such that s i Ui U j = s j Ui U j There exists a unique s F(U) with s Ui = s i. Example. The constant presheaf c pre U = U 1 U2. By definition c pre (U) = cpre would have F(U) = F(U 1 ) F(U 2 ). is not a sheaf. Indeed, consider a disconnected open set (U 1) = c pre (U 2). On the other hand, for a sheaf F we Exercise. Define the constant sheaf c by taking c (U) to be the locally constant functions U c, with the restriction being restriction of functions. We will see more examples next class when we take up the generalities in earnest. Remark. Note that in the category of open sets, the colimit of any diagram is just the union of open sets appearing. The limit of a diagram exists and is equal to intersection of open sets appearing, if

3 LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES 3 and only if this is an open set. So the condition that F is a sheaf is the assertion that the colimit U = colim (U i U i U j ) is carried to the limit F(U) = lim (F (U i ) F (U i U j )). It is however certainly not true that sheaves carry all colimits of open sets to limits. Indeed, there would be very few such things. Consider e.g. two open sets U, V which overlap. Then we have both U V = colim{u, V } and U V = colim(u U V V ). Asking a functor to carry these both to limits means asking that F(U) F(V ) = F(U) F(U V ) F(V ), i.e., that every section of U and every section of V have the same restriction in U V. Evidently this is not true, e.g. for a constant sheaf. Suppose given a continuous map of topological spaces, f : Y. Sheaves can be pushed forward and pulled back according to the following formulas. If F is a presheaf on, then one has a presheaf f F on Y defined as follows: (f F)(U) := F(f 1 (U)) This makes sense because f is continuous, so f 1 (U) is an open set. Exercise. If F is a sheaf, then so is f F. Pulling sheaves back is harder. For G a sheaf on Y, one might try to write (f 1 G)(U) = G(f(U)), but f(u) needn t be an open set. Instead one writes: (f 1 G)(U) = colim V f(u) G(V ) For this to always make sense, our coefficient category must have filtered colimits. (This is true for the category of sets, which has all colimits.) Example. Even if G is a sheaf, it needn t be the case that f 1 G is a sheaf. Indeed, consider a map point. Let us consider the constant sheaf on the point (there are no other kinds anyway). Its pullback according to the above formula is the constant presheaf on, which we know is not a sheaf. We will see next time how to fix this problem and define a pullback for sheaves. There is however one obvious case when the pullback is already a sheaf: namely when i : U Y is the inclusion of an open subset. In this case we write i 1 G as G U. Exercise. More generally, is it true that when f : Y is an injection, and G is a sheaf on Y, then f 1 G is already a sheaf on? One particularly important case of the pullback is the inclusion of a point, i : y Y. In this case, for a sheaf G on Y, the (sections over y of) the restriction i G is generally denoted by G y, and called the stalk at y.

4 4 VIVEK SHENDE 2. CONSTRUCTIBLE SHEAVES ON R Consider a sheaf on the real line R with coefficients in some category C. The restriction morphisms of this sheaf give rise to a diagram F((, 0)) F(R) F((0, )) Conversely, from a diagram a b c, one can define a sheaf F a b c as follows. For an open interval L to the left of zero, we set F a b c (L) = a For an open interval M including zero we set F a b c (M) = b. For an open interval R to the right of zero we set F a b c (R) = c The restriction maps between open intervals are either the identity or the map in the diagram. Any open set U R is a disjoint union of open intervals; the value of a sheaf on such a union is just the product of its values, and likewise for the restriction maps. Note there are isomorphisms F a b c (,0) = a(,0) and F a b c (0, ) = c(0, ). More generally, we say that a sheaf G on R whose restrictions G (,0) and G (0, ) are constant sheaves is constructible with respect to the stratification R = (, 0) {0} (0, ). Exercise. Show that the map a b c F a b c is an equivalence of categories between diagrams of the shape (i.e., representations of an A 3 quiver) and the category of sheaves constructible with respect to the above stratification. Hint: the main point is to show essential surjectivity of the above morphism, and the main point here is to establish that for any sheaf constructible with respect to the above stratification, the restriction map between two intervals containing 0 is always an isomorphism. If J I are two such intervals, consider a cover of I by J and two end pieces L, R, and then use the fact that F(L) F(L J) and F(R) F(R J) must be isomorphisms. More generally, suppose given a decomposition of R into a disjoint union of (finitely many) open intervals and points. We say that a sheaf is constructible with respect to this stratification if its restriction to each open interval is a constant sheaf. By the same argument and construction as for the above exercise, one can show: Proposition 1. Consider the stratification R = (, t 1 ) {t 1 } (t 1, t 2 ) {t 2 } (t n, ). There is a functor from sheaves on R to diagrams given by taking a sheaf F to F(, t 1 ) F(, t 2 ) F(t 1, t 2 ) F(t 1, t 3 ) F(t 2, t 3 ) F(t n 1, ) F(t n, ) This functor restricts to an equivalence of categories between sheaves constructible with respect to this stratification and diagrams of this form.

5 LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES 5 3. A TASTE OF THE MICROSUPPORT In general, when F is a sheaf of abelian groups on, then we say the support of F is the closure of the locus of points at which the stalk F x is nonzero. When is a manifold, one can ask a more sophisticated question: in which directions is the stalk of F changing? The answer is given by the microsupport, which is in general a conical locus in the cotangent bundle. We will give precise definitions later, but already we can draw some pictures. Consider a point (x, ξ) in T R; here x is the position and ξ is the cotangent vector. Suppose also given a sheaf F on R. (Pseudo-definition) For ξ > 0, the point (x, ξ) is in the microsupport if, for small ɛ, the restriction morphism F(x ɛ, x + ɛ) F(x ɛ, x) is a isomorphism. Likewise for ξ < 0, the point (x, ξ) is in the microsupport if F(x ɛ, x + ɛ) F(x, x + ɛ) is an isomorphism. A point (x, 0) is in the microsupport if it s in the support. This definition doesn t make sense in higher dimensions, and we will ultimately want use derived sections rather than sections to define the microsupport. But, in the case at hand, this agrees with the correct definition. Exercise. (I did this in class) Draw the microsupports of the sheaves F a b c. Of especial interest are the following six cases: Z Z Z Z Z 0 Z Z Z 0 0 Z 0 Z 0

### Sheaves. S. Encinas. January 22, 2005 U V. F(U) F(V ) s s V. = s j Ui Uj there exists a unique section s F(U) such that s Ui = s i.

Sheaves. S. Encinas January 22, 2005 Definition 1. Let X be a topological space. A presheaf over X is a functor F : Op(X) op Sets, such that F( ) = { }. Where Sets is the category of sets, { } denotes

### LECTURE 3: SHEAVES ON R 2, CONSTRUCTIBLE WITH RESPECT TO THE STRATIFICATION BY THE AXES

LECTURE 3: SHEAVES ON R 2, CONSTRUCTIBLE WITH RESPECT TO THE STRATIICATION BY THE AXES VIVEK SHENDE Today we will do a calculation in some detail of the microsupports of sheaves on R 2 which are constructible

### Elementary (ha-ha) Aspects of Topos Theory

Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................

### Lecture 9: Sheaves. February 11, 2018

Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with

### SOME OPERATIONS ON SHEAVES

SOME OPERATIONS ON SHEAVES R. VIRK Contents 1. Pushforward 1 2. Pullback 3 3. The adjunction (f 1, f ) 4 4. Support of a sheaf 5 5. Extension by zero 5 6. The adjunction (j!, j ) 6 7. Sections with support

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday

### Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.

COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which

### 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 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 I Lectures 14 and 15

Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Some constructions using universal properties, old and new 1 2. Adjoint functors 3 3. Sheaves 6 Last day: What is algebraic geometry? Crash

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

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 3

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 3 RAVI VAKIL CONTENTS 1. Kernels, cokernels, and exact sequences: A brief introduction to abelian categories 1 2. Sheaves 7 3. Motivating example: The sheaf of differentiable

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

### A Grothendieck site is a small category C equipped with a Grothendieck topology T. A Grothendieck topology T consists of a collection of subfunctors

Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped

### COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an

### PART I. Abstract algebraic categories

PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.

### Math 535a Homework 5

Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector

### Representable presheaves

Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom

### Solutions to some of the exercises from Tennison s Sheaf Theory

Solutions to some of the exercises from Tennison s Sheaf Theory Pieter Belmans June 19, 2011 Contents 1 Exercises at the end of Chapter 1 1 2 Exercises in Chapter 2 6 3 Exercises at the end of Chapter

### Categories and functors

Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

### IndCoh Seminar: Ind-coherent sheaves I

IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of

### Lecture 2 Sheaves and Functors

Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf

### (iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.

0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested

### ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up

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

### Manifolds, sheaves, and cohomology

Manifolds, sheaves, and cohomology Torsten Wedhorn These are the lecture notes of my 3rd year Bachelor lecture in the winter semester 2013/14 in Paderborn. This manuscript differs from the lecture: It

### Modules over a Ringed Space

Modules over a Ringed Space Daniel Murfet October 5, 2006 In these notes we collect some useful facts about sheaves of modules on a ringed space that are either left as exercises in [Har77] or omitted

### FOUNDATIONS OF ALGEBRAIC GEOMETRY PROBLEM SET 1

FOUNDATIONS OF ALGEBRAIC GEOMETRY PROBLEM SET 1 RAVI VAKIL This set is due at noon on Friday October 5. You can hand it in to Jarod Alper (jarod@math.stanford.edu) in the big yellow envelope outside his

### TOPICS IN ALGEBRA COURSE NOTES AUTUMN Contents. Preface Notations and Conventions

TOPICS IN ALGEBRA COURSE NOTES AUTUMN 2003 ROBERT E. KOTTWITZ WRITTEN UP BY BRIAN D. SMITHLING Preface Notations and Conventions Contents ii ii 1. Grothendieck Topologies and Sheaves 1 1.1. A Motivating

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

### 3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given

### Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

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

### What is an ind-coherent sheaf?

What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we

### IND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction

IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,

### COHOMOLOGY AND DIFFERENTIAL SCHEMES. 1. Schemes

COHOMOLOG AND DIFFERENTIAL SCHEMES RAMOND HOOBLER Dedicated to the memory of Jerrold Kovacic Abstract. Replace this text with your own abstract. 1. Schemes This section assembles basic results on schemes

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

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

### What are stacks and why should you care?

What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack

### Nonabelian Poincare Duality (Lecture 8)

Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any

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

### h M (T ). The natural isomorphism η : M h M determines an element U = η 1

MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

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

### Categories and Modules

Categories and odules Takahiro Kato arch 2, 205 BSTRCT odules (also known as profunctors or distributors) and morphisms among them subsume categories and functors and provide more general and abstract

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

### Journal of Pure and Applied Algebra

Journal of Pure and Applied Algebra 214 (2010) 1384 1398 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Homotopy theory of

### QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when

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

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

### in path component sheaves, and the diagrams

Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial

### Category Theory. Travis Dirle. December 12, 2017

Category Theory 2 Category Theory Travis Dirle December 12, 2017 2 Contents 1 Categories 1 2 Construction on Categories 7 3 Universals and Limits 11 4 Adjoints 23 5 Limits 31 6 Generators and Projectives

### Introduction to Chiral Algebras

Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

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

### Basic Modern Algebraic Geometry

Version of December 13, 1999. Final version for M 321. Audun Holme Basic Modern Algebraic Geometry Introduction to Grothendieck s Theory of Schemes Basic Modern Algebraic Geometry Introduction to Grothendieck

### 3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

### An introduction to locally finitely presentable categories

An introduction to locally finitely presentable categories MARU SARAZOLA A document born out of my attempt to understand the notion of locally finitely presentable category, and my annoyance at constantly

### Exercises from Vakil

Exercises from Vakil Ian Coley February 6, 2015 2 Sheaves 2.1 Motivating example: The sheaf of differentiable functions Exercise 2.1.A. Show that the only maximal ideal of the germ of differentiable functions

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

### 14 Lecture 14: Basic generallities on adic spaces

14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions

### ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

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

### arxiv: v1 [math.ct] 28 Oct 2017

BARELY LOCALLY PRESENTABLE CATEGORIES arxiv:1710.10476v1 [math.ct] 28 Oct 2017 L. POSITSELSKI AND J. ROSICKÝ Abstract. We introduce a new class of categories generalizing locally presentable ones. 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

### Some remarks on Frobenius and Lefschetz in étale cohomology

Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)

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

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

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

### Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

### FORMAL GLUEING OF MODULE CATEGORIES

FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on

### A CATEGORICAL INTRODUCTION TO SHEAVES

A CATEGORICAL INTRODUCTION TO SHEAVES DAPING WENG Abstract. Sheaf is a very useful notion when defining and computing many different cohomology theories over topological spaces. There are several ways

### = Spec(Rf ) R p. 2 R m f gives a section a of the stalk bundle over X f as follows. For any [p] 2 X f (f /2 p), let a([p]) = ([p], a) wherea =

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 41 5. Affine schemes The definition of an a ne scheme is very abstract. We will bring it down to Earth. However, we will concentrate on the definitions. Properties

### Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in

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

### PERVERSE SHEAVES. Contents

PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a

### 58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

### Category Theory. Categories. Definition.

Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling

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

### Constructible Derived Category

Constructible Derived Category Dongkwan Kim September 29, 2015 1 Category of Sheaves In this talk we mainly deal with sheaves of C-vector spaces. For a topological space X, we denote by Sh(X) the abelian

### PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

### Morita Equivalence. Eamon Quinlan

Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting

### Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

### Algebraic Geometry I - Wintersemester 2016/17

Algebraic Geometry I - Wintersemester 2016/17 Taught by Prof. Dr. Peter Scholze. Typed by Jack Davies. 1 Contents 1 Affine Algebraic Varieties 18/10/2016 4 2 Affine Schemes 20/10/2016 10 3 Topological

### 1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle

References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/

### PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES

PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on ind-schemes 2 1.1. Basic properties 2 1.2. t-structure 3 1.3. Recovering IndCoh from ind-proper maps

### Derived categories, perverse sheaves and intermediate extension functor

Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1

### Adic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016

Adic Spaces Notes by ony Feng for a talk by orsten Wedhorn April 4, 2016 1 Huber rings he basic building blocks of adic spaces are Huber rings. Definition 1.1. A Huber ring is a topological ring A, such

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

### CHAPTER 1. Étale cohomology

CHAPTER 1 Étale cohomology This chapter summarizes the theory of the étale topology on schemes, culminating in the results on l-adic cohomology that are needed in the construction of Galois representations

### C2.7: CATEGORY THEORY

C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5

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

### arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences

### BERTRAND GUILLOU. s G q+r

STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

### Mini-Course on Moduli Spaces

Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional