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)
| Label | Occurrences |
|---|---|
| Castelnuovo–Mumford lemma | 1 |
| Castelnuovo–Mumford regularity canonical | 1 |
| Mumford’s theorem on regularity | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1994337 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Castelnuovo–Mumford regularity Context triple: [Hilbert’s syzygy theorem, relatedTo, Castelnuovo–Mumford regularity]
-
A.
Hilbert’s syzygy theorem
Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
-
B.
Hilbert’s Nullstellensatz
Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
-
C.
Hilbert’s fourteenth problem
Hilbert’s fourteenth problem is one of David Hilbert’s famous list of 23 problems, concerning the finite generation of certain algebras of invariants in algebraic geometry and invariant theory.
-
D.
Deuring reduction theorem
The Deuring reduction theorem is a result in number theory that relates the reduction of elliptic curves with complex multiplication modulo primes to the theory of quaternion algebras and endomorphism rings.
-
E.
Hilbert basis theorem
The Hilbert basis theorem is a fundamental result in commutative algebra stating that if a ring is Noetherian then any polynomial ring over it is also Noetherian, ensuring that ideals in such rings are finitely generated.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Castelnuovo–Mumford regularity Target entity description: 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.
-
A.
Hilbert’s syzygy theorem
Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
-
B.
Hilbert’s Nullstellensatz
Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
-
C.
Hilbert’s fourteenth problem
Hilbert’s fourteenth problem is one of David Hilbert’s famous list of 23 problems, concerning the finite generation of certain algebras of invariants in algebraic geometry and invariant theory.
-
D.
Deuring reduction theorem
The Deuring reduction theorem is a result in number theory that relates the reduction of elliptic curves with complex multiplication modulo primes to the theory of quaternion algebras and endomorphism rings.
-
E.
Hilbert basis theorem
The Hilbert basis theorem is a fundamental result in commutative algebra stating that if a ring is Noetherian then any polynomial ring over it is also Noetherian, ensuring that ideals in such rings are finitely generated.
- F. None of above. chosen
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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Castelnuovo–Mumford regularity Description of subject: 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.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.