Flat + proper

There exists a flat proper morphism f : X —> S all of whose geometric fibres are connected nodal curves such that f is not of finite presentation. An explicit example can be found in the examples chapter of the stacks project. Once you’ve understood why the example works, you easily see that you can even make an example where all the fibres are stable curves, S is connected, and the genus of the fibres jumps!

But let me go out on a limb here and make a wild guess: If you assume that there exists an integer g > 1 such that f is flat, proper, and all fibres are stable curves of genus g, then f is of finite presentation.

Why do I think this is true? I think it is true by analogy with the following results: A finite flat module need not be projective. A finite flat module over a local ring is free. Thus given a finite flat module over a scheme S then you get a well defined rank function. Then the module is finite locally free if and only if the rank function is locally constant in the Zariski toplogy (yet another characterization of finite projective modules, see Bourbaki, Commutative Algebra, Chapter II, Theorem 1).

I also think the following may be true: Given an integer d >= 0. If R —> A is a finite type, flat ring map all of whose geometric fibres are smooth and irreducible of dimension d, then R —> A is of finite presentation. (Irreducible implies nonempty. For this one I actually have a pretty good idea for how to prove it.)

Don’t do this at home kids!

What I mean by the last sentence is that, if you are doing actual moduli, you should just assume that X —> S is of finite presentation. In regards to this, note that if my wild guess is correct, then Definition 1.1 of Deligne-Mumford is the correct one.  Thanks to Michael Thaddeus for pointing out that Deligne and Mumford only assume proper + flat + conditions on fibres.

The CRing Project

Please take a look at the CRing Project. Its aim is to be “an open-source textbook on commutative algebra, one simultaneously accessible to beginning undergraduates but advanced enough to cover the foundations needed for a serious study of algebraic geometry”. It just started so this might be perfect if you wanted to jump in and join. Email Akhil Mathew for more information.

Another open source algebra text is Abstract Algebra: Theory and Applications which is run by Tom Judson, Rob Beezer, and Lon Mitchell.

Let me know if learn of others (with relevance to the stacks project).

Contributions

Maybe you’re thinking about writing something and contributing to the stacks project. Here are some thoughts I have about this.

(1) Of course it would be fantastic to get your lecture notes, preprint, etc as a contribution!

(2) Please make sure you have copyright over the material and that you agree to release it under the GFDL

(3) Right now most of the material in the stacks project is really building theory and not so much giving an overview of how to get from A to B. We try almost everywhere to prove lemmas in the correct generality. I want to have (a) more chapters where the material gets discussed in a way that it becomes usable for those not interested in building foundations, (b) more expository material, and (c) more alternative approaches to theorems and foundations. Thus it is quite possible that your material would be welcome even if it has already been covered in the stacks project.

(4) Whenever anybody contributes a text to the stacks project I get to edit it and decide which pieces to delete or which things to add. This is because right now I am the maintainer of the project. Even if I use only 2 pages out of a 5 page manuscript I would still be ecstatic about it.

(5) Being able to copy and paste things literally from your manuscript (without having to retype them) can be a great help. I have no compulsion about taking things from the literature and writing them up, but I worry about using very recent manuscripts of people. (For example, I don’t scour the arXiv looking for tidbits to copy and paste.)

(6) Anybody can take a copy of the stacks project and run a competing “stacks project”. The license allows that! I doubt this will happen, but it could happen. I would kind of enjoy that, but you might not enjoy Mr X randomly editing a manuscript you worked hard on (of course this might happen if I edit it too).

(7) What is in it for you? Fame! Oh wait, no… basically nothing. I would add you to the list of contributors and mention your name in the logs for any commit which adds your material.

The motivation for writing something should be that you want to explain something more clearly than in the literature, explain a particular technical point, explain something in a new way, prove a lemma you just realized is true but you’ve never seen before, prove a new theorem, or you simply want to wrok through something in order to understand it better. You should publish your write-ups on the web with your name on them (i.e., put it on your web-page, dump it on the arXiv and/or submit it to a journal). But once you’ve written something, you’ve published it, and you’re willing (and able) to share it, then just send it over and I’ll see if (parts of) it can be incorporated.

A valuative criterion

Let f : X —> S be a quasi-compact morphism of schemes. Then f is universally closed when it satisfies the existence part of the valuative criterion. This is a straightforward application of the following cute fact: If A —> B is a ring map and the image of Spec(B) in Spec(A) is closed under specialization, then it is closed.

It turns out that if S is locally Noetherian and f of finite type, then it suffices to check the existence part of the valuative criterion for discrete valuation rings. Jarod Alper told yesterday how to prove this based on Lemma Tag 05BD which I initially introduced to study impurities (more about this in a future post).

Here is the lemma: Let f : X —> S be quasi-compact. Suppose that g : T —> S is a morphism of schemes, Z a closed subset of X_T and t a point of T not in the image of Z. Then one can find, after shrinking T to a neighborhood of t, a factorization T — a –> T’ — b –> S of g such that b is locally of finite presentation and such that there exists a closed Z’ ⊂ X_{T’} which contains the image of Z and whose image in T’ does not contain a(t).

In particular, if the image of Z in T is not closed and t is a point witnessing the non-closedness of the image, then a(t) is a point of T’ witnessing the non-closedness of the image of Z’. In other words, if f is not universally closed, then there exists a base change which is locally of finite presentation which is not closed. By some straightforward argument we deduce that it suffices to check that f crossed with A^n is closed in order to prove that f is universally closed. This is Lemma Tag 05JX. In particular, if we now assume that f is of finite type and S is locally Noetherian, then it is easy to see that it suffices to check the existence part of the valuative criterion for discrete valuation rings in order to be able to conclude that f is universally closed. See Lemma Tag 05JY for a precise statement.

A key observation is that we do not assume that f is separated. (In the separated case there is a proof of the criterion using Chow’s lemma, see Lemma Tag 0208.) Proving things for non-separated schemes is a testing ground for proving results in the setting of algebraic stacks (since the non Deligne-Mumford ones are rarely separated). Jarod really made his suggestion in the setting of finite type morphisms of  locally Noetherian algebraic stacks and I think the above goes through (mutatis mutandis), although I have not written out all the details (Jarod and I worked it out on the blackboard though).

[A word of caution: Points of an algebraic stack X are defined as equivalence classes of morphisms from spectra of fields. There is a natural topology on the set |X| of points. But it need no longer be true that |X| is a sober topological space; this can already be false for algebraic spaces. Moreover if U —> X is a presentation it need not be the case that you can lift generalizations along the map |U| —> |X|; there is a counter example for algebraic spaces already due to David Rydh I think. I do think we should define closedness of morphisms of algebraic stacks in terms of these topological spaces, but as you can see from the above you have to be very careful when you try to think about what that means.]

A lemma

Did you know that if R is a ring, M is a finite R-module, and φ : M —> M is a surjective module map, then φ is an isomorphism? Just learned this today. This is Lemma 4.4a in Eisenbud if you want a reference. Or see Lemma Tag 05G8 in the stacks project.

If you know about limit arguments etc, then you immediately see how to prove it for finitely presented modules (reduce to Noetherian case, etc, etc). Thinking about it some more you may come to the conclusion that this is one of those things that is simply not true for finite modules in general. So I enjoy lemmas like this since it feels as if you are getting away with something!

[Edit: Just (6:02 PM) received an alternative proof of this lemma from Thanos D. Papaïoannou which is I would say a more honest and in particular completely standard proof. So now there are two proofs… More anybody?]

References

Just a quick reminder about references to the stacks project. Please refer to results in the stacks project by their tags. The tags system is explained here and here. To look up a tag you type it into the box on the query page. In a stacks project pdf just click on the name of a lemma to find its tag. Of course you can use the numbering in the current version, but if you want your references to work long term you need to use the tags.

For nerds only (if you are reading this then you are one): if you use hyperref then putting

\href{http://math.columbia.edu/algebraic_geometry/%
stacks-git/locate.php?tag=0123}{0123}

in your latex source makes the tag 0123 in your pdf a hyperlink to the lookup page.

Rational maps

As a kind of secondary goal for the stacks project, I would like the terminology to be as “standard” as possible. What this means exactly may not be clear in all instances, but to start off with I decided to make all definitions logically equivalent to their counterparts in EGA I, II, III, IV. In only one case sofar have I changed the definition: namely David Rydh convinced me that we should change unramified to the notion used in Raynaud’s book on henselian rings (i.e., only require locally of finite type and not require locally of finite presentation).

A good example of the kind of confusion that happens over definitions is the case of rational maps. In EGA I (both the original version and the new edition) a rational map from a scheme X to a scheme Y is defined to be an equivalence class of pairs (U, f) where U is a dense open of X and f : U —> Y is a morphism of schemes. In my opinion this is a very handy notion which in almost all situations does exactly what you want, and is quite easy to explain to students, etc. Next, one defines a rational function on X to be a rational map from X to the affine line. You can also define a sheaf of rational functions on X which is denoted by a calligraphic R.

Next, one can define the sheaf of meromorphic functions. Kleiman has a nice paper “Misconceptions about K_X” which corrects the construction of the sheaf of meromorphic functions on X in EGA IV 20.1. Note how the symbol used here is a K and not an R. Basically one inverts the multiplicative subsheaf of O_X consisting of sections which are nonzero divisors in each stalk. A meromorphic function on X is then defined to be a global section of the sheaf of meromorphic functions. An (easy but not completely trivial) argument shows that a meromorphic function f on X actually gives rise to a regular function on a schematically dense open part of X.

Some people conclude that EGA’s definition of rational functions is wrong and that we should replace the notion of a rational map by something that has a chance of recovering meromorphic functions when applied to rational maps from X to A^1. To do this sometimes people redefine a rational map as an equivalence class of pairs (U, f) where U is a schematically dense open of X…

… but this notion also exists in EGA where these maps are called pseudo-morphisms or strict rational maps from X to Y, see EGA IV 20.2. A pseudo-function is a pseudo morphism from X to A^1. It is not at all clear to me that a pseudo-function is the same thing as a meromorphic function (hopefully Brian Conrad will chime in here and tell us, but the point I am trying to make is that it is not a triviality).

My approach in the stacks project has been to use the notion of rational maps as defined in EGA I (i.e. not pseudo-morphisms). Also we define the sheaf of meromorphic functions as in Kleiman’s paper (i.e. not using pseudo-functions). Only if absolutely necessary will we work through the material in EGA IV about pseudo-morphisms and introduce it.

Of course a definition cannot be wrong. What is great about having good definitions is that they allow you to make very precise statements about the relationships between objects. My tendency is to go with the definitions as stated in EGA; it appears that Grothendieck and Dieudonne tried their best to make sure the definitions are good in the sense above.

Completion

Let R be a ring and I an ideal. For an R-module M we define the completion M^* of M to be the limit of the modules M/I^nM. We say M is complete if the natural map M —> M^* is an isomorphism.

Then you ask yourself: Is the completion M^* complete? The answer is no in general, and I just added an example to the chapter on examples in the stacks project.

But… it turns out that if I is a finitely generated ideal in R then M^* is always complete. See the section on completion in the algebra chapter. I’ve found this also on the web in some places… and apparently it occurs first (?) in a paper by Matlis (1978). Any earlier references anybody?