My Way to Algebraic Geometry Marco Lo Giudice

Total Page:16

File Type:pdf, Size:1020Kb

My Way to Algebraic Geometry Marco Lo Giudice My way to Algebraic Geometry Varieties and Schemes from the point of view of a PhD student Marco Lo Giudice July 29, 2005 Introduction I began writing these notes during the last weeks of year 2002, collecting some work I had already written in my studentship. This is intended to be my personal approach to Algebraic Geometry, in particular to Hartshorne (1977), and originally it was meant to be a collection of solved exercises. But as my understanding grew stronger I began to add comments of any sort, so as to reach the level of exposition you will find. I am very pleased to hear that there is somebody out there who thinks those comments are interesting, and I really wish them to be of any help. To those students approaching the subject, wishing to learn something about the abstract concepts that arise in Algebraic Geometry and finding themselves lost into a sea of difficult to grasp material, I have to say that unfortunately there is no easy way, they will have to work a lot and pretty much alone. A word of caution: don’t take these notes for granted! I am a lone student, I’m writing as I’m learning the subject and I’m not a good nor an experienced mathematician. Chances are that some of my proofs are wrong, and be ad- vised that also some of the statements are mine and may be wrong. For this reason when I state a result I always try to give a reference for it, in particular most of the times I will deal with statements that are actually exercises in some book and the reader may want to check their proofs carefully if not to try to work them out on his own. We wish to learn the formalism of schemes, therefore throughout these notes our main reference will be Hartshorne (1977) which is the most cele- brated book where to learn the machinery. The reader will be assumed famil- iar with the notations and definitions in there, however there are quite a few other books one can look at, such as Eisenbud and Harris (2000), Shafarevich (1994b) or Mumford (1999). The original work by Grothendieck is also still a good reference, although very abstract, you can obtain all the Elem´entsde´ g´eom´etriealg´ebrique from <http://www.numdam.org/> (rigorously in French), and many other articles, included the S´eminaire de g´eom´etriealg´ebrique from <http://www.grothendieck-circle.org/>. Unfortunately the concepts we are go- ing to introduce cannot make any sense if you haven’t at least a basic knowl- 3 Marco Lo Giudice My Way to Algebraic Geometry edge of Commutative Algebra. I used to study this subject in Atiyah and Macdonald (1969) and this is the main reference for these notes, but you may want to read Eisenbud (1995) or the classic textbooks by Matsumura (1989), Zariski and Samuel (1958, 1960), or Bourbaki (1998). The word “ring” will always mean “commutative ring with unit” and a morphism of rings will be always assumed to respect this structure, that is will send the unit element to the unit element. As Eisenbud and Harris say in the introduction to their book, “the basic definitions of scheme theory appear as natural and necessary ways of dealing with a range of ordinary geometric phenomena, and the constructions in the theory take on an intuitive geometric content which makes them much easier to learn and work with.” For this reason, in line with the authors, I think there is no point in learning all the machinery first, and then work out the geometry as a consequence of it. But I still think that any student has to think a little through the basic definitions before going straight to geometry, and in this re- spect I disagree with Eisenbud and Harris. Chapter one is my attempt to com- promise, with all the basic abstract concepts introduced in a systematic way before to arrive at the very definition of algebraic variety. The reader famil- iar with the second chapter of Hartshorne (1977) will surely recognise where the discussion is going, and will find some useful comments helping him to familiarise with abstract definitions otherwise totally detached by the geomet- ric content they are supposed to carry over. In fact, this approach is essentially different from any other I am aware of. Classic references as Mumford (1999), or Shafarevich (1994a,b), develop the theory quite extensively before getting into schemes, while more recent accounts such as Liu (2002) or Ueno (1999, 2001, 2003) concentrate more on the abstract machinery leaving the geometry slightly aside. Finally in Iitaka (1982) commutative algebra is developed to- gether with algebraic geometry, which makes it the most self-contained book. Once again let me say that these notes are not to be trusted that much, but if you are going to read them for whatever reason then let me ask you something in return. If you find any mistake, misprint or anything wrong just let me know, you can contact me by e-mail on [email protected] and you can find out something more about me on my homepage at the University of Bath <http://www.maths.bath.ac.uk/»mapmlg/>, any comments or suggestions are also more than welcome. Marco Lo Giudice University Of Bath November 2004 4 Contents Introduction 3 1 Affine Varieties 7 1.1 The Spectrum of a Ring . 7 1.2 Topological Properties . 14 1.3 The Structure Sheaf . 21 1.4 Functoriality . 26 2 General Properties of Schemes 35 2.1 Schemes . 35 2.2 The Projective Spectrum of a Graded Ring . 43 2.3 Gluing Constructions . 50 2.4 Reduced, Integral and Noetherian Schemes . 61 3 Attributes of Morphisms 67 3.1 Schemes of Finite Type . 67 3.2 Product of Schemes . 73 3.3 Separated and Proper Morphisms . 81 3.4 Finite Morphisms . 89 4 Basic Algebraic Geometry 95 4.1 Algebraic Varieties . 95 4.2 Hilbert’s Nullstellensatz . 101 4.3 Rational Maps . 103 4.4 Dimension . 107 5 Sheaves over Schemes 115 5.1 Sheaves of Modules . 115 5.2 Locally Free Sheaves and the Picard Group . 120 5.3 Coherent Sheaves . 124 5.4 Vector Bundles on Schemes . 134 5 Marco Lo Giudice My Way to Algebraic Geometry 6 Projective Geometry 137 6.1 Projective Schemes . 137 6.2 Projective Varieties . 143 6.3 Very Ample Invertible Sheaves . 149 6.4 Global Proj and Blow-ups . 157 A Algebra 167 A.1 Rings and Modules of Finite Length . 167 B Sheaf Theory 177 B.1 Basic properties . 177 B.2 Functorial constructions . 181 B.3 Topological attributes . 187 Bibliography 189 6 Chapter 1 Affine Varieties Our goal in this chapter is to define affine varieties from an abstract point of view. The main effort required to the reader is getting accustomed to switch- ing frequently between algebra and geometry, for what we will do is giving geometric names to purely algebraic objects. We will follow the guidelines of xI.1 in Eisenbud and Harris (2000), but we will try to keep as close as possible to standard introductions such as Chapter II in Reid (1988). In fact the author has been highly inspired by Milne (2005), where a wonderfully clear account of the basic material is accompanied with a precise description of some of the abstract concepts. It must be said that originally this was simply a collection of solved exer- cises from Atiyah and Macdonald (1969), therefore some background knowl- edge of commutative algebra is required throughout (nothing more than a standard undergraduate course, see for example Reid, 1995). The reader will also be assumed familiar with sheaf theory, at least with what Hartshorne (1977) reads about it, but occasionally we may refer to Tennison (1975) for more advanced material. 1.1 The Spectrum of a Ring 1.1.1 Zeros of an Ideal The main object of study in Algebraic Geometry are systems of algebraic equations and their sets of solutions. Let k be a field and let R be the polynomial ring k[x1, ... , xn], a system of algebraic equations S is a collection of equations 8 <>F1(x1, ... , xn) = 0 S = ... :> Fr(x1, ... , xn) = 0 7 Marco Lo Giudice 1. Affine Varieties where Fi is a polynomial in R for every i, and a solution of S in k is an n- n tuple (l1, ... , ln) 2 k satisfying every equation. If we denote by a the ideal generated by F1, ... , Fr, then solutions of S are in one-to-one correspondence with n-tuples in kn annihilating any polynomial in a, in particular any other set of generators for a will define a system of algebraic equations with exactly the same set of solutions as S. We encode this information in our language by saying that (l1, ... , ln) is a zero of a. Proposition. Let k be any field. There is a natural injective correspondence from n-tuples in kn to maximal ideals of R, given by l = (l1, ... , ln) 7! ml = (x1 ¡ l1, ... , xn ¡ ln) If a ⊆ R is any ideal, then l is a zero of a if and only if the maximal ideal ml contains a. Proof. The ideal ml is maximal because it is the kernel of the surjective ho- momorphism j : k[x1, ... , xn] ! k defined by evaluation in l. Indeed it is enough to show that the kernel is contained in ml: we can apply the division algorithm to any polynomial F 2 ker j, to obtain F = G + a where G 2 ml and a is a constant.
Recommended publications
  • Multiplicative Theory of Ideals This Is Volume 43 in PURE and APPLIED MATHEMATICS a Series of Monographs and Textbooks Editors: PAULA
    Multiplicative Theory of Ideals This is Volume 43 in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: PAULA. SMITHAND SAMUELEILENBERG A complete list of titles in this series appears at the end of this volume MULTIPLICATIVE THEORY OF IDEALS MAX D. LARSEN / PAUL J. McCARTHY University of Nebraska University of Kansas Lincoln, Nebraska Lawrence, Kansas @ A CADEM I C P RE S S New York and London 1971 COPYRIGHT 0 1971, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED NO PART OF THIS BOOK MAY BE REPRODUCED IN ANY FORM, BY PHOTOSTAT, MICROFILM, RETRIEVAL SYSTEM, OR ANY OTHER MEANS, WITHOUT WRITTEN PERMISSION FROM THE PUBLISHERS. ACADEMIC PRESS, INC. 111 Fifth Avenue, New York, New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. Berkeley Square House, London WlX 6BA LIBRARY OF CONGRESS CATALOG CARD NUMBER: 72-137621 AMS (MOS)1970 Subject Classification 13F05; 13A05,13B20, 13C15,13E05,13F20 PRINTED IN THE UNITED STATES OF AMERICA To Lillie and Jean This Page Intentionally Left Blank Contents Preface xi ... Prerequisites Xlll Chapter I. Modules 1 Rings and Modules 1 2 Chain Conditions 8 3 Direct Sums 12 4 Tensor Products 15 5 Flat Modules 21 Exercises 27 Chapter II. Primary Decompositions and Noetherian Rings 1 Operations on Ideals and Submodules 36 2 Primary Submodules 39 3 Noetherian Rings 44 4 Uniqueness Results for Primary Decompositions 48 Exercises 52 Chapter Ill. Rings and Modules of Quotients 1 Definition 61 2 Extension and Contraction of Ideals 66 3 Properties of Rings of Quotients 71 Exercises 74 Vii Vlll CONTENTS Chapter IV.
    [Show full text]
  • Arxiv:1108.5351V3 [Math.AG] 26 Oct 2012 ..Rslso D-Mod( on Results Introduction the to 0.2
    ON SOME FINITENESS QUESTIONS FOR ALGEBRAIC STACKS VLADIMIR DRINFELD AND DENNIS GAITSGORY Abstract. We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous. Contents Introduction 3 0.1. Introduction to the introduction 3 0.2. Results on D-mod(Y) 4 0.3. Results on QCoh(Y) 4 0.4. Ind-coherent sheaves 5 0.5. Contents of the paper 7 0.6. Conventions, notation and terminology 10 0.7. Acknowledgments 14 1. Results on QCoh(Y) 14 1.1. Assumptions on stacks 14 1.2. Quasi-coherent sheaves 15 1.3. Direct images for quasi-coherent sheaves 18 1.4. Statements of the results on QCoh(Y) 21 2. Proof of Theorems 1.4.2 and 1.4.10 23 2.1. Reducing the statement to a key lemma 23 2.2. Easy reduction steps 24 2.3. Devissage 24 2.4. Quotients of schemes by algebraic groups 26 2.5. Proof of Proposition 2.3.4 26 2.6. Proof of Theorem 1.4.10 29 arXiv:1108.5351v3 [math.AG] 26 Oct 2012 3. Implications for ind-coherent sheaves 30 3.1. The “locally almost of finite type” condition 30 3.2. The category IndCoh 32 3.3. The coherent subcategory 39 3.4. Description of compact objects of IndCoh(Y) 39 3.5. The category Coh(Y) generates IndCoh(Y) 42 3.6.
    [Show full text]
  • Commutative Algebra, Lecture Notes
    COMMUTATIVE ALGEBRA, LECTURE NOTES P. SOSNA Contents 1. Very brief introduction 2 2. Rings and Ideals 2 3. Modules 10 3.1. Tensor product of modules 15 3.2. Flatness 18 3.3. Algebras 21 4. Localisation 22 4.1. Local properties 25 5. Chain conditions, Noetherian and Artin rings 29 5.1. Noetherian rings and modules 31 5.2. Artin rings 36 6. Primary decomposition 38 6.1. Primary decompositions in Noetherian rings 42 6.2. Application to Artin rings 43 6.3. Some geometry 44 6.4. Associated primes 45 7. Ring extensions 49 7.1. More geometry 56 8. Dimension theory 57 8.1. Regular rings 66 9. Homological methods 68 9.1. Recollections 68 9.2. Global dimension 71 9.3. Regular sequences, global dimension and regular rings 76 10. Differentials 83 10.1. Construction and some properties 83 10.2. Connection to regularity 88 11. Appendix: Exercises 91 References 100 1 2 P. SOSNA 1. Very brief introduction These are notes for a lecture (14 weeks, 2×90 minutes per week) held at the University of Hamburg in the winter semester 2014/2015. The goal is to introduce and study some basic concepts from commutative algebra which are indispensable in, for instance, algebraic geometry. There are many references for the subject, some of them are in the bibliography. In Sections 2-8 I mostly closely follow [2], sometimes rearranging the order in which the results are presented, sometimes omitting results and sometimes giving statements which are missing in [2]. In Section 9 I mostly rely on [9], while most of the material in Section 10 closely follows [4].
    [Show full text]
  • MAPPING STACKS and CATEGORICAL NOTIONS of PROPERNESS Contents 1. Introduction 2 1.1. Introduction to the Introduction 2 1.2
    MAPPING STACKS AND CATEGORICAL NOTIONS OF PROPERNESS DANIEL HALPERN-LEISTNER AND ANATOLY PREYGEL Abstract. One fundamental consequence of a scheme being proper is that there is an algebraic space classifying maps from it to any other finite type scheme, and this result has been extended to proper stacks. We observe, however, that it also holds for many examples where the source is a geometric stack, such as a global quotient. In our investigation, we are lead naturally to certain properties of the derived category of a stack which guarantee that the mapping stack from it to any geometric finite type stack is algebraic. We develop methods for establishing these properties in a large class of examples. Along the way, we introduce a notion of projective morphism of algebraic stacks, and prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Contents 1. Introduction 2 1.1. Introduction to the introduction2 1.2. Mapping out of stacks which are \proper enough"3 1.3. Techniques for establishing (GE) and (L)5 1.4. A long list of examples6 1.5. Comparison with previous results7 1.6. Notation and conventions8 1.7. Author's note 9 2. Artin's criteria for mapping stacks 10 2.1. Weil restriction of affine stacks 11 2.2. Deformation theory of the mapping stack 12 2.3. Integrability via the Tannakian formalism 16 2.4. Derived representability from classical representability 19 2.5. Application: (pGE) and the moduli of perfect complexes 21 3. Perfect Grothendieck existence 23 3.1.
    [Show full text]
  • Intersection Theory on Regular Schemes Via Alterations and Deformation to the Normal Cone Dissertation
    Intersection Theory on Regular Schemes via Alterations and Deformation to the Normal Cone Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften (Dr. rer. nat.) der Fakultat¨ fur¨ Mathematik der Universitat¨ Regensburg vorgelegt von Andreas Weber aus Regensburg im Jahr 2015 Promotionsgesuch eingereicht am 13. April 2015. Die Arbeit wurde angeleitet von Prof. Dr. Klaus K¨unnemann. Pr¨ufungsausschuss: Vorsitzender: Prof. Dr. Harald Garcke 1. Gutachter: Prof. Dr. Klaus K¨unnemann 2. Gutachter: Prof. Dr. Walter Gubler weiterer Pr¨ufer: Prof. Dr. Uwe Jannsen Contents Contents 3 1 Introduction 5 2 Chow Groups of S-schemes 11 2.1 The S-Dimension . 11 2.2 Chow Groups . 14 3 Resolution of Singularities and Alterations 17 3.1 Assumption on Alterations . 17 3.2 State of the Art . 18 4 Intersection Theory with Supports on Regular Schemes 21 4.1 Bivariant Classes and Orientations . 21 4.2 Alterations and BQ-Orientations . 37 4.3 Intersection Theory with Supports on BQ-orienting Schemes . 39 5 Comparison to other Approaches to Intersection Theory 47 5.1 Intersection with Divisors . 47 5.2 Smooth Schemes over a Dedekind scheme . 49 A Fulton's Theory for S-schemes 53 A.1 Proper push-forward and flat pull-back . 53 A.2 Intersection with Divisors . 56 A.3 Cones, Chern and Segre classes . 56 A.4 Deformation to the Normal bundle . 63 A.5 Refined Gysin homomorphisms . 65 A.6 Intersection theory for smooth schemes over a one-dimensional base . 69 Bibliography 71 Chapter 1 Introduction k For a Noetherian separated regular scheme X, the Chow group CHY (X) of algebraic cycles of codimension k with supports in a closed subset Y of X is given as k k k CHY (X) := ZY (X) = RatY (X); k i.e.
    [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]
  • Waring-Type Problems for Polynomials Algebra Meets Geometry Alessandro Oneto
    Waring-type problems for polynomials Algebra meets Geometry Alessandro Oneto Waring-type problems for polynomials Algebra meets Geometry Alessandro Oneto ©Alessandro Oneto, Stockholm University 2016 e-mail: [email protected] ISBN: 978-91-7649-424-0 Printed by Holmbergs, Malmö 2016 Distributor: Department of Mathematics, Stockholm University CONTENTS 1 INTRODUCTION 3 1.1 ADDITIVE DECOMPOSITIONS OF INTEGERS ............ 3 1.2 ADDITIVE DECOMPOSITIONS OF POLYNOMIALS .......... 4 1.2.1 CLASSICAL WARING DECOMPOSITIONS .......... 5 1.2.2 d-TH WARING DECOMPOSITIONS .............. 7 1.2.3 WARING-LIKE DECOMPOSITIONS .............. 8 1.2.4 REAL WARING DECOMPOSITIONS ............. 9 1.3 GEOMETRIC INTERPRETATION ................... 10 1.3.1 SECANT VARIETIES ..................... 10 1.3.2 CLASSICAL WARING PROBLEM:VERONESE VARIETIES . 12 1.3.3 d-TH WARING PROBLEM: VARIETIES OF POWERS . 14 1.3.4 WARING-LIKE PROBLEMS: VARIETIES OF µ-POWERS . 17 1.3.5 TERRACINI’S LEMMA .................... 18 2 APOLARITY THEORY AND POINTS CONFIGURATIONS 23 2.1 APOLARITY THEORY ......................... 23 2.2 HILBERT FUNCTIONS OF CONFIGURATIONS OF REDUCED POINTS 27 2.3 WARING LOCI OF HOMOGENEOUS POLYNOMIALS . 29 2.3.1 QUADRICS .......................... 31 2.3.2 MONOMIALS ......................... 32 2.3.3 BINARY FORMS ....................... 34 2.3.4 PLANE CUBICS ....................... 37 2.4 WARING LOCI AND THE STRASSEN CONJECTURE . 43 2.5 APOLARITY LEMMA: POWER IDEALS AND FAT POINTS . 49 2.5.1 IDEALS OF FAT POINTS ................... 49 2.5.2 INVERSE SYSTEMS OF IDEALS FAT POINTS. 51 2.6 HILBERT FUNCTIONS OF CONFIGURATIONS OF FAT POINTS . 53 2.6.1 DOUBLE POINTS: THE ALEXANDER–HIRSCHOWITZ THEO- REM ............................. 55 2.7 SPECIAL CONFIGURATIONS OF FAT POINTS .
    [Show full text]
  • ON SUPPORTS and ASSOCIATED PRIMES of MODULES OVER the ENVELOPING ALGEBRAS of NILPOTENT LIE ALGEBRAS Introduction Let G Be a Conn
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 353, Number 6, Pages 2131{2170 S 0002-9947(01)02741-6 Article electronically published on January 3, 2001 ON SUPPORTS AND ASSOCIATED PRIMES OF MODULES OVER THE ENVELOPING ALGEBRAS OF NILPOTENT LIE ALGEBRAS BORIS SIROLAˇ Abstract. Let n be a nilpotent Lie algebra, over a field of characteristic zero, and U its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of U related to finitely generated U-modules V ,andin particular the set Ass V of associated primes for such V (note that now Ass V is equal to the set Annspec V of annihilator primes for V ); (2) the problem of nontriviality for the modules V=PV when P is a (maximal) prime of U,andin particular when P is the augmentation ideal Un of U. We define the support of V , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set Ass V . Weprovethefollowing generalization of a stability result given by W. Casselman and M. S. Osborne inthecasewhenN, N as in the theorem, are abelian. We also present some of its interesting consequences. Theorem. Let Q be a finite-dimensional Lie algebra over a field of char- acteristic zero, and N an ideal of Q;denotebyU(N) the universal enveloping algebra of N.LetV be a Q-module which is finitely generated as an N-module.
    [Show full text]
  • An Estimate of Canonical Dimension of Groups Based on Schubert Calculus
    An estimate of canonical dimension of groups based on Schubert calculus Rostislav Devyatov∗ November 3, 2020 Abstract We sketch the proof of a connection between the canonical (0-)dimension of semisimple split simply connected groups and cohomology of their full flag varieties. Using this connection, we get a new estimate of the canonical (0-)dimension of simply connected split exceptional groups of type E understood as a group. A full proof will be published later. 1 Introduction To define the canonical (0-)dimension of an algebraic group understood as a group, we first need to define the canonical (0-)dimension of a scheme understood as a scheme (which is a different definition). Roughly speaking, the canonical (0-)dimension of a scheme is a number indicating how hard it is to get a rational point in the scheme. The canonical (0-)dimension of an algebraic group shows how hard it is to get rational points in torsors related to the group. To be more precise, let us fix some conventions and give some definitions. We speak of algebraic schemes and use stacks project as the source of basic definitions. All schemes in the present text are of finite type over a field and separated. The base field is arbitrary. Speaking of canonical dimension of schemes, there are two closely related notions in the literature: the canonical 0-dimension of a scheme defined in [14] and the canonical dimension of a scheme defined in [9]. These two definitions are not known to be always equivalent, but they are equivalent for two particular classes of schemes: for smooth complete schemes and for torsors of split reductive groups (see [13, Theorem 1.16, Remark 1.17, and Example 1.18]).
    [Show full text]
  • Intersection Theory
    APPENDIX A Intersection Theory In this appendix we will outline the generalization of intersection theory and the Riemann-Roch theorem to nonsingular projective varieties of any dimension. To motivate the discussion, let us look at the case of curves and surfaces, and then see what needs to be generalized. For a divisor D on a curve X, leaving out the contribution of Serre duality, we can write the Riemann-Roch theorem (IV, 1.3) as x(.!Z'(D)) = deg D + 1 - g, where xis the Euler characteristic (III, Ex. 5.1). On a surface, we can write the Riemann-Roch theorem (V, 1.6) as 1 x(!l'(D)) = 2 D.(D - K) + 1 + Pa· In each case, on the left-hand side we have something involving cohomol­ ogy groups of the sheaf !l'(D), while on the right-hand side we have some numerical data involving the divisor D, the canonical divisor K, and some invariants of the variety X. Of course the ultimate aim of a Riemann-Roch type theorem is to compute the dimension of the linear system IDI or of lnDI for large n (II, Ex. 7.6). This is achieved by combining a formula for x(!l'(D)) with some vanishing theorems for Hi(X,!l'(D)) fori > 0, such as the theorems of Serre (III, 5.2) or Kodaira (III, 7.15). We will now generalize these results so as to give an expression for x(!l'(D)) on a nonsingular projective variety X of any dimension. And while we are at it, with no extra effort we get a formula for x(t&"), where @" is any coherent locally free sheaf.
    [Show full text]
  • 18.726 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 (K.S. Kedlaya, MIT, Spring 2009) More properties of schemes (updated 9 Mar 09) I’ve now spent a fair bit of time discussing properties of morphisms of schemes. How­ ever, there are a few properties of individual schemes themselves that merit some discussion (especially for those of you interested in arithmetic applications); here are some of them. 1 Reduced schemes I already mentioned the notion of a reduced scheme. An affine scheme X = Spec(A) is reduced if A is a reduced ring (i.e., A has no nonzero nilpotent elements). This occurs if and only if each stalk Ap is reduced. We say X is reduced if it is covered by reduced affine schemes. Lemma. Let X be a scheme. The following are equivalent. (a) X is reduced. (b) For every open affine subsheme U = Spec(R) of X, R is reduced. (c) For each x 2 X, OX;x is reduced. Proof. A previous exercise. Recall that any closed subset Z of a scheme X supports a unique reduced closed sub- scheme, defined by the ideal sheaf I which on an open affine U = Spec(A) is defined by the intersection of the prime ideals p 2 Z \ U. See Hartshorne, Example 3.2.6. 2 Connected schemes A nonempty scheme is connected if its underlying topological space is connected, i.e., cannot be written as a disjoint union of two open sets.
    [Show full text]
  • The Balmer Spectrum of Stable Module Categories Over Finite Group Schemes UROP+ Final Paper, Summer 2020 Jordan Benson Advised B
    The Balmer Spectrum of Stable Module Categories Over Finite Group Schemes UROP+ Final Paper, Summer 2020 Jordan Benson Advised by Adela Zhang Project Suggested by Haynes Miller September 1, 2020 Abstract We give an introduction to the Balmer spectrum of a general tensor-triangulated category and a classification of the tensor-thick ideals of such a category. This framework relies on a notion of support for each object. We then summarize the work of Benson, Iyengar, and Krause regarding two equivalent notions of support, namely the triangulated support and the cohomological support. After this, we specialize to the case of the stable module category stmod(A(1)) and use the previous results to give an explicit classification of the tensor-thick ideals of this category. These tensor-thick ideals are shown to correspond to the vanishing of Margolis homologies. In the 1980s Hopkins and Smith proved the Thick Subcategory Theorem, which is a crucial com- ponent in the Periodicity Theorem in chromatic homotopy theory. The Thick Subcategory Theorem says that the thick subcategories of the stable homotopy category of finite p-local spectra are nested and correspond to the vanishing of Morava K-theories. Hopkins then made the important observa- tion that their method of classification could be applied to a more algebraic context. To this end, he sketched a classification result for the thick subcategories of the derived category Db(proj R) of perfect complexes over a commutative noetherian ring R. More precisely, he established a corre- spondence between specialization closed sets subsets of proj R and the thick subcategories in the derived category.
    [Show full text]