Direct Limits. Mathematics 683, Fall 2013


 Hugo York
 3 years ago
 Views:
Transcription
1 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 and complex analysis, the fundamental notion of a stalk of a sheaf uses direct limits. We recall the definition of a direct limit, which we state for Abelian groups. Let I be a set with a partial order satisfying the property that for any i, j I, there is a k I with i k and j k. Such a set is called a directed set. Suppose we have the following data: an Abelian group A i for each i, and for each pair i j a map φ ij : A i A j with φ ii = id Ai for each i, and such that whenever i j k, we have φ ik = φ jk φ ij. Then {A i, φ ij } is called a directed system of groups. The direct limit lim A i is the unique up to isomorphism group L satisfying the following universal mapping property: there are maps φ i : A i L such that φ i = φ j φ ij for every pair i j, and if there is an Abelian group C together with maps τ i : A i C such that τ i = τ j φ ij for each i j, then there is a unique group homomorphism τ : L C with σ = τ φ i. τ i A i C φ i τ 7 L A routine exercise involving universal mapping properties shows that the direct limit of a group, if it exists, is unique up to isomorphism. Direct limits of Abelian groups do exist; here is a construction: Let M be the direct sum of the A i, and let N be the subgroup generated by all elements of the form a φ ij (a) for all i j and all a A i. Then M/N, together with φ i the compositions of the natural maps A i M M/N, satisfy the mapping property for the direct limit. In order to prove the basic properties of direct limits in the lemma below, we give an alternative description of them. This description is often how you may see direct limits used in complex analysis and algebraic geometry. Let {A i, φ ij } be a directed system of groups. Consider pairs (A i, a i ) with a i A i. Define a relation on such pairs by (A i, a i ) (A j, a j ) if there is a k i, j with φ ik (a i ) = φ jk (a j ). A short calculation shows that is an equivalence relation. We will write A i, a i for the equivalence class of a pair (A i, a i ). If G is the set of equivalence classes, then we can define an operation on G by A i, a i + A j, a j = A k, φ ik (a i ) + φ jk (a j ), 1
2 where k is any index with k i, j. Another short calculation shows that this operation is well defined, and that G is an Abelian group under this operation. The map σ i : A i G given by σ i (a) = A i, a is a group homomorphism. Furthermore, σ i = σ j φ ij for any pair i j since σ j (φ ij (a)) = A j, φ ij (a) = A i, a by the definition of the equivalence relation. We will prove that G = lim A i by proving that G has the same mapping property as does the direct limit. To do this, suppose that B is an Abelian group and that for each i there is a homomorphism τ i : A i B with τ i = τ j φ ij for each i j. Define τ : G B by τ ( A i, a ) = τ i (a). This is well defined since if A i, a i = A j, a j, then there is a k with i, j k and φ ik (a i ) = φ jk (a j ). Therefore, τ i (a i ) = τ k (φ ik (a i )) = τ k (φ jk (a j )) = τ j (a j ). The map τ is clearly a group homomorphism. Furthermore, τ i = τ σ i is clear from the definition of τ. Finally, if τ : G B satisfies τ i = τ σ i for each i, then τ ( A i, a i ) = τ (σ i (a i )) = τ i (a i ) = τ ( A i, a i ). Thus, τ = τ. This shows that G satisfies the mapping property of direct limits (along with the maps σ i ). A standard application of mapping properties will then show G = lim A i, as we now give. The maps σ i induce a unique homomorphism σ : lima i G with σ i = σ φ i for each i. Similarly, the mapping property applied to G yields a map τ : G lim A i satisfying φ i = τ σ i. Therefore, σ τ : G G satisfies σ i = (σ τ) φ i. However, id G : G G also satisfies σ i = id G φ i. By the uniqueness part of the mapping property, we conclude that σ τ = id G. Similarly, τ σ = id lim A i, so σ (and τ) is an isomorphism. We now prove the two most basic computational properties of direct limits. Lemma 1. Let lim A i be the direct limit of a directed system of groups. 1. Every element of lim A i can be written in the form φ i (a) for some a A i. 2. If a A i satisfies φ i (a) = 0, then there is a j i with φ i,j (a) = 0. Proof. These properties are easy to see from the definition of the group G defined above, which is isomorphic to lim A i. Every element of G is of the form A i, a i = σ i (a i ). Also, if A i, a i = 0, then (A i, a i ) (A i, 0), so by definition of the relation, there is a j i with φ ij (a i ) = φ ij (0) = 0. Finally, following these properties for G by the isomorphism τ : G lim A i yields the corresponding properties for lima i. Example 2. Let X be an algebraic variety and let P X. The collection I of open neighborhoods of P is a directed set with respect to reverse inclusion. For each U I we have the ring O(U) of regular functions on U. If U V, then the restriction map O(V ) O(U) is a ring homomorphism. The collection of the O(U), as U ranges over I, is then a direct system of commutative rings. An element of the direct limit has the form O(U), f for some U and some f O(U). Equality is given by O(U), f = O(V ), g 2
3 if and only if there is W I with W U V and f W = g W. Since regular functions are determined by their restriction to a dense open set, when this occurs, f U V = g U V. Thus, this direct limit is isomorphic to O P via the map U, f O(U), f. Example 3. Let X be an algebraic variety. We modify the previous example a little by setting I to be the set of all nonempty open subsets of X. Then I is a directed set; we are using that, since X is irreducible, the intersection of two nonempty open sets is again nonempty. By the same arguments as in the previous example, we see that the direct limit of O(U) as U ranges over all nonempty open subsets of X is isomorphic to the function field K(X) of X. Example 4. Let A be an Abelian group. Let {A i } i I be the set of finitely generated subgroups of A. Then, by ordering I by i j if A i A j, the set I is a directed set, since for any pair i, j, the group A i + A j is both finitely generated and contains A i and A j. If we let φ i,j : A i A j be the inclusion map whenever i j, we have a directed system {A i, φ i,j }. Thus, the direct limit lima i exists. We claim that A = lim A i. We write H = lima i for convenience. To prove this, we have inclusion maps σ i : A i A. We also have the canonical maps φ i : A i H for each i. Since σ i = σ j φ i,j, as both sides are the inclusion maps A i A, the universal mapping property gives a unique homomorphism σ : H A with σ φ i = σ i for each i. The map σ is surjective, since if g A, then g A i for some i; the cyclic group g is a finitely generated subgroup of A, so it is equal to A i for some i. Thus, g = σ i (g) = σ(φ i (g)), proving that σ is surjective. Finally, if h ker(σ), then let h = φ i (g) for some g A i. Then 0 = σ(h) = σ(φ i (g)) = σ i (g) = g since σ i is the inclusion map. Thus, g = 0, so h = φ i (g) = 0. We have thus proven that σ is bijective, so A = H. Example 5. Let I be a directed set that has a maximum element k. That is, i k for every i I. We claim thatunderrightarrowlima i = A k for any directed system. Write A = lim A i. To prove this claim, for each i we have the canonical maps φ i,k : A i A k, and since φ i,k = φ j,k φ i,j for any j with i j, the universal mapping property gives a uniquely determined map σ : A A k with σ φ i = φ i,k for every i. In particular, for i = k, we have σ φ k = φ k,k = id Ak. Thus, σ is surjective. For injectivity, take g A with σ(g) = 0. Write g = φ i (g i ) for some g i A i. Then 0 = σ(g) = σ(φ i (g i )) = φ i,k (g i ). By definition of directed systems, we then have 0 = φ k (φ i,k (g i )) = φ i (g i ) = g. Therefore, σ is also injective, so A = A k. Example 6. Let F be a sheaf on a topological space X. Then the stalk F x is defined as F x = lim F(U), where the direct limit is over all open neighborhoods of x. This set is a directed set by ordering it with reverse inclusion: if U and V are neighborhoods of x, then U V is a neighborhood of x contained in both U and V. If V U, then the canonical map F(U) F(V ) is the restriction map res U,V that comes along with the sheaf F. Since res V,W res U,V = res U,W whenever W V U, and res U,U = id F(U), these maps satisfy the axioms to have a directed system of groups. Therefore, the direct limit limf(u) does exist. We write f x for the image of f F(U) in F x for x U. The properties of the lemma 3
4 translate to the following two: (i) if α F x, then α = f x for some open neighborhood U of x and some f F(U), and (ii) if f F(U) with f x = 0, then there is some V U with res U,V (f) := f V = 0. Example 7. Here is another example that arises in the theory of sheaves. Let f : X Y be a continuous map of topological spaces. If G is a sheaf on Y, then we can define the inverse image presheaf F by F(U) = limg(v ), as the limit runs over all open sets V of Y with f(u) V. This set of open sets is a directed set by ordering it with reverse inclusion, since if V and W are open and containing f(u), then so is V W. Example 5 shows that if U = f 1 (V ), then this set of open sets has f 1 (V ) as a maximum element, sof(f 1 (V )) = G(V ). Example 8. To continue the previous example further, suppose that X is a topological space and x X. The unique map f : X {x} is continuous. An Abelian group A gives rise to a sheaf on {x} which we will also denote by A, since the only nonempty open set of {x} is {x} itself. We then have the inverse image presheaf F on X, defined by F(U) = lima(v ), as V runs over open sets of {x} containing f(u). However, the only choice for V is {x}. Therefore, F(U) = A({x}) = A. Therefore, F is the constant presheaf that sends every open set to the same Abelian group. Example 9. To give another version of the inverse image presheaf example, let X be a topological space and let x X. If j : {x} X is the inclusion map, then j is continuous. Let G be a sheaf on X. Then the inverse image presheaf F is a presheaf on {x}. Since {x} is a one point space, this sheaf is nothing more than the Abelian group F ({x}) = lim G(V ), as the limit ranges over open sets V of X containing j (x) = x. Thus, this group is just the stalk G x. Example 10. For a final example, we look at pushouts. groups A f B Given the diagram of Abelian g C the pushout is a group P with maps α and β such that the following diagram is commutative A f B g C β P α and such that for any Abelian group D and maps α : C D and β : B D, there is a unique map θ : L D with α = θ αand β = θ β. We see that L exists and is just a direct limit. Let I be the directed set {1, 2, 3} ordered by divisibility. That is, 1 2 and 4
5 1 3, but 2 3. Set A = A 1, B = A 2, and C = A 3. Then with the maps f and g, we have a directed set. Thus, set L = lima i. Then the universal mapping property for direct limits is exactly that described above, where we set the map A L to be β f = α g. In the remainder of this note we look at direct limits from a categorical point of view. Let I be a directed set. From I we have a category I whose objects are the elements of I, and whose morphisms are arrows i j for each pair i j in I. In other words, hom I (i, j) contains one map i j if i j, and is empty otherwise. This mimics the category Top(X) of open sets of a topological space X. A directed system of Abelian groups is then nothing but a functor from I to Ab. Thus, the functor category Ab I is then the category of directed systems of Abelian groups on I. We claim that the direct limit gives a functor from Ab I to Ab. We already know how it acts on objects, it sends a directed system {A i } to the direct limit lima i. To see how it acts on morphisms, let f : {A i, φ ij } {B i, ϕ ij } be a morphism of directed systems. Recall from the study of functor categories that f is a natural transformation of functors. In other words, for each i there is a group homomorphism f i : A i B i, and if i j, then the following diagram commutes. f i A i B i φ ij A j f j B j ϕ ij If φ i : A i lim A i and ϕ i : B i lim B i are the canonical maps, then ϕ i f i : A i lim B i is a homomorphism for each i that has the correct properties to yield a unique group homomorphism f : lim A i lim B i with φ i f = f i for all i. The association f f is then how the direct limit functor operates on maps. It is an easy exercise to show that composition of morphisms is preserved, and that id {A i } = id lim A i. In other words, direct limit does give a functor Ab I Ab. We have a simple functor C in the opposite direction. For B an Abelian group, let C(B) = {B}. This is the direct system with B i = B for all i, and the map B i B j for i j is the identity map. It is easy to see that C is an exact functor. Furthermore, the universal mapping property for direct limits yields immediately that hom(lim A i, B) = hom Ab I({A i }, C(B)). In other words, lim is a left adjoint to C. Therefore, by Proposition of Weibel s book, An Introduction to Homological Algebra, the direct limit functor lim is right exact. In fact, a straightforward calculation shows that lim is actually an exact functor. One can dualize definitions to define inverse systems of Abelian groups: such a system {A i } has, for each i j, a homomorphism φ ij : A j A i. One can define the inverse limit lim A i, together with homomorphisms lima i A i, via the following universal mapping property: if B is an Abelian group and if f i : B A i are homomorphisms with f j = φ ij f i for each i j, then there is a unique homomorphism f : B lim A i with f i = φ i f for 5
6 all i. As we did above, we obtain a category of inverse systems over I, and lim is a functor from this category to Ab. The constant functor C that sends B to {B} i I is a functor in the opposite direction, and we have hom(b, lim A i ) = hom(c(b), {A i }) from the universal mapping property of inverse limits. This means that lim is a right adjoint to C. Since C is clearly exact, lim is then left exact. Unlike direct limits, however, lim is not exact. Therefore, one can study the derived functors of lim, whereas the derived functors of the direct limit lim are trivial since this functor is exact. 6
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
More informationSheaves. 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
More information3. 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
More information3. 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
More informationLecture 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,
More informationRepresentable 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
More informationAlgebraic 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 informationAlgebra 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.
More informationModules 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
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationTCC 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
More informationAlgebraic 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 informationALGEBRAIC 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
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationLecture 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
More informationHARTSHORNE 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
More informationAlgebraic 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
More informationRelative 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
More informationFOUNDATIONS 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
More informationSOME 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
More informationFILTERED 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 information1. 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 quasiprojective varieties over a field k Affine Varieties 1.
More informationBasic 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
More informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
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
More informationElementary (haha) Aspects of Topos Theory
Elementary (haha) 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..................
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationAN 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,
More informationMATH 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
More informationAlgebraic Geometry: Limits and Colimits
Algebraic Geometry: Limits and Coits Limits Definition.. Let I be a small category, C be any category, and F : I C be a functor. If for each object i I and morphism m ij Mor I (i, j) there is an associated
More informationCOHOMOLOGY 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
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationExercises 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 Email address: alex.massarenti@sissa.it These notes collect a series of
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationLecture 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
More informationFOUNDATIONS 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 informationSolutions 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
More informationFOUNDATIONS 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.
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationAlgebraic Geometry. Lei Fu. Tsinghua University Press. Nankai Institute of Mathematics Tianjin, P. R. China
Algebraic Geometry Lei Fu Nankai Institute of Mathematics Tianjin, P. R. China Tsinghua University Press Preface In this book we study the cohomology of coherent sheaves on schemes. An excellent textbook
More informationABSTRACT 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
More informationFOUNDATIONS 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
More informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the kth cohomology group with coefficients in a(n abelian) group G in
More informationCategories 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
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne nspace A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationh 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
More informationModules over a Scheme
Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasicoherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These
More informationLocally Free Sheaves
Locally Free Sheaves Patrick Morandi Algebra Seminar, Spring 2002 In these talks we will discuss several important examples of locally free sheaves and see the connection between locally free sheaves and
More informationSECTION 2: THE COMPACTOPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACTOPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationWhat 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
More informationFOUNDATIONS 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
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationMODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationA 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
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More informationALGEBRAIC 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.
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationUniversité Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker
Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1
More informationSchemes via Noncommutative Localisation
Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the wellknown results of Gabriel, which show how to define affine schemes in terms of the
More informationSome 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)
More information1 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
More informationA 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
More information38 Irreducibility criteria in rings of polynomials
38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m
More informationRecall: a mapping f : A B C (where A, B, C are Rmodules) is called Rbilinear if f is Rlinear in each coordinate, i.e.,
23 Hom and We will do homological algebra over a fixed commutative ring R. There are several good reasons to take a commutative ring: Left Rmodules are the same as right Rmodules. [In general a right
More informationLectures  XXIII and XXIV Coproducts and Pushouts
Lectures  XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion
More informationMicrosupport of sheaves
Microsupport of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the microsupport is due to Kashiwara and Schapira (the main reference is their book
More informationMATH 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 information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More information14 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
More informationFOUNDATIONS 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 380F for Monday
More informationLIMITS OF CATEGORIES, AND SHEAVES ON INDSCHEMES
LIMITS OF CATEGORIES, AND SHEAVES ON INDSCHEMES JONATHAN BARLEV 1. Inverse limits of categories This notes aim to describe the categorical framework for discussing quasi coherent sheaves and Dmodules
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationDerived 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 tstructures 7 4 Perverse sheaves 8 1
More informationMorita 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
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on Dmodules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationAlgebraic 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 informationConstructions of Derived Equivalences of Finite Posets
Constructions of Derived Equivalences of Finite Posets Sefi Ladkani Einstein Institute of Mathematics The Hebrew University of Jerusalem http://www.ma.huji.ac.il/~sefil/ 1 Notions X Poset (finite partially
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationNormal forms in combinatorial algebra
Alberto Gioia Normal forms in combinatorial algebra Master s thesis, defended on July 8, 2009 Thesis advisor: Hendrik Lenstra Mathematisch Instituut Universiteit Leiden ii Contents Introduction iv 1 Generators
More informationand this makes M into an Rmodule by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationSection 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
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a Dmodule of differential operators on a smooth stack and construct a symbol map when
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two Amodules. For a third Amodule Z, consider the
More informationCategory 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
More informationChapter 1 Sheaf theory
This version: 28/02/2014 Chapter 1 Sheaf theory The theory of sheaves has come to play a central rôle in the theories of several complex variables and holomorphic differential geometry. The theory is also
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationNOTES 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
More informationHomework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.
Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,
More informationSynopsis 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 quasicoherent O Y module.
More informationA 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
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 610, 2010 1 Introduction In this project, we will describe the basic topology
More information