An introduction to associated points (and associated primes): new exposition

I have rewritten the introduction to associated points. The new version is available here.

If you are interested in learning about associated points, or solidifying your understanding, or getting a more geometric view of them, please take a look — it is ten pages, and intended to be quite readable to those who have read the first five chapters or so of The Rising Sea.

The new exposition attempts to more directly follow the geometric point of view, set out well for example by Matthew Emerton (perhaps on this blog — if I can find the link I will add it here). I was trying to do something with my previous exposition, but did not succeed, and I think this works better. But I am very interested in hearing what people think, who are reading it right now.

This should be something that you can work through in an evening, and discuss with someone else. I am hoping there will be a couple of epiphanies in there. I am certain there will be typos!

The point of view is summarized here:

foagjul1522associatedpointssummaryDownload

(For some reason the letter “p” was deleted in the last line of the pdf above…)

I guess there is no harm in putting the entire thing here, in case someone feels like skimming through it on this page.

foagjul1522associatedpoints-1Download

 

Eric Larson’s proof of the Cohomology and Base Change Theorem (and Grauert’s Theorem)

Update July 19, 2022: this later post contains a draft chapter incorporating this argument, so you can see it in context.

I want to share a proof of the Cohomology and Base Change theorem that really makes it much much more clearer to me than it had been before.  There might be some uncertainty as to its origin, so I’ll give my take on it.  I heard it from Eric Larson a couple of years ago.    We had discussed the fact that it should be some easy-to-understand fact about maps of free modules over Noetherian rings.   (Many people have known this — Max Lieblich and I had discussed it before; it is alluded to in Nitsure’s excellent presentation in FGA Explained; and I am certain similar discussions have happened many times in the past.)

Eric went home and figured it out, and the next day sent me a short and sweet argument in a pdf file (see below).   He had thought he had heard it before, but the only plausible sources he could have heard it from (Joe Harris, or the argument in Eisenbud and Harris) don’t have the argument.    But he had certainly heard an argument for Grauert’s Theorem (where the base is reduced).  So until I learn otherwise, I suspect he just thought he had heard a full argument of Cohomology and Base Change, and then tried to reconstruct how it should go, and just figured it out.   In other words, for now, I believe the argument is original to him.  But I would have expected that such a simple argument (especially with its central insight) would have been independently discovered earlier, perhaps many times. However, I am not aware of it in the literature anywhere.  Can anyone tell me where it has appeared before?  It is such a simple argument that, if I had not been consciously looking for it earlier, I would have believed that I had surely known it myself. So if someone says “I knew that, I just never wrote it down”, I’m not going to value that too highly. On the other hand, there are a number of great explanations of things in algebraic geometry that Dennis Gaitsgory told undergraduates when he was at Harvard; and Nitsure’s argument is presumably written down somewhere;  so I know there are things I haven’t seen. 

(Incidentally, Ogus told me a fantastically elegant proof of the local criterion for flatness, which was in his first published paper I think, that I love.)

Of course, I’ve digested Eric’s argument into The Rising Sea (and I really wish I hadn’t moved around part of a chapter a couple of years ago, leaving the manuscript in some disarray; I hope to post the new version before too too long).  And I’ll eventually post my take on Ogus’ argument here, and I’m also digesting it into the Rising Sea.

One of Eric’s insights, for me, is this.      When we generalize the notion of “finite-dimensional vector space” to families, we get finite-rank vector bundles.  These have constant rank, but for a coherent sheaf to be a (finite rank) vector bundle, we need more than it be constant rank. Eric suggests that to generalize the notion of “map of finite-dimemnsional vector spaces” in a particularly good way, we want more than a map of vector bundles (as coherent sheaves) — and we want more than that it is of “constant rank”.  It is this stronger condition about maps of vector bundles that gives this strong condition of cohomology commuting with base change, which can be applied in different settings (including Grauert, and the Cohomology and Base Change Theorem).

Here is Eric’s argument.

 

spectral sequences are not scary

I’m going to replace the proof of “spectral sequences for double complexes” in the introductory chapter with just a reference to the  following “picturebook”.

PictureBook Aug 9 2021Download

I find this explanation surprisingly comprehensible, and this is really the first time I feel like I understand why spectral sequences work, and why they are not mysterious or black magic.

I haven’t been sure what to do with this pdf document, so I’ve just been giving it to people as a “gift”.  So consider this to a gift to you too.

It is also posted here. (I am a fan of 3blue1brown.)

 

the Kunneth formula for quasicoherent sheaves on varieties

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.)

kunnethDownload

 

announcement: Jarod Alper on stacks

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: https://sites.math.washington.edu/~jarod/math582C.html

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 jarod@uw.edu 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.

 

Fun example from Nikolas Kuhn: simplest (?) example of an affine open subset of an affine scheme that is not a principal/distinguished open subset

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 in the plane (where is of course a field), which has normalization . Then if you remove , 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 , but notice that this equation doesn’t lie in the subring .

Entertaining follow-up question: this affine open set is for some ring . What is ?

 

Principal open sets vs. distinguished open sets

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 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 consisting of principal/distinguished open subsets; and the “topology” on a scheme 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.

 

Pseudolecture 13 postponed to October 3

 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: https://sites.google.com/bc.edu/map/home . 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!

 

Fibered products: more thoughts between pseudolectures 11 and 12

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 — .

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)…

 

Between pseudolectures 11 and 12

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 as ringed spaces that doesn’t correspond to a map 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?