Castelnuovo–Mumford Regularity¶

Locate the least projective twist whose diagonal higher-cohomology vanishings persist, yielding one integer bound on global generation, Hilbert-function stabilization, and graded syzygy degrees.

Version: v4 · 2026-09-19 · History
Domain-specific #: 1439
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Algebraic Geometry, Projective Sheaf Cohomology and Graded Resolutions → Mathematics
Aliases: Castelnuovo-Mumford regularity, CM regularity

Core Idea¶

Castelnuovo–Mumford regularity is an integer that marks when the higher-cohomology and syzygy behavior of a projective object has entered a controlled linear range. Fix a field k, projective space P^n_k, its twisting sheaf O(1), and a coherent sheaf F. The sheaf is m-regular when.

H^i(P^n_k, F(m-i)) = 0 for every i=1,...,n.

Its regularity is the least such m when that minimum exists; the zero sheaf is commonly assigned -infinity. This diagonal pattern—not merely eventual vanishing—is the identity. The Stacks Project gives the definition and proves that m-regularity persists upward: an m-regular sheaf is (m+1)-regular. Mumford's foundational treatment introduced the technique in the construction-oriented setting of projective algebraic geometry.

How would you explain it like I'm…

No faithful explanation at this level. All three generators judged it N/A: a five-year-old version can only say 'a number after which things behave nicely', the eventual-good-behavior picture the definition explicitly rejects in favor of a specific diagonal cohomology-vanishing pattern and a sufficient, not sharp, bound.

No faithful explanation at this level. Two of three generators judged it N/A: without cohomology or free resolutions, a ten-year-old version reduces to 'the point where counting becomes predictable', conflating a sufficient bound with the exact onset and replacing the diagonal vanishing condition with vague eventual regularity.

The Syzygy Degree Bound

Castelnuovo–Mumford regularity is a number attached to an algebraic object in projective geometry, such as a sheaf or a graded module, that tells when its behavior becomes controlled and predictable. For a sheaf F, being m-regular means certain cohomology groups vanish along a 'diagonal' pattern: H^i(F(m − i)) = 0 for i from 1 to n. The regularity is the smallest m that works, and once a sheaf is m-regular it is also (m + 1)-regular. From that point on, F(m) is generated by its global sections, higher cohomology vanishes, and the number of sections in each degree matches the Hilbert polynomial. For modules, regularity can be read off a minimal free resolution as the largest value of 'degree minus step'. This gives a sufficient bound, not necessarily the exact point where everything starts.

Castelnuovo–Mumford regularity is an integer measuring when the cohomology and syzygies of an object in projective geometry enter a controlled, linear range. For a coherent sheaf F on projective space P^n over a field k, F is called m-regular if H^i(P^n, F(m − i)) = 0 for every i from 1 to n; the regularity is the least such m, with the zero sheaf usually assigned −∞. The defining feature is this diagonal pattern of vanishing, with the twist decreasing as the cohomological degree increases, not just eventual vanishing. An m-regular sheaf is also (m+1)-regular, and if F is m-regular then F(m) is globally generated, multiplication by linear forms on sections is surjective in the stable range, and all higher cohomology of F(d) vanishes for d ≥ m. Consequently, for d ≥ m the dimension of the global sections of F(d) equals the Hilbert polynomial P_F(d), so regularity gives a sufficient, not necessarily sharp, bound for when the Hilbert function agrees with the polynomial. Algebraically, for a finitely generated graded module M over S = k[x_0, …, x_n] with minimal free resolution F_i = ⊕ S(−b_ij), reg(M) = max(b_ij − i), so generators at homological step i have degree at most reg(M) + i. Statements about the regularity of a subscheme must specify whether they refer to its ideal sheaf, saturated ideal, or coordinate ring, since the coordinate ring S/I usually has regularity one less than a nonzero proper ideal I.

Scope of Application¶

Coherent sheaves on projective space. The original cohomological definition supplies vanishing and global-generation thresholds.
Projective subschemes and ideal sheaves. Regularity bounds degrees needed to generate equations and the degrees of their successive relations.
Finitely generated graded modules. Minimal resolutions, Betti tables, local cohomology, and linear truncations give computable equivalent formulations in the standard graded setting.
Hilbert and Quot constructions. Uniform regularity bounds for quotients with fixed Hilbert polynomial convert sheaf families into finite-dimensional section data; the Stacks Project proves the relevant boundedness step.
Computational algebraic geometry. Regularity bounds are tied to Gröbner-basis and syzygy computation; Bayer and Mumford explicitly study regularity as a complexity measure for effective algebraic geometry.
Projective curves, points, hypersurfaces, and arrangements. The invariant packages equation degree, higher relations, postulation, and embedding data into a common comparison scale.
Operations on sheaves and modules. Twists, direct sums, exact sequences, hyperplane sections, tensor products under hypotheses, powers of ideals, and changes of field motivate bounds and diagnostics.
Named extensions. Multigraded, toric, noncommutative, relative, and complex-valued variants preserve part of the role map but alter the regularity region or the equivalence theorems.

Clarity¶

Write reg(F), reg(I_X), or reg(S/I_X), never an untyped reg(X) when an offset matters. Many texts define the regularity of a subscheme by its ideal sheaf. Software may accept an ideal and return the ideal module's regularity, while a resolution command applied to the quotient returns the coordinate ring's value. Macaulay2 documents this distinction explicitly.

Manages Complexity¶

A coherent sheaf presents a triangular array of groups H^i(F(d)) over cohomological degree and twist. A minimal resolution presents a second array of Betti numbers over homological position and internal degree. Regularity draws one diagonal boundary through either array: above that boundary the required higher cohomology vanishes, and every free summand lies on or below the corresponding degree-shift line.

Abstract Reasoning¶

Cohomology audit. For each i>0, compute or prove vanishing of H^i(F(m-i)). To prove exact regularity m, also exhibit a nonzero group on the preceding diagonal or use an equivalent lower-bound witness.

Betti-diagonal audit. From a minimal resolution, record every degree b_(i,j) in homological position i, subtract i, and take the maximum. A nonminimal complex can contain cancellable equal shifts and must not be treated as exact evidence without minimization.

Knowledge Transfer¶

The invariant transfers literally among coherent sheaves, saturated ideals, coordinate modules, and minimal free resolutions only through declared equivalence conditions. The role map provides the bridge: identify the projective frame, target object, diagonal vanishings, resolution shifts, least threshold, and convention offset. This lets a geometric vanishing theorem become an algebraic syzygy bound or a Betti-table computation become a global-generation statement.

Relationships to Other Abstractions¶

Current abstraction Castelnuovo–Mumford Regularity Domain-specific

Parents (1) — outgoing typed relations

Castelnuovo–Mumford Regularity is a kind of Complexity Prime

prime:complexity — instantiates. Regularity is a strict algebraic-geometric complexity measure: it compresses the latest degrees of generators and syzygies and bounds effective computation.

Hierarchy path (1) — routes to 1 parentless root

Castelnuovo–Mumford Regularity → is a kind of Complexity

Neighborhood in Abstraction Space¶

Castelnuovo–Mumford Regularity sits in a moderately populated region (57^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Sheaves & Birational Geometry (23 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25