Preliminary Exam Topics Sarah Mayes


 Franklin Campbell
 4 years ago
 Views:
Transcription
1 Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition of morphism, kernel, image, and exact sequence of sheaves Definition of quotient sheaves A morphism is an isomorphism of sheaves if and only if it is an isomorphism on stalks [Hartshorne, II.1.1] Definition of the direct image sheaf Definition of inverse image sheaf 2. Schemes Prime spectrum of a ring, Spec A Definition of (locally) ringed space and morphism of (locally) ringed spaces Correspondence between homomorphisms of rings and morphisms of affine schemes [Hartshorne, II.2.3] Definition of schemes Gluing schemes [Hartshorne, II.3.5] Definition of Proj of a ring Definition of irreducible, reduced, and integral schemes A scheme is integral if and only if it is reduced and irreducible [Hartshorne, II.3.1] Definition of finite morphisms and morphisms of finite type Definition of open and closed immersions; definition of open and closed subschemes Reduced induced closed subscheme structure [Hartshorne, II.3.2.6] Fibred product of schemes [Hartshorne II.3.3] Definition of fibres of a morphism of schemes Definition of base extensions 1
2 3. Separated and proper morphisms Definition of separated morphisms A morphism is separated if and only if the image of the diagonal is closed [Hartshorne, II.4.2] Statement of the Valuative Criterion of Separatedness [Hartshorne, II.4.3] Definition of universally closed and proper morphisms Statement of the Valuative Criterion of Properness [Hartshorne, II.4.7] Definition of a projective morphism The intersection of affine subsets of a separated scheme is affine [Hartshorne, exercise 4.3] 4. Sheaves of modules Definition of sheaves of O X modules, morphism of sheaves of modules, free and locally free sheaves of modules Definition of the inverse image sheaf Adjointness of the inverse and direct image functors Definition of the sheaf M associated to an Amodule M on SpecA and basic properties of M [Hartshorne, II.5.2] Definition of quasicoherent and coherent sheaves of modules Equivalence between the categories of Amodules and O X modules for X = Spec A [Hartshorne, II.5.5] Coherence (quasicoherence) of the kernel and image of morphism of coherent (quasicoherent) sheaves. Definition of the ideal sheaf of a closed subscheme Correspondence between quasicoherent sheaves of ideals and closed subschemes [Hartshorne, II.5.9] Definition of the sheaf associated to a graded Smodule on Proj S For X= Proj S and F a sheaf of O X modules, the definition of sheaves O X (n) and twisted sheaves F(n); basic properties [Hartshorne, II.5.12] Definition of the graded Smodule associated with a sheaf of O X  modules where X = Proj S. 2
3 Γ (O X ) = S when S = A[x 0,..., x r ] and X = Proj S [Hartshorne, II.5.13] Statement of correspondence between Γ (F) and F for quasicoherent sheaves on Proj S; structure of projective scheems over Spec A [Hartshorne, II.5.15] Definition of the twisting sheaf O(1) on P r Y Definition of very ample invertible sheaves Conditions for Γ(X, F) to be a finitedimensional kvector space [Hartshorne, II.5.19] 5. Divisors, invertible sheaves, and projective morphisms Definition of prime, Weil, and principal divisors Definition of the divisor class group Cl X of a noetherian integral separated scheme X regular in codimension 1. A noetherian domain A is a UFD if and only if X = Spec A is normal and Cl X = 0 Definition of the divisor class group of P n k and degree of a divisor [Hartshorne, II.6.2] Correspondence between Cl X and Cl U when Z = X U is a proper closed subset of X [Hartshorne, II.6.5] Definition of a Cartier divisor Correspondence between Cartier and Weil divisors [Hartshorne, II.6.11] Definition of the Picard group Definition of L(D), the invertible sheaf corresponding to a Cartier divisor; basic properties [Hartshorne, II.6.13] Correspondence between CaCl X and Pic X for arbitrary and integral schemes [Hartshorne, II.6.14, II.6.15] Every invertible sheaf on P n k is isomorphic to O(l) for some l [Hartshorne, II.6.17] Definition of the closed subscheme associated with an effective Cartier divisor Correspondence between global sections of invertible sheaves and morphisms to projective space [Hartshorne, II.7.1] Equivalent conditions for an invertible sheaf on a Noetherian scheme to be ample [Hartshorne, II.7.5] 3
4 Relation between ample and very ample invertible sheaves 6. Differential forms and vector bundles on varieties Definition of the module of differential forms Ω[X] The module of differential forms is locally free in neighbourhoods of simple points [Shafarevich, III.4.1, Theorem 1] Generators of Ω[X] when X is an affine variety [Shafarevich, III.4.2, Prop. 1] Algebraic description of Ω[X] for a smooth affine variety [Shafarevich, III.4.2, Prop. 2] Definition of rdimensional regular differential forms Dimension of Ω r [X] [Shafarevich, III.4.3, Theorem 2] Definition of the module of rdimensional rational differential forms Ω r (X) and its dimension over k(x) Definition of the canonical class, canonical divisor Definition of a vector bundle and sections of a vector bundle Correspondence between vector bundles and locally free sheaves [Shafarevich, VI.1.1, Theorem 2] Definition of the sheaf of pdifferential forms, the cotangent bundle, and the tangent bundle 7. Blowing up Definition of the blowup of a variety along a smooth subvariety [Shafarevich, VI.2.2] The blowup of a variety is a smooth and irreducible quasiprojective variety [Shafarevich, VI.2.2] Definition and structure of the exceptional subvariety Inverse image of smooth irreducible subvarieties under the blowup map [Shafarevich, VI.2.2d] Definition of Proj of a sheaf of graded algebras over a scheme Definition of the blowup of a Noetherian scheme with respect to a coherent sheaf of ideals Definition of the inverse image ideal sheaf Statement of the universal property of blowing up [Hartshorne, II.7.14] 4
5 Morphisms of Noetherian schemes and blowing up [Hartshorne, II.7.15] 8. Cohomology of sheaves Definition of flabby sheaves Properties of flabby sheaves relating to exact sequences [Ueno, 6.2, 6.5] The canonical flabby resolution of a sheaf of additive groups Statement of commutative diagram induced by an exact sequence of sheaves of additive groups and their canonical flabby resolutions Definition of cohomology groups of a sheaf of additive groups Statement of independence of cohomology groups on choice of flabby resolutions [Ueno, 6.8] Existence of long exact sequence of cohomology groups induced from exact sequence of sheaves of additive groups [Ueno, 6.9] For a quasicoherent O X module F over an affine scheme X, H n (X, F) = 0 [Ueno, 6.10] Injective resolution of a module Statement that Ĩ is flabby over Spec R for an injective Rmodule I Definition of Čech cohomology groups Existence of long exact sequence of Čech cohomology groups induced from exact sequence of sheaves of additive groups (for separated scheme) [Ueno, 6.14] Statement of Leray s theorem [Ueno, 6.15] For a quasicoherent sheaf on a separated scheme X, Ȟn (X, F) = H n (X, F) [Ueno, 6.16] Cohomology of the invertible sheaf O X (m) of projective space P n R over a noetherian ring R [Ueno, 6.19] Statements on finiteness of cohomology of projective space [Ueno, 6.21, 6.22] Cohomological criterion for ampleness of an invertible sheaf over a proper scheme on Spec A [Ueno, 6.26] 9. General commutative algebra Definition of a (discrete) valuation ring 5
6 Valuation rings lie between subrings and fields [Matsumura, 10.2] A valuation ring is integrally closed [Matsumura, 10.3] The integral closure of a ring as the intersection of valuation rings [Matsumura, 10.4] Equivalent conditions for a valuation ring to be a DVR; uniformising elements [Matsumura, 11.1] Nakayama s lemma [Matsumura, 2.2] Definition of the Krull dimension of a ring Hilbert s Nullstellensatz [Matsumura, 5.4] Definition of systems of parameters, regular systems of parameters Equivalent conditions for elements in the maximal ideal of a local ring to be part of a regular system of parameters [Matsumura, 14.2] Definition of a regular local ring A regular local ring is an integral domain [Matsumura, 14.3] Definition of CohenMacaulay local rings in terms of systems of parameters Equivalent conditions for a ring to be CohenMacaulay [Hochster, p. 12] Prime avoidance [Hochster, p. 8] The integral closure of an ideal and the Rees ring [Hochster, p. 17] Definition of a symbolic power of a prime ideal [Hochster, p. 19] Definition of the absolute integral closure of a domain [Hochster, p. 26] Base change and Froebenius functors; basic properties [Hochster, pp ] 10. Tight closure Definition of tight closure of ideals (for Noetherian rings of prime characteristic) Nine properties of tight closure (given in Hochster, pp ) Definition of (weak) Fregularity Three more properties of tight closure (given in Hochster, p. 58) BriançonSkoda theorem Definition of test elements and test ideals [Hochster, pp ] Definition of Ffinite rings [Hochster, p. 76] Result on existence of test elements [Hochster, p. 77] 6
7 References [1] Hartshorne, R., 2006: Algebraic Geometry. Springer. [2] Hochster, M., 2007: Foundations of Tight Closure Theory. [Available online at hochster/711f07/fndtc.pdf.] [3] Matsumura,H., 1986: Commutative ring theory. Cambridge University Press. [4] Shafarevich, I.R., 1977: Basic algebraic geometry. SpringerVerlag. [5] Ueno, K., 2001: Algebraic Geometry 2: Sheaves and cohomology. American Mathematical Society. Primary references for each topic: 1. Sheaves 2. Schemes Hartshorne, Section II.1 Hartshorne, Sections II.2, II.3 3. Separated and proper morphisms Hartshorne, Section II.4 4. Sheaves of modules Hartshorne, Section II.5 5. Divisors, invertible sheaves, and projective morphisms Hartshorne, Sections II.6, II.7 6. Differential forms and vector bundles on varieties Shafarevich, Sections III.4 and VI.1 7. Blowing up Shafarevich, Section VI.2 Hartshorne, Section II.7 7
8 8. Cohomology of sheaves Ueno, Chapter 6 9. General commutative algebra Matsumura Hochster 10. Tight Closure Hochster 8
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
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 information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Basepointfree, ample, very ample 2 3. Every ample on a proper has a tensor power that
More informationLINE BUNDLES ON PROJECTIVE SPACE
LINE BUNDLES ON PROJECTIVE SPACE DANIEL LITT We wish to show that any line bundle over P n k is isomorphic to O(m) for some m; we give two proofs below, one following Hartshorne, and the other assuming
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 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 informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 15]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasiaffine, quasiprojective, proper and projective morphisms 5.1. Quasiaffine morphisms. Definition (5.1.1). A scheme is quasiaffine if it is isomorphic
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
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 informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationContents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.
Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The CauchyRiemann Equations 7 1.5. The Proof of Proposition
More informationSCHEMES. David Harari. Tsinghua, FebruaryMarch 2005
SCHEMES David Harari Tsinghua, FebruaryMarch 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationExtended Index. 89f depth (of a prime ideal) 121f ArtinRees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f  listings ending in f give the page where the term is defined commutative
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 informationAN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES
AN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES MATTHEW H. BAKER AND JÁNOS A. CSIRIK This paper was written in conjunction with R. Hartshorne s Spring 1996 Algebraic Geometry course at
More informationClassification of Complex Algebraic Surfaces
ALGANT Master Thesis in Mathematics Classification of Complex Algebraic Surfaces Alberto Corato Advised by Prof. Dajano Tossici Università degli Studi di Padova Université de Bordeaux Academic year 2017/2018
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasiprojective morphism over an affine base. We develop in this article a technique
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18 CONTENTS 1. Invertible sheaves and divisors 1 2. Morphisms of schemes 6 3. Ringed spaces and their morphisms 6 4. Definition of morphisms of schemes 7 Last day:
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
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 informationWe can choose generators of this kalgebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a prespecified embedding in a projective space. However, an ample line bundle
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More informationINTERSECTION THEORY CLASS 7
INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash
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 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 informationMath 632 Notes Algebraic Geometry 2
Math 632 Notes Algebraic Geometry 2 Lectures by Karen Smith Notes by Daniel Hast Winter 2013 Contents 1 Affine schemes 4 1.1 Motivation and review of varieties........................ 4 1.2 First attempt
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of kcycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationArithmetic Algebraic Geometry
Arithmetic Algebraic Geometry 2 Arithmetic Algebraic Geometry Travis Dirle December 4, 2016 2 Contents 1 Preliminaries 1 1.1 Affine Varieties.......................... 1 1.2 Projective Varieties........................
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More information6.1 Finite generation, finite presentation and coherence
! Chapter 6 Coherent Sheaves 6.1 Finite generation, finite presentation and coherence Before getting to sheaves, let us discuss some finiteness properties for modules over a commutative ring R. Recall
More informationMATH2810 ALGEBRAIC GEOMETRY NOTES. Contents
MATH2810 ALGEBRAIC GEOMETRY NOTES KIUMARS KAVEH Contents 1. Affine Algebraic Geometry 1 2. Sheaves 3 3. Projective varieties 4 4. Degree and Hilbert Functions 6 5. BernsteinKushnirenko theorem 7 6. Degree
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationPart III Positivity in Algebraic Geometry
Part III Positivity in Algebraic Geometry Theorems with proof Based on lectures by S. Svaldi Notes taken by Dexter Chua Lent 2018 These notes are not endorsed by the lecturers, and I have modified them
More informationRemarks on the existence of Cartier divisors
arxiv:math/0001104v1 [math.ag] 19 Jan 2000 Remarks on the existence of Cartier divisors Stefan Schröer October 22, 2018 Abstract We characterize those invertible sheaves on a noetherian scheme which are
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Schemetheoretic closure, and schemetheoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationQualifying Exam Syllabus. I. Algebraic Geometry (Major  Algebra)
Qualifying Exam Syllabus Ritvik Ramkumar November 29, 2017, 9:00am, Evans 891 Committee: David Eisenbud (Advisor), Martin Olsson, Denis Auroux (Chair), Marjorie Shapiro (External) 1. Scheme Theory I. Algebraic
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfhsheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
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 informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationAnother proof of the global F regularity of Schubert varieties
Another proof of the global F regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, RabenPedersen and Thomsen proved that Schubert varieties are globally F regular. We give
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 informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationIgor R. Shafarevich: Basic Algebraic Geometry 2
Igor R. Shafarevich: Basic Algebraic Geometry 2 Igor R. Shafarevich Basic Algebraic Geometry 2 Second, Revised and Expanded Edition SpringerVerlag Berlin Heidelberg GmbH Igor R. Shafarevich Steklov Mathematical
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 informationNOTES ON ABELIAN VARIETIES
NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL CONTENTS 1. Flat implies constant Euler characteristic 1 2. Proof of Important Theorem on constancy of Euler characteristic in flat families
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasicoherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
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 informationSection Divisors
Section 2.6  Divisors Daniel Murfet October 5, 2006 Contents 1 Weil Divisors 1 2 Divisors on Curves 9 3 Cartier Divisors 13 4 Invertible Sheaves 17 5 Examples 23 1 Weil Divisors Definition 1. We say a
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudodivisors 3 2. Intersecting with divisors 4 2.1.
More informationSection Projective Morphisms
Section 2.7  Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
More informationarxiv: v1 [math.ra] 5 Feb 2015
Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,
More informationBasic Algebraic Geometry 1
Igor R. Shafarevich Basic Algebraic Geometry 1 Second, Revised and Expanded Edition SpringerVerlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Table of Contents Volume 1
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is halfexact if whenever 0 M M M 0 is an exact sequence of Amodules, the sequence T (M ) T (M)
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 informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zerosection of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationZariski s Main Theorem and some applications
Zariski s Main Theorem and some applications Akhil Mathew January 18, 2011 Abstract We give an exposition of the various forms of Zariski s Main Theorem, following EGA. Most of the basic machinery (e.g.
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 informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
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 informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasiprojective variety
More informationNoninjectivity of the map from the Witt group of a variety to the Witt group of its function field
Noninjectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective Amodule such that the rank function Spec A N is constant with value 1.
More informationA course in. Algebraic Geometry. Taught by C. Birkar. Michaelmas 2012
A course in Algebraic Geometry Taught by C. Birkar Michaelmas 2012 Last updated: May 30, 2013 1 Disclaimer These are my notes from Caucher Birkar s Part III course on algebraic geometry, given at Cambridge
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
More informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationSERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NONCOMMUTATIVE P 1 BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X bimodule of rank
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 information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable Sscheme of finite type X with X K = A. The nicest possible model over S
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
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 informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationDRATIO OF A CONFIGURATION
DRATIO OF A CONFIGURATION JORGE PINEIRO, TANVIR ABULKALAM Abstract. We extend the notion of Dratio to a general configuration of lines and study its properties. 1. Succesive blowups for resolving the
More informationarxiv:alggeom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alggeom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationWild ramification and the characteristic cycle of an ladic sheaf
Wild ramification and the characteristic cycle of an ladic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationthen D 1 D n = D 1 D n.
Lecture 8. Intersection theory and ampleness: revisited. In this lecture, X will denote a proper irreducible variety over k = k, chark = 0, unless otherwise stated. We will indicate the dimension of X
More informationMINIMAL MODELS FOR ELLIPTIC CURVES
MINIMAL MODELS FOR ELLIPTIC CURVES BRIAN CONRAD 1. Introduction In the 1960 s, the efforts of many mathematicians (Kodaira, Néron, Raynaud, Tate, Lichtenbaum, Shafarevich, Lipman, and DeligneMumford)
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More information