Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What is interesting/useful about Castelnuovo-Mumford regularity?

share|improve this question
    
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 '09 at 15:08
    
For some reason your link didn't typeset correctly. –  Scott Morrison Oct 4 '09 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 '09 at 23:32
1  

2 Answers 2

up vote 13 down vote accepted

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.

share|improve this answer
    
So your first theorem says that $H(M,n) = P(n), \forall n \geq reg(M)$ ? and this is the lowest bound ? –  Andrei Jan 26 at 20:02

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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