C3.4 Algebraic Geometry - Archived material for the year 2016-2017

2016-2017
Lecturer(s): 
Prof. Alexander Ritter
General Prerequisites: 

Part A Rings and Modules. B3.3 Algebraic Curves useful but not essential.

Course Term: 
Michaelmas
Course Lecture Information: 

16 lectures.

Course Weight: 
1.00 unit(s)
Course Level: 
M

Assessment type:

Course Overview: 

Algebraic geometry is the study of algebraic varieties: an algebraic variety is roughly speaking, a locus defined by polynomial equations. One of the advantages of algebraic geometry is that it is purely algebraically defined and applied to any field, including fields of finite characteristic. It is geometry based on algebra rather than calculus, but over the real or complex numbers it provides a rich source of examples and inspiration to other areas of geometry.

Course Synopsis: 

Affine algebraic varieties, the Zariski topology, morphisms of affine varieties. Irreducible varieties.

Projective space. Projective varieties, affine cones over projective varieties. The Zariski topology on projective varieties. The projective closure of affine variety. Morphisms of projective varieties. Projective equivalence.

Veronese morphism: definition, examples. Veronese morphisms are isomorphisms onto their image; statement, and proof in simple cases. Subvarieties of Veronese varieties. Segre maps and products of varieties. Categorical products: the image of the Segre map gives the categorical product.

Coordinate rings. Hilbert's Nullstellensatz. Correspondence between affine varieties (and morphisms between them) and finitely generated reduced $k$-algebras (and morphisms between them). Graded rings and homogeneous ideals. Homogeneous coordinate rings.

Categorical quotients of affine varieties by certain group actions. The maximal spectrum.

Primary decomposition of ideals.

Discrete invariants of projective varieties: degree, dimension, Hilbert function. Statement of theorem defining Hilbert polynomial.

Quasi-projective varieties, and morphisms between them. The Zariski topology has a basis of affine open subsets. Rings of regular functions on open subsets and points of quasi-projective varieties. The ring of regular functions on an affine variety is the coordinate ring. Localisation and relationship with rings of regular functions.

Tangent space and smooth points. The singular locus is a closed subvariety. Algebraic re-formulation of the tangent space. Differentiable maps between tangent spaces.

Function fields of irreducible quasi-projective varieties. Rational maps between irreducible varieties, and composition of rational maps. Birational equivalence. Correspondence between dominant rational maps and homomorphisms of function fields. Blow-ups: of affine space at a point, of subvarieties of affine space, and of general quasi-projective varieties along general subvarieties. Statement of Hironaka's Desingularisation Theorem. Every irreducible variety is birational to a hypersurface. Re-formulation of dimension. Smooth points are a dense open subset.

Reading List: 
  1. KE Smith et al, An Invitation to Algebraic Geometry, (Springer 2000), Chapters 1-8.
Further Reading: 
  1. M Reid, Undergraduate Algebraic Geometry, LMS Student Texts 12, (Cambridge 1988).
  2. K Hulek, Elementary Algebraic Geometry, Student Mathematical Library 20. (American Mathematical Society, 2003).
  3. A Gathmann, Algebraic Geometry lecture notes, online: www.mathematik.uni-kl.de/en/agag/members/professors/gathmann/notes/alggeom
  4. Shafarevich, Basic Algebraic Geometry 1, (Springer, 1994).
  5. D Mumford, The Red Book of Varieties and Schemes, (Springer, 2009).