Algebraic Geometry (代数几何) I (Fall 2018)


What is this course about? 
A first characterization of Algebraic Geometry is: the study of the common zero sets of a collection of polynomial  equations in a given number of indeterminates. These polynomials were originally assumed to have real coefficients so that the zero set  would lie in real n-space. After the advent of complex numbers,  it was soon noticed that the theory became much more manageable if these coefficients were taken to be complex numbers (for instance a polynomial in a single real variable of degree d has at most d real solutions,  but if we take the coefficients complex, then the number of complex solutions is exactly d, if we are willing to count solutions with multiplicity). It had also been observed that things became even better if we include “solutions at infinity”. This means looking  for solutions in a somewhat bigger space then complex n-space, namely complex projective n-space. This was followed by the observation that  for much of the theory the only property of the complex numbers that intervened was that they make up an algebraically closed field. We thus arrive at the point of  what is called Projective Algebraic Geometry: the study of common zero sets of systems of homogeneous polynomials in n+1 variables x0,...,xn with coefficients in an algebraically closed field. 

However, if it so happens that the polynomials have their coefficients in a smaller field that is not algebraically closed such as the field of rational numbers, then it makes sense (and there may be good reason) to ask for solutions with coefficients in that field. But this is often a subtle issue which usually involves Galois theory, even when the field is that of the real numbers and this explains why it was not a good idea to start out that way. Things becomes even more complicated if the algebraically closed field is replaced by a ring, for instance the ring of integers. Such questions are by no means uninteresting, as many natural questions in number theory can be stated that way.  In the 1950s it was gradually recognized that in order to accommodate this kind of generality, a complete rebuilding of the foundations  was called for. This foundational work was carried out during a relatively short period (1958-1970) under the leadership of A. Grothendieck. The tools and language developed by him (with his notion  of scheme taking the place of an algebraic variety) and the underlying way of looking at things are now universally accepted  as the framework to work in (and to formulate results about) algebraic geometry. At the same time, experience has taught us that the scheme setting is ill-suited for a first acquaintance with algebraic geometry, and this is why most of this course is concerned with Algebraic Geometry over an algebraically closed field.

Prerequisites 
Basic commutative algebra concerning rings and  modules and a bit of Galois theory. The Tsinghua Honors Algebra course is a perfect preparation.

Literature 
I prepared a set of notes which accompanies this course and that is available here. You are encouraged to report any inaccuracies (including spelling errors). Any feedback is welcome for that matter; for example,  if you feel the  exposition is unclear, just let me know. It is possible that during the course I make some revisions, so do not print more of it than you need. Below I list some literature that you might find useful to consult; for other opinions, take a look at this mathoverflow question.

   David Eisenbud and Joe Harris: The Geometry of SchemesGTM 197, Springer. A good introduction to schemes and related notions.

   Robin Hartshorne: Algebraic Geometry, Springer Verlag GTM 52, Springer. Still the most widely used introduction to modern algebraic geometry. 

   Liu Qing: Algebraic Geometry and Arithmetic curves, Oxford Science Publications. The original motivation of the author was to give an exposition of arithmetic surfaces. But the first half of the book is an excellent introduction to schemes and the second half well illustrates the power of the scheme  approach.

   David Mumford: The Red Book of Varieties and SchemesLecture Notes in Mathematics 1358, Springer. This is in fact two rather separate books which have been reprinted in a single volume. Relevant for this course is the part this (nowadays, yellow)  lecture note it is named after, which was essentially the first book on schemes meant for students. It is still a very good introduction, written in the author's characteristic style: informality paired with precision.

   David Eisenbud: Commutative Algebra with a view toward Algebraic Geometry, GTM 150. A substantial text of about 780 pages. The topic of the subtitle  here enters mostly through local properties or via affine varieties. The book has detailed proofs, often accompanied by enlightening discussions. It shows that there is little difference between Commutative  Algebra and Local Algebraic Geometry.

   Ulrich Görtz, Torsten Wedhorn: Algebraic geometry I, Schemes with examples and exercises, Adv. Lectures in Mathematics. Vieweg + Teubner.

   Fu Lei: Algebraic Geometry,  a concise introduction (of about 260 p.) to the theory of schemes based on  a course taught at the Morningside Center. It is joint publication of Springer and Tsinghua UP and that is reflected by its price here on campus: for 39  it is a steal.

And for the brave:

   Alexandre Grothendieck-Jean Dieudonné: Éléments de Géométrie Algébrique. Publications Mathématiques de l'IHES. This is the fundamental source. Only 4 chapters of the planned 13 have appeared, but they already comprise about 1500 pages. Go for it if you want rigor and generality (it has been translated into Chinese!).

   Johan de Jong et alii: The stacks project. This Wiki based enterprise is becoming the natural successor of EGA as the standard opus of reference for algebraic geometry. It is as rigorous and general and goes well beyond the notion of a scheme. Many of the chapters (95 as of Dec. 2015) rest on only few of the preceding ones, so that often you can just start reading a chapter once you have already some basic knowledge of the field. 

   Ravi Vakil: MATH 216: Foundations of Algebraic GeometryThese course notes delve into the subject in a true Grothendieck spirit right from the start, yet do this in a way that makes prerequisites minimal. When you have finished working through the 700+ page manuscript you have also learned  a lot about category theory and homological algebra. It is on Vakil's website  available as a wordpress blog, which means that it cannot be accessed this side of the wall. I therefore put a pdf copy here.

Place and time 
Wednesdays  8:00-9:35, Fridays 13:30-15:05 in Room  6B211 (Teaching Building 6), beginning Sept. 19.
The first two weeks will be 
taught by Dr W. Donovan.

Final exam arrangement
To be announced later.

Homework
Each week I give homework in the form of some exercises. Only exercises with an asterisk will be graded (with grade ‘sufficient’, ‘in between’ or ‘insufficient’) and must for that purpose be handed in by Monday the following week to my teaching assistant 自云鹏. It is possible to get your final grade without submitting any homework, but you have to tell me 
before Dec. 15, as this may involve an oral exam.

Grading 
The homework grades can contribute towards your final grade as follows: the grade (named H) for your homework is determined by taking the average of all the weekly grades except for the two worst ones, using the rule: sufficient=10, in between=7, insufficient=5 and with failure to hand in a starred (*) homework exercise resulting in a zero grade. If you get grade W for the written exam, then your final grade is computed according to the rule 0.5H+0.5W or W (rounded off appropriately), whichever is highest, provided W is at least 6.

Material covered and exercises (starred exercises will be graded and count towards H)
Here you will find a brief indication what was done when, plus the home work problems for that week.

Sept. 19-28: Up to and including Cor. 1.3.7.  Exerc. 5*, 11*.
Oct.  10: Up to Lemma 1.4.7. Exerc. 15*. 
Oct.  12: 
Finished Subsection 1.4. Exerc. 18*, 19.
Oct.  17: Until Prop. 1.6.1. Exerc. 21, 22*.
Oct.  19: Until Prop. 1.8.2. Exerc. 28*, 29.
Oct.  24: Until Prop. 1.9.1. Exerc. 32*.
Oct.  26: Up
to and including Prop. 1.9.7. Exerc. 34, 35*.
Oct.  31: We finished subsection 1.9. Exerc. 37, 38*.
Nov.   2: Up to Theorem 1.10.9. No exercices this time.
Nov.   7: Finished  Lemma 1.10.14. Exerc. 39*.
Nov.   9: Until Theorem 2.1.6. Exerc. 41, 42*.
Nov. 14: Halfway adic completion. Exerc. 45, 46*.
Nov. 16: Halfway proof of Lemma 2.2.11. Exerc. 47, 48*.
Nov. 21: Halfway proof of Prop. 2.2.16. Exerc. 49, 50*.
Nov. 23: 
Finished Chapter 2 with brief discussion of derivations ans sheaves.Exerc. 51, 53*. 
Nov. 28: Chapter 3 up to and including  Lemma 3.2.3. Exerc. 61, 62*.

Algebraic Geometry during the Fall of  2018
Here I will list activities  in case you want to learn more about this beautiful subject:
   
Graduate seminar Higgs bundles,  Wednesdays at 7 PM (as of Oct. 10) in Rm. 1 of the Yuan West Building.
Beijing 
Algebraic Geometry Colloquium (next meeting Nov. 3). 
Seminar Algebraic Geometry Tsinghua, Thursdays at 15:30 in Lecture Hall  of the Yuan West Building (meetings will be announced).