Processing math: 0%

November 12, 2016

Castelnuovo-Mumford regularity

Let X be a projective variety. Then a coherent sheaf F is called m-regular by Castelnuovo-Mumford if
H^i(F(m-i))=0.
It looks strange that one does not simply require
H^i(F(m))=0.
But then m-regularity would not imply (m+1)-regularity. For example, \Omega^1_{\mathcal P^n} with n>1 is (-1)-regular, but not 0-regular.

For properties of Castelnuovo-Mumford regularity, see
Mumford Lectures on Curves on an Algebraic Surface, lecture 14.

From MSE:2008517.

No comments:

Post a Comment