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 variables x1,...,xn. 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.
Content of the course
We begin with developing the dictionary between geometry and algebra in the most basic and elementary way: if k is an algebraically closed field, and A is a finitely generated k-algebra without nilpotent elements, then A can be understood as an algebra of k-valued functions on a topological space, the maximal ideal spectrum of A. This leads us into algebraic geometry over the field k. Soon enough we will recognize the need to replace the maximal ideal spectrum by somewhat larger space, the prime ideal spectrum (=ordinary) spectrum. This may look strange at first, but turns out to do a much better job in geometrically representing algebraic properties. This then will lead us naturally to the notion of a scheme. Along the way we consider some examples in a fair amount of detail. It is advised you get hold of the book of Hartshorne (see below).
Prerequisites
Basic commutative algebra concerning rings and modules and a bit of Galois theory. The Tsinghua Honors Algebra course is a perfect preparation.
Literature
Here is a set of notes which accompanies this course. Below I listed 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 Schemes, GTM 197. A good introduction to schemes and related notions.
Robin Hartshorne: Algebraic Geometry, Springer Verlag GTM 52. 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 Schemes, Lecture Notes in Mathematics 1358. 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.
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 certainly 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 Geometry. These 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
Tuesdays and Fridays 13:30-15:05 in Room 207 of Tsinghua School (Tsinghua Xuetang) starting Sept. 15.
Exam date and place
Jan. 9 2016 (Saturday), 9:00-17:00 in the Jin Chun Yuan West Building; room to be announced later. The level of the exam questions will be comparable to that of the home work exercises. Bring food and drink to sustain you throughout the day. The only text you may take with you are the lecture notes. Leave your digital equipment (telephone, iPad, computer, etc.) at home, as no such gadget will be allowed inside the exam room.
Here is the link to the solution sheet of the exam.
Grading
Exercises with an asterisk will be graded (with grade ‘sufficient’, ‘in between’ or ‘insufficient’) and must for that purpose be handed in within a week after the mentioned date (by mail or hard copy) to my teaching assistant Zheng Zhiwei. These 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)
Sept. 15: Ch. 1 Sect. 1; exerc. 2, 5*, 7.
Sept. 18: Ch. 1 until 2.14; exerc. 7, 8*, 9.
Sept. 22: Ch. 1 until proof of 2.9; exerc. 12, 14, 15*.
Sept. 25: Ch. 1 finished Section 3; exerc. 16*.
Sept. 29: Ch. 1 until Prop. 4.8; exerc. 17*, 18.
Oct. 09: Ch. 1 until Prop. 5.2; exerc. 19, 20*.
Oct. 10: Ch. 1 until Prop. 6.1; no exercises were given.
Oct. 13: Ch. 1 until Prop. 7.6; exerc. 26, 27* (beware of the new numbering!).
Oct. 16: Ch. 1 up to Prop. 8.1; exerc. 28, 29* (note the correction of exerc. 28 dd. Oct. 22).
Oct. 20: Ch. 1 until Cor. 8.9; exerc. 33, 34*.
Oct. 22: Ch. 1 until Prop. 8.6.
Oct. 27: No class.
Oct. 29: Conclusion of Section 8 of Ch. 1 and an introduction to sheaves (Zheng Zhiwei).
Nov. 3: Finished Sect. 9 of Ch. 1; exerc. 39, 40*, 41.
Nov. 6: Proof of Lemma 10.13 almost finished; exerc. 42*, 43.
Nov. 10: Definition 11.2; exerc. 44, 50*.
Nov. 13: Finished Ch. 2 Sect. 1; exerc. 52*, 53.
Nov. 17: Ch. 2 until Cor. 3.4; exerc. 57*, 58.
Nov. 20: Ch. 2 until Lemma 4.5; exerc. 58*, 59.
Nov. 24: Ch. 2 until Sect. 6; exerc. 60. 61*.
Nov. 27: Ch. 2 until Lemma 7.4; exerc. 62*, 63.
Dec. 1: Ch. 2 Sect. 8 until the Gauss map; exerc. 64, 66*.
Dec. 4: Ch. 2 until 9.7; exerc. 67, 68*.
Dec. 8: Ch. 2 until the Hilbert Serre theorem 10.3; no exercises were given.
Dec. 12: Finished Chapter 2 (and the course); exerc. 69, 70*.
Algebraic Geometry during Spring 2016
If you want to learn more of this beautiful subject, then here is a nonexhaustive list of planned activities:
◦ A continuation of this course, Algebraic Geometry II, will be taught by Professor Hu Yi.
◦ Course at the YMSC Topology of Algebraic Varieties, meant for graduate students, taught by me, starting March 2016.
◦ Seminar Algebraic Geometry (present time slot Wednesdays 15:30-17:00), person in charge is Dr Liang Dun. The intended
audience is faculty or advanced graduate students. Contact himif you want to receive the announcements.
◦ Informal student seminar on moduli spaces of curves using among other things these notes. If you are interested, get in
touch with Zheng Zhiwei.
Possibly there will be another informal student seminar on Algebraic Groups (ask Zheng Zhiwei).