I was looking at Deligne-Mumford's paper on the irreducibility of the space of curves of a given genus, and it seems that they generalize the notion of a smooth curve to a "stable curve." I'm a little confused why this is a natural thing to do. I understand that this is supposed to be some kind of compactification of the usual space of curves, but I can't see why it is a natural property to consider. Is it obvious that things like having nodal singularities are closed properties? Is there an easier to read source than Deligne-Mumford's paper where I can learn more about this?

(For background: I'm trying to understand a bit about what $M_{1,1}$ has to do with modular forms, which I'm only vaguely familiar with from an analytic perspective.)

  • $\begingroup$ I think that the huge book Geometry of algebraic curves II by Arbarello, Cornalba, and Griffiths could be useful. Also in Liu's Algebraic geometry and arithmetic curves there is a section devoted to stable curves. $\endgroup$ – Andrea Jun 1 '12 at 17:06
  • 3
    $\begingroup$ Dear Akhil, To learn modular forms geometricallly, you should perhaps look at the Deligne article referred to in another question here that you probably saw, and also read the paper of Katz from Antwerp (LNM 350). You don't need to particularly read Deligne--Mumford (technically, Deligne--Rapoport in LNM 349 is more relevant, but you can read Katz rather than DR to begin with), so if you are interested in modular forms (and they are certainly interesing!) don't postpone reading about them in order to assimilate all of Deligne--Mumford, which goes in a somewhat different direction. Regards, $\endgroup$ – Matt E Jun 2 '12 at 5:09
  • $\begingroup$ @Matt: Yes, I saw the LNM 349/350 papers (you mentioned them a while back once) and they looked quite difficult... Hopefully I can pick up the relevant ideas from them nonetheless (and maybe Katz is easier than DR). $\endgroup$ – Akhil Mathew Jun 2 '12 at 11:31
  • $\begingroup$ @Andrea: Interesting, thanks for the references. $\endgroup$ – Akhil Mathew Jun 2 '12 at 12:54

You have to be careful when you ask about a "closed condition", because the questions is "closed in what"? E.g. the plane curves of given degree admitting at worst nodal singularities are not closed in the linear system of all plane curves of that degree. (Consider e.g. the family $y^2 = x^3 + t x^2$, where $t$ is a paramater; this is a nodal family (when $t \neq 0$) which has a cuspidal curve (at $t = 0$) as a limit.)

The key fact which justifies the definition of stable curve is the semi-stable reduction theorem, which says that any family of smooth projective curves over the punctured open disk (or more generally, over the fraction field of a DVR) can be extended to a semistable family over the unpunctured disk (or, more generally, over the DVR) after making a finite base-change.

Here semistable means that every geometric singular point in the fibre over the "filled-in point" (which I'll take to be $t = 0$, where $t$ is the coordiante on the disk, or more generally the uniformizing parameter in the DVR) has a formal neighbourhood isomorphic to $x y = t$.

This is a fundamental theorem, which takes time and practice to understand, and which is closely related to resolution of singularities: indeed, you an always extend the family of curves over the puncture in some manner (e.g. by closing up in some ambient projective space), and you can think of semi-stable reduction as telling you that you can resolve the singularities in the total space of the resulting family in a particular way, so that they are well-adapted to the projection map to the disk.

E.g. Imagine that locally you had the equation $x y = t^2$, which is smooth over $t \neq 0$, but has a singular fibre over $t = 0$. This is not semistable at $t = 0$ (the point $(0,0,0)$ is a singular point of the total space of the family, whereas the total space of a semistable family is smooth), but if you blow up the total space of the family at $(0,0,0)$, you can check that what you get is now semistable (and since the blow-up is occuring in the fibre over $ t = 0$, nothing changes along the smooth family where $t \neq 0$).

E.g. Consider the equation $x^2y = t$. This is not semistable: the fibre over $t = 0$ is non-reduced, whereas the singular fibres of a semistable family are always reduced. To make it semistable, we first base-change to the disk $t = s^2$, to get $x^2y = s^2$. We then normalize (this doesn't change anything when $s \neq 0$, because the fibres, and so also the total space, is smooth there and hence normal): since $(s/x)^2 = y$, we find that $z:= s/x$ is well-defined on the normalization, and satisfies the equation $x z = s$; thus we have now obtained a semistable model.

In general, you have to alternate blow-ups and normalizations (after ramified base-changes) to obtain a semistable model.

The semistable reduction theorem implies that the moduli stack of stable curves is proper (the fact that we might have to make a base-change of our DVR reflects the stacky nature of the situation).

General remarks (maybe these should have come first!):

We know that moduli stacks of smooth objects are not proper, so to obtain proper moduli stacks, we have to allow some sort of degeneration. Semistable degenerations are a natural class of explicit and simple singular degenerations which give rise to a proper moduli stack.

Note that there are another class of singular degenerations which sometimes work well, namely those with isolated quadratic singularities (this is the theory of Lefschetz pencils). These coincide with semistable degenerations in the case of curves (which is what your question is about).

Both semistable degenerations and Lefschetz pencils behave well with regard to understanding the behaviour of cohomology in the family (this is Picard--Lefschetz theory in the second case, and the Rapoport--Zink spectral sequence in the semistable case). Deligne uses Picard--Lefschetz theory in his proof of the Weil conjectures, but semistable degenerations are often more natural from a motivic point of view.

  • $\begingroup$ Thanks! This is very nice. $\endgroup$ – Akhil Mathew Jun 2 '12 at 11:28
  • $\begingroup$ Meanwhile, this also explains something else I hadn't understood : why this was likely to compactify $M_{1,1}$ and what semistable reduction is all about. $\endgroup$ – Akhil Mathew Jun 2 '12 at 11:30

It seems that the structure theory for ordinary double points handled in Freitag-Kiehl's book on etale cohomology answer this question. (I don't understand this very well yet; I'll update this later when I've read the relevant material.)


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.