First note that I finally got some form of the last post to work (this morning). It involved switching some less than signs to less than or equal to, which I think is less confusing for wordpress due to the backslash.
Today will be a slightly off topic post. It is something I should have done ages ago, and I expect should be quite useful for beginning algebraic geometers that stumble upon this post by some means. I’m sure most people that have tried to work through Hartshorne chapter II get to some point around section 4 and start to panic. Morphisms have lots of properties. There are locally of finite type, finite type, finite, quasi-finite, generically finite. There are closed immersions, open immersions, just plain immersions. There is proper, compact, quasi-compact. There is separated, projective, quasi-projective.
It is overwhelming. If you manage to get all the definitions down, you still have the tremendous task of figuring out which one imply which and under which hypotheses. Is it every projective morphism is proper, or every proper morphism is projective? For one of these to work, does my scheme have to be Noetherian…locally Noetherian…is it always true?
Then once you finally have all of this down, was it just because you flat out memorized them all, or have you now developed some intuition about why different morphisms are actually different from some sort of geometric standpoint. Do you have at your fingertips examples for why each of these implications don’t reverse (moreover, are these examples well motivated, or are they cheap “one point examples”)?
After a quick glance through sections 2, 3, and 4 of Hartshorne here are the statements of the form “*blank* is always *blank*”.
1. Finite type is always locally of finite type
2. Finite is always finite type
3. Finite is always quasi-finite
4. Closed immersions are of finite type
5. Quasi-compact open immersions are of finite type
6. Open and closed immersions are separated
7. Proper maps are separated
8. Closed immersions are proper
9. Projective are quasi-projective
10. Projective are proper (need Noetherian)
11. Finite are proper
First we’ll assume at least that our schemes are locally Noetherian, since this is Hartshorne. Also, quasi-finite here means finite fibers over a point (Grothendieck I believe assumes finite type in the definitions of quasi-finite which we’ll not do).
My goal of this post is to give examples as to why none of these reverse. I’ll skip ones that aren’t very illuminating. There are two main ways in which I’ll try to accomplish this: with as few examples as possible. Namely, I should be able to write down a single example to knock off a bunch of them. This way when trying to recall whether a certain statement is true, you only have to check against a few things in your memory. The other way is to try to give very geometrically motivated examples, so that it sheds some light on what in particular each of these properties says about a morphism.
I have eleven statements listed. A few things not listed that quickly pop into my mind we’ll call 3a) A quasi-finite but not finite type map and 3b) A finite type map that is not quasi-finite. Lastly, we’ll call 12a) Proper that is not quasi-finite and 12b) Quasi-finite that is not proper.
1,2, and 3 are standards.
1. Project an infinite disjoint union of affine lines onto an affine line. Geometrically this illuminates that “locally” of finite type means we can have an infinite cover, but just plain finite type needs a finite cover. Algebraically we give the map explicitly by, induced by the natural projection map.
2. The easiest way to violate finite, is to make a non-affine map, so just include . The pre-image of the affine set is which is not affine, so the map is not finite. If we want to violate the other way a map can be non-finite, project to a point by induced by . Since is finitely generated as an algebra, it is of finite type, since it is not finitely generated as a module, it is not finite. Geometrically, this is reflecting the fact that the fiber over the point is “infinite”, but in that it is not too infinite since it is “finite dimensional”.
3. Use the first example of 2. The fiber over any point is a single point or empty since it is an inclusion.
3a. Here is our first “point to point” example. The idea being that you can always get a quasi-finite morphism by mapping Spec of a field to Spec of a field, since the topological space is a single point. This means we can make the field as horrendous as we like and get a quasi-finite map. Let be a field extension of of infinite transcendence degree. Then induces , a quasi-finite map. But this isn’t even locally of finite type.
3b. The second example of 2 works since the fiber is infinite.
4. The first example of 2 works since the image is open, not closed.
5, 6, and 8 are about immersions which is a different flavor of property than what I’m generally concerned with in this post, so I’ll skip them (maybe I’ll do a full post just on immersions and types of immersions at a later date).
7. Now we get to some of the more subtle morphism properties. We need to violate the “universally closed” property somehow using a separated morphism. The second example of 2 works since it is just the “structure map” of as a -scheme, and structure maps of affines are always separated. It is not proper, however, because is not a closed map. Take a hyperbola in . It is a closed set (namely, ), but the projection onto is which is open.
9. The second example of 2 works yet again, since including is an open immersion and it respects the structure map, so we’ve now factored by an open immersion followed by a projective morphism and hence it is quasi-projective. All projective maps (of Noetherian schemes) are proper, so since by 7 this isn’t proper it isn’t projective.
10. Let be the identity map. Then it is finite and hence proper.
But this cannot be factored through projective space as a closed immersion (I honestly don’t have an argument for that). See comments.
11. Let be the natural structure map. Then it is projective (of Noetherian schemes) and hence proper, but it is not affine so it is not finite.
12a. Use 3a since proper maps must be of finite type.
12b. Use 11. The justification here is a rather deep theorem that says a proper and quasi-finite map is finite. So if this were quasi-finite, then it would be finite which we said was not the case.
We have now completed what I listed. Maybe I’ll do a continuation of this next time, since I realized I skipped quite a bit with the immersions and things like finite type but not quasi-projective and separated but not quasi-projective. Also, I became increasingly less geometric and clear, relying on theorems to figure out whether the example satisfied the right criteria. It would be nice to figure out geometrically what is going on with examples like 11 and why there are infinite fibers there. I hope this helps some people.