MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## What is interesting/useful about Castelnuovo-Mumford regularity?

What is interesting/useful about Castelnuovo-Mumford regularity?

-
The wikipedia page (en.wikipedia.org/wiki/Castelnuovo–Mumford_regularity) gives the definition, but says nothing about what you can do with it. – Anton Geraschenko Oct 3 2009 at 15:08
For some reason your link didn't typeset correctly. – Scott Morrison Oct 4 2009 at 0:27
@Scott: You're right ... the software is getting confused by the punctuation in the link. Let's try again. Add http:// to this: en.wikipedia.org/wiki/Castelnuovo–Mumford_regularity – Anton Geraschenko Oct 4 2009 at 23:32
Or go to en.wikipedia.org/wiki/… – Ilya Nikokoshev Oct 5 2009 at 13:44

Here's how I think about Castelnuovo-Mumford regularity. It's an invariant of an ideal (or module or sheaf) which provides a measure of how complicated that ideal (or module or sheaf) is. Thsis invariant is related to free resolutions, and thus it measures complexity from that perspective.

Why is it interesting? One answer is that it can be used to provide an effective bound for two famous theorems. The first theorem I have in mind is that the Hilbert function of a graded ideal (or a finitely generated graded module) over the polynomial ring eventually agrees with the Hilbert polynomial of that ideal (or module). The second theorem I have in mind is Serre vanishing, which says that, given a coherent sheaf F on PP^n, there exists d such that H^i(PP^n, F(e))=0 for all i>0 and all e>d. These two theorems are related: if M is a graded module of depth > 0, and F is the associated sheaf of M, then the Hilbert function of M in degree e equals H^0(PP^n,F(e)).

An example where Castelnuovo-Mumford is particularly useful comes from the construction of the Hilbert scheme (I have heard that this is related to Mumford's original use, though I have no reference.) The basic point is that you can parametrize the set of ideals with a given Hilbert function by considering subloci of certain Grassmanians satisfying determinantal criteria, whereas it's less clear (at least to me) how to parametrize ideals with a given Hilbert polynomial.

Another great example where Castelnuovo-Mumford is useful is presented in Eisenbud "The Geometry of Syzygies" chapter 4, where he solves the interpolation problem for points in affine space.

-

Here's an example paper: 0905.2212

It uses some bound on Castelnuovo–Mumford regularity to prove that cohomology of smooth complex projective variety can be computed in parallel polynomial time.

-