Castelnuovo–Mumford regularity

E223664

Castelnuovo–Mumford regularity is an invariant in commutative algebra and algebraic geometry that measures the complexity of the minimal graded free resolution of a module or sheaf, often used to control vanishing of cohomology and bounds on generators.

All labels observed (3)

How this entity was disambiguated

Statements (47)

Predicate Object
instanceOf algebraic invariant
homological invariant
invariant in algebraic geometry
invariant in commutative algebra
alsoKnownAs CM regularity
appliesTo coherent sheaves on projective space
graded modules over a polynomial ring
homogeneous ideals
arisesFrom Castelnuovo’s work on Hilbert functions of curves
Mumford’s work on projective embeddings and cohomology
context projective schemes over a field
standard graded algebras over a field
controls bounds on degrees of generators
bounds on degrees of syzygies
vanishing of sheaf cohomology
definedFor coherent sheaves on projective schemes
finitely generated graded modules
definedVia maximal degree shift in a minimal free resolution minus homological index
vanishing of graded pieces of local cohomology modules
hasVariant asymptotic regularity
multigraded regularity
implies global generation of sufficiently high twists of a sheaf
surjectivity of restriction maps for high twists
measures complexity of minimal graded free resolutions
namedAfter David Mumford
Guido Castelnuovo
property finite for finitely generated graded modules over a polynomial ring
invariant under isomorphism of graded modules
nonnegative integer for standard graded polynomial rings over a field
relatedTo Betti numbers
Brill–Noether theory
surface form: Green’s conjecture on syzygies

Hilbert polynomial
Castelnuovo–Mumford regularity self-linksurface differs
surface form: Mumford’s theorem on regularity

graded local cohomology
minimal graded free resolution
syzygies of projective varieties
studiedIn Eisenbud’s Commutative Algebra
Lazarsfeld’s Positivity in Algebraic Geometry
usedIn Castelnuovo–Mumford regularity self-linksurface differs
surface form: Castelnuovo–Mumford lemma

Hilbert scheme theory
bounding defining equations of projective varieties
computational commutative algebra
projective algebraic geometry
syzygy theory
usedToBound Castelnuovo–Mumford regularity of powers of ideals
degrees of defining equations of projective embeddings
postulation of projective schemes

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hilbert’s syzygy theorem relatedTo Castelnuovo–Mumford regularity
Castelnuovo–Mumford regularity usedIn Castelnuovo–Mumford regularity self-linksurface differs
this entity surface form: Castelnuovo–Mumford lemma
Castelnuovo–Mumford regularity relatedTo Castelnuovo–Mumford regularity self-linksurface differs
this entity surface form: Mumford’s theorem on regularity