Although it won’t be evident from this site, I’ve been gradually editing the notes, mainly in response to suggestions and corrections you have sent me or told me. Because things are (very slightly) rearranged, there are lots of temporarily broken links, so I’ve not posted a version in a long time. I think I would like that to change. There are lots of little things I want to tweak — for example, adding Eric Larson’s “proof from the book” of Cohomology and Base Change, and Arthur Ogus’ proof (also “from the book”) of the local criterion for flatness.

But what is moving me to write this today is an email from Zihong Chen, asking about the flawed proof of the Kunneth formula in an earlier version of the notes (since removed, but it may have been after my last posting). I’d scribbled down notes on what I should have said, so I thought I should type it properly, and post it here. (I’m not sure if I will add it to the notes. The price is two pages, which is pretty steep at this point. But it fits squarely into the narrative of the Rising Sea.)

Happy new year all! Here is how I will celebrate the new year.

Jarod Alper will be teaching a course on “Introduction to stacks and moduli” at the University of Washington, and the course website is here:

I’m going to attend, and I think this course could be as influential as Martin Olsson’s course on stacks back in the Beforetimes (which was central to his development of his wonderful book). Jarod is allowing me to advertise it here. He told me: “Right now I’ve posted a very lengthy introduction & motivation, which I’ll spend all of about one lecture on. I will be gradually posting (and revising) the notes during the quarter.”

The class meets Mon/Wed 11:30-12:50 (beginning Mon Jan 4, 2021), Pacific time. On the course website, he writes: “If you would like to participate informally in the class, please send me an email at with (1) your name, (2) email address, (3) affiliation (if any), (4) status (e.g. 3rd yr PhD student, postdoc, …), and (5) a one sentence summary of your background in algebraic geometry.”

For Stanford folks: I am strongly recommending that most of my current students attend this (with some exceptions depending on their interests), and also recommending that many of my “maybe-they-are-my-students” consider taking it.

A standard and very reasonable question people have when first learning about schemes is the following: is it true that every affine open subset of an affine scheme is a distinguished/principal open subset? The answer is (as most of you know) is “no”, so the follow-up question is: “what is a simple example that is rigorously provable to someone at the stage where they ask this question”.

Nikolas Kuhn gave a slick answer to this question. Consider the cuspidal curve y^2=x^3 in the plane \mathbf{A}^2_k (where k is of course a field), which has normalization \mathbf{A}^1_k = \text{Spec} \; k[t]. Then if you remove (1,1), you get an affine open subset (why?), but that set is not even set-theoretically cut out by a single equation (hint: pull the equation back to be a function of t, but notice that this equation doesn’t lie in the subring k[x,y]/(y^2-x^3) = k[t^2, t^3] \subset k[t].

Entertaining follow-up question: this affine open set is \text{Spec} \; B for some ring B. What is B?

One thought I had this morning: the name “principal open set” seems a better (more descriptive) name than “distinguished open set”. I then googled the phrase to see if it had been used in some different way, and found to my surprise that it actually had been used in precisely in this way; I’m not sure where this usage originated.

But I’m inclined to switch over completely to this phrase. The clearest downside is that the notation D(f) refers to “Distinguished”. But I already prefer to think of it as the “Doesn’t-vanish” set.

This might suggest a better name for the following two “topologies”: the topology on {\rm {Spec}} A consisting of principal/distinguished open subsets; and the “topology” on a scheme X where the allowed open subsets are affine open subsets, and the allowed open morphisms are “principal/distinguished” inclusions. I’ve been calling the latter the “Distinguished Affine Topology”, and I’m not sure if I gave a name to the former. Are there better names for these?

Separately, now that AGITTOC (at least the first incarnation) is over, and I might write more here, as a world-readable (and world-commentable) notebook.

I’ve not posted a new version of the notes in a long time, because parts of it have been “closed for construction”. But I might resume soon. It might be easiest to post just a few chapters from the beginning, and gradually move forward.

As always, there are many comments here that I’ve not responded to. You might be surprised to find that I’ve actually read them, and made changes in response to many, and have intended changes in response to others.

 Hi everyone,

I was afraid this would happen — I forgot to set my alarms last night, and just woke up, and won’t have things sufficiently ready for today’s scheduled pseudolecture. So I’ll have to postpone it.

There are still two more to go. The next one will not be next week — it will be the week after next (Saturday October 3). There is a new seminar, approximately monthly, by Dawei Chen and Qile Chen at Boston College, with two talks , and the second will conflict with AGGITOC’s regular time: . There will be some people interested in both events. (Next week’s second speaker is Hannah Larson, who is definitely worth catching, incidentally.)

I’ve posted this on zulip and the Algebraic Geometry Discord, so I hope this reaches everyone!

Once we wrapped our heads around what morphisms of schemes are like, I jumped ahead to chapter 9 to show that fibered products exist. I did this for a few reasons. I wanted to make clear that there was nothing stopping us from immediately understanding fibered products. (The reason I left it after chapter 8 in the notes is that it can take some time to digest it the first time you see it, and there was lower-hanging fruit to pick. Also, once you begin to think about the fibered product, you are led to consider many other things, so it is a substantive topic in its own right.

What I most want you to do is to listen to my exhortations about how the existence is, understood properly, “easy” (in the technical sense — it is conceptual, although you have to train your mind in order to make it natural). So watch and read and digest. Once you have digested it, you are free to read more about Yoneda’s Lemma, and “Zariski sheaves” and Grothendieck topologies — but only if you are at the stage where these are easy reads, and not when they are entrancing but opaque.

I would then recommend trying a bunch of explicit problems in section 9.2, which we haven’t discussed yet, but will let you see that you can really work with fibered products in practice. For this, you need to know something about tensor product — but you’ll find out how little there is to actually know, and how everything follows from these few facts. Section 9.3 is just about interpreting “pullbacks” and “fibers” in terms of fibered product. (Example 9.3.4, on a double-cover of the line, is super-enlightening, and I discussed it in the last pseudolecture.) And from there you can easily see why various properties are preserved by base change/pullback/fibered product (section 9.4). (Please skip 9.5, even if it would be otherwise very interesting to you — it is in the process of being rewritten.) So at this point you can plausibly be done most of chapter 9 (except for 9.5 which I asked you to skip, and 9.6, which isn’t hard, but which I’ve not yet talked about in a pseudolecture).

Here are some problems from chapter 9 that are worth trying.

If you are new to a lot of this, you can try Exercise 9.1.A, which doesn’t build on lots of other things, so you get a chance to just understand something without having to remember a huge superstructure beneath it. 9.1.B is the key connection that gets us from algebra to geometry (the “local model” of the fibered product).

On the other hand, if you are a fancy person, you can do the exercises to understand the existence of fibered products in terms of representable sheaves.

In section 9.2, I would recommend all the exercises that are the gateways through which algebra becomes geometry: 9.2.A, 9.2.B, 9.2.F

Then you can understand how to change “base fields” in this language, to for example relate things over $\mathbb{Q}$ to things over $\overline{\mathbb{Q}}$ to thinks over $\mathbb{C}$. Exercises 9.2.H to 9.2.J deal with this.

If you are a fancy person, you can try 9.2.E, which includes a ring that Jonathan Wise mentioned a few pseudolectures ago — \overline{\mathbb{Q}} \otimes_{\mathbb{Q}} \overline{\mathbb{Q}}.

And Exercise 9.2.K is not important in any way, but it is entertaining!

In Section 9.3, 9.3.A will give you some insight into fibered products — it works well for topological spaces.

In Section 9.4, if you do a few parts of problem 9.4.B, showing that various properties of morphisms are preserved by base change, then you’ll see how to do this in general.

That’s all the time I have for today — tomorrow I’ll hopefully write down a bit about classes of morphisms of schemes. I should really have done that before telling you to do Exercise 9.4.B.

I am leaning more and more toward having some “office hours” on zulip, so I can actually answer some questions you may have — I might pick a time and be there, and then I would come back to it periodically, so people can ask questions asynchronously. But only if it would be useful to enough of you (at least a few)…

As I mentioned at the start of pseudolecture 11, my intent is for this “edition” of AGITTOC to end in two or three weeks. Then I will pause for a month or so, and I might then begin a new edition, starting very roughly where we left off, but with presumably a somewhat different audience.

In this post, I’d like to go over the material we are talking about in these few pseudolectures, to give some sort of written overview, and to suggest problems to do.

Let’s resume our story at the start of part III of the notes, at the start of chapter 6. What do we mean by maps of geometric spaces, now that we have some idea of how we want to think of the geometric spaces by themselves? Certainly we will have to understand maps of points, open sets, and functions, and we will want to understand how our “local models” map. (If you are not seeing this for the first time, you may enjoy trying to do this simultaneously in several categories — varieties over an algebraically closed field; schemes; and complex analytic spaces — to really see what is essential about the constructions, and what is specific.

We are quickly led to the notion of a morphism of ringed spaces. If we are careful, we are led to the notion of a morphism of locally ringed spaces. More specifically, at the very start of our journey, we were expecting that the locus where functions vanish should be a closed subset (this came out in questions and comments on zulip and in the first couple of pseudolectures). This drove our definition of the Zariski topology, and furthermore made us realize that the stalks of our spaces were local rings (thus handing us the definition of locally ringed spaces). With locally ringed spaces, we had the notion of the value of a function at a point as well.

So all of this helps motivate how a map of locally ringed space should be correctly defined — it is a map of ringed spaces such that “the pullback of the locus where a function vanishes should be the locus where the pullback of the function vanishes” (and hence for “doesn’t vanish” as well).

So, to make friends with this, try Problem 6.2.A (morphisms of ringed spaces glue) and 6.3.A (morphisms of locally ringed spaces glue).

If you are quite new to this, try 6.2.B and 6.2.C, which might be more tractable, and are also important.

Everyone should do 6.2.D — it provides the local model of or morphism.

Question everyone has: why do we need locally ringed spaces? What’s an example of a morphism of ringed spaces that is not a morphism of locally ringed spaces? What’s a morphism \text{Spec} \; A \rightarrow \text{Spec} \; B as ringed spaces that doesn’t correspond to a map B \rightarrow A as rings? For this, you should do Exercise 6.2.E. We won’t really need it, but it is good to see.

Important exercise 6.3.C will show you how thinking in terms of morphisms of locally ringed spaces forces Spec’s to map the way you want them too.

Exercise 6.3.E is enlightening if you want to see how things you might already understand (about how to think about projective space) translates into our new language.

Exericse 6.3.F — that maps to an affine scheme are the same as ring maps in the opposite direction — is crucial, and a must-do — it has already been used multiple times by the time I write this.

Exercises 6.3.J and 6.3.K came up in the question period in the eleventh pseudolecture — maps from an affine scheme that is “local” are very understandable.

Section 6.4 is about projective geometry. It is worth reading, and the one exercise to do here above all else is 6.4.A, which tells you the extent to which maps of graded rings give you maps of projective schemes. The point of the exercise is to learn why the statement is not surprising.

Section 6.5 is about rational maps, which are really “mostly-defined morphisms”. First and foremost, you should understand (precisely and intuitively) what a rational map is, and why the notion makes sense. Ignore the proof of 6.5.5, which is botched. (I’ve revised it, but not yet made the updated version public.) To get a feel for why rational maps are a useful notion, I would recommend 6.5.D (which connects it to field theory), and the many examples starting with pythagorean triples in 6.5.8. You may find it interesting that diophantine questions end up oddly paralleling questions over “function fields”.

We did not discuss representable functors and group schemes (section 6.6), but if you wish, you should read it. It requires more mathematical maturity, but you know everything you need to know to read it. Similarly, section 6.7 explains how to define a very useful classical object (the Grassmannian) which generalizes projective space. It becomes cleaner and easier later with more perspective.

That’s all the time I have right now, so I will just post this. In the next couple of days, I hope to write more about things we’ve covered, notably, the affine communication lemma, various properties of morphisms, and fibered products.

I’m also intending to spend time on zulip, and in particular answer questions and discuss things. Perhaps it would be helpful to set up a zulip channel that would be “office hours” for the week, and have a chunk of time where I could answer questions?

As promised, I want to now give you some problems to think about, mainly in Chapter 4 and Chapter 5.

But first, a quote for the topologists among us:

It was my lot to plant the harpoon of algebraic topology into the body of the whale of algebraic geometry.

— Solomon Lefschetz (A Page of Mathematical Autobiography, Bulletin of the American Mathematical Society, Volume 74, Number 5, 1968)

The end of Chapter 3

If you are happy with 3.7.C and 3.7.D, then you are happy with the theory of this section. If you can do 3.7.B and 3.7.G, then you can work with these ideas.

The structure sheaf.

Our goal here is to understand the sheaf of functions on \text{Spec} \; A (or \text{mSpec} \; A) as simply as possible. We want really to know that it is a sheaf, and to be able to work with it. The idea to keep in mind is that we will understand it only through the distinguished open subsets D(f) (where f Doesn’t vanish), and will take the functions on D(f) to be A_f, except to make sure this is well-defined (i.e, “if D(f) = D(g), then A_f = A_g“) we define the functions in a way depending only on the open set itself (Definition 4.1.1).

So Exercise 4.1.A will make sure you are completely comfortable with the second trick. And Exercise 4.1.B and Exercise 4.1.C will make sure you are comfortable with the first.

If you are already familiar with exact sequences, then Remark 4.1.4 will be a clarifying perspective.

The recurring counterexamples in 4.1.6 are good to keep in mind. You might have noticed that an example from pseudolecture 9 was a variant of the last one — \text{Spec} \; ( \overline{ \mathbb{Q}  } \otimes_{\mathbb{Q}} \overline{\mathbb{Q}} is a non-Noetherian scheme for which all the stalks are Noetherian (in fact, they are fields).

Section 4.2 is all about drawing pictures. It should be fun.

In Section 4.3 there are a lot of things to get used to, so a lot of exercises worth doing. You can see if you get confused by 4.3.A. If 4.3.B is straightforward, then you’ll know you are comfortable with these ringed spacdes. 4.3.E(b) is our first (provable) example of a scheme that is not affine!

Exercise 4.3.G will finally make clear that we have defined our locally ringed space with the properties we want.

People often complain that algebraic geometry is sometimes done so “formally” that there are no examples. I agree that it is hard to really understand something without really playing with actual examples. So in 4.4, do what it takes to become comfortable with these three examples. Exercise 4.4.A is one we will use later, for example, when we defined “Proj” in pseudolecture 9. You should do 4.4.D (and then distill it to make it as painless as possible), and then you’ll really know you can compute stuff on a variety, using its cover.

Then in the next section, “Proj” is a machine to make varieties/schemes from many more open sets, but using just one ring. You may want to Exercise 4.5.B to see how homogeneous polynomials “cut out” a scheme in projective space in a hands-on way, so you’ll have a good feel for it when we think about Proj in generality.

Exercise 4.5.D will put graded rings in general into this context. Definitely do Exercise 4.5.E, and take your time with it. (Feel free to solve it in any way you want, even if it involves rearranging some of the development of the material in this section.) The following few exercises fill out the construction of Proj; try a sampling (or all of them!) to convince yourself that there is nothing tricky here. If you prefer compatible germs, do Exercise 4.5.M.

If you have seen these things before, you may want to try 4.5.Q, not because it is fancy, but because it can be confusing, and it relates to a cause of continuing confusion. Grothendieck often thinks of projectivizations of a vector space not as one-dimensional subspaces, but as one-dimensional quotients. So whenever you see “projectivize” in any algebraic geometry paper (or anything very near algebraic geometry), you have to be careful. In fact, there is method behind Grothendieck’s madness (at least this particular madness) — since he is thinking of geometric things in terms of functions on them, he is thinking of the vector space in terms of the linear functions on them (i.e., the dual vector space), and one-dimensional subspaces of a vector spaces indeed correspond to one-dimensional quotients of the dual vector space.

Okay, enough philosophizing! In chapter 5, the first section is just extending topological notions to these new things we have created. The easy exercises are important in that they make sure you can toss these notions around without thinking. I’m somewhat torn about how important 5.1.E really is — but it is worth doing!

I’d like Exercise 5.1.H to be easy, but I fear it is not. Someone should try it and let me know!

In section 5.2, the key exercise to do is Exercise 5.2.F (integral = reduced + irreducible). Exercise 5.2.H involves an important concept as well. Exercise 5.2.I is why some people start with irreducible varieties, in order to make the sheafy issues less scary.

Section 5.3 is home to the Affine Communication Lemma, which we will use repeatedly, and with great effect. You should understand the proof, and why there isn’t much there! Then the exercises give you lots of opportunities to practice with it. You should try some of the exercises involving the new notions (such as Noetherianness of schemes), but the ones I’ll most suggest you do is 5.3.H and 5.3.I.

Logically (and in pseudolecture 9), section 5.4 could come after 5.2, as it involves more “stalk-local” properties. There are some exercises to make sure you see how the theory fits together (such as 5.4.F), but the really fun ones deal with actual explicit rings (5.4.G to 5.4.L; 5.H is much more useful than it looks).

Then skip the rest of Chapter 5 (I’m in the process of completely rewriting the part on associated points and associated primes), and we will discuss morphisms of schemes in pseudolecture 10!

Plan for these problem.

You can think about these problems for the next couple of weeks. But if by next Wednesday (September 2) you can send your shepherd (or indeed any shepherd) an update on (a) what you have been working on, and (b) how it is going, that will help me figure out what to say next. Also please tell them (c) what is the most confusing thing, (d) what is the coolest thing, (e) what exercise you most want to see an answer to, and (f) what exercise you liked best.

And lastly, more inspired by the question of why the sheaf of functions is called \mathcal{O}, from Tomas Prochazka.

Hi Ravi,

I think you mentioned the linguistic origin of O? I read last year something about the origin of some notation in math (I don’t know to what extent is it reliable but it kind of makes sense):

O … holomorphic from Italian (where they don’t use H, not even in this word) 🙂 it’s quite funny if it is true

k … for field from German Körper (body, that’s how field is called I think in some languages, including Czech)

Z … for integers, in German Zahlen – numbers

e … for unit, again German from einheit

U,V … for open sets, German and French Umgebung (neighbourhood) and voisinage (I don’t know French)

F,G … in topology, ferme, Gebiet

finally they also said that Klein bottle was not a bottle but a surface (in German Flasche vs Fläche) but somehow there was a typo or misunderstanding and they started translating it as a bottle.

It’s been a little long since I have had a chance to do more than get the pseudolectures ready – sorry! I have just trimmed the pseudolecture videos on youtube, and added brief summaries. I intend to post trimmed versions of the slides to the pseudolectures soon.

One thing I am always struck by — the very start seems to move slowly and spend a lot of time on the “basics”, and then things seem to speed up. But that is misleading — in fact we have to get comfortable with the “essentials” at the start, and then we can move ahead quickly and with confidence.

What I would like to do next (or at least, very soon) is to get back to suggesting problems for you to think about (going back a few weeks, and also going ahead a little bit, knowing that I will have weeks where it will be difficult finding time to write). I also want to spend time on zulip.

Where we left off

At the of the previous post, we were at the end of Chapter 3, which is well behind where we are in the pseudolectures. So let’s start with Chapter 4.

The first exercise of the chapter is worth doing — checking that using our definition of the structure sheaf gives the “right answer” for distinguished open sets. Roughly speaking, on \rm{Spec} \; A, the functions on the locus where f \in A doesn’t vanish should be the localization A_f where you’re allowed to invert f.

I wouldn’t skip understanding “base gluability” of the structure sheaf, which is the most complicated part of that argument. Reason: it’s not so bad, and it can sometimes be done in a horrible way, scarring people for life.

Exercise 4.3.A is also worth doing — it is enlightening for most, and strangely confusing (and particularly enlightening) for some — the fact that you can recover a ring from its spectrum in a precise way.

I would also try some of the “easy” exercises if you are feeling nervous — easy doesn’t mean unimportant. Exercises 4.3.F and 4.3.G are also important to know.

Section 4.4 has examples of schemes (and varieties). It is important to get your hands dirty and really get to know many examples of schemes/varieties — they aren’t abstract formalisms, but in fact an abstract way of understanding something concrete. You absolutely should understand projective space, and you may prefer the coordinates in the notes. The line with the doubled-origin is the ur-example of a “non-Hausdorff” space/variety/scheme.

We can get lots and lots of examples (and lots of important and historical examples) from projective geometry. Then in yesterday’s pseudolecture, I described the “Proj” construction. Graded rings and modules sound like they should be way more down to earth than fancy-schmancy things like schemes and strangely named rings, but in fact they can be more confusing! I think it is worth understanding in whatever way you like how to turn a graded ring into a “picture” (or more precisely, into some sort of geometric object).

Now that we know what schemes (and almost, varieties) are, we will define some adjectives which can be applied to them. You should think of these as either natural things you want names for, or else technical things that will turn out to be important, or else properties that essentially always hold in any reasonable situation (but that you need a name for). The first section has topological properties such as connected, irreducible, quasicompact. You’ll see quasiseparated there too — a horrible sounding name! But the thing to remember about quasiseparated is that it essentially always holds in reasonable situations, and it is also always accompanied by his little brother “quasicompact”. When we say a scheme is “quasicompact and quasiseparated” (sometimes abbreviated qcqs because it is so common a hypothesis), we just mean that it is built out of finitely many building blocks (i.e., covered by finitely many affine open sets), and their intersections are also built from finitely many building blocks (i.e. their intersections are themselves covered by finitely many affine open sets).

Then we have the geometric incarnations of “no nilpotents” (“no fuzz” = “reduced”) and “integral domain” (“integral”). Showing that integral = reduced + irreducible (5.2.F) is good practice.

In the pseudolecture, we next discussed two more stalk-local properties — normality and factoriality (section 5.4), and there are lots concrete examples to work out there (within hints!). You will notice that often an exercise that looks very geometric has next to it nearly the same exercise that looks very number-theoretic. There are a lot of exercises here to try to get your hands dirty. (I learned 5.4.H late in life, and have found it particularly useful for producing and understanding examples.)

Then we discussed the affine communication lemma (5.3), which is easy, powerful, and clever — it is worth reading and appreciating. Probably the people who will appreciate it the most are those who struggled with other ways of trying to make sense of well-definedness of definitions.

In particular, we are very close to defining varieties over a field k — they are quasicompact reduced finite-type k-schemes, that are Hausdorff. That is a strange way of saying that they aren’t built out of infinitely many pieces; they have no fuzz; they look like they are cut out by equations in k^n (or more precisely affine $n$-space); and they are (in the correct but not literal sense) Hausdorff (which we haven’t yet defined).

You should then skip the rest of chapter 5 — I have mostly rewritten the discussion of associated points/primes because it is really quite simple when done carefully, and I am unhappy with the discussion in the earlier public version you have. I’d like to get it into a shape that I can share it with you soon, because I’d get great feedback on what works and what doesn’t work. But I know that time won’t allow it.

We’ve begun to talk about morphisms of schemes (and varieties). One of the most basic insights of Grothendieck is that we shouldn’t focus on “things” (objects in a category), but instead on “maps between things” (morphisms) — properties that seem to be about objects are in fact about morphisms (they are “relative” — they are properties of a relation = map from one object to another).

So you may be able to understand fairly quickly how morphisms of schemes can be cheaply defined using the crutch of locally ringed spaces (section 6.3). Once we do that next week, we know the category of schemes; we can now talk about lots of things. The “easy” exercises around here are a great way of solidifying and verifying your understanding.

By the end of this pseudocourse, I’d like to do a good deal of chapters 7 through 10, and conclude with a large number of examples from those chapter to give you an idea of what we can now talk about, as some consolation prize instead of proving a big punchline theorem. Although the fundamental theorem of elimination theory (and elimination of quantifiers) might qualify as a fun punchline.

That’s enough for tonight! I hope to write more soon. If you would like a more explicit list of problems to think about, just let me know (in the comments below might be easiest, but other means work well too).

We are now at the end of Chapter 3, and the last week or so has been spent on “understanding the geometry of rings”, or “drawing rings”. In particular, you should now try to think of rings as topological spaces, and if you haven’t seen the topology on the spectrum (or “max spectrum”) of a ring (the Zariski topology) before, you should make friends with it, by thinking through examples. If you have seen it before, but don’t yet know how to draw nilpotents, then you can think about fuzzy pictures.

This coming Saturday, we’ll add in the sheaf of functions (or if you wish, the sheaf of algebraic functions, or regular functions), and at that point we will know about schemes, and can do some examples. Strangely, we won’t yet be able to define varieties, since we haven’t yet figured out how to describe the “Hausdorff condition”. But we’ll be close.

You will also be itching to know what morphisms of schemes are — that’s for the week after, if all goes well.

Here are some things to think about as you digest what we are talking about.

Things to think about.

Get comfortable with the examples of section 3.2. Even the case of the dual numbers is worthwhile.

Build your personal dictionary between algebra and geometry, and add to it as we go. I’ve been meaning to make a big one, and I keep starting, but it keeps getting big and then I misplace it.

Exercise 3.2.L is an example of how a geometric picture can tell you something algebraic that may not have been obvious.

Exercise 3.2.O is a hands-on example that will make certain you can see why ring maps correspond to set maps in the other direction. Exercise 3.2.P makes this rigorous and precise.

I mentioned Exercise 3.2.T in a pseudolecture, and it is just fun.

If you are new to many of these concepts: there are a number of specific algebra exercises (3.2.!, 3.2.B, 3.2.C, 3.2.G) that you can do.

If you have experience with differential geometry, try Exercises 3.1.A and 3.1.B. (This is worthwhile even if you don’t have much experience — you may get some practice with how to think about things.)

For those with more experience:
3.2.I(a) gives you one way (from Mumford?) of thinking of generic points. 3.2.I(b) can be pretty tricky.
Related: prove that the maximal ideals of k[x_1, \dots, x_n] are in some sort of “obvious” bijection with the Galois orbits of \overline{k}^n.

On the Zariski topology: there are a number of problems you should do if you haven’t seen it before. Pick problems in Section 3.4 to do. If you can, you should make them all second nature. Exercise 3.4.J has an insight that we will use repeatedly. (Exercise 3.5.E is an easy variant of it.) Exercise 3.5.B has a useful trick that comes up in ring theory a lot.

In the section on topological properties (3.6), we won’t need too much of it in depth, but it is important that you become happy with point set topology, and ideally have it digested into your unconscious. Exercise 3.6.N makes my “zen” comments about generic points somewhat more precise.

Noetherian rings turn out to be incredibly important, and it is probably a crime in several European countries that I introduced them in so little time. But there is remarkably little you need to know about them (at least to get started), and that’s what I put in the exercises in Section 3.6. It also includes statements about Noetherian modules that we won’t need (any time soon at least), but if you have seen these ideas before, you may as well make sure you’re happy with everything.

The “I(\cdot)” map from subsets of the spectra is important, and not hard. Theorem 3.7.1 and 3.7.E are the important correspondences between closed subsets and radical ideals, and between irreducible closed subsets and prime ideals, and are worth digesting. The first of these (3.7.1) is sometimes called Hilbert’s Nullstellensatz, and it is the “scheme-theoretic” version of the “variety” version stated earlier. Weirdly, the scheme-theoretic version is much easier!

Next pseudolecture

Because I may not have a chance to put up another post soon after the next pseudolecture, let me say something about what happens next. The crucial construction we will begin with is the ring of functions (if you wish, algebraic or regular functions) on the spectrum (or max-spectrum) of a ring, which we will define by instead defining it on a base — we declare that on the open subset D(f) of \rm{Spec} \; A where a function $latexf$ Doesn’t vanish, the functions are A_f — basically, we allow ourselves to divide by f. I intend to give a hands-on proof even though it is more laborious than a sneak fast proof if are happy with localizations being exact. But maybe I’ll give both. (If you want to impress your friends — this is a special case of “descent”, and the general fact underlying descent is actually just this sneaky second proof, if you look at it the right way.)

So we will then know the sheaf of functions \mathcal{O} on an “affine scheme” or “affine variety”.

This construction works without change to turn an A-module M into a sheaf \tilde{M} of \mathcal{O}-modules (the sections over D(f) are M_f, which is obviously an A_f-module).

So that means we’ll have defined what an affine scheme or variety is as a ringed space — and then we immediately know what a scheme is, or a variety (minus Hausdorffness). I would like to then do the three examples of Section 4.4 in depth, because if you understand them, you are really able to do business with schemes and varieties.

Random entertaining question for experts

(This will relate to my eventual post following up on my “category theory is central and you should never take a course on it”, retracting the last part of that statement…)

We have the notion of full functors, and faithful functors. Now fully faithful functors come up a lot. And faithful functors come up a lot. When do full functors come up? I see “full” as being a concept that mainly comes up only “after” “faithful”.

(A more dangerous question: does “essential surjectivity” of a functor come up often in cases where the functor is not already known to be fully faithful? I found it entertaining to ponder why we don’t really have a notion of “essential injectivity”…)