Welcome to the course webpage for Part III algebraic geometry, taught in the 2021 Michaelmas term at Cambridge.
Instructor: Dhruv Ranganathan (E 1.01). Meeting time: MWF 10-11 AM (MR5).
Overview: The course will be an introduction to the theory of schemes, sheaves, and the basics of sheaf cohomology. These form the language and toolkit for modern research in algebraic geometry in its full range from geometry to arithmetic. The goal will be for us to understand the basic concepts in scheme theory and gain enough familiarity with a sufficient range of examples that more advanced topics in algebraic geometry, such as moduli theory and etale cohomology move within reach.
Resources: The standard texts are Algebraic Geometry by Hartshorne and The Rising Sea by Vakil, freely available here. I am fond of the Geometry of Schemes by Eisenbud and Harris and Algebraic Geometry and Arithmetic Curves by Qing Liu.
Prerequisites: The main technical requirement will be an understanding of rings and modules; the parallel course in commutative algebra is a recommended co-requisite though it is possible to learn the relevant concepts on the fly. A number of other notions will be used in an elementary fashion, including basic point-set topology and manifolds. The theory of affine and projective varieties will arise as motivation, and remain the main source of examples but are not a technical pre-requisite. Students without experience with these ideas may wish to have Chapter I of Hartshorne's text or Reid's Undergraduate Algebraic Geometry on the side to get a sense for why people care about this stuff.
Notes: My notes are here. In a perfect world, these would be a fairly good reflection of what is said lecture. We will therefore use this to deduce that the world is not perfect.
You can find the example sheets here.
October 8: Introduction to the course; the Weil conjectures and the need for a more general theory than varieties.
October 11: The spectrum of a ring, its topology, distinguished opens and function theory.
October 13: Remarks on the function theory of Spec A; introduction to presheaves and sheaves.
October 15: Determining sheaves and morphisms on stalks; sheafification; kernels, cokernels, and images. James Bond discussions.
October 18: More remarks on sheaves, pullback and pushforward. Towards affine schemes.
October 20: The structure sheaf of an affine scheme; the definition of a scheme in general. Examples!