Professor A.J. de Jong, Columbia university, Department of Mathematics.

This is the webpage of the graduate course "Fall 2017 Mathematics GR6261 COMMUTATIVE ALGEBRA".

Tuesday and Thursday, 11:40 AM - 12:55 PM in Room 507 Math.

Grading will be based on homework and a final exam.

The TA is Raymond Cheng. He will be in the help room ??.

We will use the Stacks project as our main reference, but of course feel free to read elsewhere. If you see a four character alphanumeric code, like 0000, then this is a link to a chapter, section, exercise, or a result in the Stacks project.

** Reading. **
Please keep up with the course by studying the following material
as we go through it. We will go through material at a rapid pace
and the assumption is that you'll spend a lot of time with the
theory by yourself in order to understand and keep up with the course.

Part I: tiny bit of dimension theory

- Spectrum of a ring 00DY (lecture 9-5)
- Prime avoidance 00DS (lecture 9-5)
- Noetherian topological spaces 0050 (lecture 9-5)
- Noetherian rings 00FM (lecture 9-5 and 9-7)
- Noether normalization 00OY (lecture 9-7)
- Transcendence degree 030D (lecture 9-12)
- Norm and Trace 0BIE (lecture 9-12)
- Dimension and dimension functions 0054 02I8 (lecture 9-12)
- Gauss' lemma and company 0BC1, 0AFV, 00H7 (lecture 9-12 and 9-14)
- Hilbert Nullstellensatz 00FV (lecture 9-14)
- Dimension theory 0054, 07NB (lecture 9-14)
- Conclusion handout (pdf) (lecture 9-14)

Part II: tiny bit of varieties

For background, please read along in Hartshorne, Chapter I. The Stacks project defines the category of schemes first, and then a variety is an irreducible separated scheme of finite type over a given base field. As in Hartshorne, in this part of the course we will fix an algebraically closed ground field k.

- Comparing closed subsets 005Z (lecture 9-19)
- Affine varieties (lecture 9-19)
- Products of varieties 05P3 (lecture 9-19)
- Regular functions (lecture 9-19)
- Morphisms of varieties (lecure 9-19)
- Rational maps of varieties (lecture 9-21)
- Varieties and rational maps 0BXM (lecture 9-21)

Part III: tiny bit on sheaves and cohomology

You can start with reading Hartshorne, Chapter II, Section 1 and Chapter III, Sections 1, 2. Also, please read the very slick discussion in Ravi Vakil's lecture notes on Cech cohomology. The Stacks project defines the derived category before discussing higher derived functors. Either first read a bit about the derived category and then read the links below or try reading the sections listed below anyway (without reading the definition of the derived category) and see what parts of them make sense with the definitions given in the lectures and see if you can prove the statements.

- Sheaves 006A (lecture 9-26 and 9-28)
- Sheaves of modules 01AC (lecture 9-26 and 9-28)
- Injective and projective resolutions 013G, 0643 (lecture 10-3)
- Derived functors 05T3, 05TB, 0156 (lecture 10-3)
- The spectral sequences of a double complex 012X (lecture 10-5)
- Locality of cohomology 01E0 (lecture 10-5)
- Cech cohomology 01ED (lecture 10-10)
- Cech cohomology on presheaves 01EH (lecture 10-10)
- Cech cohomology and cohomology 01EO (lecture 10-10 and 10-12)
- Alternating Cech complex 01FG (lecture 10-10)
- Vanishing cohomology on Noetherian spaces 02UU (lecture 10-10)

Part IV: flat ring maps and the Amitsur complex

Part V: tiny bit about schemes

- Locally ringed spaces 01HA 01HD (skip closed immersions)
- Affine schemes 01HR, 01HX (lecture 10-12)
- Quasi-coherent modules on affines 01I6
- Cohomology of quasi-coherent on affine 01X8
- Schemes 01II
- Fibre products of schemes 01JO
- Quasi-compact morphisms 01K2
- Separation axioms 01KH
- Functoriality for quasi-coherent modules 01LA

** Exercises. **
Please do the exercises to keep up with the course:

- Due 9-12 in class: do 10 of the exercises from 027A
- Due 9-19 in class: 02DO 02DR 02CJ 076I
- Due 9-26 in class: 0E9D 0E9E 0E9F 0E9G 078W
- Due 10-3 in class: 02EU 02EW 028N 078Z 0E9H
- Due 10-10 in class: 0CRC 0CRD 0CRE 0D8Q 0D8S 0D8T
- Due 10-17 in class: 057Z 0CYH 0D8Y

These exercises are not always doable purely with the material discussed in the course. Sometimes you'll have to look up things online or in books and use what you find.

** Background stuff. **
Most of this will be discussed in the lectures:

- Irreducible components 004U (lecture 9-5)
- Finite type ring maps 00F2 (lecture 9-7)
- Finite ring maps 0562 (lecture 9-7)
- Integral ring maps 00GH (lecture 9-7)
- Finite and integral ring extensions 00GH (lecture 9-7)
- Jacobson topological spaces 005T (lecture 9-21)
- Jacobson rings 00FZ (lecture 9-21)
- Abelian categories 00ZX (lecture 9-26)
- Adjoint functors 0036 (lecture 9-26)
- Yoneda Lemma 001L (lecture 9-26)
- Ext groups 00LO (lecture 10-3)
- Tor groups + zig-zags 00LY (lecture 10-5)
- Sheaves and bases 009H (lecture 10-12)
- Localization 00CM
- Normal rings 037B
- Spectral spaces 08YF
- Stuff about fields 09FA
- Simplicial methods 0162