DOCSLIB.ORG

(Projection Formula). Let F :(X, ) (Y, ) Be a Morphism of Ringed OX ! OY Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
(Projection Formula). Let F :(X, ) (Y, ) Be a Morphism of Ringed OX ! OY Spaces The lemma below, called the projection formula, is very useful to compute a pushforward. Lemma 51 (Projection formula). Let f :(X, ) (Y, ) be a morphism of ringed OX ! OY spaces. Let be an -module, be a locally free -module of finite rank. Then there F OX E OY is a natural isomorphism f ( f ⇤ ) f . ⇤ F⌦OX E ' ⇤F⌦OY E Proof. Since f ⇤(f ) f ⇤f f ⇤ , there is a natural morphism f ⇤f f ⇤ ⇤F⌦E ' ⇤F⌦ E ⇤F⌦ E! f ⇤ .Sincef ⇤ and f are adjoint to each other, there is a corresponding natural F⌦ E ⇤ morphism ' : f f ( f ⇤ ). Note that being ' an isomorphism is a local ⇤F⌦E! ⇤ F⌦ E property, hence, we may replace Y by a sufficiently small open subset. Since f and the ⇤ tensor product commutes with the direct sum, we may assume furthermore that = Y . 1 E O The conclusion follows from the fact that f ⇤ Y = f − Y f 1 X = X . O O ⌦ − OY O O Note that the category of -modules is an abelian category: we can talk about kernel, OX cokernel, and so on. In particular, we are able to consider (cochain) complexes of - OX modules, and do homological algebra. Fiberwisely, vector bundles on give vector OX spaces; and similarly, vector spaces also form an abelian category. However, when we focus on their global nature (= vector bundles themselves, or equivalently, locally free sheaves), they do not form an abelian category. Example 52. Let X = P1 =ProjC[x, y], and let Z = V (x) X be a closed subset of ⇢ X. The ideal sheaf IZ is indeed locally free: On an affine open subset Ux Spec C[y/x], which corresponds to the set of 1 ' points [x : y] P where x = 0, we have IZ (Ux)=C[y/x]sincethereisno 2 6 condition. On the other hand, on an affine open subset Uy Spec C[x/y], ' which corresponds to the set of points [x : y] P1 where y = 0, an element of 1 2 6 IZ (Uy) is a regular function on P [1 : 0] which has zero at Z = [0 : 1]. In x \{ } particular, IZ (Uy) C[x/y]. We conclude that IZ is locally free, since ' y · it can be covered by open (affine) subsets such that on IZ is free on each open subset. We have a natural inclusion I , whose cokernel is isomorphic to which is Z !OX OZ not a locally free sheaf on . OX Hence, it is natural to extend the category of locally free sheaves by adding more objects so that the cokernels of maps of locally free sheaves appear as objects in the enlarged category. In most places, we are in the (locally) Noetherian setting, so that the finite rank case will behave much better. Therefore, it is also reasonable to extend the category of locally free sheaves of finite rank in this manner. In general, there are three finiteness conditions for an A-module M: (1) finitely generated, there is a surjection A n M 0 for some integer ⊕ ! ! n; 21 Topic 1 : Sheaf (2) finitely presented, so that the finite number of generators have only finitely many relations, i.e., there is a right exact sequence A m ⊕ ! A n M 0 for some integer m, n; ⊕ ! ! (3) coherent, M is finitely generated, and any homomorphism A n M ⊕ ! (not necessarily surjective) has the finitely generated kernel. When A is a Noetherian ring, all these conditions are equivalent. Since we will only work over Noetherian schemes (= schemes which can be covered by a finite number of open affine subschemes Spec Ai where Ai are Noetherian), or even better: affine/projective varieties over a field (of finite dimension), we do not need to distinguish them. Definition 53. Let (X, ) be a ringed space. An -module is quasi-coherent it OX OX F has a local presentation, that is, for every point x X, there is an open neighborhood 2 U X and a right exact sequence ✓ I J ⊕ ⊕ 0 OX |U !OX |U !F|U ! for some (possibly infinite) set I and J. In other words, a quasi-coherent sheaf is locally a cokernel of (locally) free sheaves. An -module is coherent if it is quasi-coherent, and locally coherent, that is, it OX F satisfies the following properties: (i) is of finite type, i.e., for every point x X, there is an open neigh- F n2 borhood U X and a surjection ⊕ 0 for some integer ✓ OX |U !F|U ! n; (ii) for any open subset U X, any integer n, and any morphism ' : n ✓ ⊕ ,thekernelker' is of finite type. OX |U !F|U As we discussed above, the notion becomes much simpler for noetherian schemes. We start by defining the sheaf of modules M on Spec A associated to an A-module M. Definition 54. Let A be a ring and letfM be an A-module. The sheaf associated to M, denoted by M,isdefinedby D(s) M 7! s f for each s A and the distinguished open subset D(s) Spec A, together with the 2 ✓ natural restriction maps. In particular, the stalk at p Spec A is isomorphic to the localized module (M) = M , 2 p p and Γ(Spec A, M)=M. We first see that the map M M is functorial: f f 7! Proposition 55. Let A, B be rings, ' : B A be a ring homomorphism, and let f ! f :SpecA Spec B be the corresponding morphism of spectra. Then, ! (1) the map M M gives an exact, fully faithful functor from the category of A-modules 7! to the category of -modules; OSpec A f 22 (2) if M and N are two A-modules, then (M A N)⇠ M N; ⌦ ' ⌦OSpec A (3) if M afamilyofA-modules, then ( M ) M ;f e { i} ⊕ i ⇠ ' i (4) for any A-module M, we have f (M) (BM)⇠, wheref BM means M considered as ⇤ ' B-modules; f (5) for any B-module N, we have f (N) (N A) . ⇤ ' ⌦B ⇠ Proof. Note that the map M M givese a functor since a homomorphism of A-modules 7! M N commutes with the localization M N for each s A. It is exact, since ! s ! s 2 it commutes with every localizationf at a prime ideal p A, and the exactness can be ⇢ measured at the stalks. It is also fully faithful: the functor ⇠ gives a natural map HomA(M,N) Hom (M,N); • ! OSpec A the global section functor Γ(Spec A, ) gives the inverse map Hom (M,N) • − fOSpece A ! HomA(M,N). f e In particular, we embed the category of A-modules into the category of -modules. OSpec A All the other statement follow from the definitions and statements in terms of modules. Definition 56. Let (X, ) be a scheme. An -module is quasi-coherent if X OX OX F can be covered by affine open subsets U =SpecA such that M for some A - i i F|Ui ' i i module M for each i. is coherent if furthermore each M can be taken to be a finitely i F i generated Ai-module. f Example 57. (1) Let X be any scheme. The structure sheaf is quasi-coherent and OX coherent. (2) Let X =SpecA be an affine scheme, Y =SpecA/I be the closed subscheme of X defined by an ideal I A, together with a closed immersion i : Y X. The sheaf ✓ ! i Y is a quasi-coherent (and coherent) X -module, which is isomorphic to (^A/I). ⇤O O (3) Let Y be a closed subscheme of a scheme X with the inclusion i : Y, X.The ! sheaf = i 1 is not a quasi-coherent sheaf on Y in general. In fact, it needs OX |Y − OX not to be an -module. OY n (4) Let X = A =Speck[x1, ,xn]. Let be the constant sheaf associated to the ··· K group K = k(x , ,x ) which is the function field (= the field of rational functions) 1 ··· n of X.Then is a quasi-coherent -module, but not coherent unless n = 0. K OX Maybe the following proposition seems to be too strong, and in fact, we have to check carefully that their global property comes from their localizations. The idea of proof is almost the same as using the “partition of unity” when we define the structure sheaf of a spectrum, so we will skip its proof. OSpec A 23 Topic 1 : Sheaf Proposition 58. Let X be a scheme. An -module is quasi-coherent if and only OX F if for every affine open subset U =SpecA of X, there is an A-module M such that M.IfX is noetherian, then is coherent if and only if furthermore we can take F|U ' F M as a finitely generated A-module. f We mentioned several times that the global section functor X Γ(X, ) is left exact. 7! − The sheaf cohomology we will see later measures how Γ(X, ) is di↵erent from the exact − functor. One distinguished example we seen is a flasque sheaf, that is, a sheaf such that every restriction map is surjective. When is flasque, and we have a short exact F 0 sequence 0 0, then we check that the induced maps on global !F0 !F!F00 ! sections again form a short exact sequence 0 Γ(X, 0) Γ(X, ) Γ(X, 00) 0. ! F ! F ! F ! Naively speaking, a flasque sheaf forces that the global section functor becomes “exact”. Hence, it is the “simplest” sheaf in this viewpoint.
Load more

Recommended publications
  • California State University, Northridge Torsion
    CALIFORNIA STATE UNIVERSITY, NORTHRIDGE TORSION CLASSES OF COHERENT SHEAVES ON AN ELLIPTIC OR PRODUCT THREEFOLD A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics By Jeremy Keat-Wah Khoo August 2020 The thesis of Jeremy Keat-Wah Khoo is approved: Katherine Stevenson, Ph.D. Date Jerry D. Rosen, Ph.D. Date Jason Lo, Ph.D., Chair Date California State University, Northridge ii Table of Contents Signature page ii Abstract iv 1 Introduction 1 1.1 Our Methods . .1 1.2 Main Results . .2 2 Background Concepts 3 2.1 Concepts from Homological Algebra and Category Theory . .3 2.2 Concepts from Algebraic Geometry . .8 2.3 Concepts from Scheme theory . 10 3 Main Definitions and “Axioms” 13 3.1 The Variety X ................................. 13 3.2 Supports of Coherent Sheaves . 13 3.3 Dimension Subcategories of AX ....................... 14 3.4 Torsion Pairs . 14 3.5 The Relative Fourier-Mukai Transforms Φ; Φ^ ................ 15 3.6 The Product Threefold and Chern Classes . 16 4 Preliminary Results 18 5 Properties Characterizing Tij 23 6 Generating More Torsion Classes 30 6.1 Generalizing Lemma 4.2 . 30 6.2 “Second Generation” Torsion Classes . 34 7 The Torsion Class hC00;C20i 39 References 42 iii ABSTRACT TORSION CLASSES OF COHERENT SHEAVES ON AN ELLIPTIC OR PRODUCT THREEFOLD By Jeremy Keat-Wah Khoo Master of Science in Mathematics Let X be an elliptic threefold admitting a Weierstrass elliptic fibration. We extend the main results of Angeles, Lo, and Van Der Linden in [1] by providing explicit properties charac- terizing the coherent sheaves contained in the torsion classes constructed there.
    [Show full text]
  • The Jouanolou-Thomason Homotopy Lemma
    The Jouanolou-Thomason homotopy lemma Aravind Asok February 9, 2009 1 Introduction The goal of this note is to prove what is now known as the Jouanolou-Thomason homotopy lemma or simply \Jouanolou's trick." Our main reason for discussing this here is that i) most statements (that I have seen) assume unncessary quasi-projectivity hypotheses, and ii) most applications of the result that I know (e.g., in homotopy K-theory) appeal to the result as merely a \black box," while the proof indicates that the construction is quite geometric and relatively explicit. For simplicity, throughout the word scheme means separated Noetherian scheme. Theorem 1.1 (Jouanolou-Thomason homotopy lemma). Given a smooth scheme X over a regular Noetherian base ring k, there exists a pair (X;~ π), where X~ is an affine scheme, smooth over k, and π : X~ ! X is a Zariski locally trivial smooth morphism with fibers isomorphic to affine spaces. 1 Remark 1.2. In terms of an A -homotopy category of smooth schemes over k (e.g., H(k) or H´et(k); see [MV99, x3]), the map π is an A1-weak equivalence (use [MV99, x3 Example 2.4]. Thus, up to A1-weak equivalence, any smooth k-scheme is an affine scheme smooth over k. 2 An explicit algebraic form Let An denote affine space over Spec Z. Let An n 0 denote the scheme quasi-affine and smooth over 2m Spec Z obtained by removing the fiber over 0. Let Q2m−1 denote the closed subscheme of A (with coordinates x1; : : : ; x2m) defined by the equation X xixm+i = 1: i Consider the following simple situation.
    [Show full text]
  • ALGEBRAIC GEOMETRY (PART III) EXAMPLE SHEET 3 (1) Let X Be a Scheme and Z a Closed Subset of X. Show That There Is a Closed Imme
    ALGEBRAIC GEOMETRY (PART III) EXAMPLE SHEET 3 CAUCHER BIRKAR (1) Let X be a scheme and Z a closed subset of X. Show that there is a closed immersion f : Y ! X which is a homeomorphism of Y onto Z. (2) Show that a scheme X is affine iff there are b1; : : : ; bn 2 OX (X) such that each D(bi) is affine and the ideal generated by all the bi is OX (X) (see [Hartshorne, II, exercise 2.17]). (3) Let X be a topological space and let OX to be the constant sheaf associated to Z. Show that (X; OX ) is a ringed space and that every sheaf on X is in a natural way an OX -module. (4) Let (X; OX ) be a ringed space. Show that the kernel and image of a morphism of OX -modules are also OX -modules. Show that the direct sum, direct product, direct limit and inverse limit of OX -modules are OX -modules. If F and G are O H F G O L X -modules, show that omOX ( ; ) is also an X -module. Finally, if is a O F F O subsheaf of an X -module , show that the quotient sheaf L is also an X - module. O F O O F ' (5) Let (X; X ) be a ringed space and an X -module. Prove that HomOX ( X ; ) F(X). (6) Let f :(X; OX ) ! (Y; OY ) be a morphism of ringed spaces. Show that for any O F O G ∗G F ' G F X -module and Y -module we have HomOX (f ; ) HomOY ( ; f∗ ).
    [Show full text]
  • Special Sheaves of Algebras
    Special Sheaves of Algebras Daniel Murfet October 5, 2006 Contents 1 Introduction 1 2 Sheaves of Tensor Algebras 1 3 Sheaves of Symmetric Algebras 6 4 Sheaves of Exterior Algebras 9 5 Sheaves of Polynomial Algebras 17 6 Sheaves of Ideal Products 21 1 Introduction In this note “ring” means a not necessarily commutative ring. If A is a commutative ring then an A-algebra is a ring morphism A −→ B whose image is contained in the center of B. We allow noncommutative sheaves of rings, but if we say (X, OX ) is a ringed space then we mean OX is a sheaf of commutative rings. Throughout this note (X, OX ) is a ringed space. Associated to this ringed space are the following categories: Mod(X), GrMod(X), Alg(X), nAlg(X), GrAlg(X), GrnAlg(X) We show that the forgetful functors Alg(X) −→ Mod(X) and nAlg(X) −→ Mod(X) have left adjoints. If A is a nonzero commutative ring, the forgetful functors AAlg −→ AMod and AnAlg −→ AMod have left adjoints given by the symmetric algebra and tensor algebra con- structions respectively. 2 Sheaves of Tensor Algebras Let F be a sheaf of OX -modules, and for an open set U let P (U) be the OX (U)-algebra given by the tensor algebra T (F (U)). That is, ⊗2 P (U) = OX (U) ⊕ F (U) ⊕ F (U) ⊕ · · · For an inclusion V ⊆ U let ρ : OX (U) −→ OX (V ) and η : F (U) −→ F (V ) be the morphisms of abelian groups given by restriction. For n ≥ 2 we define a multilinear map F (U) × · · · × F (U) −→ F (V ) ⊗ · · · ⊗ F (V ) (m1, .
    [Show full text]
  • X → S Be a Proper Morphism of Locally Noetherian Schemes and Let F Be a Coherent Sheaf on X That Is flat Over S (E.G., F Is Smooth and F Is a Vector Bundle)
    COHOMOLOGY AND BASE CHANGE FOR ALGEBRAIC STACKS JACK HALL Abstract. We prove that cohomology and base change holds for algebraic stacks, generalizing work of Brochard in the tame case. We also show that Hom-spaces on algebraic stacks are represented by abelian cones, generaliz- ing results of Grothendieck, Brochard, Olsson, Lieblich, and Roth{Starr. To accomplish all of this, we prove that a wide class of relative Ext-functors in algebraic geometry are coherent (in the sense of M. Auslander). Introduction Let f : X ! S be a proper morphism of locally noetherian schemes and let F be a coherent sheaf on X that is flat over S (e.g., f is smooth and F is a vector bundle). If s 2 S is a point, then define Xs to be the fiber of f over s. If s has residue field κ(s), then for each integer q there is a natural base change morphism of κ(s)-vector spaces q q q b (s):(R f∗F) ⊗OS κ(s) ! H (Xs; FXs ): Cohomology and Base Change originally appeared in [EGA, III.7.7.5] in a quite sophisticated form. Mumford [Mum70, xII.5] and Hartshorne [Har77, xIII.12], how- ever, were responsible for popularizing a version similar to the following. Let s 2 S and let q be an integer. (1) The following are equivalent. (a) The morphism bq(s) is surjective. (b) There exists an open neighbourhood U of s such that bq(u) is an iso- morphism for all u 2 U. (c) There exists an open neighbourhood U of s, a coherent OU -module Q, and an isomorphism of functors: Rq+1(f ) (F ⊗ f ∗ I) =∼ Hom (Q; I); U ∗ XU OXU U OU where fU : XU ! U is the pullback of f along U ⊆ S.
    [Show full text]
  • LOCAL PROPERTIES of GOOD MODULI SPACES We Address The
    LOCAL PROPERTIES OF GOOD MODULI SPACES JAROD ALPER ABSTRACT. We study the local properties of Artin stacks and their good moduli spaces, if they exist. We show that near closed points with linearly reductive stabilizer, Artin stacks formally locally admit good moduli spaces. In particular, the geometric invariant theory is developed for actions of linearly reductive group schemes on formal affine schemes. We also give conditions for when the existence of good moduli spaces can be deduced from the existence of etale´ charts admitting good moduli spaces. 1. INTRODUCTION We address the question of whether good moduli spaces for an Artin stack can be constructed “locally.” The main results of this paper are: (1) good moduli spaces ex- ist formally locally around points with linearly reductive stabilizer and (2) sufficient conditions are given for the Zariski-local existence of good moduli spaces given the etale-local´ existence of good moduli spaces. We envision that these results may be of use to construct moduli schemes of Artin stacks without the classical use of geometric invariant theory and semi-stability computations. The notion of a good moduli space was introduced in [1] to assign a scheme or algebraic space to Artin stacks with nice geometric properties reminiscent of Mumford’s good GIT quotients. While good moduli spaces cannot be expected to distinguish between all points of the stack, they do parameterize points up to orbit closure equivalence. See Section 2 for the precise definition of a good moduli space and for a summary of its properties. While the paper [1] systematically develops the properties of good moduli spaces, the existence was only proved in certain cases.
    [Show full text]
  • NOTES on CARTIER and WEIL DIVISORS Recall: Definition 0.1. A
    NOTES ON CARTIER AND WEIL DIVISORS AKHIL MATHEW Abstract. These are notes on divisors from Ravi Vakil's book [2] on scheme theory that I prepared for the Foundations of Algebraic Geometry seminar at Harvard. Most of it is a rewrite of chapter 15 in Vakil's book, and the originality of these notes lies in the mistakes. I learned some of this from [1] though. Recall: Definition 0.1. A line bundle on a ringed space X (e.g. a scheme) is a locally free sheaf of rank one. The group of isomorphism classes of line bundles is called the Picard group and is denoted Pic(X). Here is a standard source of line bundles. 1. The twisting sheaf 1.1. Twisting in general. Let R be a graded ring, R = R0 ⊕ R1 ⊕ ::: . We have discussed the construction of the scheme ProjR. Let us now briefly explain the following additional construction (which will be covered in more detail tomorrow). L Let M = Mn be a graded R-module. Definition 1.1. We define the sheaf Mf on ProjR as follows. On the basic open set D(f) = SpecR(f) ⊂ ProjR, we consider the sheaf associated to the R(f)-module M(f). It can be checked easily that these sheaves glue on D(f) \ D(g) = D(fg) and become a quasi-coherent sheaf Mf on ProjR. Clearly, the association M ! Mf is a functor from graded R-modules to quasi- coherent sheaves on ProjR. (For R reasonable, it is in fact essentially an equiva- lence, though we shall not need this.) We now set a bit of notation.
    [Show full text]
  • The Scheme of Monogenic Generators and Its Twists
    THE SCHEME OF MONOGENIC GENERATORS AND ITS TWISTS SARAH ARPIN, SEBASTIAN BOZLEE, LEO HERR, HANSON SMITH Abstract. Given an extension of algebras B/A, when is B generated by a M single element θ ∈ B over A? We show there is a scheme B/A parameterizing the choice of a generator θ ∈ B, a “moduli space” of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples. M A choice of a generator θ is a point of the scheme B/A. This inspires a local-to-global study of monogeneity, piecing together monogenerators over points, completions, open sets, and so on. Local generators may not come from global ones, but they often glue to twisted monogenerators that we de- fine. We show a number ring has class number one if and only if each twisted monogenerator is in fact a global generator θ. The moduli spaces of various M twisted monogenerators are either a Proj or stack quotient of B/A by natural symmetries. The various moduli spaces defined can be used to apply cohomo- logical tools and other geometric methods for finding rational points to the classical problem of monogenic algebra extensions. Contents 1. Introduction 2 1.1. Twists 3 1.2. Summary of the paper 4 1.3. Guide to notions of “Monogeneity” 4 1.4. Summary of Previous Results 5 1.5. Acknowledgements 6 2. The Scheme of Monogenic Generators 7 2.1. Functoriality of MX 10 2.2. Relation to the Hilbert Scheme 12 M arXiv:2108.07185v1 [math.AG] 16 Aug 2021 3.
    [Show full text]
  • Complete Cohomology and Gorensteinness of Schemes ✩
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Algebra 319 (2008) 2626–2651 www.elsevier.com/locate/jalgebra Complete cohomology and Gorensteinness of schemes ✩ J. Asadollahi a,b,∗, F. Jahanshahi c,Sh.Salarianc,b a Department of Mathematics, Shahre-Kord University, PO Box 115, Shahre-Kord, Iran b School of Mathematics, Institute for Studies in Theoretical Physics and Mathematics (IPM), PO Box 19395-5746, Tehran, Iran c Department of Mathematics, University of Isfahan, PO Box 81746-73441, Isfahan, Iran Received 20 April 2007 Available online 21 December 2007 Communicated by Steven Dale Cutkosky Abstract We develop and study Tate and complete cohomology theory in the category of sheaves of OX-modules. Different approaches are included. We study the properties of these theories and show their power in reflect- ing the Gorensteinness of the underlying scheme. The connection of these two theories will be discussed. © 2007 Elsevier Inc. All rights reserved. Keywords: Gorenstein scheme; Locally free sheaf; Cohomology of sheaves; Homological dimension; Complete cohomology Contents 1. Introduction . 2627 2. Totally reflexive sheaves . 2628 2.1. Examples and descriptions . 2629 2.2. Gorenstein homological dimension . 2632 3. Tate cohomology sheaves over noetherian schemes . 2634 ✩ This research was in part supported by a grant from IPM (Nos. 86130019 and 86130024). The first author thanks the Center of Excellence of Algebraic Methods and Applications of Isfahan University of Technology (IUT-CEAMA). The second and the third authors thank the Center of Excellence for Mathematics (University of Isfahan). * Corresponding author at: Department of Mathematics, Shahre-Kord University, PO Box 115, Shahre-Kord, Iran.
    [Show full text]
  • SHEAVES of MODULES 01AC Contents 1. Introduction 1 2
    SHEAVES OF MODULES 01AC Contents 1. Introduction 1 2. Pathology 2 3. The abelian category of sheaves of modules 2 4. Sections of sheaves of modules 4 5. Supports of modules and sections 6 6. Closed immersions and abelian sheaves 6 7. A canonical exact sequence 7 8. Modules locally generated by sections 8 9. Modules of finite type 9 10. Quasi-coherent modules 10 11. Modules of finite presentation 13 12. Coherent modules 15 13. Closed immersions of ringed spaces 18 14. Locally free sheaves 20 15. Bilinear maps 21 16. Tensor product 22 17. Flat modules 24 18. Duals 26 19. Constructible sheaves of sets 27 20. Flat morphisms of ringed spaces 29 21. Symmetric and exterior powers 29 22. Internal Hom 31 23. Koszul complexes 33 24. Invertible modules 33 25. Rank and determinant 36 26. Localizing sheaves of rings 38 27. Modules of differentials 39 28. Finite order differential operators 43 29. The de Rham complex 46 30. The naive cotangent complex 47 31. Other chapters 50 References 52 1. Introduction 01AD This is a chapter of the Stacks Project, version 77243390, compiled on Sep 28, 2021. 1 SHEAVES OF MODULES 2 In this chapter we work out basic notions of sheaves of modules. This in particular includes the case of abelian sheaves, since these may be viewed as sheaves of Z- modules. Basic references are [Ser55], [DG67] and [AGV71]. We work out what happens for sheaves of modules on ringed topoi in another chap- ter (see Modules on Sites, Section 1), although there we will mostly just duplicate the discussion from this chapter.
    [Show full text]
  • 4. Coherent Sheaves Definition 4.1. If (X,O X) Is a Locally Ringed Space
    4. Coherent Sheaves Definition 4.1. If (X; OX ) is a locally ringed space, then we say that an OX -module F is locally free if there is an open affine cover fUig of X such that FjUi is isomorphic to a direct sum of copies of OUi . If the number of copies r is finite and constant, then F is called locally free of rank r (aka a vector bundle). If F is locally free of rank one then we way say that F is invertible (aka a line bundle). The group of all invertible sheaves under tensor product, denoted Pic(X), is called the Picard group of X. A sheaf of ideals I is any OX -submodule of OX . Definition 4.2. Let X = Spec A be an affine scheme and let M be an A-module. M~ is the sheaf which assigns to every open subset U ⊂ X, the set of functions a s: U −! Mp; p2U which can be locally represented at p as a=g, a 2 M, g 2 R, p 2= Ug ⊂ U. Lemma 4.3. Let A be a ring and let M be an A-module. Let X = Spec A. ~ (1) M is a OX -module. ~ (2) If p 2 X then Mp is isomorphic to Mp. ~ (3) If f 2 A then M(Uf ) is isomorphic to Mf . Proof. (1) is clear and the rest is proved mutatis mutandis as for the structure sheaf. Definition 4.4. An OX -module F on a scheme X is called quasi- coherent if there is an open cover fUi = Spec Aig by affines and ~ isomorphisms FjUi ' Mi, where Mi is an Ai-module.
    [Show full text]
  • Differentials
    Section 2.8 - Differentials Daniel Murfet October 5, 2006 In this section we will define the sheaf of relative differential forms of one scheme over another. In the case of a nonsingular variety over C, which is like a complex manifold, the sheaf of differential forms is essentially the same as the dual of the tangent bundle in differential geometry. However, in abstract algebraic geometry, we will define the sheaf of differentials first, by a purely algebraic method, and then define the tangent bundle as its dual. Hence we will begin this section with a review of the module of differentials of one ring over another. As applications of the sheaf of differentials, we will give a characterisation of nonsingular varieties among schemes of finite type over a field. We will also use the sheaf of differentials on a nonsingular variety to define its tangent sheaf, its canonical sheaf, and its geometric genus. This latter is an important numerical invariant of a variety. Contents 1 K¨ahler Differentials 1 2 Sheaves of Differentials 2 3 Nonsingular Varieties 13 4 Rational Maps 16 5 Applications 19 6 Some Local Algebra 22 1 K¨ahlerDifferentials See (MAT2,Section 2) for the definition and basic properties of K¨ahler differentials. Definition 1. Let B be a local ring with maximal ideal m.A field of representatives for B is a subfield L of A which is mapped onto A/m by the canonical mapping A −→ A/m. Since L is a field, the restriction gives an isomorphism of fields L =∼ A/m. Proposition 1.
    [Show full text]